Trace number 3292217

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
MPhaseSAT_M 2011-02-16SAT 1258.36 1258.33

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_29.renamed-as.sat05-1916.cnf
MD5SUMf874c09c5787bb3c6a16f7a5f9ea0ad4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark26.544
Satisfiable
(Un)Satisfiability was proved
Number of variables841
Number of clauses120147
Sum of the clauses size314766
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 247183
Number of clauses of size 372906
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 558

Solver Data 

1258.33/1258.32	c MPhaseSAT_M version 401 suited for random catagory by Jingchao Chen,  April 1,2011 
1258.33/1258.32	c input CNF file=HOME/instance-3292217-1303791450.cnf 
1258.33/1258.32	c Clause#=120147  var#=841  ratio=142 
1258.33/1258.32	c phase 1 
1258.33/1258.32	c Simplified clause#=91578 
1258.33/1258.32	c XOR_varElimination deleted var#=0 clauses#=89327 
1258.33/1258.32	c inative var#=0 
1258.33/1258.32	c free var#=840  
1258.33/1258.32	c unfixed var#=0 var#=841 
1258.33/1258.32	c verified 
1258.33/1258.32	c 
1258.33/1258.32	s SATISFIABLE
1258.33/1258.32	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 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 
1258.33/1258.32	v 0
1258.33/1258.32	c 
1258.33/1258.32	c  Running time=1258.361700

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3292217-1303791450/watcher-3292217-1303791450 -o /tmp/evaluation-result-3292217-1303791450/solver-3292217-1303791450 -C 2400 -W 1300 -M 7680 MPhaseSAT_M HOME/instance-3292217-1303791450.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.39 3.84 3.62 3/181 10285
/proc/meminfo: memFree=23889084/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=5020 CPUtime=0 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 338 0 0 0 0 0 0 0 21 0 1 0 490742767 5140480 279 33554432000 134512640 134829744 4292501328 18446744073709551615 134531753 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 1255 279 225 78 0 541 0

[startup+0.069 s]
/proc/loadavg: 3.39 3.84 3.62 3/181 10285
/proc/meminfo: memFree=23889084/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=5020 CPUtime=0.06 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 700 0 0 0 6 0 0 0 21 0 1 0 490742767 5140480 641 33554432000 134512640 134829744 4292501328 18446744073709551615 134531753 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 1255 641 225 78 0 541 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5020

[startup+0.100998 s]
/proc/loadavg: 3.39 3.84 3.62 3/181 10285
/proc/meminfo: memFree=23889084/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=5324 CPUtime=0.09 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 1607 0 0 0 9 0 0 0 21 0 1 0 490742767 5451776 813 33554432000 134512640 134829744 4292501328 18446744073709551615 134578353 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 1331 813 236 78 0 617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5324

[startup+0.30096 s]
/proc/loadavg: 3.39 3.84 3.62 3/181 10285
/proc/meminfo: memFree=23889084/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=13004 CPUtime=0.29 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 4159 0 0 0 29 0 0 0 22 0 1 0 490742767 13316096 2795 33554432000 134512640 134829744 4292501328 18446744073709551615 134661405 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 3251 2795 272 78 0 2537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13004

[startup+0.700891 s]
/proc/loadavg: 3.39 3.84 3.62 3/181 10285
/proc/meminfo: memFree=23889084/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=13004 CPUtime=0.69 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 4159 0 0 0 69 0 0 0 23 0 1 0 490742767 13316096 2795 33554432000 134512640 134829744 4292501328 18446744073709551615 134661375 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 3251 2795 272 78 0 2537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13004

[startup+1.50075 s]
/proc/loadavg: 3.39 3.84 3.62 5/190 10302
/proc/meminfo: memFree=23838032/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=13004 CPUtime=1.49 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 4159 0 0 0 149 0 0 0 25 0 1 0 490742767 13316096 2795 33554432000 134512640 134829744 4292501328 18446744073709551615 134661446 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 3251 2795 272 78 0 2537 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13004

[startup+3.10045 s]
/proc/loadavg: 3.44 3.84 3.62 5/190 10302
/proc/meminfo: memFree=23836784/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=13004 CPUtime=3.09 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 4159 0 0 0 309 0 0 0 25 0 1 0 490742767 13316096 2795 33554432000 134512640 134829744 4292501328 18446744073709551615 134719563 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 3251 2795 272 78 0 2537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13004

[startup+6.30088 s]
/proc/loadavg: 3.44 3.84 3.62 5/190 10329
/proc/meminfo: memFree=23834584/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=13536 CPUtime=6.29 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 4278 0 0 0 629 0 0 0 25 0 1 0 490742767 13860864 2914 33554432000 134512640 134829744 4292501328 18446744073709551615 134723328 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 3384 2914 272 78 0 2670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13536

