Trace number 4103313

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) 253.582 253.631

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos3.opb
MD5SUMd20c34d69465e41d60c8740ade812dbe
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables42220
Total number of constraints1481
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)17
Number of constraints which are nor clauses,nor cardinality constraints1464
Minimum length of a constraint10
Maximum length of a constraint4780
Number of terms in the objective function 155
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 10737418235
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 2454208150643933184000
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 289272765430218968121839
Number of bits of the biggest sum of numbers78
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-18T09:35:19+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-4103313-1466235319.opb"]
0.00/0.01	c use --random-gen="3529837256 111732904 3442684125 3995012752 931137057 3443829315 2294095079 1319701674 1467812176 2111458621 1172108406 2153868637 1889872841 1593450869 77219881 2022369444 500472841 1502199325 1628876212 1267049059 757271131 3855535702 4191578110 1198453393 1133236339 1827531414 4199458016 1737402770 1950107125 1209260452 771388229 176469296 4202612863 571511101 4090132064 3192794961 3381252551 64818040 2013489330 3469239694 1595331462 703143816 2400665697 3112309008 189661593 1450579878 2095231830 3242694531 250704760 112197132 3271165126 1481920807 351502642 2033584647 768910046 1088253985 1287001122 133175230 837370511 144572570 2613591204 3442283379 1256123820 1827508774 1511445826 808853199 2478531533 4122549837 1854789476 612594253 1589580439 2459502146 1911514033 258196592 2395856022 3679031731 3167936354 1578041711 3554652552 1881240435 2187004327 2116840595 3302369057 502135420 138293549 2895373814 3109239326 201509780 485361705 3858223534 482891786 3446079592 3950110637 1309336635 2766683551 2921298761 765701399 2905817007 867218488 1914865239 3366856475 3567802257 1353151515 3467587912 3032276914 1678527106 2221477902 710456493 2884080778 71118930 1816711870 1588871401 589106420 2899987919 92891994 2735553880 424161565 2448945558 709575964 3396463783 1286713984 2197721458 2443348899 2372073927 4010379355 760223093 952438018 3726021817 1088751876 1609705929 396935475 3771195103 2543596432 659104363 3759327873 3037089097 1177385400 4111827646 611616769 1587006646 2086826214 864595397 1524246908 1576377893 2940889692 3970875577 1638440744 2679475250 407843381 2143250660 4292435415 2459676965 166865752 1841408255 2813434741 3713808533 1553459342 73980488 3338041396 3554659284 1722823056 4019396079 2945230922 2935348526 3676065026 237981706 1592609887 788590848 3484220961 1021597681 3633882250 3683406526 1067716381 3770772141 2610607074 823561724 1366135173 1528361470 131746803 649545739 3582176717 1013227732 3451872688 2036218326 1938026642 534708514 381422435 1825690893 3859818886 3352031382 1196330196 1389695657 1246066527 382568528 2703490867 1479817118 2532266193 3889773268 826677754 3649154302 1168921810 3931077681 2572678790 76699718 739930461 3083128616 3697883317 826478468 1865175629 1756176212 3247980052 606952788 2613254215 441419537 4087536617 2745103325 2711673572 3498140757 801001620 1591194376 1905919579 214455 3600878490 947182580 2141034339 606677548 1649761331 566599215 3632307428 2197253162 2979864619 1009748798 1300131106 1759299909 1235949011 2984598887 3100056421 2422474189 2046619404 2712311722 3445654179 2183478688 2951697410 2261309961 1355972046 1811364651 1857247356 3258357716 3749355002 1584489768 79013994 1301297194 2466971425 3259297511 2090663424 2239975234 255 362436" option to reproduce the execution
0.29/0.35	c #vars 42220
0.29/0.35	c #constraints 1481

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

