Trace number 1784269

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 2017.39 2017.84

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_11gates_u2_autoenc.cnf
MD5SUM586caddfac4d1887f3667169b6c35a75
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.8434
Satisfiable
(Un)Satisfiability was proved
Number of variables530
Number of clauses153478
Sum of the clauses size900236
Maximum clause length14
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 22488
Number of clauses of size 30
Number of clauses of size 41392
Number of clauses of size 57658
Number of clauses of size over 5141876

Solver Data 

39.28/39.35	c starting MXC with:
39.28/39.35	c cnf_path = HOME/instance-1784269-1241930361.cnf
39.28/39.35	c restart_strategy = auto
39.28/39.35	c sign_strategy = cached
39.28/39.35	c use_preprocessing = -1
39.28/39.35	c output_implicant = 1
39.28/39.35	c timeout_seconds = 0
39.28/39.35	c running SatELite... done
39.28/39.35	c 57 vars eliminated
39.28/39.35	c received 64 units and 57383 clauses from SatELite
39.28/39.35	c 120 assignments made, starting to guess now
39.28/39.35	c ===================================[MXC]=====================================
39.28/39.35	c | Conflicts |                Clause Statistics                   |   Vars   |
39.28/39.35	c |           |    CARD     BIN      O3+      L3+   L3+Lim  Lit/CL |          |
39.28/39.35	c =============================================================================
39.28/39.35	c |         0 |       0     906    56477        0        0     nan |      530 |
39.28/39.35	c |       100 |       0     906    56477      100     1050    24.7 |      410 |
39.28/39.35	c |       210 |       0     906    56477      210     1105    19.6 |      410 |
39.28/39.35	c |       441 |       0     907    56477      440     1220    17.6 |      410 |
39.28/39.35	c |       805 |       0     907    56477      804     1402    15.5 |      410 |
39.28/39.35	c |      1315 |       0     907    56477     1314     1657    16.7 |      410 |
39.28/39.35	c |      1986 |       0     907    56477     1985     1993    17.6 |      410 |
39.28/39.35	c |      2834 |       0     907    56477     1833     2417    17.4 |      410 |
39.28/39.35	c |      3876 |       0     907    56477     2875     2938    18.5 |      410 |
39.28/39.35	c |      5132 |       0     907    56477     2632     3566    19.0 |      410 |
39.28/39.35	c |      6623 |       0     907    56477     4123     4311    18.6 |      410 |
39.28/39.35	c |      8373 |       0     909    56477     3622     5186    18.0 |      410 |
39.28/39.35	c |     10408 |       0     909    56477     5657     6204    19.6 |      410 |
39.28/39.35	c |     12756 |       0     910    56477     4628     7378    21.3 |      410 |
39.28/39.35	c |     15449 |       0     912    56477     7319     8724    21.6 |      410 |
39.28/39.35	c |     18521 |       0     912    56477     5329    10260    20.2 |      410 |
39.28/39.35	c |     22010 |       0     913    56477     8817    12005    22.4 |      410 |
39.28/39.35	c |     25958 |       0     913    56477    12765    13979    22.6 |      410 |
39.28/39.35	c |     30411 |       0     914    56477     9625    16205    20.6 |      410 |
39.28/39.35	c |     35419 |       0     915    56477    14632    18709    22.7 |      410 |
39.28/39.35	c |     41038 |       0     915    56477    20251    21519    23.0 |      410 |
39.28/39.35	c |     47329 |       0     917    56477    15149    24664    21.8 |      410 |
39.28/39.35	c |     54360 |       0     918    56477    22179    28180    22.4 |      410 |
39.28/39.35	c |     62205 |       0     919    56477    15382    29368    22.1 |      410 |
39.28/39.35	c |     70945 |       0     920    56477    24121    30298    22.7 |      410 |
39.28/39.35	c |     80669 |       0     921    56477    18358    31236    17.5 |      410 |
39.28/39.35	c |     91476 |       0     925    56477    29161    32218    21.1 |      410 |
39.28/39.35	c |    103474 |       0     925    56477    24918    33163    23.9 |      410 |
39.28/39.35	c |    116782 |       0     929    56477    21306    34168    23.8 |      410 |
39.28/39.35	c |    131532 |       0     929    56477    18519    35135    13.7 |      410 |
39.28/39.35	c |    147868 |       0     931    56477    34853    36140    13.6 |      410 |
39.28/39.35	c |    165948 |       0     921    54901    20061    37280    19.3 |      409 |
39.28/39.35	c |    185947 |       0     921    54901    21489    37294    24.3 |      409 |
39.28/39.35	c |    208057 |       0     923    54901    24569    38319    24.8 |      409 |
39.28/39.35	c |    232489 |       0     916    53109    27343    39418    24.7 |      408 |
39.28/39.35	c |    259475 |       0     917    53109    34922    39396    21.1 |      408 |
39.28/39.35	c |    289271 |       0     917    53109    24811    40415    24.8 |      408 |
39.28/39.35	c |    322158 |       0     918    53109    37227    41466    27.3 |      408 |
39.28/39.35	c |    358445 |       0     920    53109    31597    42550    27.6 |      408 |
39.28/39.35	c |    398472 |       0     920    53109    28482    43622    27.7 |      408 |
39.28/39.35	c |    442613 |       0     920    53109    28338    44712    25.9 |      408 |
39.28/39.35	c |    491279 |       0     920    53109    31654    45821    25.8 |      408 |
39.28/39.35	c |    544923 |       0     920    53109    38929    46951    28.8 |      408 |
2017.34/2017.82	c |    604043 |       0     921    53109    26668    48119    25.9 |      408 |
2017.34/2017.82	c |    669187 |       0     921    53109    43077    49291    27.9 |      408 |
2017.34/2017.82	c |    740957 |       0     922    53109    40108    50504    28.5 |      408 |
2017.34/2017.82	c |    820016 |       0     922    53109    42572    51721    26.1 |      408 |
2017.34/2017.82	c |    907092 |       0     922    53109    51312    52963    30.0 |      408 |
2017.34/2017.82	c |   1002987 |       0     922    53109    40184    54229    32.9 |      408 |
2017.34/2017.82	c |   1108583 |       0     922    53109    35976    55519    33.2 |      408 |
2017.34/2017.82	c |   1224850 |       0     922    53109    39788    56836    17.5 |      408 |
2017.34/2017.82	c |   1352856 |       0     923    53109    52789    58201    30.5 |      408 |
2017.34/2017.82	c |   1493774 |       0     923    53109    46637    59572    32.7 |      408 |
2017.34/2017.82	c |   1648896 |       0     923    53109    51195    60972    37.3 |      408 |
2017.34/2017.82	c |   1819642 |       0     923    53109    36833    62400    32.6 |      408 |
2017.34/2017.82	c |   2007575 |       0     924    53109    35108    63882    34.0 |      408 |
2017.34/2017.82	c |   2214413 |       0     924    53109    47953    65372    36.2 |      408 |
2017.34/2017.82	c |   2442047 |       0     924    53109    44055    66893    36.0 |      408 |
2017.34/2017.82	c |   2692557 |       0     924    53109    57780    68446    39.5 |      408 |
2017.34/2017.82	c |   2968230 |       0     924    53109    56663    70032    38.0 |      408 |
2017.34/2017.82	c |   3271583 |       0     924    53109    41173    71652    36.2 |      408 |
2017.34/2017.82	c |   3605384 |       0     924    53109    48635    73307    39.8 |      408 |
2017.34/2017.82	c |   3972677 |       0     924    53109    44947    74998    22.3 |      408 |
2017.34/2017.82	c |   4376812 |       0     924    53109    69772    76726    21.6 |      408 |
2017.34/2017.82	c |   4821473 |       0     924    53109    48861    78491    38.6 |      408 |
2017.34/2017.82	c |   5310713 |       0     924    53109    61716    80294    37.1 |      408 |
2017.34/2017.82	c |   5848990 |       0     924    53109    72383    82137    42.7 |      408 |
2017.34/2017.82	c |   6441207 |       0     924    53109    83446    84021    36.3 |      408 |
2017.34/2017.82	c |   7092758 |       0     924    53109    55423    85945    38.1 |      408 |
2017.34/2017.82	c |   7809577 |       0     924    53109    76957    87912    39.1 |      408 |
2017.34/2017.82	c |   8598191 |       0     924    53109    65607    89923    38.2 |      408 |
2017.34/2017.82	c |   9465779 |       0     924    53109    69229    91978    40.5 |      408 |
2017.34/2017.82	c |  10420239 |       0     924    53109    93772    94079    40.8 |      408 |
2017.34/2017.82	c |  11470258 |       0     924    53109    49669    96226    36.3 |      408 |
2017.34/2017.82	c |  12625392 |       0     924    53109    85675    98421    38.5 |      408 |
2017.34/2017.82	c |  13896152 |       0     924    53109    62506   100665    43.3 |      408 |
2017.34/2017.82	c |  15294101 |       0     924    53109    86076   102959    40.6 |      408 |
2017.34/2017.82	c |  15665791 |       0     924    53109    96530   103542    37.7 |      408 |
2017.34/2017.82	c ----- stats for thread 0 -----
2017.34/2017.82	c restarts: 2048
2017.34/2017.82	c decisions: 24511792
2017.34/2017.82	c propagations: 342266985
2017.34/2017.82	c conflicts: 15665791
2017.34/2017.82	c 2017.821s elapsed
2017.34/2017.82	s SATISFIABLE
2017.34/2017.82	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 -527 -528 -529 530 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-1784269-1241930361/watcher-1784269-1241930361 -o /tmp/evaluation-result-1784269-1241930361/solver-1784269-1241930361 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784269-1241930361.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: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=913968/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=5156 CPUtime=0
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 741 0 0 0 0 0 0 0 18 0 1 0 221069640 5279744 727 1992294400 134512640 135192793 4294956224 18446744073709551615 134779278 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 1289 733 46 166 0 1120 0

