Trace number 3708356

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
bsolo 3.2? 1798.02 1798.34

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb
MD5SUM31a9ebcc0e27737ae8ea76188c0ed799
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-440
Best CPU time to get the best result obtained on this benchmark1797.4
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 28908
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 106194
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 106194
Number of bits of the biggest sum of numbers17
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708356-1338243615.opb
0.00/0.00	c File size is 2753707 bytes.
0.18/0.24	c Highest Coefficient sum: 106194
0.18/0.24	c Parsing was ok!!
0.18/0.24	c Total parsing time: 0.236 s
0.18/0.25	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161314
0.18/0.25	c Obj. Vars: 28908 (71.4642 % of total variables)
26.39/26.44	c Pre-processing Time: 26.438 s
26.39/26.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.39/26.45	c        0  33129    33499   187590    5   137746  622567      0      0 26.44
26.39/26.45	c Switching off lower bounding mode.
1797.97/1798.33	c      101  33129    33605   220235    6   137986  684824    106      3 29.56
1797.97/1798.33	c      251  33129    33758   227954    6   138405  753307    259      7 32.56
1797.97/1798.33	c      477  33129    33988   235886    6   139187  828638    489     12 37.03
1797.97/1798.33	c      816  33129    34336   248637    7   139997  911502    837     18 45.31
1797.97/1798.33	c     1324  33129    34855   272614    7   141035  500000   1356     23 57.19
1797.97/1798.33	c     2087  33129    35652   312554    8   142630  550001   2153     27 76.70
1797.97/1798.33	c     3233  33129    36884   414793   11   145162  605002   3385     30 104.57
1797.97/1798.33	c     4955  33129    38701   562265   14   149083  665503   5202     33 147.68
1797.97/1798.33	c     7541  33129    41415   814506   19   154952  732054   7916     35 212.15
1797.97/1798.33	c    11422  33129    45627  1220303   26   164558  805260  12128     36 312.04
1797.97/1798.33	c    17245  33129    51746  1679006   32   177543  885787  18247     37 462.96
1797.97/1798.33	c    25982  33129    60939  2364597   38   196577  974366  27440     37 687.45
1797.97/1798.33	c    39092  33129    74146  3061713   41   223221  500000  40647     40 965.74
1797.97/1798.33	c    58762  33129    94628  4639711   49   265298  550001  61129     39 1493.68
1797.97/1798.33	c Resources Exceeded
1797.97/1798.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.33	c   14    65931  28694   205898   102248  6940592  68749     36 1798.02
1797.97/1798.33	s UNKNOWN
1797.97/1798.33	c Total time: 1798.02 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-3708356-1338243615/watcher-3708356-1338243615 -o /tmp/evaluation-result-3708356-1338243615/solver-3708356-1338243615 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708356-1338243615.opb 

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.13 2.05 2.01 3/177 5130
/proc/meminfo: memFree=31304844/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=21596 CPUtime=0 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290486968 22114304 312 33554432000 134512640 137138936 4289208128 4289206480 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 5399 312 175 642 0 4082 0

