Trace number 454311

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)-34 1800.13 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_1.opb
MD5SUM5c1211f8aed9d33c9f0c9019d9cd9874
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-37
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 -37
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint60
Maximum length of a constraint103
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37366
Sum of products size (including duplicates)74732
Number of different products18683
Sum of products size37366

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.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/454311-1178024381/instance-454311-1178024381.opb
0.00/0.00	c File size is 473539 bytes.
0.19/0.22	c Highest Coefficient sum: 500
0.19/0.22	c Parsing was ok!!
0.19/0.22	c Total parsing time: 0.225 s
0.19/0.29	c Var: 37866 Constr: 75732 37866/500/37366 Lit: 298928 Watch. Lit: 224196
0.19/0.29	c Obj. Vars: 500 (1.32045 % of total variables)
2.89/2.99	c Pre-processing Time: 2.986 s
2.89/2.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.99	c        0    500    18683    56049    3    37366    6227      0      0 2.99
2.89/2.99	c Switching off LPR mode.
2.89/3.00	o -32	2.994
17.68/17.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.68/17.79	c        0    500    18684    56549    3    37400    7227      1      0 3.00
17.68/17.79	c      100    500    18784   103058    5    37600    7950    101     33 3.02
17.68/17.79	c      350    500    19034   219035   11    38100    8746    351    113 3.10
17.68/17.79	c      826    500    19510   439978   22    39052    9621    827    252 3.27
17.68/17.79	c     1639    500    20323   817325   40    40678   10584   1640    444 3.69
17.68/17.79	c     2960    500    21644  1430201   66    43320   11643   2961    661 4.48
17.68/17.79	c     5041    500    23725  2396028  100    47482   12808   5042    848 5.94
17.68/17.79	c     8265    500    26949  3891551  144    53930   14089   8266    785 10.52
17.68/17.79	c    13201    500    31885  6181239  193    63802   15498  13202    789 16.71
17.68/17.79	o -33	17.778
489.67/489.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
489.67/489.94	c    13934    500    32619  6522058  199    65303    7227  13936    783 17.78
489.67/489.94	c    14034    500    32719  6568411  200    65503    7950  14036    786 17.85
489.67/489.94	c    14285    500    32970  6684806  202    66005    8746  14287    795 17.97
489.67/489.94	c    14761    500    33446  6905309  206    66957    9621  14763    812 18.17
489.67/489.94	c    15574    500    34259  7281736  212    68583   10584  15576    819 19.00
489.67/489.94	c    16894    500    35579  7893159  221    71223   11643  16896    839 20.13
489.67/489.94	c    18976    500    37661  8857344  235    75387   12808  18978    795 23.85
489.67/489.94	c    22199    500    40884 10348014  253    81833   14089  22201    753 29.46
489.67/489.94	c    27135    500    45820 12634422  275    91705   15498  27137    723 37.51
489.67/489.94	c    34641    500    53326 16109254  302   106717   17048  34643    697 49.66
489.67/489.94	c    46002    500    64687 21364134  330   129439   18753  46004    645 71.28
489.67/489.94	c    63146    500    34616  7432256  214    69265   20629  15933    406 155.31
489.67/489.94	c    88965    500    60435 19394261  320   120903   22692  41752    328 271.21
489.67/489.94	c   127799    500    50087 14597869  291   100207   24962  31404    266 480.13
489.67/489.94	o -34	489.708
1800.05/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.60	c   130409    500    52698 15807270  299   105463    7227  34015    266 489.71
1800.05/1800.60	c   130509    500    52798 15853466  300   105663    7950  34115    266 489.82
1800.05/1800.60	c   130760    500    53049 15969485  301   106165    8746  34366    266 490.21
1800.05/1800.60	c   131236    500    53525 16189331  302   107117    9621  34842    266 491.96
1800.05/1800.60	c   132049    500    54338 16565196  304   108743   10584  35655    268 492.49
1800.05/1800.60	c   133369    500    55658 17174811  308   111383   11643  36975    268 496.31
1800.05/1800.60	c   135450    500    57739 18136138  314   115545   12808  39056    271 498.12
1800.05/1800.60	c   138674    500    60963 19625338  321   121993   14089  42280    275 503.85
1800.05/1800.60	c   143611    500    65900 21904809  332   131867   15498  47217    280 511.33
1800.05/1800.60	c   151117    500    27813  4271828  153    55660   17048   9130    279 539.97
1800.05/1800.60	c   162478    500    39174  9518225  242    78382   18753  20491    288 562.79
1800.05/1800.60	c   179623    500    56319 17440912  309   112672   20629  37636    278 643.86
1800.05/1800.61	c   205442    500    33989  7121430  209    68012   22692  15306    260 788.23
1800.05/1800.61	c   244274    500    72821 25052425  344   145676   24962  54138    227 1074.21
1800.05/1800.61	c   302626    500    80233 28493045  355   160500   27459  61550    194 1557.26
1800.05/1800.61	c Caught signal: 15
1800.05/1800.61	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
1800.05/1800.61	v -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55
1800.05/1800.61	v -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
1800.05/1800.61	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.05/1800.61	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.05/1800.61	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.05/1800.61	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.05/1800.61	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.05/1800.61	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210
1800.05/1800.61	v -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.05/1800.61	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252
1800.05/1800.61	v -x253 -x254 -x255 -x256 -x257 x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.05/1800.61	v -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294
1800.05/1800.61	v -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.05/1800.61	v x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.05/1800.61	v -x337 -x338 -x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.05/1800.61	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378
1800.05/1800.61	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399
1800.05/1800.61	v -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.05/1800.61	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441
1800.05/1800.61	v -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.05/1800.61	v -x463 -x464 x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483
1800.05/1800.61	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500
1800.05/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.61	c   38   332769  23975   362477    57091 17797761  38408    184 1800.06
1800.05/1800.61	c Objective: -34
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	c Total time: 1800.06 s

