Trace number 1784309

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
MXC 2009-03-10SAT 2161.01 2161.58

General information on the benchmark

NameCRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
MD5SUM36c3169a5cad0483dd15befcefc4323e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark139.369
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of clauses146535
Sum of the clauses size858954
Maximum clause length14
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 22476
Number of clauses of size 34
Number of clauses of size 41387
Number of clauses of size 57328
Number of clauses of size over 5135276

Solver Data 

36.78/36.81	c starting MXC with:
36.78/36.81	c cnf_path = HOME/instance-1784309-1241934309.cnf
36.78/36.81	c restart_strategy = auto
36.78/36.81	c sign_strategy = cached
36.78/36.81	c use_preprocessing = -1
36.78/36.81	c output_implicant = 1
36.78/36.81	c timeout_seconds = 0
36.78/36.81	c running SatELite... done
36.78/36.81	c 57 vars eliminated
36.78/36.81	c received 64 units and 52862 clauses from SatELite
36.78/36.81	c 120 assignments made, starting to guess now
36.78/36.81	c ===================================[MXC]=====================================
36.78/36.81	c | Conflicts |                Clause Statistics                   |   Vars   |
36.78/36.81	c |           |    CARD     BIN      O3+      L3+   L3+Lim  Lit/CL |          |
36.78/36.81	c =============================================================================
36.78/36.81	c |         0 |       0     894    51968        0        0     nan |      526 |
36.78/36.81	c |       100 |       0     894    51968      100     1050    21.3 |      406 |
36.78/36.81	c |       210 |       0     894    51968      210     1105    21.0 |      406 |
36.78/36.81	c |       441 |       0     894    51968      441     1220    19.3 |      406 |
36.78/36.81	c |       805 |       0     894    51968      805     1402    18.1 |      406 |
36.78/36.81	c |      1315 |       0     894    51968     1315     1657    16.3 |      406 |
36.78/36.81	c |      1986 |       0     894    51968     1986     1993    15.6 |      406 |
36.78/36.81	c |      2834 |       0     894    51968     1835     2417    17.8 |      406 |
36.78/36.81	c |      3876 |       0     894    51968     2877     2938    18.6 |      406 |
36.78/36.81	c |      5132 |       0     894    51968     2636     3566    19.5 |      406 |
36.78/36.81	c |      6623 |       0     894    51968     4127     4311    20.5 |      406 |
36.78/36.81	c |      8373 |       0     885    50786     2639     5186    21.0 |      405 |
36.78/36.81	c |     10408 |       0     885    50786     4674     6204    22.8 |      405 |
36.78/36.81	c |     12756 |       0     885    50786     7022     7378    22.6 |      405 |
36.78/36.81	c |     15449 |       0     885    50786     5851     8724    21.7 |      405 |
36.78/36.81	c |     18521 |       0     885    50786     8923    10260    22.7 |      405 |
36.78/36.81	c |     22010 |       0     885    50786     6618    12005    22.5 |      405 |
36.78/36.81	c |     25958 |       0     885    50786    10566    13979    22.2 |      405 |
36.78/36.81	c |     30411 |       0     886    50786    15018    16205    22.2 |      405 |
36.78/36.81	c |     35419 |       0     886    50786    11334    18709    21.7 |      405 |
36.78/36.81	c |     41038 |       0     886    50786    16953    21519    21.8 |      405 |
36.78/36.81	c |     47329 |       0     886    50786    23244    24664    22.8 |      405 |
36.78/36.81	c |     54360 |       0     888    50786    17442    26219    23.7 |      405 |
36.78/36.81	c |     62205 |       0     888    50786    25287    27060    24.1 |      405 |
36.78/36.81	c |     70945 |       0     889    50786    20394    27917    23.2 |      405 |
36.78/36.81	c |     80669 |       0     889    50786    15799    28771    23.5 |      405 |
36.78/36.81	c |     91476 |       0     889    50786    26606    29632    24.1 |      405 |
36.78/36.81	c |    103474 |       0     889    50786    23665    30501    20.9 |      405 |
36.78/36.81	c |    116782 |       0     889    50786    21475    31379    19.3 |      405 |
36.78/36.81	c |    131532 |       0     889    50786    20213    32268    15.9 |      405 |
36.78/36.81	c |    147868 |       0     890    50786    20053    33179    20.8 |      405 |
36.78/36.81	c |    165948 |       0     890    50786    21196    34090    23.4 |      405 |
36.78/36.81	c |    185947 |       0     890    50786    23841    35013    29.0 |      405 |
36.78/36.81	c |    208057 |       0     890    50786    28194    35949    33.9 |      405 |
36.78/36.81	c |    232489 |       0     891    50786    34489    36913    28.1 |      405 |
36.78/36.81	c |    259475 |       0     893    50786    24103    37906    25.0 |      405 |
36.78/36.81	c |    289271 |       0     893    50786    34715    38887    24.0 |      405 |
36.78/36.81	c |    322158 |       0     893    50786    28276    39883    26.6 |      405 |
36.78/36.81	c |    358445 |       0     893    50786    24060    40895    27.2 |      405 |
36.78/36.81	c |    398472 |       0     893    50786    22478    41925    24.2 |      405 |
36.78/36.81	c |    442613 |       0     893    50786    23958    42973    22.4 |      405 |
36.78/36.81	c |    491279 |       0     893    50786    28981    44039    27.3 |      405 |
36.78/36.81	c |    544923 |       0     893    50786    38049    45125    32.6 |      405 |
2160.92/2161.56	c |    604043 |       0     894    50786    28609    46248    36.7 |      405 |
2160.92/2161.56	c |    669187 |       0     894    50786    46988    47375    30.7 |      405 |
2160.92/2161.56	c |    740957 |       0     894    50786    47115    48523    29.7 |      405 |
2160.92/2161.56	c |    820016 |       0     894    50786    27985    49692    26.2 |      405 |
2160.92/2161.56	c |    907092 |       0     894    50786    39542    50885    33.8 |      405 |
2160.92/2161.56	c |   1002987 |       0     894    50786    32518    52101    38.6 |      405 |
2160.92/2161.56	c |   1108583 |       0     894    50786    32573    53341    35.2 |      405 |
2160.92/2161.56	c |   1224850 |       0     894    50786    40800    54607    36.5 |      405 |
2160.92/2161.56	c |   1352856 |       0     894    50786    30536    55897    27.1 |      405 |
2160.92/2161.56	c |   1493774 |       0     894    50786    29773    57214    23.5 |      405 |
2160.92/2161.56	c |   1648896 |       0     894    50786    39979    58559    18.8 |      405 |
2160.92/2161.56	c |   1819642 |       0     894    50786    32815    59931    27.6 |      405 |
2160.92/2161.56	c |   2007575 |       0     894    50786    38655    61331    36.7 |      405 |
2160.92/2161.56	c |   2214413 |       0     894    50786    59426    62761    35.6 |      405 |
2160.92/2161.56	c |   2442047 |       0     894    50786    33065    64221    18.4 |      405 |
2160.92/2161.56	c |   2692557 |       0     894    50786    56092    65712    25.7 |      405 |
2160.92/2161.56	c |   2968230 |       0     894    50786    66113    67235    23.9 |      405 |
2160.92/2161.56	c |   3271583 |       0     894    50786    63779    68791    36.5 |      405 |
2160.92/2161.56	c |   3605384 |       0     894    50786    49850    70380    48.1 |      405 |
2160.92/2161.56	c |   3972677 |       0     894    50786    61256    72003    38.9 |      405 |
2160.92/2161.56	c |   4376812 |       0     894    50786    65088    73662    40.3 |      405 |
2160.92/2161.56	c |   4821473 |       0     894    50786    62873    75356    33.1 |      405 |
2160.92/2161.56	c |   5310713 |       0     894    50786    56712    77088    29.5 |      405 |
2160.92/2161.56	c |   5848990 |       0     894    50786    49061    78857    34.1 |      405 |
2160.92/2161.56	c |   6441207 |       0     894    50786    42896    80665    42.8 |      405 |
2160.92/2161.56	c |   7092758 |       0     894    50786    41331    82513    37.3 |      405 |
2160.92/2161.56	c |   7809577 |       0     894    50786    48502    84402    40.2 |      405 |
2160.92/2161.56	c |   8598191 |       0     894    50786    68836    86332    38.0 |      405 |
2160.92/2161.56	c |   9465779 |       0     894    50786    63212    88305    22.3 |      405 |
2160.92/2161.56	c |  10420239 |       0     894    50786    80058    90322    40.8 |      405 |
2160.92/2161.56	c |  11470258 |       0     894    50786    79877    92383    37.6 |      405 |
2160.92/2161.56	c |  12625392 |       0     894    50786    67282    94491    47.3 |      405 |
2160.92/2161.56	c |  13896152 |       0     894    50786    95943    96645    29.2 |      405 |
2160.92/2161.56	c |  15294101 |       0     894    50786    77019    98847    39.0 |      405 |
2160.92/2161.56	c |  16488847 |       0     894    50786    75460   100611    48.3 |      405 |
2160.92/2161.56	c ----- stats for thread 0 -----
2160.92/2161.56	c restarts: 1711
2160.92/2161.56	c decisions: 24041929
2160.92/2161.56	c propagations: 360400744
2160.92/2161.56	c conflicts: 16488847
2160.92/2161.56	c 2161.554s elapsed
2160.92/2161.56	s SATISFIABLE
2160.92/2161.56	v 1 -2 -3 -4 -5 -6 -7 8 -9 -10 11 -12 -13 -14 -15 -16 -17 18 19 -20 -21 -22 -23 -24 -25 -26 27 -28 -29 -30 -31 -32 -33 -34 -35 36 -37 -38 -39 -40 -41 -42 -43 44 45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 56 -57 -58 -59 -60 -61 -62 -63 -64 -65 66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 96 -97 -98 -99 100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 117 -118 -119 -120 -121 122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 197 -198 199 200 -201 202 -203 -204 -205 206 -207 -208 209 -210 -211 212 213 214 215 -216 217 218 219 220 221 -222 223 -224 -225 -226 -227 -228 -229 230 231 232 -233 234 -235 -236 237 -238 -239 240 -241 -242 243 244 245 246 247 248 249 250 251 252 -253 254 -255 -256 -257 258 -259 -260 -261 -262 -263 264 265 -266 -267 268 -269 270 -271 -272 -273 274 -275 276 -277 278 -279 -280 281 -282 -283 284 285 286 -287 288 -289 290 291 -292 -293 294 -295 -296 297 298 299 -300 -301 302 -303 304 305 -306 307 308 309 310 -311 312 -313 314 -315 316 317 318 319 -320 321 322 -323 324 325 326 327 328 329 330 331 332 -333 -334 -335 -336 337 -338 339 -340 -341 -342 -343 -344 345 346 347 348 -349 350 -351 352 -353 -354 -355 -356 -357 358 -359 360 -361 -362 -363 -364 -365 366 -367 368 369 -370 371 -372 -373 374 -375 376 377 378 379 380 381 382 383 384 385 386 387 388 -389 390 -391 392 -393 394 -395 396 397 398 399 400 -401 402 -403 404 405 406 407 408 409 -410 411 -412 413 -414 -415 -416 -417 418 -419 -420 421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 432 -433 -434 435 -436 -437 -438 -439 440 -441 -442 443 444 445 446 447 448 449 450 -451 452 453 454 455 456 457 458 459 -460 461 462 463 -464 -465 466 -467 468 469 470 471 -472 473 -474 -475 -476 -477 478 479 480 481 -482 -483 484 -485 486 487 488 489 490 491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 503 -504 -505 -506 -507 -508 -509 -510 -511 -512 513 -514 -515 516 -517 -518 519 -520 521 -522 -523 -524 -525 526 0

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1784309-1241934309/watcher-1784309-1241934309 -o /tmp/evaluation-result-1784309-1241934309/solver-1784309-1241934309 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784309-1241934309.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.15 1.06 1.01 3/64 32320
/proc/meminfo: memFree=1771696/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=4956 CPUtime=0
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 738 0 0 0 0 0 0 0 18 0 1 0 221464088 5074944 724 1992294400 134512640 135192793 4294956224 18446744073709551615 134779278 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 1239 731 46 166 0 1070 0

