Trace number 4121986

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 27.5008 27.5132

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-19-2.cnf.gz-plain.pb.metafix.opb
MD5SUMcb8d6c515babcba8dd77961da569b93a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.24266
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables77
Total number of constraints164
Number of constraints which are clauses164
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T21:46:21+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4121986-1467315981.opb"]
0.00/0.01	c use --random-gen="2353481466 2069217639 2540928073 1007084828 3743242395 2616376899 2428543146 2503853669 30373252 556789633 3621993628 1243015417 1626846578 3808905412 1016733669 793395143 347963561 1011580632 166975547 3675295665 1122003032 295533512 1767551277 1409953083 482144457 3839195772 873087412 250740303 2852978232 2279035484 3326629489 1096482287 1525566342 859566753 844620348 2047494077 3276376798 2859127631 569143184 1358806732 1834907677 2653189046 582075448 3303400891 1444339626 3952936163 2150480902 1701142833 2343724800 253189961 1691132652 3922344176 832602027 2218366267 3826334970 3931881499 666535968 2085847208 2473037445 2130942053 1768407422 1564611923 32649755 3334295720 1439089744 3839218160 4131012402 3239578291 113954620 188527574 1224099855 2462572740 1326455485 2135209193 2103753815 2133144046 3527192190 896511163 3108823498 1951002682 3317565036 1485319496 2657594328 1337504447 3418287706 3479999615 2899730098 1824176648 2826265516 2686782694 2554459344 363776710 548433750 4018441354 2387889280 1359370000 3334806785 4134280193 3283169678 4199787833 3014089279 3102193596 3825251728 2682021507 1326260915 3529135603 3288468180 3531689486 2612715265 449920081 2670285560 362913881 2721758460 964789167 811797078 1751012934 1002773972 567915471 2717637396 210893299 3003592849 1234506928 2743426068 3412332068 706746447 1240764988 3997037797 2845711943 1172896685 752120381 3687740874 2310032923 3210631740 2942455171 229829693 3219545684 3416112441 262511683 1797193452 3376761599 736474351 2228173089 2222775341 216422825 4020772323 3299337481 2188022778 897195950 237079501 477139336 1221174755 2426819306 1589978956 4268008339 4235486083 72521080 1489621937 210238282 562644870 2295794331 591270011 983586831 232667982 790071374 3456468284 1411510456 2239883377 1243700138 2276450097 1658123464 3097415682 1296193144 3202879481 4012352366 533881153 3936699909 662347830 4130960168 802740782 964375512 3067391316 340719835 3810299237 3604521121 2161949259 1167335712 924985644 2238896202 484161980 2278169580 5091 178561938 483864661 440582378 2136913260 3364689471 1956819938 3487558955 1625513553 3680619596 535578079 3226988618 3053203252 2698838918 1320601506 1577531757 1749005139 542296165 3172100652 1818642938 1639297470 3487118816 1026898369 3495135538 2589566597 863873413 931054740 199152972 3479673693 1673171706 4042609077 3081689856 1403653982 1977207574 540856472 2701727406 4283184123 381834246 3101839035 1892448400 2707457473 536918017 2553491415 3061400320 936658547 2773467458 1883062448 3341938367 2963450661 1497906709 3540225232 1116437326 601323792 1669491012 387684567 1694458386 2519777230 2895863685 2038897682 100961516 1164645569 1870027809 1766213359 2259616313 3949354485 3146032672 255 362436" option to reproduce the execution
0.00/0.01	c #vars 77
0.00/0.01	c #constraints 164
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       80      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      122 |      100 |       80      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      294 |      250 |       88      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      595 |      475 |       97      6 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1044 |      813 |      107     11 |        0 |        0
0.09/0.13	c  0.1s |       5 |     1858 |     1320 |      118     19 |        0 |        0
0.19/0.20	c  0.2s |       6 |     2915 |     2081 |      143     29 |        0 |        0
0.19/0.29	c  0.3s |       7 |     4558 |     3223 |      158     43 |        0 |        0
0.39/0.43	c  0.4s |       8 |     7078 |     4936 |      174     63 |        0 |        0
0.59/0.66	c  0.7s |       9 |    10118 |     7506 |      192     90 |        0 |        0
0.99/1.03	c  1.0s |      10 |    14631 |    11361 |      212    127 |        0 |        0
1.29/1.37	c  1.4s |      11 |    22113 |    17144 |      234    178 |        0 |        0
1.89/1.93	c  1.9s |      12 |    33660 |    25819 |      258    249 |        0 |        0
2.59/2.70	c  2.7s |      13 |    51640 |    38832 |      284    346 |        0 |        0
3.89/3.92	c  3.9s |      14 |    77401 |    58352 |      313    479 |        0 |        0
5.79/5.86	c  5.8s |      15 |   113971 |    87632 |      345    660 |        0 |        0
7.79/7.86	c  7.8s |      15 |   152399 |   118232 |      345    833 |        0 |        0
8.68/8.73	c  8.7s |      16 |   169621 |   131552 |      380    907 |        0 |        0
10.68/10.73	c 10.7s |      16 |   205008 |   160152 |      380   1054 |        0 |        0
12.68/12.74	c 12.7s |      16 |   241454 |   189052 |      380   1203 |        0 |        0
13.29/13.32	c 13.3s |      17 |   251934 |   197432 |      419   1245 |        0 |        0
15.29/15.32	c 15.3s |      17 |   290774 |   227332 |      419   1385 |        0 |        0
17.29/17.32	c 17.3s |      17 |   329429 |   257432 |      419   1526 |        0 |        0
19.29/19.32	c 19.3s |      17 |   366643 |   286532 |      419   1662 |        0 |        0
19.89/19.95	c 19.9s |      18 |   380283 |   296252 |      461   1706 |        1 |        3
21.89/21.95	c 21.9s |      18 |   419997 |   326152 |      461   1834 |        1 |        3
23.89/23.96	c 23.9s |      18 |   457361 |   355252 |      461   1956 |        2 |        9
25.89/25.96	c 26.0s |      18 |   495135 |   384952 |      461   2081 |        3 |       12
27.39/27.45	c 27.4s |      18 |   524628 |   407597 |      461   2174 |       44 |       74
27.39/27.45	c #cpu_time = 27.438s
27.39/27.45	c #wall_clock_time = 27.437s
27.39/27.45	c #decision = 524628
27.39/27.45	c #random_decision = 2228
27.39/27.45	c #conflict = 407597
27.39/27.45	c #restart = 18
27.39/27.45	s UNSATISFIABLE
27.39/27.45	c total CPU time = 27.454s
27.39/27.45	c total wall clock time = 27.452s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4121986-1467315981/watcher-4121986-1467315981 -o /tmp/evaluation-result-4121986-1467315981/solver-4121986-1467315981 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121986-1467315981.opb 