[startup+0.092802 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=913968/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=12388 CPUtime=0.08
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 2944 0 0 0 7 1 0 0 18 0 1 0 221069640 12685312 2930 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 3097 2932 54 166 0 2928 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12388

[startup+0.1028 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=913968/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=13424 CPUtime=0.09
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 3153 0 0 0 8 1 0 0 18 0 1 0 221069640 13746176 3140 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 3356 3142 54 166 0 3187 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13424

[startup+0.301813 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=913968/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=14500 CPUtime=0.29
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 4453 0 0 0 27 2 0 0 19 0 1 0 221069640 14848000 3361 1992294400 134512640 135192793 4294956224 18446744073709551615 134564112 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 3625 3361 56 166 0 3456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14500

[startup+0.701839 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 32294
/proc/meminfo: memFree=913968/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=14500 CPUtime=0.69
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 4453 0 0 0 67 2 0 0 22 0 1 0 221069640 14848000 3361 1992294400 134512640 135192793 4294956224 18446744073709551615 134567760 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 3625 3361 56 166 0 3456 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14500

[startup+1.50289 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32295
/proc/meminfo: memFree=900456/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=14500 CPUtime=1.5
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 4464 0 0 0 148 2 0 0 25 0 1 0 221069640 14848000 3372 1992294400 134512640 135192793 4294956224 18446744073709551615 134567773 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 3625 3372 56 166 0 3456 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 14500

[startup+3.10199 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 32295
/proc/meminfo: memFree=899112/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=16160 CPUtime=3.09
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 4874 0 0 0 307 2 0 0 25 0 1 0 221069640 16547840 3782 1992294400 134512640 135192793 4294956224 18446744073709551615 134567768 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 4040 3782 56 166 0 3871 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16160

[startup+6.3012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 32295
/proc/meminfo: memFree=896296/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=20544 CPUtime=6.28
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 6452 0 0 0 625 3 0 0 25 0 1 0 221069640 21037056 4933 1992294400 134512640 135192793 4294956224 18446744073709551615 134553600 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 5136 4933 73 166 0 4967 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20544

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 32295
/proc/meminfo: memFree=889904/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=25260 CPUtime=12.68
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 7559 0 0 0 1264 4 0 0 25 0 1 0 221069640 25866240 6040 1992294400 134512640 135192793 4294956224 18446744073709551615 134534170 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 6315 6040 73 166 0 6146 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25260

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 32295
/proc/meminfo: memFree=886832/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=28688 CPUtime=25.48
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 8315 0 0 0 2543 5 0 0 25 0 1 0 221069640 29376512 6796 1992294400 134512640 135192793 4294956224 18446744073709551615 134548179 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 7172 6796 73 166 0 7003 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28688

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 32295
/proc/meminfo: memFree=882928/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=32944 CPUtime=51.08
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 9284 0 0 0 5102 6 0 0 25 0 1 0 221069640 33734656 7765 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 8236 7765 74 166 0 8067 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32944

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 32295
/proc/meminfo: memFree=875696/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=41576 CPUtime=102.27
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 11094 0 0 0 10220 7 0 0 25 0 1 0 221069640 42573824 9575 1992294400 134512640 135192793 4294956224 18446744073709551615 134534213 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 10394 9575 74 166 0 10225 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41576

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=870960/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=46868 CPUtime=162.25
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 12254 0 0 0 16217 8 0 0 25 0 1 0 221069640 47992832 10735 1992294400 134512640 135192793 4294956224 18446744073709551615 134534243 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 11717 10735 74 166 0 11548 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46868

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=867184/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=51380 CPUtime=222.23
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 13195 0 0 0 22214 9 0 0 25 0 1 0 221069640 52613120 11676 1992294400 134512640 135192793 4294956224 18446744073709551615 134552256 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 12845 11676 74 166 0 12676 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 51380

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=864432/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=54572 CPUtime=282.22
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 13904 0 0 0 28212 10 0 0 25 0 1 0 221069640 55881728 12385 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 13643 12385 74 166 0 13474 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 54572

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=860912/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=58636 CPUtime=342.21
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 14757 0 0 0 34210 11 0 0 25 0 1 0 221069640 60043264 13238 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 14659 13238 74 166 0 14490 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 58636

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=858416/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=61652 CPUtime=402.2
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 15378 0 0 0 40209 11 0 0 25 0 1 0 221069640 63131648 13859 1992294400 134512640 135192793 4294956224 18446744073709551615 134533776 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 15413 13859 74 166 0 15244 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 61652

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=856560/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=63940 CPUtime=462.19
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 15848 0 0 0 46207 12 0 0 25 0 1 0 221069640 65474560 14329 1992294400 134512640 135192793 4294956224 18446744073709551615 134550428 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 15985 14329 74 166 0 15816 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 63940

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=854896/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=65752 CPUtime=522.17
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 16253 0 0 0 52205 12 0 0 25 0 1 0 221069640 67330048 14734 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 16438 14734 74 166 0 16269 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 65752

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=852272/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=68700 CPUtime=582.17
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 16908 0 0 0 58204 13 0 0 25 0 1 0 221069640 70348800 15389 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 17175 15389 74 166 0 17006 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 68700

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32295
/proc/meminfo: memFree=850672/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=70844 CPUtime=642.15
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 17312 0 0 0 64202 13 0 0 25 0 1 0 221069640 72544256 15793 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 17711 15793 74 166 0 17542 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 70844

[startup+702.301 s]

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

/proc/meminfo: memFree=836656/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=87864 CPUtime=1421.97
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 20767 0 0 0 142178 19 0 0 25 0 1 0 221069640 89972736 19248 1992294400 134512640 135192793 4294956224 18446744073709551615 134533818 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 21966 19248 74 166 0 21797 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 87864

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=835760/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=88968 CPUtime=1481.96
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 20989 0 0 0 148177 19 0 0 25 0 1 0 221069640 91103232 19470 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 22242 19470 74 166 0 22073 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 88968

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=834736/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=90504 CPUtime=1541.95
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 21245 0 0 0 154175 20 0 0 25 0 1 0 221069640 92676096 19726 1992294400 134512640 135192793 4294956224 18446744073709551615 134549692 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 22626 19726 74 166 0 22457 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 90504

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=834032/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=91200 CPUtime=1601.93
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 21426 0 0 0 160173 20 0 0 25 0 1 0 221069640 93388800 19907 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 22800 19907 74 166 0 22631 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 91200

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=833200/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=92224 CPUtime=1661.92
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 21627 0 0 0 166172 20 0 0 25 0 1 0 221069640 94437376 20108 1992294400 134512640 135192793 4294956224 18446744073709551615 134534224 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 23056 20108 74 166 0 22887 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 92224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=831664/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=93924 CPUtime=1721.91
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22031 0 0 0 172170 21 0 0 25 0 1 0 221069640 96178176 20512 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 23481 20512 74 166 0 23312 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 93924

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=830960/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=94636 CPUtime=1781.89
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22179 0 0 0 178168 21 0 0 25 0 1 0 221069640 96907264 20660 1992294400 134512640 135192793 4294956224 18446744073709551615 134534213 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 23659 20660 74 166 0 23490 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 94636

[startup+1842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=830320/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=95660 CPUtime=1841.89
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22344 0 0 0 184167 22 0 0 25 0 1 0 221069640 97955840 20825 1992294400 134512640 135192793 4294956224 18446744073709551615 134534016 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 23915 20825 74 166 0 23746 0
Current children cumulated CPU time (s) 1841.89
Current children cumulated vsize (KiB) 95660

[startup+1902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=830256/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=95660 CPUtime=1901.87
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22351 0 0 0 190165 22 0 0 25 0 1 0 221069640 97955840 20832 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 23915 20832 74 166 0 23746 0
Current children cumulated CPU time (s) 1901.87
Current children cumulated vsize (KiB) 95660

[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=1961.86
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22527 0 0 0 196164 22 0 0 25 0 1 0 221069640 98922496 21008 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21008 74 166 0 23982 0
Current children cumulated CPU time (s) 1961.86
Current children cumulated vsize (KiB) 96604

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

[startup+1971.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=1970.66
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22527 0 0 0 197044 22 0 0 25 0 1 0 221069640 98922496 21008 1992294400 134512640 135192793 4294956224 18446744073709551615 134533906 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21008 74 166 0 23982 0
Current children cumulated CPU time (s) 1970.66
Current children cumulated vsize (KiB) 96604

[startup+1996.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=1996.25
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22528 0 0 0 199603 22 0 0 25 0 1 0 221069640 98922496 21009 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21009 74 166 0 23982 0
Current children cumulated CPU time (s) 1996.25
Current children cumulated vsize (KiB) 96604

[startup+2009.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=2009.04
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22531 0 0 0 200882 22 0 0 25 0 1 0 221069640 98922496 21012 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21012 74 166 0 23982 0
Current children cumulated CPU time (s) 2009.04
Current children cumulated vsize (KiB) 96604

[startup+2012.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=2012.24
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22537 0 0 0 201202 22 0 0 25 0 1 0 221069640 98922496 21018 1992294400 134512640 135192793 4294956224 18446744073709551615 134549692 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21018 74 166 0 23982 0
Current children cumulated CPU time (s) 2012.24
Current children cumulated vsize (KiB) 96604

[startup+2015.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=2015.44
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22537 0 0 0 201522 22 0 0 25 0 1 0 221069640 98922496 21018 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21018 74 166 0 23982 0
Current children cumulated CPU time (s) 2015.44
Current children cumulated vsize (KiB) 96604

[startup+2016.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=2016.24
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22537 0 0 0 201602 22 0 0 25 0 1 0 221069640 98922496 21018 1992294400 134512640 135192793 4294956224 18446744073709551615 134533786 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21018 74 166 0 23982 0
Current children cumulated CPU time (s) 2016.24
Current children cumulated vsize (KiB) 96604

[startup+2017.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=2017.04
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22537 0 0 0 201682 22 0 0 25 0 1 0 221069640 98922496 21018 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21018 74 166 0 23982 0
Current children cumulated CPU time (s) 2017.04
Current children cumulated vsize (KiB) 96604

[startup+2017.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=2017.24
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22537 0 0 0 201702 22 0 0 25 0 1 0 221069640 98922496 21018 1992294400 134512640 135192793 4294956224 18446744073709551615 134552291 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21018 74 166 0 23982 0
Current children cumulated CPU time (s) 2017.24
Current children cumulated vsize (KiB) 96604

[startup+2017.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32301
/proc/meminfo: memFree=829552/2055920 swapFree=4181272/4192956
[pid=32294] ppid=32292 vsize=96604 CPUtime=2017.34
/proc/32294/stat : 32294 (mxc-sat09) R 32292 32294 32161 0 -1 4194304 22537 0 0 0 201712 22 0 0 25 0 1 0 221069640 98922496 21018 1992294400 134512640 135192793 4294956224 18446744073709551615 134534224 0 0 4096 0 0 0 0 17 1 0 0
/proc/32294/statm: 24151 21018 74 166 0 23982 0
Current children cumulated CPU time (s) 2017.34
Current children cumulated vsize (KiB) 96604

Child status: 10
Real time (s): 2017.84
CPU time (s): 2017.39
CPU user time (s): 2017.15
CPU system time (s): 0.241963
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 96604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2017.15
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22539
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= 4138

runsolver used 1.93171 second user time and 3.63245 second system time

The end

Launcher Data 

Begin job on node22 at 2009-05-10 06:39:21
IDJOB=1784269
IDBENCH=71143
IDSOLVER=613
FILE ID=node22/1784269-1241930361
PBS_JOBID= 9264933
Free space on /tmp= 66364 MiB

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

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

MD5SUM BENCH= 586caddfac4d1887f3667169b6c35a75
RANDOM SEED=1991650865

node22.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.232
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.232
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:        914384 kB
Buffers:         65672 kB
Cached:         981440 kB
SwapCached:       5528 kB
Active:         303520 kB
Inactive:       752000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        914384 kB
SwapTotal:     4192956 kB
SwapFree:      4181272 kB
Dirty:            5000 kB
Writeback:           0 kB
Mapped:          14120 kB
Slab:            72128 kB
Committed_AS:   811984 kB
PageTables:       1368 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= 66364 MiB
End job on node22 at 2009-05-10 07:12:59