Trace number 432853

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, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)224 1800.04 1801.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUM85de1910ead9431952046fc8a55b274b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark185
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables478
Total number of constraints478
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 478
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 478
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 1800 MB
0.00/0.01	c Instance file /tmp/evaluation/432853-1177950896/instance-432853-1177950896.opb
0.00/0.01	c File size is 43685 bytes.
0.00/0.02	c Highest Coefficient sum: 478
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.007 s
0.00/0.02	c Var: 478 Constr: 478 0/0/478 Lit: 4304 Watch. Lit: 1544
0.00/0.02	c Obj. Vars: 478 (100 % of total variables)
0.00/0.02	c Pre-processing Time: 0.011 s
0.47/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.47/0.54	c        0    478      478     4304    9     1971    8608      0      0 0.01
0.47/0.54	c Initial Lower Bound: 142
0.47/0.54	c Initial Path Cost: 0
0.47/0.54	o 233	0.529
7.47/7.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.47/7.52	c        0    478      479     4782    9     2433    9608      1      0 0.53
7.47/7.52	o 232	7.497 * 
24.07/24.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.07/24.11	c       12    478      504    10908   21     2735    9608     26      1 7.50
24.07/24.11	c      114    478      684    54492   79     3090   10569    206      6 16.65
24.07/24.11	o 231	24.089 * 
60.53/60.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.53/60.69	c      114    478      685    54970   80     3349    9608    207      4 24.09
60.53/60.69	c      214    478      885   102803  116     3730   10569    407      6 33.66
60.53/60.69	c      464    478     1385   224346  161     4736   11626    907     10 43.34
60.53/60.69	c      940    478     1861   334300  179     5649   12789   1383     17 52.85
60.53/60.69	o 228	60.629 * 
96.71/96.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.71/96.80	c      940    478     1862   334778  179     5949    9608   1384     15 60.63
96.71/96.80	c     1042    478     2066   384626  186     6351   10569   1588     14 69.94
96.71/96.80	c     1292    478     2566   502804  195     7360   11626   2088     16 78.64
96.71/96.80	c     1768    478     3510   736011  209     9268   12789   3032     19 89.60
96.71/96.80	o 227	96.721 * 
120.91/121.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
120.91/121.08	c     1768    478     3511   736489  209     9507    9608   3033     18 96.72
120.91/121.08	c     1868    478     3711   785843  211     9902   10569   3233     17 104.54
120.91/121.08	c     2118    478     4211   905554  215    10900   11626   3733     18 113.55
120.91/121.08	o 225	120.995 * 
204.36/204.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
204.36/204.51	c     2118    478     4212   906032  215    11171    9608   3734     17 121.00
204.36/204.51	c     2218    478     4412   956241  216    11581   10569   3934     17 128.97
204.36/204.51	c     2469    478     4914  1077103  219    12580   11626   4436     17 137.84
204.36/204.51	c     2945    478     5790  1279723  221    14298   12789   5312     19 148.14
204.36/204.51	c     3758    478     7416  1699621  229    17567   14068   6938     23 161.55
204.36/204.51	c     5079    478    10042  2325885  231    22813   15475   9564     28 175.64
204.36/204.51	c     7160    478    14204  3357529  236    31119   17023  13726     36 195.58
204.36/204.51	o 224	204.368 * 
1800.01/1801.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1801.10	c     7483    478    14592  3446299  236    32124    9608  14114     36 204.37
1800.01/1801.10	c     7584    478     5485  1228911  224    12436   10569   5007     35 214.81
1800.01/1801.10	c     7836    478     5989  1356713  226    13476   11626   5511     34 225.99
1800.01/1801.10	c     8312    478     6941  1588043  228    15362   12789   6463     35 236.91
1800.01/1801.10	c     9128    478     8573  2004818  233    18640   14068   8095     36 250.85
1800.01/1801.10	c    10449    478    11215  2714311  242    23915   15475  10737     39 267.43
1800.01/1801.10	c    12530    478    15377  3746736  243    32264   17023  14899     43 286.61
1800.01/1801.10	c    15753    478    12979  3127414  240    27459   18726  12501     48 322.72
1800.01/1801.10	c    20689    478    12874  3108897  241    27235   20599  12396     56 365.66
1800.01/1801.10	c    28198    478    17249  4210672  244    36007   22659  16771     65 430.31
1800.01/1801.10	c    39563    478    16121  3957066  245    33774   24925  15643     74 533.12
1800.01/1801.10	c    56709    478    21968  5371010  244    45483   27418  21490     79 712.29
1800.01/1801.10	c    82529    478    23354  5834375  249    48233   30160  22876     83 987.99
1800.01/1801.10	c   121361    478    23976  5878849  245    49433   33177  23498     86 1398.84
1800.01/1801.10	c Caught signal: 15
1800.01/1801.10	v x1 -x2 -x3 x4 x5 x6 x7 x8 -x9 -x10 x11 x12 -x13 x14 x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 -x25 x26 x27 x28 -x29 -x30 -x31 x32
1800.01/1801.10	v -x33 x34 -x35 x36 x37 -x38 -x39 x40 x41 -x42 x43 -x44 x45 -x46 -x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 -x58 -x59 x60 -x61 x62
1800.01/1801.10	v -x63 x64 x65 -x66 -x67 x68 -x69 -x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 x79 x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 x88 -x89 x90 x91
1800.01/1801.10	v x92 x93 x94 -x95 -x96 x97 x98 x99 -x100 x101 -x102 x103 -x104 -x105 -x106 x107 x108 x109 -x110 -x111 x112 x113 x114 x115 x116
1800.01/1801.10	v x117 x118 -x119 -x120 x121 -x122 -x123 x124 x125 x126 x127 -x128 -x129 x130 -x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139
1800.01/1801.10	v x140 -x141 x142 x143 -x144 -x145 x146 -x147 -x148 x149 -x150 x151 x152 -x153 -x154 x155 -x156 x157 x158 x159 x160 -x161 x162
1800.01/1801.10	v x163 -x164 x165 -x166 x167 -x168 -x169 -x170 x171 -x172 x173 -x174 x175 x176 -x177 -x178 x179 x180 x181 -x182 -x183 x184 -x185
1800.01/1801.10	v -x186 -x187 x188 -x189 x190 -x191 x192 x193 x194 x195 -x196 x197 -x198 -x199 x200 x201 -x202 -x203 x204 -x205 -x206 -x207 -x208
1800.01/1801.10	v x209 x210 -x211 -x212 -x213 -x214 -x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 -x226 x227 x228 -x229 x230
1800.01/1801.10	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 x244 -x245 x246 -x247 x248 x249 -x250 x251 -x252
1800.01/1801.10	v -x253 x254 x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 x272 -x273 -x274
1800.01/1801.10	v -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 x291 x292 -x293 x294 -x295 x296
1800.01/1801.10	v -x297 -x298 x299 -x300 x301 x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 x313 x314 x315 -x316 -x317 x318
1800.01/1801.10	v x319 -x320 x321 x322 x323 x324 -x325 -x326 x327 -x328 -x329 -x330 x331 -x332 x333 x334 -x335 x336 -x337 x338 -x339 -x340 -x341
1800.01/1801.10	v -x342 -x343 -x344 x345 -x346 -x347 x348 x349 -x350 -x351 x352 x353 -x354 -x355 x356 x357 -x358 -x359 x360 x361 -x362 -x363
1800.01/1801.10	v -x364 -x365 x366 x367 -x368 x369 -x370 -x371 -x372 -x373 x374 x375 x376 x377 -x378 -x379 x380 x381 -x382 -x383 x384 x385 x386
1800.01/1801.10	v x387 -x388 -x389 -x390 x391 x392 x393 x394 -x395 -x396 -x397 x398 -x399 -x400 x401 -x402 x403 x404 x405 -x406 -x407 -x408 -x409
1800.01/1801.10	v -x410 -x411 x412 x413 x414 -x415 x416 -x417 x418 -x419 -x420 x421 x422 -x423 x424 -x425 x426 -x427 x428 x429 -x430 x431 -x432
1800.01/1801.10	v x433 -x434 -x435 x436 x437 x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 x450 -x451 -x452 x453 -x454
1800.01/1801.10	v -x455 -x456 x457 x458 x459 -x460 x461 -x462 x463 x464 x465 x466 -x467 -x468 -x469 x470 x471 -x472 x473 x474 -x475 x476 x477
1800.01/1801.10	v x478
1800.01/1801.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1801.10	c   35   156464  13963   186477    28845  7176328  28367     86 1800.02
1800.01/1801.10	c Objective: 224
1800.01/1801.10	s SATISFIABLE
1800.01/1801.10	c Total time: 1800.02 s