pid=5068
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.16 2.08 2.08 3/179 5071
/proc/meminfo: memFree=28629304/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 2703 0 0 0 0 0 0 0 20 0 4 0 25581119 741797888 3064 33554432000 4194304 16246674 140735680132400 140735680131824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 181615 3073 441 2943 0 178509 0
[pid=5071/tid=5072] ppid=5068 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 758575104 3130 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=745916 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 763817984 3149 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 768012288 3164 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.16 2.08 2.08 3/179 5071
/proc/meminfo: memFree=28629304/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=1304132 CPUtime=0.09 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 30815 0 0 0 5 4 0 0 20 0 4 0 25581119 1335431168 31113 33554432000 4194304 16246674 140735680132400 140735680131712 8056990 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 326033 31129 801 2943 0 322927 0
[pid=5071/tid=5072] ppid=5068 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 1335431168 31139 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 1335431168 31150 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 1335431168 31160 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.200486 s]
/proc/loadavg: 2.16 2.08 2.08 3/179 5071
/proc/meminfo: memFree=28629304/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 38574 0 0 0 14 5 0 0 20 0 4 0 25581119 1341722624 39383 33554432000 4194304 16246674 140735680132400 140735680131712 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 327569 39383 801 2943 0 324463 0
[pid=5071/tid=5072] ppid=5068 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 1341722624 39383 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 1341722624 39383 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 1341722624 39383 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300457 s]
/proc/loadavg: 2.16 2.08 2.08 3/179 5071
/proc/meminfo: memFree=28629304/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=1311300 CPUtime=0.29 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 41675 0 0 0 24 5 0 0 20 0 4 0 25581119 1342771200 42484 33554432000 4194304 16246674 140735680132400 140735680131712 8057118 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 327825 42484 801 2943 0 324719 0
[pid=5071/tid=5072] ppid=5068 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 1342771200 42484 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 1342771200 42484 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 1342771200 42484 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.700362 s]
/proc/loadavg: 2.16 2.08 2.08 3/179 5071
/proc/meminfo: memFree=28629304/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=1326660 CPUtime=0.69 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 95820 0 0 0 57 12 0 0 20 0 4 0 25581119 1358499840 96630 33554432000 4194304 16246674 140735680132400 140735680114304 6958465 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 331665 96642 833 2943 0 328559 0
[pid=5071/tid=5072] ppid=5068 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 1358499840 96650 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 1358499840 96659 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 1358499840 96668 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1326660

[startup+1.50036 s]
/proc/loadavg: 2.16 2.08 2.08 3/183 5075
/proc/meminfo: memFree=27832280/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 272287 0 0 0 115 34 0 0 20 0 4 0 25581119 1358499840 273096 33554432000 4194304 16246674 140735680132400 140735680130240 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 331665 273096 834 2943 0 328559 0
[pid=5071/tid=5072] ppid=5068 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 1358499840 273096 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 1358499840 273096 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 1358499840 273096 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10038 s]
/proc/loadavg: 2.16 2.08 2.08 3/183 5075
/proc/meminfo: memFree=27310116/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=1553988 CPUtime=3.09 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 329120 0 0 0 269 40 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140735680131712 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 388497 329929 834 2943 0 385391 0
[pid=5071/tid=5072] ppid=5068 vsize=1553988 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=1553988 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=1553988 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1553988

[startup+6.30038 s]
/proc/loadavg: 2.23 2.10 2.08 3/183 5075
/proc/meminfo: memFree=27309800/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=1553988 CPUtime=6.29 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 329120 0 0 0 589 40 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140735680130240 4206912 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 388497 329929 834 2943 0 385391 0
[pid=5071/tid=5072] ppid=5068 vsize=1553988 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=1553988 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=1553988 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 1591283712 329929 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1553988

[startup+12.7004 s]
/proc/loadavg: 2.21 2.10 2.08 3/183 5075
/proc/meminfo: memFree=26024056/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=2562628 CPUtime=12.69 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 581282 0 0 0 1195 74 0 0 20 0 4 0 25581119 2624131072 582091 33554432000 4194304 16246674 140735680132400 140735680131496 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 640657 582091 835 2943 0 637551 0
[pid=5071/tid=5072] ppid=5068 vsize=2562628 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 2624131072 582091 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=2562628 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 2624131072 582091 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=2562628 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 2624131072 582091 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2562628

[startup+25.5005 s]
/proc/loadavg: 2.24 2.11 2.09 3/183 5075
/proc/meminfo: memFree=24588116/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=3996228 CPUtime=25.49 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 939682 0 0 0 2423 126 0 0 20 0 4 0 25581119 4092137472 940491 33554432000 4194304 16246674 140735680132400 140735680130240 4206688 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 999057 940491 835 2943 0 995951 0
[pid=5071/tid=5072] ppid=5068 vsize=3996228 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 4092137472 940491 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=3996228 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 4092137472 940491 33554432000 4194304 16246674 140735680132400 140189656652816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=3996228 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 4092137472 940491 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3996228

[startup+51.1005 s]
/proc/loadavg: 2.16 2.10 2.09 3/183 5075
/proc/meminfo: memFree=21480132/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=7097924 CPUtime=51.08 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 1715108 0 0 0 4873 235 0 0 20 0 4 0 25581119 7268274176 1715917 33554432000 4194304 16246674 140735680132400 140735680131576 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 1774481 1715917 835 2943 0 1771375 0
[pid=5071/tid=5072] ppid=5068 vsize=7097924 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 7268274176 1715917 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=7097924 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 7268274176 1715917 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=7097924 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 7268274176 1715917 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7097924