[startup+12.7007 s]
/proc/loadavg: 3.48 3.85 3.63 5/190 10329
/proc/meminfo: memFree=23817580/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=14600 CPUtime=12.69 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 10108 0 0 0 1268 1 0 0 25 0 1 0 490742767 14950400 3180 33554432000 134512640 134829744 4292501328 18446744073709551615 134722615 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 3650 3180 278 78 0 2936 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14600

[startup+25.5004 s]
/proc/loadavg: 3.60 3.85 3.63 5/190 10330
/proc/meminfo: memFree=23810904/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=15920 CPUtime=25.49 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 10448 0 0 0 2548 1 0 0 25 0 1 0 490742767 16302080 3520 33554432000 134512640 134829744 4292501328 18446744073709551615 134712892 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 3980 3520 278 78 0 3266 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15920

[startup+51.1008 s]
/proc/loadavg: 3.73 3.86 3.64 5/190 10330
/proc/meminfo: memFree=23809192/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=16316 CPUtime=51.09 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 10544 0 0 0 5108 1 0 0 25 0 1 0 490742767 16707584 3616 33554432000 134512640 134829744 4292501328 18446744073709551615 134621002 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 4079 3616 278 78 0 3365 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16316

[startup+102.307 s]
/proc/loadavg: 3.89 3.89 3.66 5/190 10332
/proc/meminfo: memFree=23805820/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=18184 CPUtime=102.3 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 10982 0 0 0 10228 2 0 0 25 0 1 0 490742767 18620416 4054 33554432000 134512640 134829744 4292501328 18446744073709551615 134620969 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 4546 4054 278 78 0 3832 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 18184

[startup+162.301 s]
/proc/loadavg: 4.02 3.92 3.68 5/190 10468
/proc/meminfo: memFree=22897552/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=21028 CPUtime=162.29 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 11679 0 0 0 16227 2 0 0 25 0 1 0 490742767 21532672 4751 33554432000 134512640 134829744 4292501328 18446744073709551615 134678899 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 5257 4751 278 78 0 4543 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 21028

[startup+222.301 s]
/proc/loadavg: 4.18 3.98 3.71 5/190 10470
/proc/meminfo: memFree=23601616/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=23192 CPUtime=222.29 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 12195 0 0 0 22227 2 0 0 25 0 1 0 490742767 23748608 5267 33554432000 134512640 134829744 4292501328 18446744073709551615 134722430 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 5798 5267 278 78 0 5084 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 23192

[startup+282.301 s]
/proc/loadavg: 4.07 3.98 3.73 5/190 10472
/proc/meminfo: memFree=23588620/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=24180 CPUtime=282.3 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 12458 0 0 0 28228 2 0 0 25 0 1 0 490742767 24760320 5530 33554432000 134512640 134829744 4292501328 18446744073709551615 134621441 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6045 5530 278 78 0 5331 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24180

[startup+342.301 s]
/proc/loadavg: 4.02 3.98 3.74 5/190 10473
/proc/meminfo: memFree=23582860/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=24180 CPUtime=342.3 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 12478 0 0 0 34228 2 0 0 25 0 1 0 490742767 24760320 5550 33554432000 134512640 134829744 4292501328 18446744073709551615 134661405 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6045 5550 278 78 0 5331 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 24180

[startup+402.3 s]
/proc/loadavg: 4.01 3.98 3.75 5/190 10475
/proc/meminfo: memFree=23579860/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=24744 CPUtime=402.3 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 12608 0 0 0 40228 2 0 0 25 0 1 0 490742767 25337856 5680 33554432000 134512640 134829744 4292501328 18446744073709551615 3682634 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6186 5680 278 78 0 5472 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24744

[startup+462.3 s]
/proc/loadavg: 4.06 3.99 3.77 5/190 10530
/proc/meminfo: memFree=23784852/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=25872 CPUtime=462.3 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 12869 0 0 0 46228 2 0 0 25 0 1 0 490742767 26492928 5941 33554432000 134512640 134829744 4292501328 18446744073709551615 134620969 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6468 5941 278 78 0 5754 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25872

[startup+522.301 s]
/proc/loadavg: 4.02 3.99 3.78 5/190 10532
/proc/meminfo: memFree=23776368/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=27008 CPUtime=522.3 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 13104 0 0 0 52228 2 0 0 25 0 1 0 490742767 27656192 6176 33554432000 134512640 134829744 4292501328 18446744073709551615 134722601 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6752 6176 278 78 0 6038 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 27008