Verifier Data (download as text)

OK	224

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node57/watcher-432853-1177950896 -o ROOT/results/node57/solver-432853-1177950896 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432853-1177950896/instance-432853-1177950896.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.87 0.97 0.93 3/64 4779
/proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=2380 CPUtime=0
/proc/4779/stat : 4779 (bsolo3.0.17) D 4777 4779 4070 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 236225630 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7394212 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/4779/statm: 595 36 28 324 0 9 0

[startup+0.053147 s]
/proc/loadavg: 0.87 0.97 0.93 3/64 4779
/proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=5640 CPUtime=0.03
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 737 0 2 0 3 0 0 0 18 0 1 0 236225630 5775360 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135311252 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 1410 698 389 324 0 480 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5640

[startup+0.101148 s]
/proc/loadavg: 0.87 0.97 0.93 3/64 4779
/proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=5832 CPUtime=0.08
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 850 0 2 0 8 0 0 0 18 0 1 0 236225630 5971968 803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324207 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 1458 803 390 324 0 528 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5832

[startup+0.30117 s]
/proc/loadavg: 0.87 0.97 0.93 3/64 4779
/proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=6364 CPUtime=0.27
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 1118 0 2 0 27 0 0 0 19 0 1 0 236225630 6516736 868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4779/statm: 1591 868 390 324 0 661 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6364