pid=21427
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 21430
/proc/meminfo: memFree=29426744/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=630204 CPUtime=0 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 2333 0 0 0 0 0 0 0 20 0 4 0 12701853 645328896 3204 33554432000 4194304 16246674 140733857816144 140733857815568 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 158063 3213 441 2943 0 154957 0
[pid=21430/tid=21431] ppid=21427 vsize=647612 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 663154688 3271 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=651708 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 667348992 3289 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=655804 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 671543296 3302 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 21430
/proc/meminfo: memFree=29426744/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 25906 0 0 0 6 3 0 0 20 0 4 0 12701853 1247350784 26766 33554432000 4194304 16246674 140733857816144 140733857815568 5665836 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 304529 26777 707 2943 0 301423 0
[pid=21430/tid=21431] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 26783 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 26791 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 26797 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200538 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 21430
/proc/meminfo: memFree=29426744/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 49516 0 0 0 13 6 0 0 20 0 4 0 12701853 1247350784 50376 33554432000 4194304 16246674 140733857816144 140733857799144 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 304529 50387 708 2943 0 301423 0
[pid=21430/tid=21431] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 50391 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 50392 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 50394 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300429 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 21430
/proc/meminfo: memFree=29426744/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 72412 0 0 0 20 8 0 0 20 0 4 0 12701853 1247350784 73272 33554432000 4194304 16246674 140733857816144 140733857799144 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 304529 73283 708 2943 0 301423 0
[pid=21430/tid=21431] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 73289 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 73295 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 73303 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700426 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 21430
/proc/meminfo: memFree=29426744/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 165556 0 0 0 47 22 0 0 20 0 4 0 12701853 1247350784 166416 33554432000 4194304 16246674 140733857816144 140733857799144 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 304529 166431 708 2943 0 301423 0
[pid=21430/tid=21431] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 166439 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 166448 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 166456 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.13 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28442636/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 245474 0 0 0 116 33 0 0 20 0 4 0 12701853 1247350784 246314 33554432000 4194304 16246674 140733857816144 140733857799144 6013203 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 304529 246314 786 2943 0 301423 0
[pid=21430/tid=21431] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 246314 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 246314 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1247350784 246314 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10042 s]
/proc/loadavg: 2.12 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28354224/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267391 0 0 0 274 35 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140733857799144 5823520 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268231 787 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.12 2.06 2.01 4/181 21434
/proc/meminfo: memFree=28353764/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267391 0 0 0 594 35 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140733857798016 5546205 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268231 787 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268231 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.10 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28353424/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267407 0 0 0 1233 35 0 0 20 0 4 0 12701853 1337528320 268247 33554432000 4194304 16246674 140733857816144 140733857798016 5852312 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268247 789 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268247 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268247 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268247 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28353924/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267419 0 0 0 2513 36 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140733857798016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268259 789 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21430 sig 9
??? kill -21430 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6005 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28353924/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=25.59 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267419 0 0 0 2523 36 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140733857798016 5724032 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268259 789 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 1306180

