Trace number 3707611

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
bsolo 3.2? 1798.01 1798.45

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-101.opb
MD5SUMa3ed9477da365050d631dd031519efe8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark79.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
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 196
Number of bits of the biggest sum of numbers8
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-3707611-1338211751.opb
0.00/0.00	c File size is 7426750 bytes.
0.39/0.48	c Highest Coefficient sum: 196
0.39/0.48	c Parsing was ok!!
0.39/0.48	c Total parsing time: 0.48 s
0.49/0.51	c Var: 7936 Constr: 177125 159215/564/17346 Lit: 683558 Watch. Lit: 357405
0.49/0.51	c Obj. Vars: 0 (0 % of total variables)
7.29/7.30	c Pre-processing Time: 7.301 s
7.29/7.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.30	c        0   7936   174624   671054    3   369749  237455      0      0 7.30
7.29/7.30	c Switching off lower bounding mode.
1797.95/1798.44	c      102   7936   174827   676323    3   368441  261201    203     13 7.37
1797.95/1798.44	c      252   7936   175115   684012    3   365491  287322    491     33 7.53
1797.95/1798.44	c      478   7936   175567   700714    3   366392  316055    943     62 7.65
1797.95/1798.44	c      816   7936   176201   721537    4   367046  347661   1577    102 7.99
1797.95/1798.44	c     1324   7936   177217   765943    4   369031  382428   2593    158 8.36
1797.95/1798.44	c     2089   7936   178738   822272    4   372738  420671   4114    233 8.95
1797.95/1798.44	c     3238   7936   181036   928836    5   377317  462739   6412    316 10.23
1797.95/1798.44	c     4959   7936   184417  1043443    5   382796  509013   9793    420 11.79
1797.95/1798.44	c     7544   7936   189544  1289736    6   392836  559915  14920    504 14.94
1797.95/1798.44	c    11423   7936   197226  1711820    8   407924  615907  22602    538 21.23
1797.95/1798.44	c    17245   7936   208632  2454536   11   430516  677498  34008    564 30.56
1797.95/1798.44	c    25984   7936   225732  4521826   20   465891  745248  51108    577 44.97
1797.95/1798.44	c    39099   7936   251962  5686820   22   518288  819773  77338    416 93.95
1797.95/1798.44	c    58769   7936   290463  9250105   31   595008  901751 115839    354 165.65
1797.95/1798.44	c    88282   7936   349489 12069047   34   712863  991927 174865    229 384.12
1797.95/1798.44	c   132552   7932   432588 18046987   41   877810  500000 257964    238 556.22
1797.95/1798.44	c   198969   7873   550838 22814844   41  1112550  550001 376214    125 1586.67
1797.95/1798.44	c Resources Exceeded
1797.95/1798.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.44	c   17   223422  87725  2327952   592972 25964639 418348    124 1798.01
1797.95/1798.44	s UNKNOWN
1797.95/1798.44	c Total time: 1798.01 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-3707611-1338211751/watcher-3707611-1338211751 -o /tmp/evaluation-result-3707611-1338211751/solver-3707611-1338211751 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707611-1338211751.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 26691
/proc/meminfo: memFree=30044824/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=18192 CPUtime=0 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 287303644 18628608 282 33554432000 134512640 137138936 4292074784 4292071320 136661005 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 4548 283 183 642 0 2090 0