[startup+0.701205 s]
/proc/loadavg: 0.87 0.97 0.93 3/64 4779
/proc/meminfo: memFree=1833552/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=6704 CPUtime=0.68
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2123 0 2 0 67 1 0 0 23 0 1 0 236225630 6864896 851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694796 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4779/statm: 1676 851 393 324 0 746 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6704

[startup+1.50227 s]
/proc/loadavg: 0.87 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1831240/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=6648 CPUtime=1.47
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5635 0 2 0 145 2 0 0 25 0 1 0 236225630 6807552 809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326178 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 1662 809 393 324 0 732 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6648

[startup+3.10141 s]
/proc/loadavg: 0.87 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1831112/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=6800 CPUtime=3.07
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 12220 0 2 0 303 4 0 0 25 0 1 0 236225630 6963200 839 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331823 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 1700 839 393 324 0 770 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 6800

[startup+6.30168 s]
/proc/loadavg: 0.88 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1831376/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=6744 CPUtime=6.27
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 26742 0 2 0 618 9 0 0 25 0 1 0 236225630 6905856 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134720801 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 1686 698 393 324 0 756 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 6744

[startup+12.7012 s]
/proc/loadavg: 0.89 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1831376/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=7572 CPUtime=12.67
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 62489 0 2 0 1246 21 0 0 25 0 1 0 236225630 7753728 810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 1893 810 394 324 0 963 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 7572

[startup+25.5013 s]
/proc/loadavg: 0.91 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1830928/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=8380 CPUtime=25.47
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 139396 0 2 0 2499 48 0 0 25 0 1 0 236225630 8581120 992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135235240 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 2095 992 394 324 0 1165 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 8380

