Trace number 3706392

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 2012-05-17? (TO) 1800.09 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX300_K67_cod3.opb
MD5SUMe684e7472d59b05d70a549450b6b2f9c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-248564
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 43535250
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 43535250
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

34.77/34.89	c 2012-05-28T16:35:48+0200
34.77/34.89	c arch = x86_64
34.77/34.89	c os = linux
34.77/34.89	c compiler = ghc 7.4
34.77/34.89	c packages:
34.77/34.89	c   OptDir-0.0.1
34.77/34.89	c   array-0.4.0.0
34.77/34.89	c   base-4.5.0.0
34.77/34.89	c   bytestring-0.9.2.1
34.77/34.89	c   containers-0.4.2.1
34.77/34.89	c   deepseq-1.3.0.0
34.77/34.89	c   mtl-2.1.1
34.77/34.89	c   old_locale-1.0.0.4
34.77/34.89	c   parse_dimacs-1.2
34.77/34.89	c   parsec-3.1.2
34.77/34.89	c   queue-0.1.2
34.77/34.89	c   stm-2.3
34.77/34.89	c   time-1.4
34.77/34.89	c command line = ["--pb","HOME/instance-3706392-1338215748.opb"]
34.77/34.89	c #vars 40451
34.77/34.89	c #constraints 40950
34.77/34.89	c Solving starts ...
40.48/40.56	c solving time = 5.605s
40.48/40.56	c #decision = 430406
40.48/40.56	c #conflict = 74
40.48/40.56	c #restart = 0
40.48/40.56	o 0
40.58/40.66	c Solving starts ...
47.07/47.14	c solving time = 6.425s
47.07/47.14	c #decision = 462070
47.07/47.14	c #conflict = 176
47.07/47.14	c #restart = 1
47.07/47.14	o -1
47.07/47.18	c Solving starts ...
501.30/501.50	c solving time = 454.191s
501.30/501.50	c #decision = 832941
501.30/501.50	c #conflict = 363
501.30/501.50	c #restart = 2
501.30/501.50	o -2
501.40/501.53	c Solving starts ...
1279.86/1280.18	c solving time = 778.446s
1279.86/1280.18	c #decision = 1048501
1279.86/1280.18	c #conflict = 1212
1279.86/1280.18	c #restart = 6
1279.86/1280.18	o -612
1279.96/1280.22	c Solving starts ...
1343.85/1344.13	c solving time = 63.841s
1343.85/1344.13	c #decision = 1065385
1343.85/1344.13	c #conflict = 1259
1343.85/1344.13	c #restart = 6
1343.85/1344.13	o -613
1343.85/1344.17	c Solving starts ...
1425.34/1425.64	c solving time = 81.388s
1425.34/1425.64	c #decision = 1081962
1425.34/1425.64	c #conflict = 1288
1425.34/1425.64	c #restart = 6
1425.34/1425.64	o -614
1425.34/1425.68	c Solving starts ...
1730.58/1730.97	c solving time = 305.180s
1730.58/1730.97	c #decision = 1127721
1730.58/1730.97	c #conflict = 1333
1730.58/1730.97	c #restart = 6
1730.58/1730.97	o -2586
1730.68/1731.01	c Solving starts ...

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3706392-1338215748/watcher-3706392-1338215748 -o /tmp/evaluation-result-3706392-1338215748/solver-3706392-1338215748 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706392-1338215748.opb 

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.00 2.00 2.00 3/173 31296
/proc/meminfo: memFree=31442544/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 826 0 0 0 0 0 0 0 20 0 1 0 287641795 7405568 748 33554432000 4194304 8973514 140736722050480 140735763207384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 1808 748 413 1167 0 589 0