Verifier Data (download as text)

OK	-34

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-454311-1178024381 -o ROOT/results/node26/solver-454311-1178024381 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454311-1178024381/instance-454311-1178024381.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: 1.00 1.00 1.00 3/77 32210
/proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=12200 CPUtime=0
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 250354970 12492800 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 3050 334 279 324 0 2004 0

[startup+0.068405 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32210
/proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=7976 CPUtime=0.06
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 1309 0 0 0 6 0 0 0 18 0 1 0 250354970 8167424 1279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 1994 1280 324 324 0 948 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7976

[startup+0.102398 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32210
/proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=9820 CPUtime=0.09
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 1770 0 0 0 9 0 0 0 18 0 1 0 250354970 10055680 1740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 2455 1741 341 324 0 1409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9820

[startup+0.301414 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32210
/proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=24392 CPUtime=0.29
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 5576 0 0 0 27 2 0 0 19 0 1 0 250354970 24977408 5390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 6098 5390 305 324 0 5168 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24392

[startup+0.702452 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 32210
/proc/meminfo: memFree=1786904/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=24828 CPUtime=0.69
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 5615 0 0 0 67 2 0 0 22 0 1 0 250354970 25423872 5429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 6207 5429 305 324 0 5277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24828

[startup+1.50153 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32211
/proc/meminfo: memFree=1766288/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=24828 CPUtime=1.49
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 5615 0 0 0 147 2 0 0 25 0 1 0 250354970 25423872 5429 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 6207 5429 305 324 0 5277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24828

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32211
/proc/meminfo: memFree=1766160/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=25136 CPUtime=3.08
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 6213 0 0 0 303 5 0 0 25 0 1 0 250354970 25739264 5509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0
/proc/32210/statm: 6284 5509 311 324 0 5354 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 25136

[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32211
/proc/meminfo: memFree=1743504/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=52920 CPUtime=6.28
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 13173 0 0 0 620 8 0 0 25 0 1 0 250354970 54190080 12469 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 13230 12469 311 324 0 12300 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52920

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32211
/proc/meminfo: memFree=1708368/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=85904 CPUtime=12.68
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 21401 0 0 0 1256 12 0 0 25 0 1 0 250354970 87965696 20697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 21476 20697 311 324 0 20546 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85904

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32211
/proc/meminfo: memFree=1651088/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=140752 CPUtime=25.48
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 35124 0 0 0 2528 20 0 0 25 0 1 0 250354970 144130048 34420 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 35188 34420 311 324 0 34258 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 140752

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32211
/proc/meminfo: memFree=1557712/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=236312 CPUtime=51.07
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 59013 0 0 0 5076 31 0 0 25 0 1 0 250354970 241983488 58309 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 59078 58309 311 324 0 58148 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 236312

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 32333
/proc/meminfo: memFree=1446656/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=342404 CPUtime=102.2
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 85547 0 0 0 10171 49 0 0 25 0 1 0 250354970 350621696 84843 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 85601 84843 311 324 0 84671 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 342404

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1435664/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=354496 CPUtime=162.14
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 88630 0 0 0 16162 52 0 0 25 0 1 0 250354970 363003904 87870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 88624 87870 311 324 0 87694 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 354496

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1435600/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=354496 CPUtime=222.13
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 88630 0 0 0 22161 52 0 0 25 0 1 0 250354970 363003904 87870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 88624 87870 311 324 0 87694 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 354496

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1435664/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=354496 CPUtime=282.11
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 88630 0 0 0 28159 52 0 0 25 0 1 0 250354970 363003904 87870 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 88624 87870 311 324 0 87694 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 354496

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1409552/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=380752 CPUtime=342.09
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95196 0 0 0 34152 57 0 0 25 0 1 0 250354970 389890048 94436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 95188 94436 311 324 0 94258 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 380752

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1407888/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=382260 CPUtime=402.08
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 40150 58 0 0 25 0 1 0 250354970 391434240 94784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 95565 94784 311 324 0 94635 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 382260

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 32409
/proc/meminfo: memFree=1408080/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=382260 CPUtime=462.06
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 46148 58 0 0 25 0 1 0 250354970 391434240 94784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 95565 94784 311 324 0 94635 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 382260

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1408080/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=382260 CPUtime=522.05
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 52146 59 0 0 25 0 1 0 250354970 391434240 94784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 95565 94784 311 324 0 94635 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 382260

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1477712/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=312344 CPUtime=582.04
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 58142 62 0 0 25 0 1 0 250354970 319840256 77335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 78086 77335 311 324 0 77156 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 312344

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1477776/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=312344 CPUtime=642.03
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 95604 0 0 0 64141 62 0 0 25 0 1 0 250354970 319840256 77335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 78086 77335 311 324 0 77156 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 312344


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

[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1420688/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=369380 CPUtime=821.98
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 82124 74 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 92345 91588 311 324 0 91415 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 369380

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1420752/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=369380 CPUtime=881.96
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 88122 74 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 92345 91588 311 324 0 91415 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 369380

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 32409
/proc/meminfo: memFree=1420816/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=369380 CPUtime=941.95
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 94120 75 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 92345 91588 311 324 0 91415 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 369380

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1420880/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=369380 CPUtime=1001.94
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 100119 75 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 92345 91588 311 324 0 91415 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 369380

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1420880/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=369380 CPUtime=1061.92
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 109915 0 0 0 106117 75 0 0 25 0 1 0 250354970 378245120 91588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 92345 91588 311 324 0 91415 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 369380

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395344/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1121.91
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 112111 80 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 394652

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395344/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1181.89
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 118109 80 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 394652

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395408/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1241.88
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 124107 81 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 394652

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395472/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1301.87
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 130106 81 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 394652

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395472/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1361.84
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 136103 81 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 394652

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395408/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1421.84
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 142102 82 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 394652

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395344/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1481.82
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 148100 82 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 394652

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1395536/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=394652 CPUtime=1541.81
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 116300 0 0 0 154098 83 0 0 25 0 1 0 250354970 404123648 97911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 98663 97911 311 324 0 97733 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 394652

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1379664/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=410320 CPUtime=1601.79
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 160094 85 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 102580 101828 311 324 0 101650 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 410320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1379728/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=410320 CPUtime=1661.77
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 166092 85 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 102580 101828 311 324 0 101650 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 410320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1379792/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=410320 CPUtime=1721.76
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 172090 86 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 102580 101828 311 324 0 101650 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 410320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1379856/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=410320 CPUtime=1781.74
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 178088 86 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 102580 101828 311 324 0 101650 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 410320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 32409
/proc/meminfo: memFree=1379792/2055920 swapFree=4170240/4192956
[pid=32210] ppid=32208 vsize=410320 CPUtime=1800.05
/proc/32210/stat : 32210 (bsolo3.0.17) R 32208 32210 17988 0 -1 4194304 120281 0 0 0 179919 86 0 0 25 0 1 0 250354970 420167680 101828 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32210/statm: 102580 101828 311 324 0 101650 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 410320

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

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

Child status: 15
Real time (s): 1800.68
CPU time (s): 1800.13
CPU user time (s): 1799.19
CPU system time (s): 0.933858
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 410320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.933858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120285
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= 12
involuntary context switches= 4825

runsolver used 1.41478 second user time and 3.9264 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 12:59:42 UTC 2007

IDJOB= 454311
IDBENCH= 48188
IDSOLVER= 199
FILE ID= node26/454311-1178024381

PBS_JOBID= 4728359

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454311-1178024381/instance-454311-1178024381.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-454311-1178024381 -o ROOT/results/node26/solver-454311-1178024381 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/454311-1178024381/instance-454311-1178024381.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  5c1211f8aed9d33c9f0c9019d9cd9874

RANDOM SEED= 614279061

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1787320 kB
Buffers:         53736 kB
Cached:         118004 kB
SwapCached:       3360 kB
Active:         112704 kB
Inactive:        89268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787320 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            7140 kB
Writeback:           0 kB
Mapped:          36352 kB
Slab:            52252 kB
Committed_AS:  2459460 kB
PageTables:       1732 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 node26 on Tue May  1 13:29:44 UTC 2007