[startup+51.1016 s]
/proc/loadavg: 0.94 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1829328/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=7680 CPUtime=51.03
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 287842 0 2 0 4999 104 0 0 25 0 1 0 236225630 7864320 1367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 1920 1371 394 324 0 990 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 7680

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1822288/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=17360 CPUtime=102.21
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 592781 0 2 0 9998 223 0 0 25 0 1 0 236225630 17776640 3185 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 4340 3185 394 324 0 3410 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 17360

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1809808/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=30816 CPUtime=162.17
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 906566 0 2 0 15850 367 0 0 25 0 1 0 236225630 31555584 6412 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135202713 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 7704 6412 394 324 0 6774 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 30816

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1786576/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=53104 CPUtime=222.13
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 1322260 0 2 0 21654 559 0 0 25 0 1 0 236225630 54378496 12059 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135331848 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 13276 12059 394 324 0 12346 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 53104

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1786704/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=50000 CPUtime=282.09
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 1657234 0 2 0 27468 741 0 0 25 0 1 0 236225630 51200000 11976 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7835434 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 12500 11976 394 324 0 11570 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 50000

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1774672/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=62076 CPUtime=342.06
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2028810 0 2 0 33244 962 0 0 25 0 1 0 236225630 63565824 14995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707046 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 15519 14995 394 324 0 14589 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 62076

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1762896/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=73816 CPUtime=402.02
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2489272 0 2 0 38983 1219 0 0 25 0 1 0 236225630 75587584 17930 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827807 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 18454 17930 394 324 0 17524 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 73816

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1756048/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=80696 CPUtime=461.99
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 2870647 0 2 0 44751 1448 0 0 25 0 1 0 236225630 82632704 19650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827807 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 20174 19650 394 324 0 19244 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 80696

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1754768/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=84264 CPUtime=521.95
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 3186408 0 2 0 50527 1668 0 0 25 0 1 0 236225630 86286336 19950 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694783 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 21066 19950 394 324 0 20136 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 84264

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1748432/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=88252 CPUtime=581.92
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 3612625 0 2 0 56264 1928 0 0 25 0 1 0 236225630 90370048 21539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552512 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 22063 21539 394 324 0 21133 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 88252

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1748368/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=89904 CPUtime=641.89
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 3968814 0 2 0 62026 2163 0 0 25 0 1 0 236225630 92061696 21545 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 22664 21548 394 324 0 21734 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 89904


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1735120/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=103824 CPUtime=881.74
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5116531 0 2 0 85277 2897 0 0 25 0 1 0 236225630 106315776 24833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 25956 24833 394 324 0 25026 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 103824

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1735120/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=101392 CPUtime=941.71
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5403113 0 2 0 91076 3095 0 0 25 0 1 0 236225630 103825408 24824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 25348 24824 394 324 0 24418 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 101392

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1735056/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=101392 CPUtime=1001.68
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 5729185 0 2 0 96861 3307 0 0 25 0 1 0 236225630 103825408 24824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134765487 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 25348 24824 394 324 0 24418 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 101392

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 4780
/proc/meminfo: memFree=1729808/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=108516 CPUtime=1061.65
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6046860 0 2 0 102663 3502 0 0 25 0 1 0 236225630 111120384 26151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 26666 26142 394 324 0 25736 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 108516

[startup+1122.3 s]
/proc/loadavg: 1.03 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1729808/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=108636 CPUtime=1121.61
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6386206 0 2 0 108429 3732 0 0 25 0 1 0 236225630 111243264 26149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7829148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 27159 26149 394 324 0 26229 0
Current children cumulated CPU time (s) 1121.61
Current children cumulated vsize (KiB) 108636

