Trace number 4103473

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) 178.598 178.631

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM77d03e06bcf76c9b07fd6535ab6acb65
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1209008127
Best CPU time to get the best result obtained on this benchmark1800.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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:09:35+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-4103473-1466237375.opb"]
0.00/0.01	c use --random-gen="1896043094 579347728 3317916704 2237151889 1889561847 3759709378 2904804120 3162413231 1047729191 1781794143 2547129935 396362603 1102729880 987744183 3944338013 2168694768 1704969937 909578229 271179077 3087701343 1052154060 4079527692 938442303 3211388413 2878975315 1338539675 2626782691 1504583329 149023895 779975293 3442603001 1138200704 973391480 1576460969 2383831377 3345084904 2958233712 111368921 2201697808 728170839 2872280251 1071505596 2345698045 259723482 2511491504 593113025 3882843588 1343417429 3643863255 1550207741 645594436 666049620 3999122578 3491917852 2828644247 1504963040 807793504 508033592 911868818 2519705463 3900028378 3927855500 1223503594 889734366 1141790099 3584066471 3161041949 1681899685 2911601825 4209628582 3383945475 3451367551 1176970058 166269269 2150797089 449494651 1445674493 2020247505 993397334 3600354842 2739082041 949390389 1522638128 2409600917 1180955798 2301189742 1551801747 2766714257 4197367776 3146793315 1785216293 3503548919 2230107050 242257821 4151293351 2955745461 1152602247 4106827650 2671236986 2951578007 752404981 2419003320 557109036 341354405 2550655331 3643703024 4270632282 2001196416 419035993 1515434048 3270476113 3798537349 2185232921 3289420619 212230033 1209856839 2509117797 1455737843 751839176 2868000128 888031667 1470757956 2130554644 3548603441 958480010 207279279 1247429048 642551402 2053611065 2737555557 2715879904 2152548606 2588219003 1283887190 3595720746 2829975236 3130741357 1598966440 1033049108 3279110374 3138022064 796959696 4103336497 2798209721 2418992009 1669249983 1418619820 869495631 131288946 2348774001 3608978896 3153008278 2062516605 443548953 2779000198 1330366339 3152528616 3530558324 1354818524 141906768 2939540268 3072990382 4000448812 761058634 3036554665 1936113032 2770930960 1341274579 2107593148 937851482 3092426671 1525663982 1926317383 1771669516 2079970856 1327707286 2818955983 2948577437 631489944 3809388860 1752608997 159015255 4157584044 538606864 2904458896 4052336318 1445166045 3267798528 4178854916 2486964496 2403061588 317300296 4046991349 1416570558 1789640389 4031086110 1920662158 3910238901 218582085 3972837355 2194555170 2250533477 3782864325 240811433 3618949173 867969402 93093124 1727995102 1193748249 2429441447 3649069443 1950966659 3887685003 43841238 4080139301 1166065999 3917466587 72659615 1373122968 152107052 4027839068 2669902682 3211606385 1377619406 1734464766 1755733872 3268353016 956756628 2546921271 2782974265 2545357205 3195807821 1889855710 3725382373 3619357581 3587350696 138329230 1258977572 2425854730 4047128282 13269852 1697165675 1273574632 1275181879 439353201 3099565910 3435155552 502782155 128797044 2829853347 2025679364 1647094126 2549836574 2970921466 1809347667 3647568036 255 362436" option to reproduce the execution
0.39/0.40	c #vars 6651
0.39/0.40	c #constraints 721

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-4103473-1466237375/watcher-4103473-1466237375 -o /tmp/evaluation-result-4103473-1466237375/solver-4103473-1466237375 -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-4103473-1466237375.opb 

