Trace number 4103797

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) 176.677 176.725

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell4.opb
MD5SUM7a334409ec63774b2ae9bf0271f87fd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark195203118275530
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 212944791655785
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 4949278720000000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 114314457147588882
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 4949278720000000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 114314457147588882
Number of bits of the biggest sum of numbers57
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:38:57+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-4103797-1466239137.opb"]
0.00/0.01	c use --random-gen="183965693 1546631395 2276004904 2563861419 1777468703 912438918 1110547687 2455222815 1478137429 2330223441 832216112 1679065457 936054037 1563796334 2309325317 1444720253 1099723703 863601445 1029383163 3920618807 2185737662 104448540 590002559 1798354017 923141918 4063860238 1595705104 897440627 741626717 3615173655 2247351664 690367838 64267895 4165333643 1459823485 771196166 1233775601 2462253954 232277532 3852263075 1192388590 1992228281 136172250 3006340224 3952993026 3487376062 416460978 2461093616 4208488118 3469063828 2607581793 2269938246 2867208752 1752589884 2595542675 1457836129 991174545 2980847900 384657356 3890862030 2577693292 4234112476 341387865 3384381655 668822080 1686496428 3364932652 3384878526 4059064874 1177542460 2587354589 2353943917 4029284201 3628455449 2022594689 1713110173 3320298758 547315317 1328727753 3939088209 1936266202 274974713 4194955301 349183244 2540794530 2578303686 2636179307 312621157 665463422 165511403 248794939 1372713722 2380503356 1765151261 936756009 3638027131 4251238468 1366881502 2902579154 1540286044 895465165 3502619167 4281071360 88864604 2388982366 2032412093 2241177301 2110294408 1374049400 3873704591 3083236791 2497139806 189564179 415174901 1494628465 357048802 2441891061 946846473 3076786193 3891220913 421051434 2291996083 3469131284 2445834749 1272238383 4031595942 1552638250 3043131614 3526629383 4283715272 2490996399 1697757233 184954163 647032883 2362185926 4224767990 1415400165 1983982421 4008293156 3995182479 3502553973 4072975008 1537575805 3697334681 500133082 1068577531 3671684634 372129445 3333343087 3595398694 4268071686 2233190569 1298607832 3195295064 4157086751 124628173 1514306344 3662414556 3451868252 3760448146 1086215871 2404651110 628701784 1596694668 3634053833 1197425252 3428569389 2242347377 346439085 2039742585 1790093094 2463085320 2815799349 3611224380 1133670959 2558235851 1041147531 3055617826 3097144659 1184256025 549103171 1339031178 2869999140 701658752 895403469 2745570442 2061306608 2745066353 3187670494 1141637883 2377666863 4030741543 3743554380 1241111253 3215138941 44181898 1216356727 1387045587 1150686587 4096996826 2627778715 1065003391 3165083551 1000658881 2004865214 4184708240 831225819 2454865625 3099770591 1727231598 120159587 1533672030 1210676778 3565563748 1635467358 116592902 1426093598 2163151165 1124535021 232797495 1676945797 1289140360 2596889907 1878949645 1210315118 2305692564 2297594347 2273509148 2620114469 3982174999 1390955107 1879285832 2573229523 1503233233 813822413 191788390 569701176 3827527483 2637845118 385342216 2092206107 3626509532 2964008906 1003367264 1134837423 743808664 1973815358 3809916500 512592963 2797776127 4275242154 3179831377 2956642003 637891244 3417707186 1114714672 255 362436" option to reproduce the execution
0.00/0.03	c #vars 1996
0.00/0.03	c #constraints 134

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

pid=5916
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.29 2.19 2.11 3/179 5919
/proc/meminfo: memFree=22001524/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=692804 CPUtime=0 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 2579 0 0 0 0 0 0 0 20 0 4 0 25962920 709431296 2940 33554432000 4194304 16246674 140733322288224 140733322287648 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 173713 2949 442 2943 0 170607 0
[pid=5919/tid=5920] ppid=5916 vsize=710212 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 727257088 3007 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=714308 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 731451392 3023 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=718404 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25962920 735645696 3040 33554432000 4194304 16246674 140733322288224 140380899101872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.29 2.19 2.11 3/179 5919
/proc/meminfo: memFree=22001524/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 31128 0 0 0 5 4 0 0 20 0 4 0 25962920 1247350784 31480 33554432000 4194304 16246674 140733322288224 140733322287648 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 304529 31487 649 2943 0 301423 0
[pid=5919/tid=5920] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 31492 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 31497 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 31502 33554432000 4194304 16246674 140733322288224 140380899101872 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) 1218116