[startup+582.301 s]
/proc/loadavg: 4.00 3.99 3.79 5/190 10534
/proc/meminfo: memFree=23771752/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=27744 CPUtime=582.3 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 13272 0 0 0 58228 2 0 0 25 0 1 0 490742767 28409856 6344 33554432000 134512640 134829744 4292501328 18446744073709551615 134661382 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6936 6344 278 78 0 6222 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 27744

[startup+642.301 s]
/proc/loadavg: 4.08 4.01 3.81 5/190 10535
/proc/meminfo: memFree=23767748/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=28640 CPUtime=642.31 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 13455 0 0 0 64229 2 0 0 25 0 1 0 490742767 29327360 6527 33554432000 134512640 134829744 4292501328 18446744073709551615 134723181 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 7160 6527 278 78 0 6446 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 28640

[startup+702.301 s]
/proc/loadavg: 4.03 4.00 3.82 5/190 10537
/proc/meminfo: memFree=23769584/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=23628 CPUtime=702.31 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 13604 0 0 0 70228 3 0 0 25 0 1 0 490742767 24195072 5455 33554432000 134512640 134829744 4292501328 18446744073709551615 134661680 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 5907 5455 278 78 0 5193 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 23628

[startup+762.307 s]
/proc/loadavg: 4.07 4.01 3.83 5/190 10538
/proc/meminfo: memFree=23763720/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=23628 CPUtime=762.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 13607 0 0 0 76229 3 0 0 25 0 1 0 490742767 24195072 5458 33554432000 134512640 134829744 4292501328 18446744073709551615 134722439 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 5907 5458 278 78 0 5193 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 23628

[startup+822.3 s]
/proc/loadavg: 4.06 4.02 3.84 5/190 10540
/proc/meminfo: memFree=23760568/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=24044 CPUtime=822.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 13672 0 0 0 82229 3 0 0 25 0 1 0 490742767 24621056 5523 33554432000 134512640 134829744 4292501328 18446744073709551615 134620951 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6011 5523 278 78 0 5297 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 24044

[startup+882.301 s]
/proc/loadavg: 4.02 4.02 3.85 5/190 10542
/proc/meminfo: memFree=23758920/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=25164 CPUtime=882.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 13951 0 0 0 88229 3 0 0 25 0 1 0 490742767 25767936 5802 33554432000 134512640 134829744 4292501328 18446744073709551615 134657925 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6291 5802 278 78 0 5577 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 25164

[startup+942.301 s]
/proc/loadavg: 4.01 4.01 3.85 5/190 10543
/proc/meminfo: memFree=23756032/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=26252 CPUtime=942.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14192 0 0 0 94229 3 0 0 25 0 1 0 490742767 26882048 6043 33554432000 134512640 134829744 4292501328 18446744073709551615 134669346 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6563 6043 278 78 0 5849 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 26252

[startup+1002.3 s]
/proc/loadavg: 4.00 4.01 3.86 5/190 10545
/proc/meminfo: memFree=23754488/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=27152 CPUtime=1002.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14386 0 0 0 100229 3 0 0 25 0 1 0 490742767 27803648 6237 33554432000 134512640 134829744 4292501328 18446744073709551615 134661477 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6788 6237 278 78 0 6074 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 27152