pid=5288
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: 1.93 2.04 2.07 3/179 5291
/proc/meminfo: memFree=29973640/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=808516 CPUtime=0 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 3032 0 0 0 0 0 0 0 20 0 4 0 25786728 827920384 2882 33554432000 4194304 16246674 140737154431360 140737154430784 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 202641 2889 442 2943 0 199535 0
[pid=5291/tid=5292] ppid=5288 vsize=824900 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 844697600 2948 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=830020 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 849940480 2964 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=833092 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25786728 853086208 2980 33554432000 4194304 16246674 140737154431360 139809554156720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 1.93 2.04 2.07 3/179 5291
/proc/meminfo: memFree=29973640/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 30333 0 0 0 5 4 0 0 20 0 4 0 25786728 1333334016 30121 33554432000 4194304 16246674 140737154431360 140737154430672 7440033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 325521 30136 801 2943 0 322415 0
[pid=5291/tid=5292] ppid=5288 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 1333334016 30148 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 1333334016 30159 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 1333334016 30171 33554432000 4194304 16246674 140737154431360 139809554156720 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) 1302084

[startup+0.200531 s]
/proc/loadavg: 1.93 2.04 2.07 3/179 5291
/proc/meminfo: memFree=29973640/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 46895 0 0 0 12 7 0 0 20 0 4 0 25786728 1343819776 47193 33554432000 4194304 16246674 140737154431360 140737154430672 14795835 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 328081 47193 801 2943 0 324975 0
[pid=5291/tid=5292] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 47193 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 47193 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 47193 33554432000 4194304 16246674 140737154431360 139809554156720 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) 1312324

[startup+0.300499 s]
/proc/loadavg: 1.93 2.04 2.07 3/179 5291
/proc/meminfo: memFree=29973640/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 60299 0 0 0 20 9 0 0 20 0 4 0 25786728 1343819776 60597 33554432000 4194304 16246674 140737154431360 140737154430672 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 328081 60597 801 2943 0 324975 0
[pid=5291/tid=5292] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 60597 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 60597 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 60597 33554432000 4194304 16246674 140737154431360 139809554156720 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) 1312324

[startup+0.700413 s]
/proc/loadavg: 1.93 2.04 2.07 3/179 5291
/proc/meminfo: memFree=29973640/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 93096 0 0 0 56 13 0 0 20 0 4 0 25786728 1343819776 93394 33554432000 4194304 16246674 140737154431360 140737154429248 6958465 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 328081 93406 820 2943 0 324975 0
[pid=5291/tid=5292] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 93413 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 93421 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 1343819776 93428 33554432000 4194304 16246674 140737154431360 139809554156720 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) 1312324

[startup+1.50041 s]
/proc/loadavg: 1.93 2.04 2.07 3/183 5295
/proc/meminfo: memFree=29234248/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=1318468 CPUtime=1.49 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 269981 0 0 0 114 35 0 0 20 0 4 0 25786728 1350111232 270279 33554432000 4194304 16246674 140737154431360 140737154413248 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 329617 270286 820 2943 0 326511 0
[pid=5291/tid=5292] ppid=5288 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 1350111232 270290 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 1350111232 270294 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 1350111232 270298 33554432000 4194304 16246674 140737154431360 139809554156720 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) 1318468

[startup+3.10044 s]
/proc/loadavg: 1.93 2.04 2.07 4/183 5295
/proc/meminfo: memFree=28731048/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=1479236 CPUtime=3.09 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 310419 0 0 0 270 39 0 0 20 0 4 0 25786728 1514737664 310717 33554432000 4194304 16246674 140737154431360 140737154430672 12429095 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 369809 310717 821 2943 0 366703 0
[pid=5291/tid=5292] ppid=5288 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 1514737664 310717 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 1514737664 310717 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=1479236 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 1514737664 310717 33554432000 4194304 16246674 140737154431360 139809554156720 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) 1479236