[startup+0.200484 s]
/proc/loadavg: 2.29 2.19 2.11 3/179 5919
/proc/meminfo: memFree=22001524/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 54143 0 0 0 12 7 0 0 20 0 4 0 25962920 1247350784 54494 33554432000 4194304 16246674 140733322288224 140733322287648 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 304529 54499 649 2943 0 301423 0
[pid=5919/tid=5920] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 54502 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 54506 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 54509 33554432000 4194304 16246674 140733322288224 140380899101872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300453 s]
/proc/loadavg: 2.29 2.19 2.11 3/179 5919
/proc/meminfo: memFree=22001524/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 78579 0 0 0 18 10 0 0 20 0 4 0 25962920 1247350784 78930 33554432000 4194304 16246674 140733322288224 140733322287648 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 304529 78938 649 2943 0 301423 0
[pid=5919/tid=5920] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 78943 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 78948 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 78954 33554432000 4194304 16246674 140733322288224 140380899101872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700397 s]
/proc/loadavg: 2.29 2.19 2.11 3/179 5919
/proc/meminfo: memFree=22001524/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 161030 0 0 0 47 22 0 0 20 0 4 0 25962920 1247350784 161381 33554432000 4194304 16246674 140733322288224 140733322270144 6958849 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 304529 161391 649 2943 0 301423 0
[pid=5919/tid=5920] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 161397 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 161404 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25962920 1247350784 161411 33554432000 4194304 16246674 140733322288224 140380899101872 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) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.29 2.19 2.11 3/183 5923
/proc/meminfo: memFree=20966872/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=1404484 CPUtime=1.49 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 292119 0 0 0 110 39 0 0 20 0 4 0 25962920 1438191616 292426 33554432000 4194304 16246674 140733322288224 140733322270144 14746960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 351121 292426 842 2943 0 348015 0
[pid=5919/tid=5920] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292426 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292426 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292426 33554432000 4194304 16246674 140733322288224 140380899101872 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) 1404484

[startup+3.1004 s]
/proc/loadavg: 2.29 2.19 2.11 3/183 5923
/proc/meminfo: memFree=20831572/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=1404484 CPUtime=3.09 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 292240 0 0 0 270 39 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140733322286080 4206982 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 351121 292547 843 2943 0 348015 0
[pid=5919/tid=5920] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140380899101872 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) 1404484

[startup+6.30041 s]
/proc/loadavg: 2.26 2.19 2.11 3/183 5923
/proc/meminfo: memFree=20831708/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=1404484 CPUtime=6.29 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 292240 0 0 0 590 39 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140733322286016 4206568 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 351121 292547 843 2943 0 348015 0
[pid=5919/tid=5920] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=1404484 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 1438191616 292547 33554432000 4194304 16246674 140733322288224 140380899101872 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) 1404484

[startup+12.7004 s]
/proc/loadavg: 2.24 2.19 2.11 3/183 5923
/proc/meminfo: memFree=17238624/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=2833988 CPUtime=12.69 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 649408 0 0 0 1182 87 0 0 20 0 4 0 25962920 2902003712 649715 33554432000 4194304 16246674 140733322288224 140733322286888 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 708497 649723 843 2943 0 705391 0
[pid=5919/tid=5920] ppid=5916 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 2902003712 649728 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 2902003712 649732 33554432000 4194304 16246674 140733322288224 140380909575184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=2833988 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 2902003712 649736 33554432000 4194304 16246674 140733322288224 140380899101872 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) 2833988

[startup+25.5005 s]
/proc/loadavg: 2.19 2.18 2.10 3/183 5923
/proc/meminfo: memFree=15275668/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=4453956 CPUtime=25.48 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 1054430 0 0 0 2411 137 0 0 20 0 4 0 25962920 4560850944 1054737 33554432000 4194304 16246674 140733322288224 140733322286888 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 1113489 1054743 843 2943 0 1110383 0
[pid=5919/tid=5920] ppid=5916 vsize=4453956 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 4560850944 1054748 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=4453956 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 4560850944 1054754 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=4453956 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 4560850944 1054758 33554432000 4194304 16246674 140733322288224 140380899101872 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) 4453956

[startup+51.1005 s]
/proc/loadavg: 2.18 2.18 2.10 3/183 5923
/proc/meminfo: memFree=11402380/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=8267332 CPUtime=51.08 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 2007954 0 0 0 4842 266 0 0 20 0 4 0 25962920 8465747968 2008261 33554432000 4194304 16246674 140733322288224 140733322286016 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 2066833 2008261 843 2943 0 2063727 0
[pid=5919/tid=5920] ppid=5916 vsize=8267332 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 8465747968 2008261 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=8267332 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 8465747968 2008261 33554432000 4194304 16246674 140733322288224 140380909575184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=8267332 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 8465747968 2008261 33554432000 4194304 16246674 140733322288224 140380899101872 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) 8267332

[startup+102.3 s]
/proc/loadavg: 2.14 2.16 2.10 3/184 5976
/proc/meminfo: memFree=17716404/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=13726276 CPUtime=102.28 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 3372697 0 0 0 9779 449 0 0 20 0 4 0 25962920 14055706624 3373004 33554432000 4194304 16246674 140733322288224 140733322286144 14013920 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 3431569 3373004 848 2943 0 3428463 0
[pid=5919/tid=5920] ppid=5916 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 14055706624 3373004 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 14055706624 3373004 33554432000 4194304 16246674 140733322288224 140380909575184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 14055706624 3373004 33554432000 4194304 16246674 140733322288224 140380899101872 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) 13726276

