Trace number 3707634

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.15 1798.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-48.opb
MD5SUMbcbd6cca7644150bcdcbd185d4571ad6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark155.412
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9956
Total number of constraints224622
Number of constraints which are clauses201792
Number of constraints which are cardinality constraints (but not clauses)738
Number of constraints which are nor clauses,nor cardinality constraints22092
Minimum length of a constraint1
Maximum length of a constraint231
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 232
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-3707634-1338213550.opb
0.00/0.00	c File size is 9423124 bytes.
0.58/0.60	c Highest Coefficient sum: 232
0.58/0.60	c Parsing was ok!!
0.58/0.60	c Total parsing time: 0.607 s
0.58/0.65	c Var: 9956 Constr: 225010 202202/716/22092 Lit: 869276 Watch. Lit: 453938
0.58/0.65	c Obj. Vars: 0 (0 % of total variables)
11.29/11.31	c Pre-processing Time: 11.311 s
11.29/11.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.29/11.32	c        0   9242   205130   799950    3   435912  294220      0      0 11.31
11.29/11.32	c Switching off lower bounding mode.
1798.12/1798.61	c      100   9242   205330   806634    3   435949  323643    200      8 11.38
1798.12/1798.61	c      250   9242   205625   815443    3   434370  356008    495     21 11.48
1798.12/1798.61	c      475   9242   206027   839072    4   432234  391609    897     40 11.73
1798.12/1798.61	c      813   9242   206660   853046    4   431414  430770   1530     67 12.06
1798.12/1798.61	c     1321   9242   207626   871275    4   433009  473848   2496    104 12.69
1798.12/1798.61	c     2085   9242   209129   915849    4   435806  521233   3999    154 13.53
1798.12/1798.61	c     3232   9242   211317   983281    4   439153  573357   6187    222 14.54
1798.12/1798.61	c     4954   9242   214761  1122743    5   446010  630693   9631    302 16.36
1798.12/1798.61	c     7538   9242   219635  1269566    5   456010  693763  14505    387 19.44
1798.12/1798.61	c    11417   9242   227393  1584210    6   471458  763140  22263    405 28.13
1798.12/1798.61	c    17239   9242   238409  2424147   10   492300  839455  33279    481 35.77
1798.12/1798.61	c    25976   9242   254818  3123028   12   525070  923401  49688    501 51.77
1798.12/1798.61	c    39088   9242   280877  4320932   15   576828  500000  75747    342 113.99
1798.12/1798.61	c    58758   9242   317460  7766178   24   652848  550001 112330    394 148.87
1798.12/1798.61	c    88269   9242   373691 11065988   29   763095  605002 168561    320 275.50
1798.12/1798.61	c   132542   9241   454822 14750718   32   924298  665503 249692    159 832.24
1798.12/1798.61	c   198954   9241   577919 32333342   55  1170900  732054 372789    137 1449.21
1798.12/1798.61	c Resources Exceeded
1798.12/1798.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.12/1798.61	c   17   219840 102397  3907086   616245 34040812 411115    122 1798.14
1798.12/1798.61	s UNKNOWN
1798.12/1798.61	c Total time: 1798.14 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-3707634-1338213550/watcher-3707634-1338213550 -o /tmp/evaluation-result-3707634-1338213550/solver-3707634-1338213550 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707634-1338213550.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.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=20140 CPUtime=0 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 287483538 20623360 285 33554432000 134512640 137138936 4291769472 4291767736 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 5035 285 184 642 0 2090 0