[startup+102.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 5077
/proc/meminfo: memFree=16654812/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=11954756 CPUtime=102.29 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 2929322 0 0 0 9832 397 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140735680130240 14003409 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 2988689 2930131 840 2943 0 2985583 0
[pid=5071/tid=5072] ppid=5068 vsize=11954756 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=11954756 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140189656652816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=11954756 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 11954756

[startup+162.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/183 5078
/proc/meminfo: memFree=16655768/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=11954756 CPUtime=162.26 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 2929322 0 0 0 15828 398 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140735680130240 14013949 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 2988689 2930131 840 2943 0 2985583 0
[pid=5071/tid=5072] ppid=5068 vsize=11954756 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=11954756 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140189656652816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=11954756 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 12241670144 2930131 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 11954756

[startup+222.308 s]
/proc/loadavg: 2.15 2.10 2.09 3/183 5079
/proc/meminfo: memFree=12868180/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=15760964 CPUtime=222.27 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 3822298 0 0 0 21702 525 0 0 20 0 4 0 25581119 16139227136 3881361 33554432000 4194304 16246674 140735680132400 140735680130240 14013949 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 3940241 3881361 840 2943 0 3937135 0
[pid=5071/tid=5072] ppid=5068 vsize=15760964 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 16139227136 3881361 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=15760964 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 16139227136 3881361 33554432000 4194304 16246674 140735680132400 140189656652816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=15760964 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 16139227136 3881361 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 15760964



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+252.8 s]
/proc/loadavg: 2.23 2.12 2.10 3/183 5080
/proc/meminfo: memFree=10774328/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=15901252 CPUtime=252.75 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) R 5068 5071 1377 0 -1 4202496 3857584 0 0 0 24744 531 0 0 20 0 4 0 25581119 16282882048 3916648 33554432000 4194304 16246674 140735680132400 140735680131496 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 3975313 3916660 840 2943 0 3972207 0
[pid=5071/tid=5072] ppid=5068 vsize=15901252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5072/stat : 5072 (toysat) S 5068 5071 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25581119 16282882048 3916666 33554432000 4194304 16246674 140735680132400 140189667142896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=15901252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) S 5068 5071 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25581119 16282882048 3916672 33554432000 4194304 16246674 140735680132400 140189656653040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=5071/tid=5074] ppid=5068 vsize=15901252 CPUtime=0 cores=1,3,5,7
/proc/5071/task/5074/stat : 5074 (toysat) S 5068 5071 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25581119 16282882048 3916678 33554432000 4194304 16246674 140735680132400 140189544475824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 252.75
Current children cumulated vsize (KiB) 15901252

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

[startup+253.2 s]
/proc/loadavg: 2.23 2.12 2.10 3/181 5080
/proc/meminfo: memFree=17590332/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=0 CPUtime=253.15 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) Z 5068 5071 1377 0 -1 4203532 3858226 0 0 0 24744 571 0 0 20 0 2 0 25581119 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 0 0 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) R 5068 5071 1377 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 25581119 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 253.15
Current children cumulated vsize (KiB) 0

[startup+253.6 s]
/proc/loadavg: 2.23 2.12 2.10 3/181 5080
/proc/meminfo: memFree=17590332/32872528 swapFree=681964/737152
[pid=5071] ppid=5068 vsize=0 CPUtime=253.55 cores=1,3,5,7
/proc/5071/stat : 5071 (toysat) Z 5068 5071 1377 0 -1 4203532 3858226 0 0 0 24744 611 0 0 20 0 2 0 25581119 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5071/statm: 0 0 0 0 0 0 0
[pid=5071/tid=5073] ppid=5068 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/5071/task/5073/stat : 5073 (toysat) R 5068 5071 1377 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 25581119 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 253.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 253.631
CPU time (s): 253.582
CPU user time (s): 247.445
CPU system time (s): 6.13707
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 15901252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.445
system time used= 6.13707
maximum resident set size= 15669156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3858226
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= 66
involuntary context switches= 261

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.663899 second user time and 0.958854 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 09:35:19
IDJOB=4103313
IDBENCH=2325
IDSOLVER=2542
FILE ID=node112/4103313-1466235319
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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103313-1466235319/watcher-4103313-1466235319 -o /tmp/evaluation-result-4103313-1466235319/solver-4103313-1466235319 -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-4103313-1466235319.opb

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

MD5SUM BENCH= d20c34d69465e41d60c8740ade812dbe
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:        28629684 kB
Buffers:          112096 kB
Cached:           125684 kB
SwapCached:         1916 kB
Active:          2623160 kB
Inactive:         142464 kB
Active(anon):    2525732 kB
Inactive(anon):     4444 kB
Active(file):      97428 kB
Inactive(file):   138020 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             19052 kB
Writeback:             0 kB
AnonPages:       3264368 kB
Mapped:            10760 kB
Shmem:                 0 kB
Slab:             601632 kB
SReclaimable:      45564 kB
SUnreclaim:       556068 kB
KernelStack:        1488 kB
PageTables:        10244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3409304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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 09:39:33