Trace number 4103833

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) 213.78 213.831

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell5.opb
MD5SUMda0fa1480f123e186307c547a0028656
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark948234148331060
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1037979231691996
Optimality of the best value was proved NO
Number of variables1704
Total number of constraints118
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints103
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1268
Biggest coefficient in the objective function 50331648000000000
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 888722133694353611
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 50331648000000000
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 888722133694353611
Number of bits of the biggest sum of numbers60
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:40:39+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-4103833-1466239239.opb"]
0.00/0.01	c use --random-gen="3928457380 3288322953 3281202782 1127239441 3857854580 604662269 3173529378 4073064289 1941769975 2781834293 2725798805 3675599970 2366046009 3163485729 2626238879 1360432295 1799482723 712475242 539649021 202195140 1797358154 628053482 2437365782 4115393847 3436192389 3883282361 127925542 1808751396 257703983 3858637317 1639867583 1592074839 3159350942 862135548 655638290 3883745232 2878169827 700013191 3942610267 916090994 2877694269 3227222241 1346741748 1217718952 2660143857 1848419662 2368482568 1033632264 3502476891 1623287755 1634791634 4060788717 1343105282 3880339962 1006064235 682732677 1968649742 812921981 3275977512 457516419 2822382751 2450853029 1524379780 3408093598 1735048395 862495951 4238254061 1131740913 2964218893 344849266 3723623388 3053625494 1279620020 1539696045 3748213019 3570649052 2645358903 3574801923 2896800313 3795086738 1130340468 402199320 12194632 1980474741 713401108 3888065709 88644198 143370867 2377049571 1683072255 3389354070 469426527 3542456623 1481459062 1579777803 32347587 291091449 1731365350 491096964 2039707969 3524100585 3018308132 568195163 2012942907 586154867 1040526626 3577554085 1069744096 2774072975 1180381520 1799405261 3123979801 3053787524 4269553226 1269396753 1269092260 1617197853 1880868945 916884956 1169817331 3467622712 1181474588 1188563728 3441785291 2041639192 487583747 551001126 4172201912 2256445346 3412576239 3599892823 799315044 772458589 3002435623 1470085757 1416332832 2393701960 3201485745 2694849987 3970342129 2416497017 1332464276 2713308070 2383601543 549939918 4031839290 633297698 1301443218 3451274639 2610943321 2072496770 1337568884 785709319 1669256131 170105088 1146331261 3919142644 4141979212 1566835853 3738423968 2576819591 2338609734 2887959775 3187869464 4005652636 1395416422 3685425436 3882074986 279310765 1363094455 1614881738 3388674725 3054038093 2564540861 3971305402 4085077844 2833268684 465304945 3846136297 3528342217 2397515349 1679131780 547636350 4053662930 4143862199 2844842301 2680869747 1223257822 1998983528 958988239 2016541684 1969852823 2840300052 355613961 2245430917 2815927288 3449938682 49846766 3608629017 1010063255 4138772322 4044594395 2885261213 1488976023 829769274 2237824930 2651337994 1700402517 3360319783 1615294614 1914127981 3042516311 1934221114 62119955 2570606896 2787477463 2752034520 2309769365 3870323046 603206545 475719508 4072068955 3037493100 3841247618 545964463 405703578 3568838885 216204254 2096354871 2329777316 4223453953 1218489065 1289064049 1208710368 417595888 3399971357 1387809098 954494818 3783139535 213985512 1521840363 501655337 2961475678 428068519 1988622958 2656220420 2069655819 2342124557 2049809280 3764535993 4004964919 1888208658 96550237 2910522190 1398905656 3328148897 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1704
0.00/0.02	c #constraints 118

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