[startup+0.034821 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 31296
/proc/meminfo: memFree=31442544/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=9280 CPUtime=0.03 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 1372 0 0 0 3 0 0 0 20 0 1 0 287641795 9502720 1294 33554432000 4194304 8973514 140736722050480 140735763207384 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 2320 1300 414 1167 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9280

[startup+0.100277 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 31296
/proc/meminfo: memFree=31442544/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 2611 0 0 0 9 0 0 0 20 0 1 0 287641795 13697024 2533 33554432000 4194304 8973514 140736722050480 140735763207384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 3344 2533 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376

[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 31296
/proc/meminfo: memFree=31442544/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=26688 CPUtime=0.29 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 5939 0 0 0 28 1 0 0 20 0 1 0 287641795 27328512 5861 33554432000 4194304 8973514 140736722050480 140735763207384 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 6672 5861 418 1167 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26688

[startup+0.700321 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 31296
/proc/meminfo: memFree=31442544/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=49216 CPUtime=0.68 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 11555 0 0 0 66 2 0 0 20 0 1 0 287641795 50397184 11485 33554432000 4194304 8973514 140736722050480 140736722049976 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 12304 11492 418 1167 0 11085 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49216

[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31316404/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=92224 CPUtime=1.48 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 22336 0 0 0 143 5 0 0 20 0 1 0 287641795 94437376 22266 33554432000 4194304 8973514 140736722050480 140736722049976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 23056 22266 428 1167 0 21837 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 92224

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31236920/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=103488 CPUtime=3.09 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 25154 0 0 0 303 6 0 0 20 0 1 0 287641795 105971712 25084 33554432000 4194304 8973514 140736722050480 140736722049976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 25872 25084 430 1167 0 24653 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 103488

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31235448/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=104512 CPUtime=6.28 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 25410 0 0 0 621 7 0 0 20 0 1 0 287641795 107020288 25340 33554432000 4194304 8973514 140736722050480 140736722049976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 26128 25340 430 1167 0 24909 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104512

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31230892/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=104512 CPUtime=12.68 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 25414 0 0 0 1259 9 0 0 20 0 1 0 287641795 107020288 25340 33554432000 4194304 8973514 140736722050480 140736722049976 4209612 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 26128 25340 430 1167 0 24909 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 104512

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31231404/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=104512 CPUtime=25.48 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 25415 0 0 0 2536 12 0 0 20 0 1 0 287641795 107020288 25340 33554432000 4194304 8973514 140736722050480 140736722049976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 26128 25340 430 1167 0 24909 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 104512

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31203580/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=132160 CPUtime=51.07 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 32357 0 0 0 5087 20 0 0 20 0 1 0 287641795 135331840 32279 33554432000 4194304 8973514 140736722050480 140736722048448 4209598 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 33040 32279 457 1167 0 31821 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 132160

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31169216/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=153664 CPUtime=102.26 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 37741 0 0 0 10193 33 0 0 20 0 1 0 287641795 157351936 37655 33554432000 4194304 8973514 140736722050480 140736722049744 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 38416 37655 457 1167 0 37197 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 153664

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31307
/proc/meminfo: memFree=31148868/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=155712 CPUtime=162.24 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 38253 0 0 0 16169 55 0 0 20 0 1 0 287641795 159449088 38167 33554432000 4194304 8973514 140736722050480 140736722049744 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 38928 38167 457 1167 0 37709 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 155712

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31308
/proc/meminfo: memFree=31143048/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=155712 CPUtime=222.24 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 38253 0 0 0 22149 75 0 0 20 0 1 0 287641795 159449088 38167 33554432000 4194304 8973514 140736722050480 140736722049976 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 38928 38167 457 1167 0 37709 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 155712

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31311
/proc/meminfo: memFree=31142148/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=155712 CPUtime=282.23 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 38260 0 0 0 28131 92 0 0 20 0 1 0 287641795 159449088 38167 33554432000 4194304 8973514 140736722050480 140736722048448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 38928 38167 457 1167 0 37709 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 155712

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31311
/proc/meminfo: memFree=31135008/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=155712 CPUtime=342.22 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 38260 0 0 0 34114 108 0 0 20 0 1 0 287641795 159449088 38167 33554432000 4194304 8973514 140736722050480 140736722049976 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 38928 38167 457 1167 0 37709 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 155712

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31311
/proc/meminfo: memFree=31133892/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=156736 CPUtime=402.2 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 38516 0 0 0 40098 122 0 0 20 0 1 0 287641795 160497664 38423 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 39184 38423 457 1167 0 37965 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 156736

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31311
/proc/meminfo: memFree=31134016/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=156736 CPUtime=462.2 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 38516 0 0 0 46083 137 0 0 20 0 1 0 287641795 160497664 38423 33554432000 4194304 8973514 140736722050480 140736722048448 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 39184 38423 457 1167 0 37965 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 156736

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31313
/proc/meminfo: memFree=31129792/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=160832 CPUtime=522.19 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 39540 0 0 0 52066 153 0 0 20 0 1 0 287641795 164691968 39447 33554432000 4194304 8973514 140736722050480 140736722049976 4214368 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 40208 39447 457 1167 0 38989 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 160832

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31313
/proc/meminfo: memFree=31115664/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=175168 CPUtime=582.18 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 43124 0 0 0 58049 169 0 0 20 0 1 0 287641795 179372032 43031 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 43792 43031 457 1167 0 42573 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 175168

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31314
/proc/meminfo: memFree=31052756/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=237632 CPUtime=822.14 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 58749 0 0 0 81964 250 0 0 20 0 1 0 287641795 243335168 58647 33554432000 4194304 8973514 140736722050480 140736722049976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 59408 58647 457 1167 0 58189 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 237632

[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31317
/proc/meminfo: memFree=31051468/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=238656 CPUtime=882.13 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 59015 0 0 0 87938 275 0 0 20 0 1 0 287641795 244383744 58903 33554432000 4194304 8973514 140736722050480 140736722049744 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 59664 58903 457 1167 0 58445 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 238656

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31317
/proc/meminfo: memFree=31031820/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=256064 CPUtime=942.12 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 63367 0 0 0 93924 288 0 0 20 0 1 0 287641795 262209536 63255 33554432000 4194304 8973514 140736722050480 140736722049976 4424736 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 64016 63255 457 1167 0 62797 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 256064

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31317
/proc/meminfo: memFree=30989164/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=299072 CPUtime=1002.1 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 74119 0 0 0 99905 305 0 0 20 0 1 0 287641795 306249728 74007 33554432000 4194304 8973514 140736722050480 140736722049976 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 74768 74007 457 1167 0 73549 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 299072

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31317
/proc/meminfo: memFree=30971928/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=317504 CPUtime=1062.1 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 78516 0 0 0 105896 314 0 0 20 0 1 0 287641795 325124096 78404 33554432000 4194304 8973514 140736722050480 140736722049976 4213855 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 79376 78404 457 1167 0 78157 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 317504

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31318
/proc/meminfo: memFree=30928708/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=349248 CPUtime=1122.08 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 86671 0 0 0 111886 322 0 0 20 0 1 0 287641795 357629952 86551 33554432000 4194304 8973514 140736722050480 140736722032448 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 87312 86551 457 1167 0 86093 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 349248

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31318
/proc/meminfo: memFree=30850624/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=399424 CPUtime=1182.07 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 99230 0 0 0 117871 336 0 0 20 0 1 0 287641795 409010176 99095 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 99856 99095 457 1167 0 98637 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 399424

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31318
/proc/meminfo: memFree=30838968/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=409664 CPUtime=1242.06 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 101790 0 0 0 123854 352 0 0 20 0 1 0 287641795 419495936 101655 33554432000 4194304 8973514 140736722050480 140736722049744 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 102416 101655 457 1167 0 101197 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 409664

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31318
/proc/meminfo: memFree=30837752/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=410688 CPUtime=1302.06 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 102046 0 0 0 129837 369 0 0 20 0 1 0 287641795 420544512 101911 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 102672 101911 457 1167 0 101453 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 410688

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31318
/proc/meminfo: memFree=30821880/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=427072 CPUtime=1362.04 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 106142 0 0 0 135812 392 0 0 20 0 1 0 287641795 437321728 106007 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 106768 106007 457 1167 0 105549 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 427072

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31319
/proc/meminfo: memFree=30810472/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=438336 CPUtime=1422.04 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 108958 0 0 0 141792 412 0 0 20 0 1 0 287641795 448856064 108823 33554432000 4194304 8973514 140736722050480 140736722049976 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 109584 108823 457 1167 0 108365 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 438336

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31322
/proc/meminfo: memFree=30796080/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=452672 CPUtime=1482.03 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 112542 0 0 0 147771 432 0 0 20 0 1 0 287641795 463536128 112407 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 113168 112407 457 1167 0 111949 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 452672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31345
/proc/meminfo: memFree=30791848/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=456768 CPUtime=1542.02 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 113569 0 0 0 153749 453 0 0 20 0 1 0 287641795 467730432 113431 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 114192 113431 457 1167 0 112973 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 456768

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31345
/proc/meminfo: memFree=30785552/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=458816 CPUtime=1602 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 114083 0 0 0 159729 471 0 0 20 0 1 0 287641795 469827584 113943 33554432000 4194304 8973514 140736722050480 140736722049744 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 114704 113943 457 1167 0 113485 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 458816

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31345
/proc/meminfo: memFree=30745748/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=463936 CPUtime=1662 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 115363 0 0 0 165710 490 0 0 20 0 1 0 287641795 475070464 115223 33554432000 4194304 8973514 140736722050480 140736722049744 4204398 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 115984 115223 457 1167 0 114765 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 463936

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31346
/proc/meminfo: memFree=30733236/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=463936 CPUtime=1721.99 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 115363 0 0 0 171688 511 0 0 20 0 1 0 287641795 475070464 115223 33554432000 4194304 8973514 140736722050480 140736722049744 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 115984 115223 457 1167 0 114765 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 463936

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31346
/proc/meminfo: memFree=30732616/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=463936 CPUtime=1781.97 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 115363 0 0 0 177667 530 0 0 20 0 1 0 287641795 475070464 115223 33554432000 4194304 8973514 140736722050480 140736722049744 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 115984 115223 457 1167 0 114765 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 463936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 31347
/proc/meminfo: memFree=30975084/32873844 swapFree=6872/6872
[pid=31296] ppid=31294 vsize=463936 CPUtime=1800.08 cores=1,3,5,7
/proc/31296/stat : 31296 (toysat) R 31294 31296 30001 0 -1 4202496 115363 0 0 0 179473 535 0 0 20 0 1 0 287641795 475070464 115223 33554432000 4194304 8973514 140736722050480 140736722049976 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/31296/statm: 115984 115223 457 1167 0 114765 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 463936

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1794.74
CPU system time (s): 5.35619
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 463936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 5.35618
maximum resident set size= 460892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115363
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= 76
involuntary context switches= 1850

runsolver used 3.68144 second user time and 10.4644 second system time

The end

Launcher Data 

Begin job on node105 at 2012-05-28 16:35:48
IDJOB=3706392
IDBENCH=91666
IDSOLVER=2285
FILE ID=node105/3706392-1338215748
RUNJOBID= node105-1338194113-30018
PBS_JOBID= 14624593
Free space on /tmp= 71584 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX300_K67_cod3.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706392-1338215748/watcher-3706392-1338215748 -o /tmp/evaluation-result-3706392-1338215748/solver-3706392-1338215748 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706392-1338215748.opb

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

MD5SUM BENCH= e684e7472d59b05d70a549450b6b2f9c
RANDOM SEED=644106249

node105.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.882
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.76
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.882
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	: 5331.91
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.882
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	: 5331.91
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.882
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	: 5331.91
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.882
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	: 5438.54
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.882
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	: 5331.91
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.882
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	: 5331.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31443304 kB
Buffers:          392292 kB
Cached:           173152 kB
SwapCached:         1708 kB
Active:           380140 kB
Inactive:         195960 kB
Active(anon):       6372 kB
Inactive(anon):     4812 kB
Active(file):     373768 kB
Inactive(file):   191148 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100448 kB
Dirty:             11668 kB
Writeback:             0 kB
AnonPages:         11376 kB
Mapped:             8440 kB
Shmem:                 0 kB
Slab:             716976 kB
SReclaimable:     158748 kB
SUnreclaim:       558228 kB
KernelStack:        1456 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71568 MiB
End job on node105 at 2012-05-28 17:05:50