Trace number 3738304

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
PB07: bsolo 3.0.17? (TO) 1800.07 1800.54

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
MD5SUM26c9befa85d0a0769813e718015f6caa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark3.68244
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
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.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 15500 MB
0.00/0.01	c Instance file HOME/instance-3738304-1338734255.opb
0.00/0.01	c File size is 305017 bytes.
0.02/0.04	c Highest Coefficient sum: 757
0.02/0.04	c Parsing was ok!!
0.02/0.04	c Total parsing time: 0.028 s
0.02/0.04	c Var: 2994 Constr: 3493 3048/61/384 Lit: 34998 Watch. Lit: 30594
0.02/0.04	c Obj. Vars: 6 (0.200401 % of total variables)
0.58/0.65	c Pre-processing Time: 0.639 s
0.58/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.65	c        0   2988      504    29016   57    25764   69439      0      0 0.64
0.58/0.65	c Switching off LPR mode.
1800.02/1800.50	c      102   2988      606    33621   55    26108   76383    102    155 0.66
1800.02/1800.50	c      253   2988      757    50510   66    26341   84022    253    372 0.68
1800.02/1800.50	c      478   2988      982    56986   58    26816   92425    478    657 0.73
1800.02/1800.50	c      817   2988     1321    83442   63    27494  101668    817   1035 0.79
1800.02/1800.50	c     1325   2988     1829   122321   66    28430  111835   1325   1423 0.93
1800.02/1800.50	c     2090   2988     2594   269261  103    30040  123019   2090   1920 1.09
1800.02/1800.50	c     3236   2988     3740   364910   97    32276  135321   3236   2261 1.43
1800.02/1800.50	c     4958   2988     5462   880427  161    35760  148854   4958   2547 1.95
1800.02/1800.50	c     7543   2988     8047   947172  117    40938  163740   7543   2478 3.04
1800.02/1800.50	c    11423   2988    11927  1701978  142    48714  180115  11423   2621 4.36
1800.02/1800.50	c    17246   2988    17750  2075849  116    60320  198127  17246   2649 6.51
1800.02/1800.50	c    25984   2988    26488  4330885  163    77792  217940  25984   2411 10.77
1800.02/1800.50	c    39094   2988    39598  4657577  117   104028  239735  39094   2213 17.66
1800.02/1800.50	c    58764   2988    59268  8840449  149   143380  263709  58764   1560 37.65
1800.02/1800.50	c    88274   2988    88778 10032883  113   202392  290080  88274   1516 58.20
1800.02/1800.50	c   132545   2988   133049 19469416  146   290982  319089 132545    689 192.28
1800.02/1800.50	c   198956   2988   199460 37150745  186   423804  350998 198956    614 323.80
1800.02/1800.50	c   298576   2988   299080 49620380  165   622980  386098 298576    375 794.35
1800.02/1800.50	c   448013   2988    82035 42541109  518   188858  424708  81531    268 1670.69
1800.02/1800.50	c Caught signal: 15
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c   19   520472 129303  1657762   154494 53421928 153990    289 1800.03
1800.02/1800.50	s UNKNOWN
1800.02/1800.50	c Total time: 1800.03 s

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-3738304-1338734255/watcher-3738304-1338734255 -o /tmp/evaluation-result-3738304-1338734255/solver-3738304-1338734255 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738304-1338734255.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.02 2.03 2.00 3/176 20479
/proc/meminfo: memFree=30426284/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/20479/stat : 20479 (runsolver) D 20477 20479 18429 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 339551398 12095488 52 33554432000 4194304 5436572 140736002564864 140736002561160 4883175 0 0 4096 24578 18446744072101238148 0 0 17 1 0 0 0 0 0
/proc/20479/statm: 2953 52 31 304 0 2645 0