[startup+0.049454 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 5130
/proc/meminfo: memFree=31304844/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=17048 CPUtime=0.04 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 1382 0 0 0 4 0 0 0 20 0 1 0 290486968 17457152 1296 33554432000 134512640 137138936 4289208128 4289206344 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 4262 1297 315 642 0 2945 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17048

[startup+0.100163 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 5130
/proc/meminfo: memFree=31304844/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=18576 CPUtime=0.09 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 1933 0 0 0 9 0 0 0 20 0 1 0 290486968 19021824 1768 33554432000 134512640 137138936 4289208128 4289206376 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 4644 1769 464 642 0 3327 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18576

[startup+0.300144 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 5130
/proc/meminfo: memFree=31304844/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=27012 CPUtime=0.28 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5092 0 0 0 28 0 0 0 20 0 1 0 290486968 27660288 4197 33554432000 134512640 137138936 4289208128 4288721404 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 6753 4197 184 642 0 6109 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 27012

[startup+0.70011 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 5130
/proc/meminfo: memFree=31304844/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=27012 CPUtime=0.68 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5092 0 0 0 68 0 0 0 20 0 1 0 290486968 27660288 4197 33554432000 134512640 137138936 4289208128 4288721404 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 6753 4197 184 642 0 6109 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27012

[startup+1.50017 s]
/proc/loadavg: 2.13 2.05 2.01 3/178 5131
/proc/meminfo: memFree=31288044/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=27148 CPUtime=1.49 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5124 0 0 0 148 1 0 0 20 0 1 0 290486968 27799552 4229 33554432000 134512640 137138936 4289208128 4288721216 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27148

[startup+3.10016 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 5131
/proc/meminfo: memFree=31287540/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=27148 CPUtime=3.09 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5124 0 0 0 308 1 0 0 20 0 1 0 290486968 27799552 4229 33554432000 134512640 137138936 4289208128 4288721404 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27148

[startup+6.3001 s]
/proc/loadavg: 2.12 2.05 2.01 3/178 5131
/proc/meminfo: memFree=31287292/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=27148 CPUtime=6.29 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5124 0 0 0 627 2 0 0 20 0 1 0 290486968 27799552 4229 33554432000 134512640 137138936 4289208128 4288721404 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 6787 4229 184 642 0 6143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27148

[startup+12.7001 s]
/proc/loadavg: 2.10 2.05 2.01 3/178 5131
/proc/meminfo: memFree=31285456/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=27808 CPUtime=12.69 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5289 0 0 0 1266 3 0 0 20 0 1 0 290486968 28475392 4394 33554432000 134512640 137138936 4289208128 4288720952 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 6952 4394 184 642 0 6308 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27808

[startup+25.5002 s]
/proc/loadavg: 2.09 2.05 2.01 3/178 5131
/proc/meminfo: memFree=31285208/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=27808 CPUtime=25.48 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5292 0 0 0 2544 4 0 0 20 0 1 0 290486968 28475392 4394 33554432000 134512640 137138936 4289208128 4288721404 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 6952 4394 184 642 0 6308 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27808

[startup+51.1001 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 5131
/proc/meminfo: memFree=31281992/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=28640 CPUtime=51.08 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 443384 0 0 0 5046 62 0 0 20 0 1 0 290486968 29327360 4641 33554432000 134512640 137138936 4289208128 4289206880 134572980 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 7160 4641 192 642 0 6516 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28640

[startup+102.306 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 5131
/proc/meminfo: memFree=31277824/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=31256 CPUtime=102.27 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 1117410 0 0 0 10080 147 0 0 20 0 1 0 290486968 32006144 5225 33554432000 134512640 137138936 4289208128 4288813536 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 7814 5225 192 642 0 7170 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31256

[startup+162.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 5131
/proc/meminfo: memFree=31261392/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=34152 CPUtime=162.26 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 1832479 0 0 0 15988 238 0 0 20 0 1 0 290486968 34971648 6019 33554432000 134512640 137138936 4289208128 4289206624 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 8538 6019 192 642 0 7894 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 34152

[startup+222.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 5132
/proc/meminfo: memFree=31254720/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=37008 CPUtime=222.25 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 2559966 0 0 0 21896 329 0 0 20 0 1 0 290486968 37896192 6766 33554432000 134512640 137138936 4289208128 4289206552 134606999 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 9252 6766 192 642 0 8608 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37008

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 5132
/proc/meminfo: memFree=31245120/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=40840 CPUtime=282.24 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 3236484 0 0 0 27806 418 0 0 20 0 1 0 290486968 41820160 7692 33554432000 134512640 137138936 4289208128 4289206624 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 10210 7692 192 642 0 9566 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 40840

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5132
/proc/meminfo: memFree=31228300/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=43828 CPUtime=342.23 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 3926468 0 0 0 33715 508 0 0 20 0 1 0 290486968 44879872 8439 33554432000 134512640 137138936 4289208128 4289206552 134606673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 10957 8439 192 642 0 10313 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 43828

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 5133
/proc/meminfo: memFree=31217524/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=47672 CPUtime=402.22 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 4575890 0 0 0 39635 587 0 0 20 0 1 0 290486968 48816128 9400 33554432000 134512640 137138936 4289208128 4289206552 134606958 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 11918 9400 192 642 0 11274 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 47672

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 5133
/proc/meminfo: memFree=31208924/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=50088 CPUtime=462.21 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5282453 0 0 0 45546 675 0 0 20 0 1 0 290486968 51290112 10004 33554432000 134512640 137138936 4289208128 4289206736 134552486 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 12522 10004 192 642 0 11878 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 50088

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5134
/proc/meminfo: memFree=31201400/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=52132 CPUtime=522.2 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 5962402 0 0 0 51450 770 0 0 20 0 1 0 290486968 53383168 10443 33554432000 134512640 137138936 4289208128 4289206656 134603100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 13033 10450 192 642 0 12389 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 52132

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5134
/proc/meminfo: memFree=31194080/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=52980 CPUtime=582.19 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 6766998 0 0 0 57349 870 0 0 20 0 1 0 290486968 54251520 10727 33554432000 134512640 137138936 4289208128 4289206552 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 13245 10727 192 642 0 12601 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 52980

[startup+642.3 s]

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

/proc/meminfo: memFree=31119572/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=72072 CPUtime=1062.11 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 13710791 0 0 0 104469 1742 0 0 20 0 1 0 290486968 73801728 15500 33554432000 134512640 137138936 4289208128 4288813656 134600686 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 18018 15500 192 642 0 17374 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 72072

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 5139
/proc/meminfo: memFree=31110396/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=74644 CPUtime=1122.1 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 14359492 0 0 0 110380 1830 0 0 20 0 1 0 290486968 76435456 16143 33554432000 134512640 137138936 4289208128 4289206672 134598920 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 18661 16143 192 642 0 18017 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 74644

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 5139
/proc/meminfo: memFree=31097508/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=77736 CPUtime=1182.09 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 14925518 0 0 0 116303 1906 0 0 20 0 1 0 290486968 79601664 16916 33554432000 134512640 137138936 4289208128 4289206552 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 19434 16916 192 642 0 18790 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 77736

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5142
/proc/meminfo: memFree=31087612/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=80900 CPUtime=1242.08 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 15528912 0 0 0 122218 1990 0 0 20 0 1 0 290486968 82841600 17707 33554432000 134512640 137138936 4289208128 4289206624 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 20225 17707 192 642 0 19581 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 80900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5142
/proc/meminfo: memFree=31077700/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=83472 CPUtime=1302.08 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 16145833 0 0 0 128136 2072 0 0 20 0 1 0 290486968 85475328 18287 33554432000 134512640 137138936 4289208128 4289206440 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 20868 18296 192 642 0 20224 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 83472

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 5142
/proc/meminfo: memFree=31070868/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=87484 CPUtime=1362.06 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 16736914 0 0 0 134051 2155 0 0 20 0 1 0 290486968 89583616 19291 33554432000 134512640 137138936 4289208128 4289206656 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 21871 19291 192 642 0 21227 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 87484

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5181
/proc/meminfo: memFree=31248724/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=88052 CPUtime=1422.05 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 17366342 0 0 0 139961 2244 0 0 20 0 1 0 290486968 90165248 19527 33554432000 134512640 137138936 4289208128 4289206552 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 22013 19527 192 642 0 21369 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 88052

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5181
/proc/meminfo: memFree=31240324/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=90916 CPUtime=1482.03 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 17939951 0 0 0 145879 2324 0 0 20 0 1 0 290486968 93097984 20219 33554432000 134512640 137138936 4289208128 4289206552 134606673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 22729 20219 192 642 0 22085 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 90916

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5181
/proc/meminfo: memFree=31233896/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=94920 CPUtime=1542.02 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 18445983 0 0 0 151808 2394 0 0 20 0 1 0 290486968 97198080 21212 33554432000 134512640 137138936 4289208128 4289206620 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 23730 21212 192 642 0 23086 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 94920

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5181
/proc/meminfo: memFree=31222352/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=101292 CPUtime=1602.02 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 18851797 0 0 0 157751 2451 0 0 20 0 1 0 290486968 103723008 22837 33554432000 134512640 137138936 4289208128 4289207056 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 25323 22837 192 642 0 24679 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 101292

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 5181
/proc/meminfo: memFree=31210408/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=108952 CPUtime=1662 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 19285963 0 0 0 163688 2512 0 0 20 0 1 0 290486968 111566848 24744 33554432000 134512640 137138936 4289208128 4289206624 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 27238 24744 192 642 0 26594 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 108952

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 5182
/proc/meminfo: memFree=31195816/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=115960 CPUtime=1721.99 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 19627416 0 0 0 169637 2562 0 0 20 0 1 0 290486968 118743040 26504 33554432000 134512640 137138936 4289208128 4289207244 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 28990 26504 192 642 0 28346 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 115960

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5182
/proc/meminfo: memFree=31187148/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=121956 CPUtime=1781.98 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 20070832 0 0 0 175569 2629 0 0 20 0 1 0 290486968 124882944 27971 33554432000 134512640 137138936 4289208128 4289207056 134543140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 30489 27971 192 642 0 29845 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 121956

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5185
/proc/meminfo: memFree=31185256/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=122692 CPUtime=1791.58 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 20130258 0 0 0 176522 2636 0 0 20 0 1 0 290486968 125636608 28155 33554432000 134512640 137138936 4289208128 4289206644 134551242 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 30673 28155 192 642 0 30029 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 122692

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5185
/proc/meminfo: memFree=31184776/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=122180 CPUtime=1794.79 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 20163238 0 0 0 176837 2642 0 0 20 0 1 0 290486968 125112320 28027 33554432000 134512640 137138936 4289208128 4288813352 134599801 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 30545 28027 192 642 0 29901 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 122180

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5185
/proc/meminfo: memFree=31184900/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=122180 CPUtime=1796.38 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 20177830 0 0 0 176994 2644 0 0 20 0 1 0 290486968 125112320 28027 33554432000 134512640 137138936 4289208128 4288813584 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 30545 28027 192 642 0 29901 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 122180

[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5185
/proc/meminfo: memFree=31184528/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=121924 CPUtime=1797.18 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 20187366 0 0 0 177073 2645 0 0 20 0 1 0 290486968 124850176 27963 33554432000 134512640 137138936 4289208128 4289206872 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 30481 27963 192 642 0 29837 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 121924

[startup+1797.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5185
/proc/meminfo: memFree=31184528/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=121540 CPUtime=1797.58 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 20192430 0 0 0 177112 2646 0 0 20 0 1 0 290486968 124456960 27899 33554432000 134512640 137138936 4289208128 4289206620 136700814 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 30385 27899 192 642 0 29741 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 121540

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5185
/proc/meminfo: memFree=31184528/32873648 swapFree=7116/7116
[pid=5130] ppid=5128 vsize=121540 CPUtime=1797.97 cores=0,2,4,6
/proc/5130/stat : 5130 (bsolo) R 5128 5130 4099 0 -1 4202496 20196942 0 0 0 177151 2646 0 0 20 0 1 0 290486968 124456960 27899 33554432000 134512640 137138936 4289208128 4289206624 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5130/statm: 30385 27899 192 642 0 29741 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 121540

Child status: 0
Real time (s): 1798.34
CPU time (s): 1798.02
CPU user time (s): 1771.55
CPU system time (s): 26.468
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 122948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.55
system time used= 26.468
maximum resident set size= 112908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20197262
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= 50
involuntary context switches= 1866

runsolver used 3.2905 second user time and 8.41372 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-29 00:20:15
IDJOB=3708356
IDBENCH=90572
IDSOLVER=2286
FILE ID=node123/3708356-1338243615
RUNJOBID= node123-1338227645-4115
PBS_JOBID= 14624628
Free space on /tmp= 71672 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708356-1338243615/watcher-3708356-1338243615 -o /tmp/evaluation-result-3708356-1338243615/solver-3708356-1338243615 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708356-1338243615.opb

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

MD5SUM BENCH= 31a9ebcc0e27737ae8ea76188c0ed799
RANDOM SEED=174158523

node123.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.217
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.43
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.217
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		: 2667.217
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.92
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.217
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		: 2667.217
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	: 5331.91
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.217
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		: 2667.217
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.91
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.217
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31305380 kB
Buffers:          371780 kB
Cached:           304140 kB
SwapCached:          972 kB
Active:           399400 kB
Inactive:         329136 kB
Active(anon):      44376 kB
Inactive(anon):     8356 kB
Active(file):     355024 kB
Inactive(file):   320780 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102960 kB
Dirty:              6632 kB
Writeback:             0 kB
AnonPages:         36132 kB
Mapped:            11024 kB
Shmem:                 0 kB
Slab:             702984 kB
SReclaimable:     147000 kB
SUnreclaim:       555984 kB
KernelStack:        1488 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     175176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 71668 MiB
End job on node123 at 2012-05-29 00:50:13