[startup+1182.3 s]
/proc/loadavg: 1.01 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1729808/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=109132 CPUtime=1181.58
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6607645 0 2 0 114263 3895 0 0 25 0 1 0 236225630 111751168 26151 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 27283 26151 394 324 0 26353 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 109132

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1727504/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=108848 CPUtime=1241.54
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 6894338 0 2 0 120069 4085 0 0 25 0 1 0 236225630 111460352 26688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7827807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4779/statm: 27212 26688 394 324 0 26282 0
Current children cumulated CPU time (s) 1241.54
Current children cumulated vsize (KiB) 108848

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1727440/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=111280 CPUtime=1301.51
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7121580 0 2 0 125900 4251 0 0 25 0 1 0 236225630 113950720 26697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 27820 26697 394 324 0 26890 0
Current children cumulated CPU time (s) 1301.51
Current children cumulated vsize (KiB) 111280

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1727504/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=108848 CPUtime=1361.48
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7316711 0 2 0 131748 4400 0 0 25 0 1 0 236225630 111460352 26688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 27212 26688 394 324 0 26282 0
Current children cumulated CPU time (s) 1361.48
Current children cumulated vsize (KiB) 108848

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1727376/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=108848 CPUtime=1421.45
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7551142 0 2 0 137584 4561 0 0 25 0 1 0 236225630 111460352 26688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706871 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 27212 26688 394 324 0 26282 0
Current children cumulated CPU time (s) 1421.45
Current children cumulated vsize (KiB) 108848

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1720272/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=116048 CPUtime=1481.4
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 7797639 0 2 0 143426 4714 0 0 25 0 1 0 236225630 118833152 28488 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 29012 28488 394 324 0 28082 0
Current children cumulated CPU time (s) 1481.4
Current children cumulated vsize (KiB) 116048

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4780
/proc/meminfo: memFree=1720272/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=117720 CPUtime=1541.38
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8004345 0 2 0 149275 4863 0 0 25 0 1 0 236225630 120545280 28494 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690253 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 29430 28494 394 324 0 28500 0
Current children cumulated CPU time (s) 1541.38
Current children cumulated vsize (KiB) 117720

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/71 4948
/proc/meminfo: memFree=1714848/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=120104 CPUtime=1601.33
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8261126 0 2 0 155104 5029 0 0 25 0 1 0 236225630 122986496 29502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706536 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 30026 29502 394 324 0 29096 0
Current children cumulated CPU time (s) 1601.33
Current children cumulated vsize (KiB) 120104

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4978
/proc/meminfo: memFree=1715792/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=122532 CPUtime=1661.29
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8479719 0 2 0 160940 5189 0 0 25 0 1 0 236225630 125472768 29511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 30633 29511 394 324 0 29703 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 122532

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4978
/proc/meminfo: memFree=1715792/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=120104 CPUtime=1721.27
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 8752282 0 2 0 166750 5377 0 0 25 0 1 0 236225630 122986496 29502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 30026 29502 394 324 0 29096 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 120104

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4978
/proc/meminfo: memFree=1715728/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=120104 CPUtime=1781.23
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 9020644 0 2 0 172559 5564 0 0 25 0 1 0 236225630 122986496 29502 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 30026 29502 394 324 0 29096 0
Current children cumulated CPU time (s) 1781.23
Current children cumulated vsize (KiB) 120104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4978
/proc/meminfo: memFree=1715664/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=122536 CPUtime=1800.01
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 9119527 0 2 0 174368 5633 0 0 25 0 1 0 236225630 125476864 29511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 30634 29511 394 324 0 29704 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 122536

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

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

[startup+1801.1 s]
/proc/loadavg: 1.00 0.99 0.94 2/65 4978
/proc/meminfo: memFree=1715664/2055920 swapFree=4183136/4192956
[pid=4779] ppid=4777 vsize=122536 CPUtime=1800.01
/proc/4779/stat : 4779 (bsolo3.0.17) R 4777 4779 4070 0 -1 4194304 9119527 0 2 0 174368 5633 0 0 25 0 1 0 236225630 125476864 29511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7830606 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4779/statm: 30634 29511 394 324 0 29704 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 122536

Child status: 15
Real time (s): 1801.13
CPU time (s): 1800.04
CPU user time (s): 1743.68
CPU system time (s): 56.3564
CPU usage (%): 99.9397
Max. virtual memory (cumulated for all children) (KiB): 122636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.68
system time used= 56.3564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9119530
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 6583

runsolver used 2.02869 second user time and 4.01239 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Mon Apr 30 16:34:57 UTC 2007

IDJOB= 432853
IDBENCH= 1955
IDSOLVER= 199
FILE ID= node57/432853-1177950896

PBS_JOBID= 4727812

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432853-1177950896/instance-432853-1177950896.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-432853-1177950896 -o ROOT/results/node57/solver-432853-1177950896 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432853-1177950896/instance-432853-1177950896.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  85de1910ead9431952046fc8a55b274b

RANDOM SEED= 269984793

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1834024 kB
Buffers:          4956 kB
Cached:         116664 kB
SwapCached:       3704 kB
Active:          61152 kB
Inactive:        98208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834024 kB
SwapTotal:     4192956 kB
SwapFree:      4183136 kB
Dirty:            6708 kB
Writeback:           0 kB
Mapped:          43692 kB
Slab:            48552 kB
Committed_AS:  2798396 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node57 on Mon Apr 30 17:05:00 UTC 2007