[startup+0.0342381 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 20479
/proc/meminfo: memFree=30426284/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=5656 CPUtime=0.02 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 684 0 0 0 2 0 0 0 20 0 1 0 339551398 5791744 621 33554432000 134512640 135840783 4293173408 4293172396 6009285 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 1414 621 380 325 0 275 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5656

[startup+0.100725 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 20479
/proc/meminfo: memFree=30426284/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=6408 CPUtime=0.08 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 997 0 0 0 8 0 0 0 20 0 1 0 339551398 6561792 859 33554432000 134512640 135840783 4293173408 4293136572 2634800 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 1602 859 342 325 0 538 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6408

[startup+0.301019 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 20479
/proc/meminfo: memFree=30426284/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=6484 CPUtime=0.28 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 1022 0 0 0 28 0 0 0 20 0 1 0 339551398 6639616 884 33554432000 134512640 135840783 4293173408 4293133324 2634800 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 1621 884 344 325 0 557 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6484

[startup+0.701016 s]
/proc/loadavg: 2.02 2.03 2.00 3/176 20479
/proc/meminfo: memFree=30426284/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=6616 CPUtime=0.68 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 1047 0 0 0 68 0 0 0 20 0 1 0 339551398 6774784 909 33554432000 134512640 135840783 4293173408 4293172768 134551285 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 1654 909 347 325 0 590 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6616

[startup+1.50102 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 20480
/proc/meminfo: memFree=30422820/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=11288 CPUtime=1.48 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 2216 0 0 0 148 0 0 0 20 0 1 0 339551398 11558912 2078 33554432000 134512640 135840783 4293173408 4293169424 6329639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 2822 2078 347 325 0 1758 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11288

[startup+3.10076 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 20480
/proc/meminfo: memFree=30412528/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=18868 CPUtime=3.08 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 4118 0 0 0 307 1 0 0 20 0 1 0 339551398 19320832 3980 33554432000 134512640 135840783 4293173408 4293172768 134551356 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 4717 3980 347 325 0 3653 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18868

[startup+6.30104 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 20480
/proc/meminfo: memFree=30398396/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=33560 CPUtime=6.28 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 7801 0 0 0 627 1 0 0 20 0 1 0 339551398 34365440 7663 33554432000 134512640 135840783 4293173408 4293172768 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 8390 7663 347 325 0 7326 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33560

[startup+12.7002 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 20480
/proc/meminfo: memFree=30364628/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=65700 CPUtime=12.67 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 15840 0 0 0 1264 3 0 0 20 0 1 0 339551398 67276800 15694 33554432000 134512640 135840783 4293173408 4293172688 6331982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 16425 15694 347 325 0 15361 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 65700

[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 20480
/proc/meminfo: memFree=30330520/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=98512 CPUtime=25.47 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 24051 0 0 0 2542 5 0 0 20 0 1 0 339551398 100876288 23897 33554432000 134512640 135840783 4293173408 4293172768 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 24628 23897 347 325 0 23564 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 98512

[startup+51.1002 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 20480
/proc/meminfo: memFree=30282236/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=139628 CPUtime=51.04 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 34333 0 0 0 5096 8 0 0 20 0 1 0 339551398 142979072 34156 33554432000 134512640 135840783 4293173408 4293172732 4797543 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 34907 34156 347 325 0 33843 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 139628

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 20480
/proc/meminfo: memFree=30217800/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=203740 CPUtime=102.2 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 50422 0 0 0 10207 13 0 0 20 0 1 0 339551398 208629760 50206 33554432000 134512640 135840783 4293173408 4293172768 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 50935 50206 347 325 0 49871 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 203740

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 20484
/proc/meminfo: memFree=30173076/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=245404 CPUtime=162.17 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 60863 0 0 0 16198 19 0 0 20 0 1 0 339551398 251293696 60618 33554432000 134512640 135840783 4293173408 4293172768 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 61351 60618 347 325 0 60287 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 245404

[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 20484
/proc/meminfo: memFree=30126756/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=291520 CPUtime=222.16 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 72398 0 0 0 22190 26 0 0 20 0 1 0 339551398 298516480 72153 33554432000 134512640 135840783 4293173408 4293172720 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 72880 72153 347 325 0 71816 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 291520

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20484
/proc/meminfo: memFree=30050496/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=369468 CPUtime=282.14 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 91874 0 0 0 28183 31 0 0 20 0 1 0 339551398 378335232 91629 33554432000 134512640 135840783 4293173408 4293172768 134551104 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 92367 91629 347 325 0 91303 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 369468

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 20484
/proc/meminfo: memFree=29902320/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=511904 CPUtime=342.14 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 127478 0 0 0 34174 40 0 0 20 0 1 0 339551398 524189696 127233 33554432000 134512640 135840783 4293173408 4293172768 134551532 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 127976 127233 347 325 0 126912 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 511904

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20484
/proc/meminfo: memFree=29874160/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=539424 CPUtime=402.1 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 134397 0 0 0 40166 44 0 0 20 0 1 0 339551398 552370176 134116 33554432000 134512640 135840783 4293173408 4293172768 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 134856 134116 347 325 0 133792 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 539424

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20522
/proc/meminfo: memFree=29845524/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=561608 CPUtime=462.07 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 139977 0 0 0 46159 48 0 0 20 0 1 0 339551398 575086592 139664 33554432000 134512640 135840783 4293173408 4293172768 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 140402 139664 347 325 0 139338 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 561608

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20523
/proc/meminfo: memFree=29595932/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=582872 CPUtime=522.05 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 145330 0 0 0 52153 52 0 0 20 0 1 0 339551398 596860928 144992 33554432000 134512640 135840783 4293173408 4293172436 6316386 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 145718 144992 347 325 0 144654 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 582872

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20523
/proc/meminfo: memFree=29435524/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=606852 CPUtime=582 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 151370 0 0 0 58144 56 0 0 20 0 1 0 339551398 621416448 150984 33554432000 134512640 135840783 4293173408 4293172768 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 151713 150984 347 325 0 150649 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 606852

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20527
/proc/meminfo: memFree=28721844/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=810940 CPUtime=881.95 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 202379 0 0 0 88118 77 0 0 20 0 1 0 339551398 830402560 201989 33554432000 134512640 135840783 4293173408 4293172768 134550878 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 202735 201989 347 325 0 201671 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 810940

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 20527
/proc/meminfo: memFree=28476484/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=870408 CPUtime=941.94 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 217265 0 0 0 94111 83 0 0 20 0 1 0 339551398 891297792 216875 33554432000 134512640 135840783 4293173408 4293172544 6327198 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 217602 216875 347 325 0 216538 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 870408

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20528
/proc/meminfo: memFree=28307752/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=927992 CPUtime=1001.93 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 231657 0 0 0 100105 88 0 0 20 0 1 0 339551398 950263808 231267 33554432000 134512640 135840783 4293173408 4293172720 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 231998 231267 347 325 0 230934 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 927992

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20528
/proc/meminfo: memFree=28160220/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=989044 CPUtime=1061.92 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 246918 0 0 0 106099 93 0 0 20 0 1 0 339551398 1012781056 246528 33554432000 134512640 135840783 4293173408 4293172768 134551119 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 247261 246528 347 325 0 246197 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 989044

[startup+1122.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 20529
/proc/meminfo: memFree=28022488/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1048980 CPUtime=1121.91 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 261893 0 0 0 112092 99 0 0 20 0 1 0 339551398 1074155520 261503 33554432000 134512640 135840783 4293173408 4293172768 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 262245 261503 347 325 0 261181 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1048980

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 20529
/proc/meminfo: memFree=27903476/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1105204 CPUtime=1181.91 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 275941 0 0 0 118087 104 0 0 20 0 1 0 339551398 1131728896 275551 33554432000 134512640 135840783 4293173408 4293172768 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 276301 275551 347 325 0 275237 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1105204

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20529
/proc/meminfo: memFree=27794260/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1153464 CPUtime=1241.89 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 288026 0 0 0 124080 109 0 0 20 0 1 0 339551398 1181147136 287636 33554432000 134512640 135840783 4293173408 4293172768 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 288366 287636 347 325 0 287302 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1153464

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20529
/proc/meminfo: memFree=27678224/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1301.89 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298515 0 0 0 130076 113 0 0 20 0 1 0 339551398 1222565888 297745 33554432000 134512640 135840783 4293173408 4293172832 134546112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297745 347 325 0 297414 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1193912

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20532
/proc/meminfo: memFree=27575588/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1361.88 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298515 0 0 0 136075 113 0 0 20 0 1 0 339551398 1222565888 297745 33554432000 134512640 135840783 4293173408 4293172768 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297745 347 325 0 297414 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1193912

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20555
/proc/meminfo: memFree=27513884/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1421.88 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298515 0 0 0 142075 113 0 0 20 0 1 0 339551398 1222565888 297745 33554432000 134512640 135840783 4293173408 4293172768 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297745 347 325 0 297414 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1193912

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20555
/proc/meminfo: memFree=27466156/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1481.86 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298515 0 0 0 148073 113 0 0 20 0 1 0 339551398 1222565888 297745 33554432000 134512640 135840783 4293173408 4293172768 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297745 347 325 0 297414 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1193912

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20555
/proc/meminfo: memFree=27416836/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1541.85 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298515 0 0 0 154072 113 0 0 20 0 1 0 339551398 1222565888 297745 33554432000 134512640 135840783 4293173408 4293172768 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297745 347 325 0 297414 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1193912

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 20555
/proc/meminfo: memFree=27367264/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1601.84 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298515 0 0 0 160071 113 0 0 20 0 1 0 339551398 1222565888 297745 33554432000 134512640 135840783 4293173408 4293172720 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297745 347 325 0 297414 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1193912

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 20555
/proc/meminfo: memFree=27318064/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1661.83 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298515 0 0 0 166070 113 0 0 20 0 1 0 339551398 1222565888 297745 33554432000 134512640 135840783 4293173408 4293172768 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297745 347 325 0 297414 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1193912

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 20556
/proc/meminfo: memFree=27286596/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1721.82 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298516 0 0 0 172069 113 0 0 20 0 1 0 339551398 1222565888 297746 33554432000 134512640 135840783 4293173408 4293172768 134551321 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297746 347 325 0 297414 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1193912

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20556
/proc/meminfo: memFree=27253764/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1781.82 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298516 0 0 0 178069 113 0 0 20 0 1 0 339551398 1222565888 297746 33554432000 134512640 135840783 4293173408 4293172768 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297746 347 325 0 297414 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1193912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20556
/proc/meminfo: memFree=27242944/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1800.02 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298516 0 0 0 179889 113 0 0 20 0 1 0 339551398 1222565888 297746 33554432000 134512640 135840783 4293173408 4293172768 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297746 347 325 0 297414 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1193912

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 20556
/proc/meminfo: memFree=27242944/32873648 swapFree=6860/6860
[pid=20479] ppid=20477 vsize=1193912 CPUtime=1800.02 cores=1,3,5,7
/proc/20479/stat : 20479 (bsolo3.0.17) R 20477 20479 18429 0 -1 4202496 298516 0 0 0 179889 113 0 0 20 0 1 0 339551398 1222565888 297746 33554432000 134512640 135840783 4293173408 4293172768 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/20479/statm: 298478 297746 347 325 0 297414 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1193912

Child status: 15
Real time (s): 1800.54
CPU time (s): 1800.07
CPU user time (s): 1798.89
CPU system time (s): 1.17282
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1195432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.17282
maximum resident set size= 1192500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298519
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= 268
involuntary context switches= 1845

runsolver used 2.31265 second user time and 10.7624 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 16:37:35
IDJOB=3738304
IDBENCH=71842
IDSOLVER=2318
FILE ID=node124/3738304-1338734255
RUNJOBID= node124-1338713740-18446
PBS_JOBID= 14636741
Free space on /tmp= 70700 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738304-1338734255/watcher-3738304-1338734255 -o /tmp/evaluation-result-3738304-1338734255/solver-3738304-1338734255 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3738304-1338734255.opb            

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

MD5SUM BENCH= 26c9befa85d0a0769813e718015f6caa
RANDOM SEED=342851085

node124.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		: 2667.325
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	: 5334.65
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5357.53
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30426456 kB
Buffers:          202912 kB
Cached:          1382468 kB
SwapCached:         8268 kB
Active:           492312 kB
Inactive:        1186676 kB
Active(anon):      87852 kB
Inactive(anon):     8240 kB
Active(file):     404460 kB
Inactive(file):  1178436 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              7072 kB
Writeback:             4 kB
AnonPages:         92820 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             630128 kB
SReclaimable:      74604 kB
SUnreclaim:       555524 kB
KernelStack:        1456 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     208124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70696 MiB
End job on node124 at 2012-06-03 17:07:38