[startup+26.4004 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28354048/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=26.39 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267419 0 0 0 2603 36 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140733857799144 13954608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268259 789 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 1306180

[startup+27.2004 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28354048/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=27.19 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267419 0 0 0 2683 36 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140733857798016 5523504 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268259 789 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 27.19
Current children cumulated vsize (KiB) 1306180

[startup+27.4004 s]
/proc/loadavg: 2.08 2.06 2.01 3/181 21434
/proc/meminfo: memFree=28354048/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=1306180 CPUtime=27.39 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) R 21427 21430 16080 0 -1 4202496 267419 0 0 0 2703 36 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140733857798016 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 326545 268259 789 2943 0 323439 0
[pid=21430/tid=21431] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21431/stat : 21431 (toysat) S 21427 21430 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362813254896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21430/tid=21432] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21432/stat : 21432 (toysat) S 21427 21430 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362802765040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) S 21427 21430 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12701853 1337528320 268259 33554432000 4194304 16246674 140733857816144 140362685344944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 27.39
Current children cumulated vsize (KiB) 1306180

[startup+27.5004 s]
/proc/loadavg: 2.08 2.05 2.01 3/179 21434
/proc/meminfo: memFree=29194776/32872528 swapFree=447588/480292
[pid=21430] ppid=21427 vsize=0 CPUtime=27.49 cores=1,3,5,7
/proc/21430/stat : 21430 (toysat) Z 21427 21430 16080 0 -1 4202508 267424 0 0 0 2708 41 0 0 20 0 2 0 12701853 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21430/statm: 0 0 0 0 0 0 0
[pid=21430/tid=21433] ppid=21427 vsize=0 CPUtime=0.04 cores=1,3,5,7
/proc/21430/task/21433/stat : 21433 (toysat) R 21427 21430 16080 0 -1 4203588 1 0 0 0 0 4 0 0 20 0 2 0 12701853 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 27.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 27.5132
CPU time (s): 27.5008
CPU user time (s): 27.0859
CPU system time (s): 0.414936
CPU usage (%): 99.9552
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0859
system time used= 0.414936
maximum resident set size= 1073048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 29

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070989 second user time and 0.119981 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 21:46:21
IDJOB=4121986
IDBENCH=110810
IDSOLVER=2542
FILE ID=node104/4121986-1467315981
RUNJOBID= node104-1467310023-19960
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-19-2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121986-1467315981/watcher-4121986-1467315981 -o /tmp/evaluation-result-4121986-1467315981/solver-4121986-1467315981 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121986-1467315981.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cb8d6c515babcba8dd77961da569b93a
RANDOM SEED=1054416877

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29427396 kB
Buffers:          199200 kB
Cached:           936868 kB
SwapCached:            0 kB
Active:          1427324 kB
Inactive:         794640 kB
Active(anon):    1088448 kB
Inactive(anon):        0 kB
Active(file):     338876 kB
Inactive(file):   794640 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1565420 kB
Mapped:            16396 kB
Shmem:               204 kB
Slab:             611128 kB
SReclaimable:      55400 kB
SUnreclaim:       555728 kB
KernelStack:        1504 kB
PageTables:         7060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1690960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    419840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node104 at 2016-06-30 21:46:48