Trace number 4103685

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) 196.09 196.294

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
MD5SUMc73bf29c796f0bf48406f571c4c43173
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables7994
Total number of constraints420
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 68719476658
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
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:31:44+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-4103685-1466238704.opb"]
0.00/0.01	c use --random-gen="236627212 3881399777 1204615255 1852357718 1942212376 369927026 2367824438 4241646917 3375669778 1050348087 2321016041 3927685437 1300625466 472467874 3191519294 405039989 1301273917 137584226 3690337934 3303991008 2066619285 3188832325 2955069078 2312244 2765150793 4185570801 417028343 11768802 157293778 4210612191 1947843171 2081055296 234382360 89273056 323837441 919444389 2633513367 1672996541 714875243 2181199944 4083837055 2045852701 1064565639 4165676758 3950909467 752695848 4044081895 2148936218 447284268 4180251942 485616790 1184410203 199375338 3253089234 2961710456 2740891241 112320545 3805379397 578463944 846412825 62204501 2248590437 3100719521 4152543387 4267870232 2928304842 136890892 876094908 1074880237 238163059 1601796421 2718479989 1787600545 915592432 3649278055 1910579997 2050281348 3864390103 1651671081 2323915250 428922838 3757910683 3720145979 2908699032 372830121 3907997461 2545566426 3662589328 2108321802 2018213930 682286861 312865571 3606541757 1067875048 2684724431 216838783 785496067 2605164279 4029948664 1291513835 2580568081 2151812912 2875358825 2981429547 1821659678 204795121 1136520521 4006387438 591734538 3338210348 1876542841 973225635 1003774548 3140290711 2439476488 2974675940 556735826 2555594062 3724313012 3411485923 2860747386 174790160 3704027314 1450603977 1305318378 2239128746 1508705835 2250346026 522467685 3129299959 2622381706 2789543674 3414104449 761720840 3521151141 984901054 2672499492 2668950119 1195870431 2278032405 2891120726 1179106846 2936299982 54861722 1365711609 829260432 810172801 1674003655 4044432498 1421384649 2460793409 404550565 988316696 3788134935 2417206045 2998757258 3594221827 541289624 3501433908 2412022905 353666551 526430127 3494431985 1216208487 3051025620 3812716176 2654019971 530405602 1035899019 3436993486 1251971197 2302300385 949965752 2943000438 931170575 2472658785 3093508406 3504702584 2659891345 3856098027 235264700 2651083214 1810089401 2836178479 1947361748 3084367148 1562177004 1478814597 1230766512 3333325808 685089495 3945965928 501262957 3007666153 2972233713 2783201990 1384274925 4018110780 1122584771 3582516325 48837042 3638124294 1498589674 4197259501 2359059354 3460298971 1618652352 1905843357 3710745602 3320843003 2968516795 47585347 831182795 3737106400 4253461850 663783281 2083837294 845516992 509904184 3400829588 2684977251 3940707167 1987563847 753282170 346550394 658149015 1554120393 1071283456 931274374 2066207800 2764882061 3479405048 1629740942 1840458535 2835499423 2414437637 3857495402 4140857718 3845542116 86310810 1669045873 2668493994 1703628551 1590351583 2584973645 2257842597 1189861760 1369544716 1160143090 543373871 2613386649 89743549 1968814044 585836379 3218301965 1567725110 255 362436" option to reproduce the execution
0.09/0.14	c #vars 7994
0.09/0.14	c #constraints 420

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.15 2.08 3/179 5764
/proc/meminfo: memFree=21939724/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=679356 CPUtime=0 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 2523 0 0 0 0 0 0 0 20 0 4 0 25919640 695660544 3396 33554432000 4194304 16246674 140733938694416 140733938693840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 170351 3405 441 2943 0 167245 0
[pid=5764/tid=5765] ppid=5761 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 713486336 3465 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 717680640 3481 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25919640 722923520 3499 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.20 2.15 2.08 3/179 5764
/proc/meminfo: memFree=21939724/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 28945 0 0 0 5 4 0 0 20 0 4 0 25919640 1334382592 29756 33554432000 4194304 16246674 140733938694416 140733938693728 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 325777 29770 800 2943 0 322671 0
[pid=5764/tid=5765] ppid=5761 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1334382592 29778 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1334382592 29786 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1334382592 29796 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200521 s]
/proc/loadavg: 2.20 2.15 2.08 3/179 5764
/proc/meminfo: memFree=21939724/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1311300 CPUtime=0.18 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 39192 0 0 0 13 5 0 0 20 0 4 0 25919640 1342771200 40513 33554432000 4194304 16246674 140733938694416 140733938693728 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 327825 40513 831 2943 0 324719 0
[pid=5764/tid=5765] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 40513 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 40513 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 40513 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1311300