pid=5969
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.14 2.16 2.10 2/180 5972
/proc/meminfo: memFree=17767040/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 2614 0 0 0 0 0 0 0 20 0 4 0 25973146 719777792 3486 33554432000 4194304 16246674 140736692243120 140736692242544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 176239 3495 441 2943 0 173133 0
[pid=5972/tid=5973] ppid=5969 vsize=720316 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 737603584 3553 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 741797888 3571 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25973147 745992192 3586 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.14 2.16 2.10 2/180 5972
/proc/meminfo: memFree=17767040/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 29852 0 0 0 5 4 0 0 20 0 4 0 25973146 1247350784 30716 33554432000 4194304 16246674 140736692243120 140736692242544 12654121 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 304529 30728 649 2943 0 301423 0
[pid=5972/tid=5973] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 30737 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 30746 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 30755 33554432000 4194304 16246674 140736692243120 140504610102448 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.200539 s]
/proc/loadavg: 2.14 2.16 2.10 2/180 5972
/proc/meminfo: memFree=17767040/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 51776 0 0 0 12 7 0 0 20 0 4 0 25973146 1247350784 52640 33554432000 4194304 16246674 140736692243120 140736692225024 12657222 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 304529 52645 649 2943 0 301423 0
[pid=5972/tid=5973] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 52649 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 52652 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 52656 33554432000 4194304 16246674 140736692243120 140504610102448 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.300497 s]
/proc/loadavg: 2.14 2.16 2.10 2/180 5972
/proc/meminfo: memFree=17767040/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 77544 0 0 0 19 10 0 0 20 0 4 0 25973146 1247350784 78408 33554432000 4194304 16246674 140736692243120 140736692225024 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 304529 78418 649 2943 0 301423 0
[pid=5972/tid=5973] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 78424 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 78429 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 78435 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 2.14 2.16 2.10 2/180 5972
/proc/meminfo: memFree=17767040/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 164913 0 0 0 49 20 0 0 20 0 4 0 25973146 1247350784 165777 33554432000 4194304 16246674 140736692243120 140736692225024 12653060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 304529 165790 649 2943 0 301423 0
[pid=5972/tid=5973] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 165800 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 165811 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25973147 1247350784 165823 33554432000 4194304 16246674 140736692243120 140504610102448 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.50043 s]
/proc/loadavg: 2.12 2.16 2.10 3/184 5976
/proc/meminfo: memFree=16756280/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=1295940 CPUtime=1.49 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 264952 0 0 0 116 33 0 0 20 0 4 0 25973146 1327042560 265771 33554432000 4194304 16246674 140736692243120 140736692225024 12654389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 323985 265771 842 2943 0 320879 0
[pid=5972/tid=5973] ppid=5969 vsize=1295940 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 1327042560 265771 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=1295940 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 1327042560 265771 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=1295940 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 1327042560 265771 33554432000 4194304 16246674 140736692243120 140504610102448 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) 1295940

[startup+3.10043 s]
/proc/loadavg: 2.12 2.16 2.10 3/184 5976
/proc/meminfo: memFree=16597188/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=1403460 CPUtime=3.09 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 291980 0 0 0 273 36 0 0 20 0 4 0 25973146 1437143040 292799 33554432000 4194304 16246674 140736692243120 140736692242432 13883727 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 350865 292799 842 2943 0 347759 0
[pid=5972/tid=5973] ppid=5969 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 1437143040 292799 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 1437143040 292799 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 1437143040 292799 33554432000 4194304 16246674 140736692243120 140504610102448 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) 1403460

[startup+6.30042 s]
/proc/loadavg: 2.11 2.16 2.10 3/184 5976
/proc/meminfo: memFree=16273720/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=1726020 CPUtime=6.29 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 372620 0 0 0 583 46 0 0 20 0 4 0 25973146 1767444480 373439 33554432000 4194304 16246674 140736692243120 140736692242296 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 431505 373439 842 2943 0 428399 0
[pid=5972/tid=5973] ppid=5969 vsize=1726020 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 1767444480 373439 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=1726020 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 1767444480 373439 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=1726020 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 1767444480 373439 33554432000 4194304 16246674 140736692243120 140504610102448 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) 1726020

[startup+12.7004 s]
/proc/loadavg: 2.10 2.15 2.10 3/184 5976
/proc/meminfo: memFree=15710736/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=2288196 CPUtime=12.69 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 513165 0 0 0 1206 63 0 0 20 0 4 0 25973146 2343112704 513984 33554432000 4194304 16246674 140736692243120 140736692242432 4206604 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 572049 513984 843 2943 0 568943 0
[pid=5972/tid=5973] ppid=5969 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 2343112704 513984 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 2343112704 513984 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=2288196 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 2343112704 513984 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2288196

[startup+25.5005 s]
/proc/loadavg: 2.17 2.17 2.10 3/183 5976
/proc/meminfo: memFree=13628644/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=4383300 CPUtime=25.48 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 1036941 0 0 0 2416 132 0 0 20 0 4 0 25973146 4488499200 1037760 33554432000 4194304 16246674 140736692243120 140736692242432 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 1095825 1037760 843 2943 0 1092719 0
[pid=5972/tid=5973] ppid=5969 vsize=4383300 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 4488499200 1037760 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=4383300 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 4488499200 1037760 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=4383300 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 4488499200 1037760 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4383300

[startup+51.1005 s]
/proc/loadavg: 2.10 2.15 2.09 3/183 5976
/proc/meminfo: memFree=8939464/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=9046596 CPUtime=51.08 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 2202767 0 0 0 4827 281 0 0 20 0 4 0 25973146 9263714304 2203586 33554432000 4194304 16246674 140736692243120 140736692242216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 2261649 2203586 843 2943 0 2258543 0
[pid=5972/tid=5973] ppid=5969 vsize=9046596 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 9263714304 2203586 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=9046596 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 9263714304 2203586 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=9046596 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 9263714304 2203586 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9046596