[startup+6.30043 s]
/proc/loadavg: 1.94 2.03 2.07 3/183 5295
/proc/meminfo: memFree=28541108/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=1668676 CPUtime=6.29 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 357780 0 0 0 583 46 0 0 20 0 4 0 25786728 1708724224 358078 33554432000 4194304 16246674 140737154431360 140737154429248 4206597 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 417169 358078 821 2943 0 414063 0
[pid=5291/tid=5292] ppid=5288 vsize=1668676 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 1708724224 358078 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=1668676 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 1708724224 358078 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=1668676 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 1708724224 358078 33554432000 4194304 16246674 140737154431360 139809554156720 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) 1668676

[startup+12.7004 s]
/proc/loadavg: 1.94 2.03 2.07 3/183 5295
/proc/meminfo: memFree=27302516/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=2904644 CPUtime=12.69 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 666772 0 0 0 1183 86 0 0 20 0 4 0 25786728 2974355456 667070 33554432000 4194304 16246674 140737154431360 140737154430456 4207014 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 726161 667070 821 2943 0 723055 0
[pid=5291/tid=5292] ppid=5288 vsize=2904644 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 2974355456 667070 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=2904644 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 2974355456 667070 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=2904644 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 2974355456 667070 33554432000 4194304 16246674 140737154431360 139809554156720 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) 2904644

[startup+25.5005 s]
/proc/loadavg: 1.95 2.03 2.06 3/183 5295
/proc/meminfo: memFree=24338700/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=5862980 CPUtime=25.49 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 1406358 0 0 0 2364 185 0 0 20 0 4 0 25786728 6003691520 1406656 33554432000 4194304 16246674 140737154431360 140737154430456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 1465745 1406656 821 2943 0 1462639 0
[pid=5291/tid=5292] ppid=5288 vsize=5862980 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 6003691520 1406656 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=5862980 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 6003691520 1406656 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=5862980 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 6003691520 1406656 33554432000 4194304 16246674 140737154431360 139809554156720 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) 5862980

[startup+51.1005 s]
/proc/loadavg: 2.04 2.04 2.07 4/184 5298
/proc/meminfo: memFree=21060648/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=9449028 CPUtime=51.09 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 2302659 0 0 0 4804 305 0 0 20 0 4 0 25786728 9675804672 2302957 33554432000 4194304 16246674 140737154431360 140737154429184 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 2362257 2302966 821 2943 0 2359151 0
[pid=5291/tid=5292] ppid=5288 vsize=9449028 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 9675804672 2302972 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=9449028 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 9675804672 2302978 33554432000 4194304 16246674 140737154431360 139809564630032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=9449028 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 9675804672 2302983 33554432000 4194304 16246674 140737154431360 139809554156720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9449028

[startup+102.3 s]
/proc/loadavg: 2.12 2.06 2.07 3/183 5299
/proc/meminfo: memFree=17921624/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=12267076 CPUtime=102.28 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 2962420 0 0 0 9827 401 0 0 20 0 4 0 25786728 12561485824 3007686 33554432000 4194304 16246674 140737154431360 140737154429312 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 3066769 3007686 826 2943 0 3063663 0
[pid=5291/tid=5292] ppid=5288 vsize=12267076 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 12561485824 3007686 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=12267076 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 12561485824 3007686 33554432000 4194304 16246674 140737154431360 139809564630032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=12267076 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 12561485824 3007686 33554432000 4194304 16246674 140737154431360 139809554156720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12267076

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 5301
/proc/meminfo: memFree=15352272/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=14833220 CPUtime=162.27 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 3548659 0 0 0 15744 483 0 0 20 0 4 0 25786728 15189217280 3649113 33554432000 4194304 16246674 140737154431360 140737154429312 14014083 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 3708305 3649113 826 2943 0 3705199 0
[pid=5291/tid=5292] ppid=5288 vsize=14833220 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 15189217280 3649113 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=14833220 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 15189217280 3649113 33554432000 4194304 16246674 140737154431360 139809564630032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=14833220 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 15189217280 3649113 33554432000 4194304 16246674 140737154431360 139809554156720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 14833220



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+177.8 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 5301
/proc/meminfo: memFree=14602200/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=15899204 CPUtime=177.77 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) R 5288 5291 1377 0 -1 4202496 3815090 0 0 0 17250 527 0 0 20 0 4 0 25786728 16280784896 3915544 33554432000 4194304 16246674 140737154431360 140737154430456 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 3974801 3915544 826 2943 0 3971695 0
[pid=5291/tid=5292] ppid=5288 vsize=15899204 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) S 5288 5291 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25786728 16280784896 3915544 33554432000 4194304 16246674 140737154431360 139809575120112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5291/tid=5293] ppid=5288 vsize=15899204 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5293/stat : 5293 (toysat) S 5288 5291 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25786728 16280784896 3915544 33554432000 4194304 16246674 140737154431360 139809564630256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5291/tid=5294] ppid=5288 vsize=15899204 CPUtime=0 cores=1,3,5,7
/proc/5291/task/5294/stat : 5294 (toysat) S 5288 5291 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25786728 16280784896 3915544 33554432000 4194304 16246674 140737154431360 139809554156720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 177.77
Current children cumulated vsize (KiB) 15899204

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