[startup+0.300486 s]
/proc/loadavg: 2.20 2.15 2.08 3/179 5764
/proc/meminfo: memFree=21939724/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 60834 0 0 0 21 8 0 0 20 0 4 0 25919640 1342771200 62155 33554432000 4194304 16246674 140733938694416 140733938676288 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 327825 62164 831 2943 0 324719 0
[pid=5764/tid=5765] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 62169 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 62174 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 62179 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.7004 s]
/proc/loadavg: 2.20 2.15 2.08 3/179 5764
/proc/meminfo: memFree=21939724/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1311300 CPUtime=0.69 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 152464 0 0 0 49 20 0 0 20 0 4 0 25919640 1342771200 153785 33554432000 4194304 16246674 140733938694416 140733938676288 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 327825 153791 831 2943 0 324719 0
[pid=5764/tid=5765] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 153794 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 153798 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1342771200 153802 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1311300

[startup+1.50041 s]
/proc/loadavg: 2.18 2.14 2.08 3/183 5768
/proc/meminfo: memFree=20935852/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1356356 CPUtime=1.49 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 279625 0 0 0 112 37 0 0 20 0 4 0 25919640 1388908544 280946 33554432000 4194304 16246674 140733938694416 140733938676288 12371230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 339089 280946 832 2943 0 335983 0
[pid=5764/tid=5765] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 280946 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 280946 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 280946 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1356356

[startup+3.10042 s]
/proc/loadavg: 2.18 2.14 2.08 4/183 5768
/proc/meminfo: memFree=20816804/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1356356 CPUtime=3.09 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 279699 0 0 0 272 37 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140733938693728 12449088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 339089 281020 832 2943 0 335983 0
[pid=5764/tid=5765] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1356356

[startup+6.3004 s]
/proc/loadavg: 2.17 2.14 2.08 3/183 5768
/proc/meminfo: memFree=19085756/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1356356 CPUtime=6.29 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 279699 0 0 0 592 37 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140733938676288 12655187 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 339089 281020 832 2943 0 335983 0
[pid=5764/tid=5765] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1356356 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1388908544 281020 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1356356

[startup+12.7004 s]
/proc/loadavg: 2.16 2.14 2.08 3/183 5768
/proc/meminfo: memFree=17507744/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=1588804 CPUtime=12.69 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 337817 0 0 0 1223 46 0 0 20 0 4 0 25919640 1626935296 339138 33554432000 4194304 16246674 140733938694416 140733938692224 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 397201 339138 834 2943 0 394095 0
[pid=5764/tid=5765] ppid=5761 vsize=1588804 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 1626935296 339138 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=1588804 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 1626935296 339138 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=1588804 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 1626935296 339138 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1588804

[startup+25.5005 s]
/proc/loadavg: 2.28 2.17 2.09 3/183 5768
/proc/meminfo: memFree=15089948/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=3900996 CPUtime=25.48 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 915867 0 0 0 2423 125 0 0 20 0 4 0 25919640 3994619904 917188 33554432000 4194304 16246674 140733938694416 140733938693512 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 975249 917188 835 2943 0 972143 0
[pid=5764/tid=5765] ppid=5761 vsize=3900996 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 3994619904 917188 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=3900996 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 3994619904 917188 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=3900996 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 3994619904 917188 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3900996

[startup+51.1005 s]
/proc/loadavg: 2.17 2.15 2.09 3/183 5769
/proc/meminfo: memFree=10789144/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=8193604 CPUtime=51.08 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 1989021 0 0 0 4838 270 0 0 20 0 4 0 25919640 8390250496 1990342 33554432000 4194304 16246674 140733938694416 140733938692288 4221023 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 2048401 1990342 835 2943 0 2045295 0
[pid=5764/tid=5765] ppid=5761 vsize=8193604 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 8390250496 1990342 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=8193604 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 8390250496 1990342 33554432000 4194304 16246674 140733938694416 140550254603280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=8193604 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 8390250496 1990342 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8193604

[startup+102.3 s]
/proc/loadavg: 2.11 2.14 2.09 3/183 5770
/proc/meminfo: memFree=9694160/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=11759172 CPUtime=102.28 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 2880419 0 0 0 9835 393 0 0 20 0 4 0 25919640 12041392128 2881740 33554432000 4194304 16246674 140733938694416 140733938693512 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 2939793 2881740 840 2943 0 2936687 0
[pid=5764/tid=5765] ppid=5761 vsize=11759172 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 12041392128 2881740 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=11759172 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 12041392128 2881740 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=11759172 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 12041392128 2881740 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11759172