[startup+0.0446399 s]
/proc/loadavg: 1.15 1.06 1.01 3/64 32320
/proc/meminfo: memFree=1771696/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=8064 CPUtime=0.03
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 1898 0 0 0 3 0 0 0 18 0 1 0 221464088 8257536 1884 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 2016 1884 54 166 0 1847 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8064

[startup+0.101645 s]
/proc/loadavg: 1.15 1.06 1.01 3/64 32320
/proc/meminfo: memFree=1771696/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=13224 CPUtime=0.09
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 3083 0 0 0 8 1 0 0 18 0 1 0 221464088 13541376 3069 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 3306 3073 54 166 0 3137 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13224

[startup+0.301666 s]
/proc/loadavg: 1.15 1.06 1.01 3/64 32320
/proc/meminfo: memFree=1771696/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=13996 CPUtime=0.29
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 4261 0 0 0 28 1 0 0 19 0 1 0 221464088 14331904 3219 1992294400 134512640 135192793 4294956224 18446744073709551615 134564112 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 3499 3219 56 166 0 3330 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13996

[startup+0.701709 s]
/proc/loadavg: 1.15 1.06 1.01 3/64 32320
/proc/meminfo: memFree=1771696/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=13996 CPUtime=0.69
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 4261 0 0 0 68 1 0 0 22 0 1 0 221464088 14331904 3219 1992294400 134512640 135192793 4294956224 18446744073709551615 134568026 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 3499 3219 56 166 0 3330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13996