[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/190 10546
/proc/meminfo: memFree=23752580/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=28040 CPUtime=1062.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14554 0 0 0 106229 3 0 0 25 0 1 0 490742767 28712960 6405 33554432000 134512640 134829744 4292501328 18446744073709551615 134725730 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 7010 6405 278 78 0 6296 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 28040

[startup+1122.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/190 10548
/proc/meminfo: memFree=23754752/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=23876 CPUtime=1122.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14593 0 0 0 112229 3 0 0 25 0 1 0 490742767 24449024 5516 33554432000 134512640 134829744 4292501328 18446744073709551615 134661614 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 5969 5516 278 78 0 5255 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 23876

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 10550
/proc/meminfo: memFree=23754100/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=23876 CPUtime=1182.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14593 0 0 0 118229 3 0 0 25 0 1 0 490742767 24449024 5516 33554432000 134512640 134829744 4292501328 18446744073709551615 134722447 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 5969 5516 278 78 0 5255 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 23876

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 10551
/proc/meminfo: memFree=23751592/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=24876 CPUtime=1242.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14821 0 0 0 124229 3 0 0 25 0 1 0 490742767 25473024 5744 33554432000 134512640 134829744 4292501328 18446744073709551615 3682123 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6219 5744 278 78 0 5505 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 24876

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

[startup+1247.9 s]
/proc/loadavg: 4.00 4.00 3.88 5/190 10551
/proc/meminfo: memFree=23751344/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=25012 CPUtime=1247.92 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14846 0 0 0 124789 3 0 0 25 0 1 0 490742767 25612288 5769 33554432000 134512640 134829744 4292501328 18446744073709551615 134722439 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6253 5769 278 78 0 5539 0
Current children cumulated CPU time (s) 1247.92
Current children cumulated vsize (KiB) 25012

[startup+1254.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/190 10552
/proc/meminfo: memFree=23751340/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=25148 CPUtime=1254.32 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14873 0 0 0 125429 3 0 0 25 0 1 0 490742767 25751552 5796 33554432000 134512640 134829744 4292501328 18446744073709551615 134620969 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6287 5796 278 78 0 5573 0
Current children cumulated CPU time (s) 1254.32
Current children cumulated vsize (KiB) 25148

[startup+1255.9 s]
/proc/loadavg: 4.00 4.00 3.89 5/190 10552
/proc/meminfo: memFree=23751340/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=25148 CPUtime=1255.92 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14883 0 0 0 125589 3 0 0 25 0 1 0 490742767 25751552 5806 33554432000 134512640 134829744 4292501328 18446744073709551615 134633010 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6287 5806 278 78 0 5573 0
Current children cumulated CPU time (s) 1255.92
Current children cumulated vsize (KiB) 25148

[startup+1257.5 s]
/proc/loadavg: 4.00 4.00 3.89 5/190 10552
/proc/meminfo: memFree=23751216/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=25284 CPUtime=1257.52 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14899 0 0 0 125749 3 0 0 25 0 1 0 490742767 25890816 5822 33554432000 134512640 134829744 4292501328 18446744073709551615 134620951 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6321 5822 278 78 0 5607 0
Current children cumulated CPU time (s) 1257.52
Current children cumulated vsize (KiB) 25284

[startup+1257.9 s]
/proc/loadavg: 4.00 4.00 3.89 5/190 10552
/proc/meminfo: memFree=23751216/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=25284 CPUtime=1257.92 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 14899 0 0 0 125789 3 0 0 25 0 1 0 490742767 25890816 5822 33554432000 134512640 134829744 4292501328 18446744073709551615 134620888 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 6321 5822 278 78 0 5607 0
Current children cumulated CPU time (s) 1257.92
Current children cumulated vsize (KiB) 25284

[startup+1258.3 s]
/proc/loadavg: 4.00 4.00 3.89 5/190 10552
/proc/meminfo: memFree=23770684/32951124 swapFree=67111412/67111528
[pid=10285] ppid=10283 vsize=6324 CPUtime=1258.33 cores=1,3
/proc/10285/stat : 10285 (MPhaseSAT_M) R 10283 10285 9265 0 -1 4202496 15182 0 0 0 125829 4 0 0 25 0 1 0 490742767 6475776 946 33554432000 134512640 134829744 4292501328 18446744073709551615 134531753 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/10285/statm: 1581 946 278 78 0 867 0
Current children cumulated CPU time (s) 1258.33
Current children cumulated vsize (KiB) 6324

Child status: 10
Real time (s): 1258.33
CPU time (s): 1258.36
CPU user time (s): 1258.32
CPU system time (s): 0.042993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 29224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1258.32
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15305
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= 9
involuntary context switches= 2715

runsolver used 2.00869 second user time and 4.86126 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-26 06:17:31
IDJOB=3292217
IDBENCH=85973
IDSOLVER=1522
FILE ID=node137/3292217-1303791450
RUNJOBID= node137-1303791450-10261
PBS_JOBID= 13157251
Free space on /tmp= 72020 MiB

SOLVER NAME= MPhaseSAT_M 2011-02-16
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_29.renamed-as.sat05-1916.cnf
COMMAND LINE= MPhaseSAT_M BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3292217-1303791450/watcher-3292217-1303791450 -o /tmp/evaluation-result-3292217-1303791450/solver-3292217-1303791450 -C 2400 -W 1300 -M 7680  MPhaseSAT_M HOME/instance-3292217-1303791450.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= f874c09c5787bb3c6a16f7a5f9ea0ad4
RANDOM SEED=1645060693

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.844
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23889240 kB
Buffers:       1751528 kB
Cached:        6688564 kB
SwapCached:        112 kB
Active:        1907576 kB
Inactive:      6600260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23889240 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:            4084 kB
Writeback:           0 kB
AnonPages:       67844 kB
Mapped:          16032 kB
Slab:           489312 kB
PageTables:       5864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218504 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72012 MiB
End job on node137 at 2011-04-26 06:38:29