[startup+102.301 s]
/proc/loadavg: 2.13 2.15 2.09 3/183 6026
/proc/meminfo: memFree=12772128/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=13390404 CPUtime=102.27 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 3288725 0 0 0 9795 432 0 0 20 0 4 0 25973146 13711773696 3289552 33554432000 4194304 16246674 140736692243120 140736692241088 14016832 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 3347601 3289552 848 2943 0 3344495 0
[pid=5972/tid=5973] ppid=5969 vsize=13390404 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 13711773696 3289552 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=13390404 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 13711773696 3289552 33554432000 4194304 16246674 140736692243120 140504620575760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=13390404 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 13711773696 3289552 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13390404

[startup+162.3 s]
/proc/loadavg: 2.19 2.17 2.10 3/183 6028
/proc/meminfo: memFree=3428348/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=14442052 CPUtime=162.26 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 3551499 0 0 0 15755 471 0 0 20 0 4 0 25973146 14788661248 3552326 33554432000 4194304 16246674 140736692243120 140736692242216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 3610513 3552334 848 2943 0 3607407 0
[pid=5972/tid=5973] ppid=5969 vsize=14442052 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 14788661248 3552340 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=14442052 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 14788661248 3552346 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=14442052 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 14788661248 3552353 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14442052



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+213 s]
/proc/loadavg: 2.15 2.15 2.09 3/183 6029
/proc/meminfo: memFree=2027464/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=15908420 CPUtime=212.95 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) R 5969 5972 1377 0 -1 4202496 3863474 0 0 0 20774 521 0 0 20 0 4 0 25973146 16290222080 3918978 33554432000 4194304 16246674 140736692243120 140736692242216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 3977105 3918978 848 2943 0 3973999 0
[pid=5972/tid=5973] ppid=5969 vsize=15908420 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5973/stat : 5973 (toysat) S 5969 5972 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25973147 16290222080 3918978 33554432000 4194304 16246674 140736692243120 140504706559216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=15908420 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) S 5969 5972 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25973147 16290222080 3918979 33554432000 4194304 16246674 140736692243120 140504620575984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5972/tid=5975] ppid=5969 vsize=15908420 CPUtime=0 cores=1,3,5,7
/proc/5972/task/5975/stat : 5975 (toysat) S 5969 5972 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25973147 16290222080 3918984 33554432000 4194304 16246674 140736692243120 140504610102448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 212.95
Current children cumulated vsize (KiB) 15908420

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 5972 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+213.6 s]
/proc/loadavg: 2.15 2.15 2.09 3/181 6029
/proc/meminfo: memFree=9256056/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=0 CPUtime=213.54 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) Z 5969 5972 1377 0 -1 4203532 3863968 0 0 0 20774 580 0 0 20 0 2 0 25973146 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 0 0 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) R 5969 5972 1377 0 -1 4203588 7 0 0 0 0 58 0 0 20 0 2 0 25973147 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 213.54
Current children cumulated vsize (KiB) 0

[startup+213.8 s]
/proc/loadavg: 2.15 2.15 2.09 3/181 6029
/proc/meminfo: memFree=9256056/32872528 swapFree=681964/737152
[pid=5972] ppid=5969 vsize=0 CPUtime=213.74 cores=1,3,5,7
/proc/5972/stat : 5972 (toysat) Z 5969 5972 1377 0 -1 4203532 3863968 0 0 0 20774 600 0 0 20 0 2 0 25973146 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5972/statm: 0 0 0 0 0 0 0
[pid=5972/tid=5974] ppid=5969 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/5972/task/5974/stat : 5974 (toysat) R 5969 5972 1377 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 25973147 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 213.74
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 213.831
CPU time (s): 213.78
CPU user time (s): 207.748
CPU system time (s): 6.03208
CPU usage (%): 99.9763
Max. virtual memory (cumulated for all children) (KiB): 15908420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.748
system time used= 6.03208
maximum resident set size= 15677888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3863968
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= 90
involuntary context switches= 234

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.571913 second user time and 0.806877 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:40:39
IDJOB=4103833
IDBENCH=2479
IDSOLVER=2542
FILE ID=node112/4103833-1466239239
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103833-1466239239/watcher-4103833-1466239239 -o /tmp/evaluation-result-4103833-1466239239/solver-4103833-1466239239 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103833-1466239239.opb

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

MD5SUM BENCH= da0fa1480f123e186307c547a0028656
RANDOM SEED=488472639

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:        17767584 kB
Buffers:           24928 kB
Cached:            89780 kB
SwapCached:         2288 kB
Active:         13564032 kB
Inactive:          43844 kB
Active(anon):   13493016 kB
Inactive(anon):     2412 kB
Active(file):      71016 kB
Inactive(file):    41432 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67093592 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:      14214572 kB
Mapped:            10132 kB
Shmem:                 0 kB
Slab:             600948 kB
SReclaimable:      44676 kB
SUnreclaim:       556272 kB
KernelStack:        1512 kB
PageTables:        32044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14376600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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= 71680 MiB
End job on node112 at 2016-06-18 10:44:13