Trace number 4103513

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 169.867 169.901

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap2.opb
MD5SUM69a6c7d8646ca0764023f06029f7c1d1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2807518283
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7525688714
Optimality of the best value was proved NO
Number of variables56400
Total number of constraints1033
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1033
Minimum length of a constraint90
Maximum length of a constraint720
Number of terms in the objective function 42300
Biggest coefficient in the objective function 42949672960
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 26381836591110
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 42949672960
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 26381836591110
Number of bits of the biggest sum of numbers45
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-18T10:12:58+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-4103513-1466237578.opb"]
0.00/0.01	c use --random-gen="3854127657 919513688 3666415694 652138257 4017112621 1897829488 2639383193 2601698419 927309083 1132845720 1178790466 2963450504 760462419 2686469730 3154146031 4280289614 440686999 556168639 890733800 3350664827 2976018297 1947615218 4004148002 185074163 1503936027 3466870797 3435709111 4083319855 3337821902 780081758 679998861 3777811864 3838361764 1630997589 2982974875 1867349840 1798804767 724395969 623632198 359174528 2584802279 2183733919 468285328 2422570759 2064510171 4263445946 1975341634 2971185083 162207225 1123005671 3248989056 3227649568 44764732 2818116250 2254074207 55724811 1049550130 747706314 1635148543 2088080653 1581397936 1162729048 4267135548 642691734 4150816083 2338357433 585654055 1839695262 2613587683 779390412 3477905286 831759898 2415764466 1764733660 3541416474 3264202054 969818751 2819961578 688410301 268258283 2073814544 1911945366 2889472878 2878265879 1597846144 4170723941 327635149 1123578131 3670068878 3272883209 4019221815 3512982528 96653599 1793172303 3881886972 206664511 1710285263 2938609244 976558393 1359637836 1082712550 2103273067 2969105142 2876894503 615287780 2277238918 3256190479 886311578 2736226697 538475646 2105790035 4269151843 4174069621 2851252825 2343418801 2493639577 4077537984 913910760 1487472450 3524476613 295009327 1046272847 1314924833 424582782 1846083916 880326394 3051498242 803391106 1759593104 1475200721 2038303470 2777738774 3615903865 2527604393 3727035303 1335692116 1099149602 1706984953 2109727576 674776358 964443037 3797917898 1451639520 2170752913 2969797649 3154541490 3122138585 2757449315 1152011384 2232238654 2487934141 2944110773 339497967 3632907553 3556567521 1289845936 645060957 662120538 2061699973 3169768801 964694871 2238282267 587506696 1931689090 2455480697 115498534 437435492 1144583198 2157251326 623315097 2722563482 1314999170 3565575394 948434140 3741594593 4037659003 1424331473 1497225742 1194785401 4035608470 1925800250 2140864373 3532319690 1250121985 4022183553 41531022 1506756614 4277718649 3459934154 3085587141 3092041831 3615391788 3540349218 1394564913 4288597654 4227210414 3484123154 3823803327 1546227107 1769753716 3694761149 1537360472 3354683869 2362395714 4075754448 2799662035 1140980167 1275638901 3302998581 2455733609 2049968885 1762874326 3282112961 4173298632 3675876345 4151997273 1102496349 2885003075 3728049868 3087831978 503611384 2152237679 1325760736 1526858127 326354840 3914342931 4125137951 1012356817 3873533278 1816826466 1291776012 1524473479 3131736407 1142709600 1378892197 332548080 2464412442 4124043854 1378672325 987382759 3356905267 253887693 1184407893 1498889906 4135450442 1647594297 1088964995 4189449780 49415059 2267807633 3332495515 3893635211 58017396 208660751 1741023388 856225383 255 362436" option to reproduce the execution
0.39/0.47	c #vars 56400
0.39/0.47	c #constraints 1033

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-4103513-1466237578/watcher-4103513-1466237578 -o /tmp/evaluation-result-4103513-1466237578/solver-4103513-1466237578 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103513-1466237578.opb 

pid=5441
running on 4 cores: 0,2,4,6

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.00 2.03 2.06 3/179 5444
/proc/meminfo: memFree=26554116/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 2628 0 0 0 0 0 0 0 20 0 4 0 25807020 721874944 2988 33554432000 4194304 16246674 140733967783360 140733967782784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 177007 2997 441 2943 0 173901 0
[pid=5444/tid=5445] ppid=5441 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 739700736 3057 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 743895040 3073 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25807020 748089344 3089 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 5444
/proc/meminfo: memFree=26554116/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=1303108 CPUtime=0.08 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 30518 0 0 0 4 4 0 0 20 0 4 0 25807020 1334382592 30817 33554432000 4194304 16246674 140733967783360 140733967782672 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 325777 30830 799 2943 0 322671 0
[pid=5444/tid=5445] ppid=5441 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 1334382592 30839 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 1334382592 30851 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 1334382592 30862 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1303108