[startup+162.3 s]
/proc/loadavg: 2.09 2.14 2.09 3/183 5976
/proc/meminfo: memFree=8233172/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=13726276 CPUtime=162.26 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 3372698 0 0 0 15775 451 0 0 20 0 4 0 25962920 14055706624 3373012 33554432000 4194304 16246674 140733322288224 140733322287320 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 3431569 3373012 848 2943 0 3428463 0
[pid=5919/tid=5920] ppid=5916 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 14055706624 3373012 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 14055706624 3373012 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=13726276 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 14055706624 3373012 33554432000 4194304 16246674 140733322288224 140380899101872 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) 13726276



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+175.7 s]
/proc/loadavg: 2.22 2.17 2.10 3/183 5977
/proc/meminfo: memFree=3046324/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=15894084 CPUtime=175.65 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) R 5916 5919 1377 0 -1 4202496 3914628 0 0 0 17025 540 0 0 20 0 4 0 25962920 16275542016 3914942 33554432000 4194304 16246674 140733322288224 140733322287320 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 3973521 3914950 848 2943 0 3970415 0
[pid=5919/tid=5920] ppid=5916 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5920/stat : 5920 (toysat) S 5916 5919 1377 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25962920 16275542016 3914956 33554432000 4194304 16246674 140733322288224 140380920065264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=15894084 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) S 5916 5919 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25962920 16275542016 3914961 33554432000 4194304 16246674 140733322288224 140380909575408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5919/tid=5922] ppid=5916 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/5919/task/5922/stat : 5922 (toysat) S 5916 5919 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25962920 16276590592 3914968 33554432000 4194304 16246674 140733322288224 140380899101872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 175.65
Current children cumulated vsize (KiB) 15894084

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

[startup+176 s]
/proc/loadavg: 2.22 2.17 2.10 3/181 5977
/proc/meminfo: memFree=6997608/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=0 CPUtime=175.96 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) Z 5916 5919 1377 0 -1 4203532 3915113 0 0 0 17026 570 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 0 0 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) R 5916 5919 1377 0 -1 4203588 8 0 0 0 0 29 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 175.96
Current children cumulated vsize (KiB) 0

[startup+176.4 s]
/proc/loadavg: 2.22 2.17 2.10 3/181 5977
/proc/meminfo: memFree=6997608/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=0 CPUtime=176.36 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) Z 5916 5919 1377 0 -1 4203532 3915113 0 0 0 17026 610 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 0 0 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) R 5916 5919 1377 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 176.36
Current children cumulated vsize (KiB) 0

[startup+176.6 s]
/proc/loadavg: 2.22 2.17 2.10 3/181 5977
/proc/meminfo: memFree=6997608/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=0 CPUtime=176.56 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) Z 5916 5919 1377 0 -1 4203532 3915113 0 0 0 17026 630 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 0 0 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) R 5916 5919 1377 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 176.56
Current children cumulated vsize (KiB) 0

[startup+176.7 s]
/proc/loadavg: 2.22 2.17 2.10 3/181 5977
/proc/meminfo: memFree=6997608/32872528 swapFree=681964/737152
[pid=5919] ppid=5916 vsize=0 CPUtime=176.66 cores=0,2,4,6
/proc/5919/stat : 5919 (toysat) Z 5916 5919 1377 0 -1 4203532 3915113 0 0 0 17026 640 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5919/statm: 0 0 0 0 0 0 0
[pid=5919/tid=5921] ppid=5916 vsize=0 CPUtime=0.98 cores=0,2,4,6
/proc/5919/task/5921/stat : 5921 (toysat) R 5916 5919 1377 0 -1 4203588 8 0 0 0 0 98 0 0 20 0 2 0 25962920 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 176.66
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 176.725
CPU time (s): 176.677
CPU user time (s): 170.261
CPU system time (s): 6.41602
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 15894084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.261
system time used= 6.41602
maximum resident set size= 15661708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3915113
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= 72
involuntary context switches= 180

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.452931 second user time and 0.695894 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 10:38:57
IDJOB=4103797
IDBENCH=2465
IDSOLVER=2542
FILE ID=node112/4103797-1466239137
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71688 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103797-1466239137/watcher-4103797-1466239137 -o /tmp/evaluation-result-4103797-1466239137/solver-4103797-1466239137 -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-4103797-1466239137.opb

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

MD5SUM BENCH= 7a334409ec63774b2ae9bf0271f87fd8
RANDOM SEED=1161674134

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:        22001532 kB
Buffers:           24768 kB
Cached:            96140 kB
SwapCached:         2088 kB
Active:          9336476 kB
Inactive:          43032 kB
Active(anon):    9258544 kB
Inactive(anon):     2172 kB
Active(file):      77932 kB
Inactive(file):    40860 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67093528 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       9996932 kB
Mapped:            10092 kB
Shmem:                 0 kB
Slab:             600928 kB
SReclaimable:      44676 kB
SUnreclaim:       556252 kB
KernelStack:        1520 kB
PageTables:        24116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10142360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 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:41:54