Trace number 3741180

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 NameAnswerCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.04 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-112.opb
MD5SUM7a0b627cea8cce891554469525360150
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33692
Total number of constraints740354
Number of constraints which are clauses662955
Number of constraints which are cardinality constraints (but not clauses)2653
Number of constraints which are nor clauses,nor cardinality constraints74746
Minimum length of a constraint1
Maximum length of a constraint567
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 568
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.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741180-1338756532.opb
0.00/0.00	c File size is 33569425 bytes.
2.49/2.56	c Highest Coefficient sum: 568
2.49/2.56	c Parsing was ok!!
2.49/2.58	c Total parsing time: 2.559 s
2.68/2.70	c Var: 33692 Constr: 741696 664307/2643/74746 Lit: 2898868 Watch. Lit: 1496649
2.68/2.70	c Obj. Vars: 0 (0 % of total variables)
84.74/84.89	c Pre-processing Time: 84.848 s
84.84/84.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
84.84/84.90	c        0  33177   709925  2759038    3  1507544  500000      0      0 84.85
84.84/84.90	c Switching off LPR mode.
1800.02/1800.50	c      100  33177   710025  2760898    3  1496896  550001    100      1 85.64
1800.02/1800.50	c      252  33177   710177  2773289    3  1497200  605002    252      2 85.71
1800.02/1800.50	c      477  33177   710402  2786343    3  1495655  665503    477      5 86.15
1800.02/1800.50	c      815  33177   710740  2822321    3  1496484  732054    815      9 86.60
1800.02/1800.50	c     1323  33177   711248  2845634    4  1496448  805260   1323     15 87.73
1800.02/1800.50	c     2086  33177   712011  2880171    4  1496319  885787   2086     23 89.86
1800.02/1800.50	c     3233  33177   713158  2982245    4  1498583  974366   3233     35 90.61
1800.02/1800.50	c     4956  33177   714881  3094870    4  1502231  500000   4956     53 93.17
1800.02/1800.50	c     7540  33177   717465  3357783    4  1505726  550001   7540     77 96.94
1800.02/1800.50	c    11419  33177   721344  3585513    4  1513296  605002  11419    109 104.44
1800.02/1800.50	c    17242  33177   727167  4413694    6  1524908  665503  17242    151 114.02
1800.02/1800.50	c    25980  33177   735905  5626594    7  1543009  732054  25980    199 130.37
1800.02/1800.50	c    39095  33177   749020  7728778   10  1569480  805260  39095    228 171.46
1800.02/1800.50	c    58768  33175   768693 10904391   14  1606264  885787  58768    247 236.98
1800.02/1800.50	c    88278  33175   798203 14766290   18  1665285  974366  88278    214 411.32
1800.02/1800.50	c   132557  33172   842482 23062403   27  1752164  500000 132557    163 812.25
1800.02/1800.50	c   198968  33169   908893 36887288   40  1879845  550001 198968    111 1783.05
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   17   200016  42784  6971726   909941 36984051 200016    111 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-3741180-1338756532/watcher-3741180-1338756532 -o /tmp/evaluation-result-3741180-1338756532/solver-3741180-1338756532 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741180-1338756532.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.00 2.00 2.00 3/176 12657
/proc/meminfo: memFree=26368364/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) D 12655 12657 11604 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 341779154 2723840 47 33554432000 134512640 135840783 4288574576 4288572612 10466244 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 665 47 37 325 0 32 0