[startup+0.200403 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 5444
/proc/meminfo: memFree=26554116/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 44023 0 0 0 12 7 0 0 20 0 4 0 25807020 1341722624 44832 33554432000 4194304 16246674 140733967783360 140733967782672 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 327569 44838 800 2943 0 324463 0
[pid=5444/tid=5445] ppid=5441 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 1341722624 44844 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 1341722624 44849 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 1341722624 44854 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300487 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 5444
/proc/meminfo: memFree=26554116/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 45401 0 0 0 22 7 0 0 20 0 4 0 25807020 1342771200 46210 33554432000 4194304 16246674 140733967783360 140733967782672 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 327825 46210 801 2943 0 324719 0
[pid=5444/tid=5445] ppid=5441 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 1342771200 46210 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 1342771200 46210 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 1342771200 46210 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700389 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 5444
/proc/meminfo: memFree=26554116/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=1333828 CPUtime=0.68 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 84631 0 0 0 56 12 0 0 20 0 4 0 25807020 1365839872 85440 33554432000 4194304 16246674 140733967783360 140733967765248 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 333457 85447 822 2943 0 330351 0
[pid=5444/tid=5445] ppid=5441 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 1365839872 85454 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 1365839872 85460 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 1365839872 85465 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1333828

[startup+1.50039 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 5448
/proc/meminfo: memFree=25777360/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=1333828 CPUtime=1.48 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 274061 0 0 0 111 37 0 0 20 0 4 0 25807020 1365839872 274870 33554432000 4194304 16246674 140733967783360 140733967781248 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 333457 274870 822 2943 0 330351 0
[pid=5444/tid=5445] ppid=5441 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 1365839872 274870 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 1365839872 274870 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 1365839872 274870 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1333828

[startup+3.10042 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 5448
/proc/meminfo: memFree=25318312/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=1470020 CPUtime=3.08 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 308112 0 0 0 266 42 0 0 20 0 4 0 25807020 1505300480 308921 33554432000 4194304 16246674 140733967783360 140733967765248 4221138 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 367505 308921 823 2943 0 364399 0
[pid=5444/tid=5445] ppid=5441 vsize=1470020 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 1505300480 308921 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=1470020 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 1505300480 308921 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=1470020 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 1505300480 308921 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1470020

[startup+6.30039 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 5448
/proc/meminfo: memFree=24723124/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=1832516 CPUtime=6.29 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 398659 0 0 0 575 54 0 0 20 0 4 0 25807020 1876496384 399468 33554432000 4194304 16246674 140733967783360 140733967781184 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 458129 399476 823 2943 0 455023 0
[pid=5444/tid=5445] ppid=5441 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 1876496384 399482 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 1876496384 399487 33554432000 4194304 16246674 140733967783360 140316950633488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 1876496384 399492 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1832516

[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 5448
/proc/meminfo: memFree=21372800/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=3073604 CPUtime=12.69 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 709009 0 0 0 1174 95 0 0 20 0 4 0 25807020 3147370496 709818 33554432000 4194304 16246674 140733967783360 140733967781184 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 768401 709818 823 2943 0 765295 0
[pid=5444/tid=5445] ppid=5441 vsize=3073604 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 3147370496 709818 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=3073604 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 3147370496 709818 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=3073604 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 3147370496 709818 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3073604

[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 5448
/proc/meminfo: memFree=17682584/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=4802116 CPUtime=25.48 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 1141139 0 0 0 2398 150 0 0 20 0 4 0 25807020 4917366784 1141948 33554432000 4194304 16246674 140733967783360 140733967781184 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 1200529 1141948 824 2943 0 1197423 0
[pid=5444/tid=5445] ppid=5441 vsize=4802116 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 4917366784 1141948 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=4802116 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 4917366784 1141948 33554432000 4194304 16246674 140733967783360 140316950633488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=4802116 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 4917366784 1141948 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4802116

[startup+51.1005 s]
/proc/loadavg: 1.92 2.01 2.05 3/183 5448
/proc/meminfo: memFree=9505420/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=8948292 CPUtime=51.08 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 2177685 0 0 0 4821 287 0 0 20 0 4 0 25807020 9163051008 2178494 33554432000 4194304 16246674 140733967783360 140733967781248 4221138 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 2237073 2178494 824 2943 0 2233967 0
[pid=5444/tid=5445] ppid=5441 vsize=8948292 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 9163051008 2178494 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=8948292 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 9163051008 2178494 33554432000 4194304 16246674 140733967783360 140316950633488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=8948292 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 9163051008 2178494 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8948292

[startup+102.301 s]
/proc/loadavg: 1.97 2.00 2.04 3/183 5449
/proc/meminfo: memFree=4329204/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=14113348 CPUtime=102.29 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 3468955 0 0 0 9758 471 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140733967781184 14013836 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 3528337 3469764 829 2943 0 3525231 0
[pid=5444/tid=5445] ppid=5441 vsize=14113348 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=14113348 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140316950633488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=14113348 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 14113348

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/183 5450
/proc/meminfo: memFree=2783124/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=14113348 CPUtime=162.26 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 3468955 0 0 0 15752 474 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140733967781184 6955088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 3528337 3469764 829 2943 0 3525231 0
[pid=5444/tid=5445] ppid=5441 vsize=14113348 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=14113348 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=14113348 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 14452068352 3469764 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14113348



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+169 s]
/proc/loadavg: 1.99 2.00 2.04 3/183 5450
/proc/meminfo: memFree=1257552/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=15891012 CPUtime=168.96 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) R 5441 5444 1377 0 -1 4202496 3913266 0 0 0 16359 537 0 0 20 0 4 0 25807020 16272396288 3914075 33554432000 4194304 16246674 140733967783360 140733967781312 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 3972753 3914082 829 2943 0 3969647 0
[pid=5444/tid=5445] ppid=5441 vsize=15891012 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) S 5441 5444 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25807020 16272396288 3914086 33554432000 4194304 16246674 140733967783360 140316961123568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5444/tid=5446] ppid=5441 vsize=15891012 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5446/stat : 5446 (toysat) S 5441 5444 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25807020 16272396288 3914092 33554432000 4194304 16246674 140733967783360 140316950633712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5444/tid=5447] ppid=5441 vsize=15891012 CPUtime=0 cores=0,2,4,6
/proc/5444/task/5447/stat : 5447 (toysat) S 5441 5444 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25807020 16272396288 3914099 33554432000 4194304 16246674 140733967783360 140316940160176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 168.96
Current children cumulated vsize (KiB) 15891012

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+169.6 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 5450
/proc/meminfo: memFree=7904584/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=0 CPUtime=169.56 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) Z 5441 5444 1377 0 -1 4203532 3913694 0 0 0 16360 596 0 0 20 0 2 0 25807020 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 0 0 0 0 0 0 0
[pid=5444/tid=5445] ppid=5441 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) R 5441 5444 1377 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 25807020 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.56
Current children cumulated vsize (KiB) 0