[startup+162.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/183 5771
/proc/meminfo: memFree=3890108/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=13685316 CPUtime=162.26 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 3266288 0 0 0 15774 452 0 0 20 0 4 0 25919640 14013763584 3363166 33554432000 4194304 16246674 140733938694416 140733938692288 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 3421329 3363166 840 2943 0 3418223 0
[pid=5764/tid=5765] ppid=5761 vsize=13685316 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 14013763584 3363166 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=13685316 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 14013763584 3363166 33554432000 4194304 16246674 140733938694416 140550254603280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=13685316 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 14013763584 3363166 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13685316



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+195.2 s]
/proc/loadavg: 2.18 2.15 2.09 4/181 5772
/proc/meminfo: memFree=2280108/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=15880772 CPUtime=195.01 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) R 5761 5764 1377 0 -1 4202496 3815138 0 0 0 18953 548 0 0 20 0 4 0 25919640 16261910528 3904310 33554432000 4194304 16246674 140733938694416 140733938693512 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 14 0 0
/proc/5764/statm: 3970193 3904317 840 2943 0 3967087 0
[pid=5764/tid=5765] ppid=5761 vsize=15880772 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5765/stat : 5765 (toysat) S 5761 5764 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25919640 16261910528 3904322 33554432000 4194304 16246674 140733938694416 140550342683888 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=15880772 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) S 5761 5764 1377 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25919640 16261910528 3904327 33554432000 4194304 16246674 140733938694416 140550254603504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5764/tid=5767] ppid=5761 vsize=15880772 CPUtime=0 cores=0,2,4,6
/proc/5764/task/5767/stat : 5767 (toysat) S 5761 5764 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25919640 16261910528 3904332 33554432000 4194304 16246674 140733938694416 140550244129968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 195.01
Current children cumulated vsize (KiB) 15880772

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

[startup+196 s]
/proc/loadavg: 2.16 2.15 2.09 3/175 5776
/proc/meminfo: memFree=24046324/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=0 CPUtime=195.79 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) Z 5761 5764 1377 0 -1 4203532 3816487 0 1 0 18954 625 0 0 20 0 2 0 25919640 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 14 0 0
/proc/5764/statm: 0 0 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=0 CPUtime=0.75 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) R 5761 5764 1377 0 -1 4203588 7 0 1 0 0 75 0 0 20 0 2 0 25919640 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 1 0 0
Current children cumulated CPU time (s) 195.79
Current children cumulated vsize (KiB) 0

[startup+196.2 s]
/proc/loadavg: 2.16 2.15 2.09 3/175 5776
/proc/meminfo: memFree=24046324/32872528 swapFree=681964/737152
[pid=5764] ppid=5761 vsize=0 CPUtime=195.99 cores=0,2,4,6
/proc/5764/stat : 5764 (toysat) Z 5761 5764 1377 0 -1 4203532 3816487 0 1 0 18954 645 0 0 20 0 2 0 25919640 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 14 0 0
/proc/5764/statm: 0 0 0 0 0 0 0
[pid=5764/tid=5766] ppid=5761 vsize=0 CPUtime=0.95 cores=0,2,4,6
/proc/5764/task/5766/stat : 5766 (toysat) R 5761 5764 1377 0 -1 4203588 7 0 1 0 0 95 0 0 20 0 2 0 25919640 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 1 0 0
Current children cumulated CPU time (s) 195.99
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 196.294
CPU time (s): 196.09
CPU user time (s): 189.543
CPU system time (s): 6.547
CPU usage (%): 99.8964
Max. virtual memory (cumulated for all children) (KiB): 15880772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.543
system time used= 6.547
maximum resident set size= 15622640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3816487
page faults= 1
swaps= 0
block input operations= 64
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117
involuntary context switches= 203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.664898 second user time and 0.868867 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:31:44
IDJOB=4103685
IDBENCH=2430
IDSOLVER=2542
FILE ID=node112/4103685-1466238704
RUNJOBID= node112-1466206100-1394
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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103685-1466238704/watcher-4103685-1466238704 -o /tmp/evaluation-result-4103685-1466238704/solver-4103685-1466238704 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103685-1466238704.opb

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

MD5SUM BENCH= c73bf29c796f0bf48406f571c4c43173
RANDOM SEED=234313455

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:        21940252 kB
Buffers:          111836 kB
Cached:           134128 kB
SwapCached:         1916 kB
Active:          9291636 kB
Inactive:         149692 kB
Active(anon):    9193132 kB
Inactive(anon):     4452 kB
Active(file):      98504 kB
Inactive(file):   145240 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             17104 kB
Writeback:             0 kB
AnonPages:       9931428 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             601932 kB
SReclaimable:      45748 kB
SUnreclaim:       556184 kB
KernelStack:        1504 kB
PageTables:        24020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10073752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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:35:01