[startup+0.0810411 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 26691
/proc/meminfo: memFree=30044824/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=21876 CPUtime=0.07 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 1543 0 0 0 7 0 0 0 20 0 1 0 287303644 22401024 1496 33554432000 134512640 137138936 4292074784 4292073032 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 5469 1497 473 642 0 3011 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21876

[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 26691
/proc/meminfo: memFree=30044824/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=22832 CPUtime=0.09 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 1859 0 0 0 9 0 0 0 20 0 1 0 287303644 23379968 1812 33554432000 134512640 137138936 4292074784 4292073264 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 5708 1812 551 642 0 3250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22832

[startup+0.300212 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 26691
/proc/meminfo: memFree=30044824/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=31976 CPUtime=0.28 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 4911 0 0 0 28 0 0 0 20 0 1 0 287303644 32743424 4864 33554432000 134512640 137138936 4292074784 4292073048 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 7994 4865 1311 642 0 5536 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 31976

[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 26691
/proc/meminfo: memFree=30044824/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=47856 CPUtime=0.69 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 11361 0 0 0 67 2 0 0 20 0 1 0 287303644 49004544 9500 33554432000 134512640 137138936 4292074784 4291977832 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 11964 9504 185 642 0 11320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47856

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 26692
/proc/meminfo: memFree=30000424/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=53268 CPUtime=1.49 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 12726 0 0 0 145 4 0 0 20 0 1 0 287303644 54546432 10865 33554432000 134512640 137138936 4292074784 4291978060 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 13317 10865 185 642 0 12673 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53268

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 26692
/proc/meminfo: memFree=29920444/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=53268 CPUtime=3.09 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 12729 0 0 0 303 6 0 0 20 0 1 0 287303644 54546432 10868 33554432000 134512640 137138936 4292074784 4291978060 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 13317 10868 185 642 0 12673 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53268

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 26692
/proc/meminfo: memFree=29920460/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=53268 CPUtime=6.29 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 12733 0 0 0 619 10 0 0 20 0 1 0 287303644 54546432 10872 33554432000 134512640 137138936 4292074784 4291978060 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 13317 10872 185 642 0 12673 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53268

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 26692
/proc/meminfo: memFree=29925792/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=49076 CPUtime=12.68 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 16860 0 0 0 1247 21 0 0 20 0 1 0 287303644 50253824 9803 33554432000 134512640 137138936 4292074784 4292073900 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 12269 9803 192 642 0 11625 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49076

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 26692
/proc/meminfo: memFree=29911416/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=63324 CPUtime=25.49 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 20441 0 0 0 2519 30 0 0 20 0 1 0 287303644 64843776 13384 33554432000 134512640 137138936 4292074784 4292073900 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 15831 13384 192 642 0 15187 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63324

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26696
/proc/meminfo: memFree=29873904/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=99944 CPUtime=51.08 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 29600 0 0 0 5065 43 0 0 20 0 1 0 287303644 102342656 22543 33554432000 134512640 137138936 4292074784 4292073712 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 24986 22543 192 642 0 24342 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 99944

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26696
/proc/meminfo: memFree=29856844/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=116840 CPUtime=102.28 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 33804 0 0 0 10180 48 0 0 20 0 1 0 287303644 119644160 26747 33554432000 134512640 137138936 4292074784 4292073712 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 29210 26747 192 642 0 28566 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 116840

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 26696
/proc/meminfo: memFree=29811000/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=162592 CPUtime=162.27 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 45244 0 0 0 16156 71 0 0 20 0 1 0 287303644 166494208 38187 33554432000 134512640 137138936 4292074784 4292073208 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 40648 38187 192 642 0 40004 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 162592

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 26696
/proc/meminfo: memFree=29798464/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=176644 CPUtime=222.24 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 48773 0 0 0 22150 74 0 0 20 0 1 0 287303644 180883456 41710 33554432000 134512640 137138936 4292074784 4292073012 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 44161 41710 192 642 0 43517 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 176644

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/177 26696
/proc/meminfo: memFree=29776544/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=189076 CPUtime=282.19 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 51944 0 0 0 28142 77 0 0 20 0 1 0 287303644 193613824 44833 33554432000 134512640 137138936 4292074784 4292073712 134542190 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 47269 44833 192 642 0 46625 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 189076

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/177 26697
/proc/meminfo: memFree=29703152/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=199808 CPUtime=342.16 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 54634 0 0 0 34136 80 0 0 20 0 1 0 287303644 204603392 47970 33554432000 134512640 137138936 4292074784 4292073712 134542237 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 49952 47970 192 642 0 49308 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 199808

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 26697
/proc/meminfo: memFree=29626148/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=220252 CPUtime=402.15 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 59761 0 0 0 40125 90 0 0 20 0 1 0 287303644 225538048 53097 33554432000 134512640 137138936 4292074784 4292073712 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 55063 53097 192 642 0 54419 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 220252

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26698
/proc/meminfo: memFree=29550136/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=257236 CPUtime=462.14 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 69012 0 0 0 46108 106 0 0 20 0 1 0 287303644 263409664 62348 33554432000 134512640 137138936 4292074784 4292073280 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 64309 62348 192 642 0 63665 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 257236

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 26698
/proc/meminfo: memFree=29487788/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=282536 CPUtime=522.14 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 75316 0 0 0 52099 115 0 0 20 0 1 0 287303644 289316864 68652 33554432000 134512640 137138936 4292074784 4292073712 134542808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 70634 68652 192 642 0 69990 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 282536

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 26698
/proc/meminfo: memFree=29441688/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=295068 CPUtime=582.12 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 78479 0 0 0 58094 118 0 0 20 0 1 0 287303644 302149632 71815 33554432000 134512640 137138936 4292074784 4292073712 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 73767 71815 192 642 0 73123 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 295068

[startup+642.3 s]

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

/proc/meminfo: memFree=29125796/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=341380 CPUtime=1121.98 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 90089 0 0 0 112062 136 0 0 20 0 1 0 287303644 349573120 83363 33554432000 134512640 137138936 4292074784 4292073496 136504096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 85345 83363 192 642 0 84701 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 341380

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/177 26703
/proc/meminfo: memFree=29092564/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=345076 CPUtime=1181.97 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 91045 0 0 0 118060 137 0 0 20 0 1 0 287303644 353357824 84319 33554432000 134512640 137138936 4292074784 4292073712 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 86269 84319 192 642 0 85625 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 345076

[startup+1242.3 s]
/proc/loadavg: 2.05 2.04 1.97 3/176 26703
/proc/meminfo: memFree=29076660/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=348100 CPUtime=1241.96 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 91800 0 0 0 124058 138 0 0 20 0 1 0 287303644 356454400 85074 33554432000 134512640 137138936 4292074784 4292073712 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 87025 85074 192 642 0 86381 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 348100

[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/178 26708
/proc/meminfo: memFree=29047532/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=351460 CPUtime=1301.96 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 92609 0 0 0 130057 139 0 0 20 0 1 0 287303644 359895040 85883 33554432000 134512640 137138936 4292074784 4292073712 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 87865 85883 192 642 0 87221 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 351460

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/177 26708
/proc/meminfo: memFree=29017932/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=354996 CPUtime=1361.94 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 93493 0 0 0 136054 140 0 0 20 0 1 0 287303644 363515904 86767 33554432000 134512640 137138936 4292074784 4292073712 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 88749 86767 192 642 0 88105 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 354996

[startup+1422.31 s]
/proc/loadavg: 2.04 2.04 1.98 3/177 26708
/proc/meminfo: memFree=28982496/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=358376 CPUtime=1421.94 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 94354 0 0 0 142053 141 0 0 20 0 1 0 287303644 366977024 87628 33554432000 134512640 137138936 4292074784 4292073712 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 89594 87628 192 642 0 88950 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 358376

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/177 26708
/proc/meminfo: memFree=28942476/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=361804 CPUtime=1481.92 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 95227 0 0 0 148050 142 0 0 20 0 1 0 287303644 370487296 88501 33554432000 134512640 137138936 4292074784 4292073712 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 90451 88501 192 642 0 89807 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 361804

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 26708
/proc/meminfo: memFree=28919908/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=365528 CPUtime=1541.91 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 96143 0 0 0 154047 144 0 0 20 0 1 0 287303644 374300672 89417 33554432000 134512640 137138936 4292074784 4292073712 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 91382 89417 192 642 0 90738 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 365528

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 26709
/proc/meminfo: memFree=28900564/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=368040 CPUtime=1601.91 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 96786 0 0 0 160044 147 0 0 20 0 1 0 287303644 376872960 90060 33554432000 134512640 137138936 4292074784 4292073712 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 92010 90060 192 642 0 91366 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 368040

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 26709
/proc/meminfo: memFree=28874128/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=377464 CPUtime=1661.89 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 99153 0 0 0 166036 153 0 0 20 0 1 0 287303644 386523136 92415 33554432000 134512640 137138936 4292074784 4292073712 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 94366 92415 192 642 0 93722 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 377464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 26709
/proc/meminfo: memFree=28840304/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=394720 CPUtime=1721.86 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 103483 0 0 0 172025 161 0 0 20 0 1 0 287303644 404193280 96728 33554432000 134512640 137138936 4292074784 4292073680 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 98680 96728 192 642 0 98036 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 394720

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 26709
/proc/meminfo: memFree=28824060/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=409628 CPUtime=1781.85 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107180 0 0 0 178020 165 0 0 20 0 1 0 287303644 419459072 100425 33554432000 134512640 137138936 4292074784 4292073712 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 102407 100425 192 642 0 101763 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 409628

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

[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 26709
/proc/meminfo: memFree=28822820/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=411028 CPUtime=1791.46 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107531 0 0 0 178980 166 0 0 20 0 1 0 287303644 420892672 100776 33554432000 134512640 137138936 4292074784 4292073712 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 102757 100776 192 642 0 102113 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 411028

[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29895252/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=411596 CPUtime=1794.65 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107692 0 0 0 179299 166 0 0 20 0 1 0 287303644 421474304 100937 33554432000 134512640 137138936 4292074784 4292073712 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 102899 100937 192 642 0 102255 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 411596

[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29863144/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=411880 CPUtime=1796.25 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107759 0 0 0 179459 166 0 0 20 0 1 0 287303644 421765120 101004 33554432000 134512640 137138936 4292074784 4292073712 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 102970 101004 192 642 0 102326 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 411880

[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29862400/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=412012 CPUtime=1797.05 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107794 0 0 0 179539 166 0 0 20 0 1 0 287303644 421900288 101039 33554432000 134512640 137138936 4292074784 4292073712 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 103003 101039 192 642 0 102359 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 412012

[startup+1797.9 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29862400/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=412144 CPUtime=1797.45 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107809 0 0 0 179579 166 0 0 20 0 1 0 287303644 422035456 101054 33554432000 134512640 137138936 4292074784 4292073680 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 103036 101054 192 642 0 102392 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 412144

[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29862400/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=412144 CPUtime=1797.85 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107825 0 0 0 179619 166 0 0 20 0 1 0 287303644 422035456 101070 33554432000 134512640 137138936 4292074784 4292073712 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 103036 101070 192 642 0 102392 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 412144

[startup+1798.4 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29862152/32873844 swapFree=7108/7108
[pid=26691] ppid=26689 vsize=412144 CPUtime=1797.95 cores=1,3,5,7
/proc/26691/stat : 26691 (bsolo) R 26689 26691 23491 0 -1 4202496 107825 0 0 0 179629 166 0 0 20 0 1 0 287303644 422035456 101070 33554432000 134512640 137138936 4292074784 4292073712 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26691/statm: 103036 101070 192 642 0 102392 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 412144

Child status: 0
Real time (s): 1798.45
CPU time (s): 1798.01
CPU user time (s): 1796.34
CPU system time (s): 1.67174
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 412144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.34
system time used= 1.67175
maximum resident set size= 404280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107825
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= 182
involuntary context switches= 1845

runsolver used 6.43702 second user time and 18.8091 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-28 15:29:11
IDJOB=3707611
IDBENCH=89675
IDSOLVER=2286
FILE ID=node102/3707611-1338211751
RUNJOBID= node102-1338207119-25578
PBS_JOBID= 14624595
Free space on /tmp= 71464 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-101.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707611-1338211751/watcher-3707611-1338211751 -o /tmp/evaluation-result-3707611-1338211751/solver-3707611-1338211751 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707611-1338211751.opb

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

MD5SUM BENCH= a3ed9477da365050d631dd031519efe8
RANDOM SEED=518925521

node102.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.178
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.35
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.178
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.90
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.178
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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.178
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.178
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	: 5438.54
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.178
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.178
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:       32873844 kB
MemFree:        30048964 kB
Buffers:          393572 kB
Cached:          1353584 kB
SwapCached:            0 kB
Active:          1261808 kB
Inactive:         722844 kB
Active(anon):     228244 kB
Inactive(anon):    11036 kB
Active(file):    1033564 kB
Inactive(file):   711808 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             72268 kB
Writeback:             0 kB
AnonPages:        259472 kB
Mapped:            15036 kB
Shmem:               200 kB
Slab:             701376 kB
SReclaimable:     142532 kB
SUnreclaim:       558844 kB
KernelStack:        1472 kB
PageTables:         4424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     358308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71508 MiB
End job on node102 at 2012-05-28 15:59:10