[startup+0.0102059 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12657
/proc/meminfo: memFree=26368364/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=45284 CPUtime=0 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 341779154 46370816 402 33554432000 134512640 135840783 4288574576 4288573560 1491185 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 11321 403 330 325 0 2061 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 45284

[startup+0.100215 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12657
/proc/meminfo: memFree=26368364/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=41428 CPUtime=0.09 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 1754 0 0 0 9 0 0 0 20 0 1 0 341779154 42422272 1690 33554432000 134512640 135840783 4288574576 4288573568 134524931 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 10357 1691 635 325 0 1097 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41428

[startup+0.300125 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12657
/proc/meminfo: memFree=26368364/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=49492 CPUtime=0.28 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 4439 0 0 0 28 0 0 0 20 0 1 0 341779154 50679808 4375 33554432000 134512640 135840783 4288574576 4288573264 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 12373 4375 1304 325 0 3113 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49492

[startup+0.700123 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12657
/proc/meminfo: memFree=26368364/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=65616 CPUtime=0.68 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 9817 0 0 0 67 1 0 0 20 0 1 0 341779154 67190784 9753 33554432000 134512640 135840783 4288574576 4288572448 1309803 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 16404 9754 2647 325 0 7144 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 65616

[startup+1.50012 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 12659
/proc/meminfo: memFree=27499188/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=95932 CPUtime=1.49 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 20141 0 0 0 147 2 0 0 20 0 1 0 341779154 98234368 20037 33554432000 134512640 135840783 4288574576 4288573516 2321262 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 23983 20037 5369 325 0 14723 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95932

[startup+3.10017 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 12687
/proc/meminfo: memFree=27475612/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=137320 CPUtime=3.09 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 41792 0 0 0 304 5 0 0 20 0 1 0 341779154 140615680 33492 33554432000 134512640 135840783 4288574576 4288169388 5448752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 34330 33492 344 325 0 33266 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 137320

[startup+6.30024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 12697
/proc/meminfo: memFree=27368704/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=179608 CPUtime=6.28 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 52410 0 0 0 620 8 0 0 20 0 1 0 341779154 183918592 44044 33554432000 134512640 135840783 4288574576 4288169212 5448752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 44902 44044 346 325 0 43838 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 179608

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 12697
/proc/meminfo: memFree=27365780/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=179608 CPUtime=12.68 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 52417 0 0 0 1256 12 0 0 20 0 1 0 341779154 183918592 44051 33554432000 134512640 135840783 4288574576 4288169212 5448752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 44902 44051 346 325 0 43838 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 179608

[startup+25.5002 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 12697
/proc/meminfo: memFree=27364412/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=179608 CPUtime=25.48 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 52434 0 0 0 2530 18 0 0 20 0 1 0 341779154 183918592 44061 33554432000 134512640 135840783 4288574576 4288169200 134545187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12657/statm: 44902 44061 346 325 0 43838 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 179608

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 12697
/proc/meminfo: memFree=27361520/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=179740 CPUtime=51.06 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 52456 0 0 0 5079 27 0 0 20 0 1 0 341779154 184053760 44074 33554432000 134512640 135840783 4288574576 4288169212 5448752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 44935 44074 346 325 0 43871 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 179740

[startup+102.306 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 12700
/proc/meminfo: memFree=27363792/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=175552 CPUtime=102.24 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 52505 0 0 0 10187 37 0 0 20 0 1 0 341779154 179765248 43062 33554432000 134512640 135840783 4288574576 4288573788 134521208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 43888 43062 349 325 0 42824 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 175552

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12701
/proc/meminfo: memFree=27343908/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=194052 CPUtime=162.23 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 57103 0 0 0 16184 39 0 0 20 0 1 0 341779154 198709248 47660 33554432000 134512640 135840783 4288574576 4288573928 12097721 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 48513 47660 349 325 0 47449 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 194052

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12701
/proc/meminfo: memFree=27302244/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=233192 CPUtime=222.23 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 66906 0 0 0 22179 44 0 0 20 0 1 0 341779154 238788608 57463 33554432000 134512640 135840783 4288574576 4288573936 134550869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 58298 57463 349 325 0 57234 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 233192

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12701
/proc/meminfo: memFree=27275384/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=259912 CPUtime=282.18 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 73613 0 0 0 28171 47 0 0 20 0 1 0 341779154 266149888 64131 33554432000 134512640 135840783 4288574576 4288573936 134550820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 64978 64131 349 325 0 63914 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 259912

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12701
/proc/meminfo: memFree=27258040/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=277640 CPUtime=342.17 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 78040 0 0 0 34167 50 0 0 20 0 1 0 341779154 284303360 68558 33554432000 134512640 135840783 4288574576 4288573936 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 69410 68558 349 325 0 68346 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 277640

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12701
/proc/meminfo: memFree=27242540/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=292852 CPUtime=402.16 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 81845 0 0 0 40164 52 0 0 20 0 1 0 341779154 299880448 72363 33554432000 134512640 135840783 4288574576 4288573936 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 73213 72363 349 325 0 72149 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 292852

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12702
/proc/meminfo: memFree=27224100/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=310576 CPUtime=462.14 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 86291 0 0 0 46159 55 0 0 20 0 1 0 341779154 318029824 76796 33554432000 134512640 135840783 4288574576 4288573936 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 77644 76796 349 325 0 76580 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 310576

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12702
/proc/meminfo: memFree=27210052/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=325124 CPUtime=522.11 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 89955 0 0 0 52155 56 0 0 20 0 1 0 341779154 332926976 80446 33554432000 134512640 135840783 4288574576 4288573936 134550767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 81281 80446 349 325 0 80217 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 325124

[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 12702
/proc/meminfo: memFree=27188724/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=344292 CPUtime=582.1 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 94731 0 0 0 58152 58 0 0 20 0 1 0 341779154 352555008 85222 33554432000 134512640 135840783 4288574576 4288573936 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 86073 85222 349 325 0 85009 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 344292

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12729
/proc/meminfo: memFree=27111216/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=419512 CPUtime=882.04 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 113570 0 0 0 88136 68 0 0 20 0 1 0 341779154 429580288 104026 33554432000 134512640 135840783 4288574576 4288573936 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 104878 104026 349 325 0 103814 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 419512

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12729
/proc/meminfo: memFree=27098692/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=431676 CPUtime=942.03 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 116632 0 0 0 94133 70 0 0 20 0 1 0 341779154 442036224 107088 33554432000 134512640 135840783 4288574576 4288573888 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 107919 107088 349 325 0 106855 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 431676

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12729
/proc/meminfo: memFree=27084448/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=444892 CPUtime=1002 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 119955 0 0 0 100129 71 0 0 20 0 1 0 341779154 455569408 110388 33554432000 134512640 135840783 4288574576 4288573936 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 111223 110388 349 325 0 110159 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 444892

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12729
/proc/meminfo: memFree=27073340/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=456524 CPUtime=1061.98 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 122855 0 0 0 106125 73 0 0 20 0 1 0 341779154 467480576 113281 33554432000 134512640 135840783 4288574576 4288573936 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 114131 113281 349 325 0 113067 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 456524

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12730
/proc/meminfo: memFree=27061184/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=468552 CPUtime=1121.98 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 125871 0 0 0 112123 75 0 0 20 0 1 0 341779154 479797248 116297 33554432000 134512640 135840783 4288574576 4288573936 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 117138 116297 349 325 0 116074 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 468552

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12730
/proc/meminfo: memFree=27047916/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=481772 CPUtime=1181.97 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 129179 0 0 0 118120 77 0 0 20 0 1 0 341779154 493334528 119605 33554432000 134512640 135840783 4288574576 4288573936 134550820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 120443 119605 349 325 0 119379 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 481772

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12730
/proc/meminfo: memFree=27034152/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=494856 CPUtime=1241.95 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 132464 0 0 0 124117 78 0 0 20 0 1 0 341779154 506732544 122890 33554432000 134512640 135840783 4288574576 4288573936 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 123714 122890 349 325 0 122650 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 494856

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12733
/proc/meminfo: memFree=27018024/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=509924 CPUtime=1301.95 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 136223 0 0 0 130114 81 0 0 20 0 1 0 341779154 522162176 126645 33554432000 134512640 135840783 4288574576 4288573888 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 127481 126645 349 325 0 126417 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 509924

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12733
/proc/meminfo: memFree=27007328/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=521424 CPUtime=1361.91 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 139113 0 0 0 136108 83 0 0 20 0 1 0 341779154 533938176 129504 33554432000 134512640 135840783 4288574576 4288573936 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 130356 129504 349 325 0 129292 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 521424

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12734
/proc/meminfo: memFree=26997656/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=530808 CPUtime=1421.91 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 141468 0 0 0 142106 85 0 0 20 0 1 0 341779154 543547392 131859 33554432000 134512640 135840783 4288574576 4288573936 134550808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 132702 131859 349 325 0 131638 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 530808

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12734
/proc/meminfo: memFree=26987860/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=540588 CPUtime=1481.89 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 143925 0 0 0 148103 86 0 0 20 0 1 0 341779154 553562112 134316 33554432000 134512640 135840783 4288574576 4288573664 1582375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 135147 134316 349 325 0 134083 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 540588

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12734
/proc/meminfo: memFree=26979180/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=549444 CPUtime=1541.88 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 146130 0 0 0 154101 87 0 0 20 0 1 0 341779154 562630656 136521 33554432000 134512640 135840783 4288574576 4288573888 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 137361 136521 349 325 0 136297 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 549444

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12734
/proc/meminfo: memFree=26969512/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=559360 CPUtime=1601.87 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 148605 0 0 0 160098 89 0 0 20 0 1 0 341779154 572784640 138996 33554432000 134512640 135840783 4288574576 4288573936 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 139840 138996 349 325 0 138776 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 559360

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12734
/proc/meminfo: memFree=26958228/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=570464 CPUtime=1661.86 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 151388 0 0 0 166095 91 0 0 20 0 1 0 341779154 584155136 141779 33554432000 134512640 135840783 4288574576 4288573936 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 142616 141779 349 325 0 141552 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 570464

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12735
/proc/meminfo: memFree=26947440/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=580904 CPUtime=1721.83 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 154038 0 0 0 172090 93 0 0 20 0 1 0 341779154 594845696 144399 33554432000 134512640 135840783 4288574576 4288573936 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 145226 144399 349 325 0 144162 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 580904

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12735
/proc/meminfo: memFree=26939812/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=588440 CPUtime=1781.82 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 155925 0 0 0 178088 94 0 0 20 0 1 0 341779154 602562560 146286 33554432000 134512640 135840783 4288574576 4288573936 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 147110 146286 349 325 0 146046 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 588440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12735
/proc/meminfo: memFree=26938200/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=590160 CPUtime=1800.02 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 156346 0 0 0 179908 94 0 0 20 0 1 0 341779154 604323840 146707 33554432000 134512640 135840783 4288574576 4288573888 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 147540 146707 349 325 0 146476 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 590160

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.08 2.02 2.01 3/177 12735
/proc/meminfo: memFree=26938200/32873648 swapFree=7112/7112
[pid=12657] ppid=12655 vsize=590160 CPUtime=1800.02 cores=0,2,4,6
/proc/12657/stat : 12657 (bsolo3.0.17) R 12655 12657 11604 0 -1 4202496 156346 0 0 0 179908 94 0 0 20 0 1 0 341779154 604323840 146707 33554432000 134512640 135840783 4288574576 4288573888 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12657/statm: 147540 146707 349 325 0 146476 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 590160

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.09
CPU system time (s): 0.948855
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 590160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 0.948855
maximum resident set size= 586828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156349
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= 243
involuntary context switches= 1903

runsolver used 3.9224 second user time and 8.47171 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 22:48:52
IDJOB=3741180
IDBENCH=89805
IDSOLVER=2318
FILE ID=node126/3741180-1338756532
RUNJOBID= node126-1338747103-11620
PBS_JOBID= 14636777
Free space on /tmp= 70744 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-112.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741180-1338756532/watcher-3741180-1338756532 -o /tmp/evaluation-result-3741180-1338756532/solver-3741180-1338756532 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741180-1338756532.opb            

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

MD5SUM BENCH= 7a0b627cea8cce891554469525360150
RANDOM SEED=1312396835

node126.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.456
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	: 5332.91
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.456
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.456
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		: 2666.456
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.456
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.92
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.456
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.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26368364 kB
Buffers:          429100 kB
Cached:          4025908 kB
SwapCached:         9476 kB
Active:          2789100 kB
Inactive:        2850056 kB
Active(anon):    1173996 kB
Inactive(anon):    12168 kB
Active(file):    1615104 kB
Inactive(file):  2837888 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:             39200 kB
Writeback:             0 kB
AnonPages:       1182580 kB
Mapped:            11044 kB
Shmem:                 0 kB
Slab:             726240 kB
SReclaimable:     170452 kB
SUnreclaim:       555788 kB
KernelStack:        1456 kB
PageTables:         6072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1297424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    856064 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= 70748 MiB
End job on node126 at 2012-06-03 23:18:55