[startup+1.5018 s]
/proc/loadavg: 1.15 1.06 1.01 2/65 32321
/proc/meminfo: memFree=1758760/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=13996 CPUtime=1.49
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 4286 0 0 0 148 1 0 0 25 0 1 0 221464088 14331904 3244 1992294400 134512640 135192793 4294956224 18446744073709551615 134567651 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 3499 3244 56 166 0 3330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13996

[startup+3.10197 s]
/proc/loadavg: 1.15 1.06 1.01 2/65 32321
/proc/meminfo: memFree=1757416/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=15348 CPUtime=3.09
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 4681 0 0 0 308 1 0 0 25 0 1 0 221464088 15716352 3639 1992294400 134512640 135192793 4294956224 18446744073709551615 134567648 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 3837 3639 56 166 0 3668 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15348

[startup+6.30132 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 32321
/proc/meminfo: memFree=1753640/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=20628 CPUtime=6.29
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 6294 0 0 0 627 2 0 0 25 0 1 0 221464088 21123072 4948 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 5157 4948 73 166 0 4988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20628

[startup+12.702 s]
/proc/loadavg: 1.12 1.06 1.01 2/65 32321
/proc/meminfo: memFree=1749040/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=23756 CPUtime=12.69
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 6985 0 0 0 1266 3 0 0 25 0 1 0 221464088 24326144 5639 1992294400 134512640 135192793 4294956224 18446744073709551615 134533851 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 5939 5639 73 166 0 5770 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23756

[startup+25.5014 s]
/proc/loadavg: 1.10 1.05 1.00 2/65 32321
/proc/meminfo: memFree=1744496/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=28648 CPUtime=25.48
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 8134 0 0 0 2545 3 0 0 25 0 1 0 221464088 29335552 6788 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 7162 6788 73 166 0 6993 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28648

[startup+51.1012 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 32321
/proc/meminfo: memFree=1740912/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=32432 CPUtime=51.07
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 9021 0 0 0 5103 4 0 0 25 0 1 0 221464088 33210368 7675 1992294400 134512640 135192793 4294956224 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 8108 7675 74 166 0 7939 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32432

[startup+102.306 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 32321
/proc/meminfo: memFree=1732848/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=41288 CPUtime=102.27
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 11041 0 0 0 10221 6 0 0 25 0 1 0 221464088 42278912 9695 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 10322 9695 74 166 0 10153 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41288

[startup+162.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 32321
/proc/meminfo: memFree=1729136/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=46668 CPUtime=162.25
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 11988 0 0 0 16218 7 0 0 25 0 1 0 221464088 47788032 10642 1992294400 134512640 135192793 4294956224 18446744073709551615 134552104 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 11667 10642 74 166 0 11498 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46668

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 32321
/proc/meminfo: memFree=1724400/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=52188 CPUtime=222.23
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 13139 0 0 0 22215 8 0 0 25 0 1 0 221464088 53440512 11793 1992294400 134512640 135192793 4294956224 18446744073709551615 134549774 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 13047 11793 74 166 0 12878 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52188

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 32321
/proc/meminfo: memFree=1721584/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=55492 CPUtime=282.21
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 13844 0 0 0 28213 8 0 0 25 0 1 0 221464088 56823808 12498 1992294400 134512640 135192793 4294956224 18446744073709551615 134549692 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 13873 12498 74 166 0 13704 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 55492

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32321
/proc/meminfo: memFree=1717488/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=60276 CPUtime=342.2
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 14874 0 0 0 34211 9 0 0 25 0 1 0 221464088 61722624 13528 1992294400 134512640 135192793 4294956224 18446744073709551615 134551394 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 15069 13528 74 166 0 14900 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 60276

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 32321
/proc/meminfo: memFree=1715312/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=62816 CPUtime=402.18
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 15405 0 0 0 40209 9 0 0 25 0 1 0 221464088 64323584 14059 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 15704 14059 74 166 0 15535 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 62816

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32321
/proc/meminfo: memFree=1710512/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=68140 CPUtime=462.16
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 16588 0 0 0 46206 10 0 0 25 0 1 0 221464088 69775360 15242 1992294400 134512640 135192793 4294956224 18446744073709551615 134550401 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 17035 15242 74 166 0 16866 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 68140

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32321
/proc/meminfo: memFree=1708592/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=70780 CPUtime=522.15
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 17070 0 0 0 52204 11 0 0 25 0 1 0 221464088 72478720 15724 1992294400 134512640 135192793 4294956224 18446744073709551615 134533933 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 17695 15724 74 166 0 17526 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 70780

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32321
/proc/meminfo: memFree=1707440/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=72316 CPUtime=582.13
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 17344 0 0 0 58202 11 0 0 25 0 1 0 221464088 74051584 15998 1992294400 134512640 135192793 4294956224 18446744073709551615 134534233 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 18079 15998 74 166 0 17910 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 72316

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32321
/proc/meminfo: memFree=1706096/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=74044 CPUtime=642.13
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 17668 0 0 0 64201 12 0 0 25 0 1 0 221464088 75821056 16322 1992294400 134512640 135192793 4294956224 18446744073709551615 134549695 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 18511 16322 74 166 0 18342 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 74044

[startup+702.302 s]

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

/proc/meminfo: memFree=1689072/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=94192 CPUtime=1421.92
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 21857 0 0 0 142174 18 0 0 25 0 1 0 221464088 96452608 20511 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 23548 20511 74 166 0 23379 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 94192

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1687984/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=95472 CPUtime=1481.89
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 22118 0 0 0 148171 18 0 0 25 0 1 0 221464088 97763328 20772 1992294400 134512640 135192793 4294956224 18446744073709551615 134552256 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 23868 20772 74 166 0 23699 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 95472

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1684400/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=99476 CPUtime=1541.88
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 23024 0 0 0 154169 19 0 0 25 0 1 0 221464088 101863424 21678 1992294400 134512640 135192793 4294956224 18446744073709551615 134550695 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 24869 21678 74 166 0 24700 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 99476

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1684272/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=99476 CPUtime=1601.86
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 23053 0 0 0 160167 19 0 0 25 0 1 0 221464088 101863424 21707 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 24869 21707 74 166 0 24700 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 99476

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1682864/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=101304 CPUtime=1661.85
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 23394 0 0 0 166165 20 0 0 25 0 1 0 221464088 103735296 22048 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 25326 22048 74 166 0 25157 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 101304

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1681840/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=102712 CPUtime=1721.83
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 23645 0 0 0 172163 20 0 0 25 0 1 0 221464088 105177088 22299 1992294400 134512640 135192793 4294956224 18446744073709551615 134549695 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 25678 22299 74 166 0 25509 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 102712

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1680368/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=104376 CPUtime=1781.81
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 24023 0 0 0 178161 20 0 0 25 0 1 0 221464088 106881024 22645 1992294400 134512640 135192793 4294956224 18446744073709551615 134534224 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 26094 22645 74 166 0 25925 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 104376

[startup+1842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1680048/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=104632 CPUtime=1841.81
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 24096 0 0 0 184160 21 0 0 25 0 1 0 221464088 107143168 22718 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 26158 22718 74 166 0 25989 0
Current children cumulated CPU time (s) 1841.81
Current children cumulated vsize (KiB) 104632

[startup+1902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1678832/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=106424 CPUtime=1901.79
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 24401 0 0 0 190158 21 0 0 25 0 1 0 221464088 108978176 23023 1992294400 134512640 135192793 4294956224 18446744073709551615 134534250 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 26606 23023 74 166 0 26437 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 106424

[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1677872/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=107592 CPUtime=1961.77
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 24639 0 0 0 196156 21 0 0 25 0 1 0 221464088 110174208 23261 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 26898 23261 74 166 0 26729 0
Current children cumulated CPU time (s) 1961.77
Current children cumulated vsize (KiB) 107592

[startup+2022.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1676528/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=109580 CPUtime=2021.76
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 24973 0 0 0 202154 22 0 0 25 0 1 0 221464088 112209920 23595 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27395 23595 74 166 0 27226 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 109580

[startup+2082.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1676144/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=110092 CPUtime=2081.74
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25068 0 0 0 208152 22 0 0 25 0 1 0 221464088 112734208 23690 1992294400 134512640 135192793 4294956224 18446744073709551615 134548141 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27523 23690 74 166 0 27354 0
Current children cumulated CPU time (s) 2081.74
Current children cumulated vsize (KiB) 110092

[startup+2142.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1675312/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=111124 CPUtime=2141.72
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25274 0 0 0 214150 22 0 0 25 0 1 0 221464088 113790976 23896 1992294400 134512640 135192793 4294956224 18446744073709551615 134533831 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27781 23896 74 166 0 27612 0
Current children cumulated CPU time (s) 2141.72
Current children cumulated vsize (KiB) 111124

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

[startup+2150.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1675312/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=111124 CPUtime=2149.72
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25274 0 0 0 214950 22 0 0 25 0 1 0 221464088 113790976 23896 1992294400 134512640 135192793 4294956224 18446744073709551615 134551609 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27781 23896 74 166 0 27612 0
Current children cumulated CPU time (s) 2149.72
Current children cumulated vsize (KiB) 111124

[startup+2156.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1675120/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=111480 CPUtime=2156.12
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25336 0 0 0 215590 22 0 0 25 0 1 0 221464088 114155520 23958 1992294400 134512640 135192793 4294956224 18446744073709551615 134550388 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27870 23958 74 166 0 27701 0
Current children cumulated CPU time (s) 2156.12
Current children cumulated vsize (KiB) 111480

[startup+2159.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1675056/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=111480 CPUtime=2159.32
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25336 0 0 0 215910 22 0 0 25 0 1 0 221464088 114155520 23958 1992294400 134512640 135192793 4294956224 18446744073709551615 134552256 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27870 23958 74 166 0 27701 0
Current children cumulated CPU time (s) 2159.32
Current children cumulated vsize (KiB) 111480

[startup+2160.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1675056/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=111480 CPUtime=2160.12
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25336 0 0 0 215990 22 0 0 25 0 1 0 221464088 114155520 23958 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27870 23958 74 166 0 27701 0
Current children cumulated CPU time (s) 2160.12
Current children cumulated vsize (KiB) 111480

[startup+2161.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1675056/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=111480 CPUtime=2160.52
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25336 0 0 0 216030 22 0 0 25 0 1 0 221464088 114155520 23958 1992294400 134512640 135192793 4294956224 18446744073709551615 134552427 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27870 23958 74 166 0 27701 0
Current children cumulated CPU time (s) 2160.52
Current children cumulated vsize (KiB) 111480

[startup+2161.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32327
/proc/meminfo: memFree=1675056/2055920 swapFree=4180160/4192956
[pid=32320] ppid=32318 vsize=111480 CPUtime=2160.92
/proc/32320/stat : 32320 (mxc-sat09) R 32318 32320 32251 0 -1 4194304 25336 0 0 0 216070 22 0 0 25 0 1 0 221464088 114155520 23958 1992294400 134512640 135192793 4294956224 18446744073709551615 134533789 0 0 4096 0 0 0 0 17 1 0 0
/proc/32320/statm: 27870 23958 74 166 0 27701 0
Current children cumulated CPU time (s) 2160.92
Current children cumulated vsize (KiB) 111480

Child status: 10
Real time (s): 2161.58
CPU time (s): 2161.01
CPU user time (s): 2160.76
CPU system time (s): 0.243962
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 111480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2160.76
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25338
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= 3
involuntary context switches= 3644

runsolver used 1.63175 second user time and 4.33734 second system time

The end

Launcher Data 

Begin job on node21 at 2009-05-10 07:45:09
IDJOB=1784309
IDBENCH=71153
IDSOLVER=613
FILE ID=node21/1784309-1241934309
PBS_JOBID= 9264989
Free space on /tmp= 66036 MiB

SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT09/CRAFTED/modcircuits/mod3block_2vars_11gates_u2_autoenc.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784309-1241934309/watcher-1784309-1241934309 -o /tmp/evaluation-result-1784309-1241934309/solver-1784309-1241934309 -C 5000 -W 6000 -M 1800  HOME/mxc-sat09 -i HOME/instance-1784309-1241934309.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 36c3169a5cad0483dd15befcefc4323e
RANDOM SEED=1436191433

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

/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.233
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.233
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:       1772112 kB
Buffers:         56724 kB
Cached:         152816 kB
SwapCached:       7040 kB
Active:         107156 kB
Inactive:       112368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1772112 kB
SwapTotal:     4192956 kB
SwapFree:      4180160 kB
Dirty:            4792 kB
Writeback:           0 kB
Mapped:          15072 kB
Slab:            50304 kB
Committed_AS:   811932 kB
PageTables:       1380 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= 66036 MiB
End job on node21 at 2009-05-10 08:21:11