[startup+178.4 s]
/proc/loadavg: 2.00 2.03 2.06 3/181 5301
/proc/meminfo: memFree=21674612/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=0 CPUtime=178.36 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) Z 5288 5291 1377 0 -1 4203532 3815608 0 0 0 17250 586 0 0 20 0 2 0 25786728 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 0 0 0 0 0 0 0
[pid=5291/tid=5292] ppid=5288 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) R 5288 5291 1377 0 -1 4203588 10 0 0 0 0 58 0 0 20 0 2 0 25786728 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) 178.36
Current children cumulated vsize (KiB) 0

[startup+178.6 s]
/proc/loadavg: 2.00 2.03 2.06 3/181 5301
/proc/meminfo: memFree=21674612/32872528 swapFree=681964/737152
[pid=5291] ppid=5288 vsize=0 CPUtime=178.56 cores=1,3,5,7
/proc/5291/stat : 5291 (toysat) Z 5288 5291 1377 0 -1 4203532 3815608 0 0 0 17250 606 0 0 20 0 2 0 25786728 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5291/statm: 0 0 0 0 0 0 0
[pid=5291/tid=5292] ppid=5288 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/5291/task/5292/stat : 5292 (toysat) R 5288 5291 1377 0 -1 4203588 10 0 0 0 0 78 0 0 20 0 2 0 25786728 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) 178.56
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 178.631
CPU time (s): 178.598
CPU user time (s): 172.505
CPU system time (s): 6.09307
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 15899204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.505
system time used= 6.09307
maximum resident set size= 15664248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3815608
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= 62
involuntary context switches= 197

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.482926 second user time and 0.715891 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:09:35
IDJOB=4103473
IDBENCH=2371
IDSOLVER=2542
FILE ID=node112/4103473-1466237375
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103473-1466237375/watcher-4103473-1466237375 -o /tmp/evaluation-result-4103473-1466237375/solver-4103473-1466237375 -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-4103473-1466237375.opb

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

MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65
RANDOM SEED=880554535

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:        29974176 kB
Buffers:          115176 kB
Cached:           128544 kB
SwapCached:         1916 kB
Active:          1278752 kB
Inactive:         146900 kB
Active(anon):    1180272 kB
Inactive(anon):     4436 kB
Active(file):      98480 kB
Inactive(file):   142464 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             18276 kB
Writeback:             4 kB
AnonPages:       1918556 kB
Mapped:            10848 kB
Shmem:                 0 kB
Slab:             601992 kB
SReclaimable:      45764 kB
SUnreclaim:       556228 kB
KernelStack:        1456 kB
PageTables:         7508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2060836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 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= 71676 MiB
End job on node112 at 2016-06-18 10:12:34