[startup+169.8 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 5450
/proc/meminfo: memFree=7904584/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=0 CPUtime=169.76 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) Z 5441 5444 1377 0 -1 4203532 3913694 0 0 0 16360 616 0 0 20 0 2 0 25807020 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 0 0 0 0 0 0 0
[pid=5444/tid=5445] ppid=5441 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) R 5441 5444 1377 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 25807020 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.76
Current children cumulated vsize (KiB) 0

[startup+169.9 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 5450
/proc/meminfo: memFree=7904584/32872528 swapFree=681964/737152
[pid=5444] ppid=5441 vsize=0 CPUtime=169.86 cores=0,2,4,6
/proc/5444/stat : 5444 (toysat) Z 5441 5444 1377 0 -1 4203532 3913694 0 0 0 16360 626 0 0 20 0 2 0 25807020 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5444/statm: 0 0 0 0 0 0 0
[pid=5444/tid=5445] ppid=5441 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/5444/task/5445/stat : 5445 (toysat) R 5441 5444 1377 0 -1 4203588 9 0 0 0 0 88 0 0 20 0 2 0 25807020 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 169.86
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 169.901
CPU time (s): 169.867
CPU user time (s): 163.604
CPU system time (s): 6.26305
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 15891012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 163.604
system time used= 6.26305
maximum resident set size= 15658012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3913694
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= 63
involuntary context switches= 173

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00385 second user time and 1.63575 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:12:58
IDJOB=4103513
IDBENCH=2382
IDSOLVER=2542
FILE ID=node112/4103513-1466237578
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sctap2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103513-1466237578/watcher-4103513-1466237578 -o /tmp/evaluation-result-4103513-1466237578/solver-4103513-1466237578 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103513-1466237578.opb

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

MD5SUM BENCH= 69a6c7d8646ca0764023f06029f7c1d1
RANDOM SEED=785423734

node112.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.734
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	: 5333.46
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.734
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.734
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	: 5321.48
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.734
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.734
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.734
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.734
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.55
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26554396 kB
Buffers:          113988 kB
Cached:           135148 kB
SwapCached:         1916 kB
Active:          4690124 kB
Inactive:         148336 kB
Active(anon):    4586892 kB
Inactive(anon):     4452 kB
Active(file):     103232 kB
Inactive(file):   143884 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             41144 kB
Writeback:             4 kB
AnonPages:       5325212 kB
Mapped:            10472 kB
Shmem:                 0 kB
Slab:             602608 kB
SReclaimable:      45972 kB
SUnreclaim:       556636 kB
KernelStack:        1504 kB
PageTables:        14400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5471896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71672 MiB
End job on node112 at 2016-06-18 10:15:48