[startup+0.0226821 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=20956 CPUtime=0.02 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 598 0 0 0 2 0 0 0 20 0 1 0 287483538 21458944 551 33554432000 134512640 137138936 4291769472 4291767688 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 5239 551 245 642 0 2294 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20956

[startup+0.100215 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=24776 CPUtime=0.09 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 1871 0 0 0 9 0 0 0 20 0 1 0 287483538 25370624 1824 33554432000 134512640 137138936 4291769472 4291767736 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 6194 1824 550 642 0 3249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24776

[startup+0.300203 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=34056 CPUtime=0.29 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 4948 0 0 0 29 0 0 0 20 0 1 0 287483538 34873344 4901 33554432000 134512640 137138936 4291769472 4291767720 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 8515 4902 1314 642 0 5570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34056

[startup+0.700246 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=50528 CPUtime=0.69 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 12518 0 0 0 67 2 0 0 20 0 1 0 287483538 51740672 10170 33554432000 134512640 137138936 4291769472 4291648700 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 12632 10171 184 642 0 11988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50528

[startup+1.50031 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30212740/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=61408 CPUtime=1.48 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15222 0 0 0 145 3 0 0 20 0 1 0 287483538 62881792 12874 33554432000 134512640 137138936 4291769472 4291648508 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15352 12874 186 642 0 14708 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61408

[startup+3.1003 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30212616/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=61408 CPUtime=3.09 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15225 0 0 0 304 5 0 0 20 0 1 0 287483538 62881792 12877 33554432000 134512640 137138936 4291769472 4291648508 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15352 12877 186 642 0 14708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61408

[startup+6.3003 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30212492/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=61408 CPUtime=6.29 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15229 0 0 0 621 8 0 0 20 0 1 0 287483538 62881792 12881 33554432000 134512640 137138936 4291769472 4291648508 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15352 12881 186 642 0 14708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61408

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30214112/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=60236 CPUtime=12.68 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15245 0 0 0 1250 18 0 0 20 0 1 0 287483538 61681664 12620 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15059 12620 192 642 0 14415 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60236

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30206904/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=60240 CPUtime=25.48 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15246 0 0 0 2510 38 0 0 20 0 1 0 287483538 61685760 12621 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15060 12621 192 642 0 14416 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60240

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30171776/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=81992 CPUtime=51.08 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 20675 0 0 0 5049 59 0 0 20 0 1 0 287483538 83959808 18050 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 20498 18050 192 642 0 19854 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81992

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 26789
/proc/meminfo: memFree=30137164/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=98024 CPUtime=102.24 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 24697 0 0 0 10161 63 0 0 20 0 1 0 287483538 100376576 22052 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 24506 22052 192 642 0 23862 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 98024

[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 26812
/proc/meminfo: memFree=30066772/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=154364 CPUtime=162.23 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 38822 0 0 0 16133 90 0 0 20 0 1 0 287483538 158068736 36170 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 38591 36170 192 642 0 37947 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 154364

[startup+222.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26812
/proc/meminfo: memFree=30038420/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=168852 CPUtime=222.22 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 42422 0 0 0 22123 99 0 0 20 0 1 0 287483538 172904448 39770 33554432000 134512640 137138936 4291769472 4291768400 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 42213 39770 192 642 0 41569 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 168852

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26812
/proc/meminfo: memFree=30000852/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=198300 CPUtime=282.18 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 49804 0 0 0 28090 128 0 0 20 0 1 0 287483538 203059200 47123 33554432000 134512640 137138936 4291769472 4291768588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 49575 47123 192 642 0 48931 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 198300

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26812
/proc/meminfo: memFree=29981216/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=206216 CPUtime=342.16 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 51834 0 0 0 34085 131 0 0 20 0 1 0 287483538 211165184 49283 33554432000 134512640 137138936 4291769472 4291768348 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 51554 49283 192 642 0 50910 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 206216

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29959848/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=214032 CPUtime=402.15 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 53758 0 0 0 40082 133 0 0 20 0 1 0 287483538 219168768 51207 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 53508 51207 192 642 0 52864 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 214032

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29931012/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=220272 CPUtime=462.14 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 55318 0 0 0 46079 135 0 0 20 0 1 0 287483538 225558528 52767 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 55068 52767 192 642 0 54424 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 220272

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29870004/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=226172 CPUtime=522.13 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 56794 0 0 0 52076 137 0 0 20 0 1 0 287483538 231600128 54243 33554432000 134512640 137138936 4291769472 4291768400 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 56543 54243 192 642 0 55899 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 226172

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29855036/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=229844 CPUtime=582.11 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 57754 0 0 0 58070 141 0 0 20 0 1 0 287483538 235360256 55190 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 57461 55190 192 642 0 56817 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 229844

[startup+642.3 s]

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

/proc/meminfo: memFree=29624660/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=315812 CPUtime=1062.03 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 79261 0 0 0 106026 177 0 0 20 0 1 0 287483538 323391488 76681 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 78953 76681 192 642 0 78309 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 315812

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29563928/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=339504 CPUtime=1122.01 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 85155 0 0 0 112020 181 0 0 20 0 1 0 287483538 347652096 82575 33554432000 134512640 137138936 4291769472 4291768352 136297647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 84876 82575 192 642 0 84232 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 339504

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29503440/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=372968 CPUtime=1182 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 93539 0 0 0 118011 189 0 0 20 0 1 0 287483538 381919232 90959 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 93242 90959 192 642 0 92598 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 372968

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29449252/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=400840 CPUtime=1242 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 100507 0 0 0 124003 197 0 0 20 0 1 0 287483538 410460160 97927 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 100210 97927 192 642 0 99566 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 400840

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26822
/proc/meminfo: memFree=29387864/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=428820 CPUtime=1301.99 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 107485 0 0 0 129995 204 0 0 20 0 1 0 287483538 439111680 104905 33554432000 134512640 137138936 4291769472 4291768328 136501664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 107205 104905 192 642 0 106561 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 428820

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26822
/proc/meminfo: memFree=29343400/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=456460 CPUtime=1361.95 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 114437 0 0 0 135987 208 0 0 20 0 1 0 287483538 467415040 111817 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 114115 111817 192 642 0 113471 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 456460

[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26822
/proc/meminfo: memFree=29290976/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=481512 CPUtime=1421.91 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 120742 0 0 0 141977 214 0 0 20 0 1 0 287483538 493068288 118077 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 120378 118077 192 642 0 119734 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 481512

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26822
/proc/meminfo: memFree=29267864/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=493452 CPUtime=1481.87 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 123771 0 0 0 147970 217 0 0 20 0 1 0 287483538 505294848 121083 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 123363 121083 192 642 0 122719 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 493452

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26822
/proc/meminfo: memFree=29245792/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=497468 CPUtime=1541.86 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 124779 0 0 0 153967 219 0 0 20 0 1 0 287483538 509407232 122091 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 124367 122091 192 642 0 123723 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 497468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29231408/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=501548 CPUtime=1601.85 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 125797 0 0 0 159965 220 0 0 20 0 1 0 287483538 513585152 123109 33554432000 134512640 137138936 4291769472 4291768400 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 125387 123109 192 642 0 124743 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 501548

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29220992/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=507092 CPUtime=1661.84 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 127160 0 0 0 165962 222 0 0 20 0 1 0 287483538 519262208 124472 33554432000 134512640 137138936 4291769472 4291768376 136520963 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 126773 124472 192 642 0 126129 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 507092

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26823
/proc/meminfo: memFree=29212492/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=512100 CPUtime=1721.83 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 128433 0 0 0 171960 223 0 0 20 0 1 0 287483538 524390400 125745 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 128025 125745 192 642 0 127381 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 512100

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26823
/proc/meminfo: memFree=29203096/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=516752 CPUtime=1781.82 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129598 0 0 0 177954 228 0 0 20 0 1 0 287483538 529154048 126910 33554432000 134512640 137138936 4291769472 4291768392 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129188 126910 192 642 0 128544 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 516752

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

[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29201964/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517248 CPUtime=1791.53 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129729 0 0 0 178925 228 0 0 20 0 1 0 287483538 529661952 127041 33554432000 134512640 137138936 4291769472 4291768332 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129312 127041 192 642 0 128668 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 517248

[startup+1795.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29776356/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517624 CPUtime=1794.72 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129793 0 0 0 179244 228 0 0 20 0 1 0 287483538 530046976 127105 33554432000 134512640 137138936 4291769472 4291768400 134542620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129406 127105 192 642 0 128762 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 517624

[startup+1796.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29728740/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517624 CPUtime=1796.32 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129813 0 0 0 179404 228 0 0 20 0 1 0 287483538 530046976 127125 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129406 127125 192 642 0 128762 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 517624

[startup+1797.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29688308/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517624 CPUtime=1797.12 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129813 0 0 0 179484 228 0 0 20 0 1 0 287483538 530046976 127125 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129406 127125 192 642 0 128762 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 517624

[startup+1798.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29688308/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517788 CPUtime=1797.92 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129834 0 0 0 179564 228 0 0 20 0 1 0 287483538 530214912 127146 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129447 127146 192 642 0 128803 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 517788

[startup+1798.61 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29624324/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517788 CPUtime=1798.12 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129834 0 0 0 179584 228 0 0 20 0 1 0 287483538 530214912 127146 33554432000 134512640 137138936 4291769472 4291768332 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129447 127146 192 642 0 128803 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (KiB) 517788

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.15
CPU user time (s): 1795.86
CPU system time (s): 2.29265
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 517788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.85
system time used= 2.29265
maximum resident set size= 508584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129834
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= 232
involuntary context switches= 1844

runsolver used 2.54961 second user time and 8.90664 second system time

The end

Launcher Data

Begin job on node102 at 2012-05-28 15:59:10
IDJOB=3707634
IDBENCH=89726
IDSOLVER=2286
FILE ID=node102/3707634-1338213550
RUNJOBID= node102-1338207119-25578
PBS_JOBID= 14624595
Free space on /tmp= 71508 MiB

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

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

MD5SUM BENCH= bcbd6cca7644150bcdcbd185d4571ad6
RANDOM SEED=278391423

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:        30264720 kB
Buffers:          393788 kB
Cached:          1309708 kB
SwapCached:            0 kB
Active:          1047088 kB
Inactive:         724200 kB
Active(anon):      59348 kB
Inactive(anon):    11036 kB
Active(file):     987740 kB
Inactive(file):   713164 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             26476 kB
Writeback:             0 kB
AnonPages:         74360 kB
Mapped:            15048 kB
Shmem:               200 kB
Slab:             699232 kB
SReclaimable:     141412 kB
SUnreclaim:       557820 kB
KernelStack:        1480 kB
PageTables:         4280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     188640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71476 MiB
End job on node102 at 2012-05-28 16:29:09