Trace number 3259093

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
ppfolio parSAT 49.09 12.3984

General information on the benchmark

NameCRAFTED/rbsat/crafted/unforced/
rbsat-v760c43649g7.cnf
MD5SUMbd9e06c08721e6eb7b4cb4a265dbdd48
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.14637
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 4 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	[4] lingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	[5] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 1
0.00/0.00	Starting clasp 1.3.6 on core(s) 5
0.00/0.00	Starting TNM 2009 on core(s) 7
0.00/0.00	Starting lingeling 276-6264d55-100731 on core(s) 3
0.00/0.00	Starting march_hi 2009 on core(s) 7
49.09/12.39	s SATISFIABLE
49.09/12.39	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 
49.09/12.39	v 0 
49.09/12.39	solver [3] TNM 2009 answered
49.09/12.39	Done

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-3259093-1304034355/watcher-3259093-1304034355 -o /tmp/evaluation-result-3259093-1304034355/solver-3259093-1304034355 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3259093-1304034355.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 10.16 10.15 9.78 7/182 4594
/proc/meminfo: memFree=18104240/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) R 4592 4594 3973 0 -1 4202496 519 0 0 0 0 0 0 0 25 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0

[startup+0.220493 s]
/proc/loadavg: 10.16 10.15 9.78 7/182 4594
/proc/meminfo: memFree=18104240/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 24 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.30048 s]
/proc/loadavg: 10.16 10.15 9.78 7/182 4594
/proc/meminfo: memFree=18104240/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 24 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.400461 s]
/proc/loadavg: 10.16 10.15 9.78 7/182 4594
/proc/meminfo: memFree=18104240/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 23 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700409 s]
/proc/loadavg: 10.16 10.15 9.78 7/182 4594
/proc/meminfo: memFree=18104240/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 21 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50127 s]
/proc/loadavg: 10.16 10.15 9.78 11/188 4600
/proc/meminfo: memFree=18075796/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1064696 CPUtime=1.49 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 4901 0 0 0 148 1 0 0 25 0 1 0 495851671 1090248704 2602 33554432000 4194304 4587354 140736368012752 18446744073709551615 4365336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 266174 2602 337 96 0 262736 0
[pid=4596] ppid=4594 vsize=18964 CPUtime=1.49 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 2443 0 0 0 149 0 0 0 20 0 1 0 495851671 19419136 2071 33554432000 4194304 4785740 140733956057456 18446744073709551615 4287207 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 4741 2071 340 145 0 1786 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=0.8 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 80 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=6588 CPUtime=1.49 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 998 0 0 0 149 0 0 0 25 0 1 0 495851671 6746112 764 33554432000 4194304 4352236 140737094028416 18446744073709551615 4267338 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 1647 764 124 39 0 727 0
[pid=4599] ppid=4594 vsize=13484 CPUtime=0.66 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 3849 0 0 0 66 0 0 0 25 0 1 0 495851671 13807616 1144 33554432000 4194304 4331988 140734452624736 18446744073709551615 4237419 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3371 1144 174 34 0 1813 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 1580124

[startup+3.10099 s]
/proc/loadavg: 10.16 10.15 9.78 11/188 4600
/proc/meminfo: memFree=18058088/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1064560 CPUtime=3.09 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 8165 0 0 0 307 2 0 0 25 0 1 0 495851671 1090109440 5214 33554432000 4194304 4587354 140736368012752 18446744073709551615 4364908 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 266140 5214 337 96 0 262702 0
[pid=4596] ppid=4594 vsize=20916 CPUtime=3.09 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 2934 0 0 0 309 0 0 0 25 0 1 0 495851671 21417984 2562 33554432000 4194304 4785740 140733956057456 18446744073709551615 4286919 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 5229 2562 340 145 0 2274 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=1.6 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 160 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=10020 CPUtime=3.09 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 2494 0 0 0 309 0 0 0 25 0 1 0 495851671 10260480 1667 33554432000 4194304 4352236 140737094028416 18446744073709551615 4328059 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 2505 1667 127 39 0 1585 0
[pid=4599] ppid=4594 vsize=14056 CPUtime=1.46 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 3954 0 0 0 146 0 0 0 25 0 1 0 495851671 14393344 1249 33554432000 4194304 4331988 140734452624736 18446744073709551615 4228313 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3514 1249 174 34 0 1956 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 1585944

[startup+6.30043 s]
/proc/loadavg: 10.15 10.15 9.79 11/188 4600
/proc/meminfo: memFree=18041980/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1072360 CPUtime=6.28 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 11610 0 0 0 626 2 0 0 25 0 1 0 495851671 1098096640 7300 33554432000 4194304 4587354 140736368012752 18446744073709551615 4231873 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 268090 7300 337 96 0 264652 0
[pid=4596] ppid=4594 vsize=22716 CPUtime=6.29 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 3378 0 0 0 629 0 0 0 25 0 1 0 495851671 23261184 3006 33554432000 4194304 4785740 140733956057456 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 5679 3006 340 145 0 2724 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=3.2 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 320 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=14880 CPUtime=6.29 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 4152 0 0 0 629 0 0 0 25 0 1 0 495851671 15237120 2882 33554432000 4194304 4352236 140737094028416 18446744073709551615 4328768 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 3720 2882 127 39 0 2800 0
[pid=4599] ppid=4594 vsize=14868 CPUtime=3.05 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 4140 0 0 0 304 1 0 0 25 0 1 0 495851671 15224832 1435 33554432000 4194304 4331988 140734452624736 18446744073709551615 4315849 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3717 1435 174 34 0 2159 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 1601216

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

[startup+6.50039 s]
/proc/loadavg: 10.15 10.15 9.79 11/188 4600
/proc/meminfo: memFree=18041980/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1071716 CPUtime=6.48 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 12040 0 0 0 646 2 0 0 25 0 1 0 495851671 1097437184 6955 33554432000 4194304 4587354 140736368012752 18446744073709551615 4238051 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 267929 6955 337 96 0 264491 0
[pid=4596] ppid=4594 vsize=22856 CPUtime=6.49 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 3398 0 0 0 649 0 0 0 25 0 1 0 495851671 23404544 3026 33554432000 4194304 4785740 140733956057456 18446744073709551615 4286964 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 5714 3026 340 145 0 2759 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=3.3 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 330 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=14624 CPUtime=6.49 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 4152 0 0 0 649 0 0 0 25 0 1 0 495851671 14974976 2818 33554432000 4194304 4352236 140737094028416 18446744073709551615 4278708 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 3656 2818 127 39 0 2736 0
[pid=4599] ppid=4594 vsize=14868 CPUtime=3.15 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 4144 0 0 0 314 1 0 0 25 0 1 0 495851671 15224832 1439 33554432000 4194304 4331988 140734452624736 18446744073709551615 4228235 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3717 1439 174 34 0 2159 0
Current children cumulated CPU time (s) 25.91
Current children cumulated vsize (KiB) 1600456

[startup+9.70083 s]
/proc/loadavg: 10.13 10.14 9.79 11/188 4600
/proc/meminfo: memFree=18033396/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1071776 CPUtime=9.68 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 14733 0 0 0 966 2 0 0 25 0 1 0 495851671 1097498624 7103 33554432000 4194304 4587354 140736368012752 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 267944 7103 337 96 0 264506 0
[pid=4596] ppid=4594 vsize=24788 CPUtime=9.69 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 3882 0 0 0 969 0 0 0 25 0 1 0 495851671 25382912 3510 33554432000 4194304 4785740 140733956057456 18446744073709551615 4549576 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 6197 3510 340 145 0 3242 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=4.9 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 490 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 7783867 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=12572 CPUtime=9.68 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 5496 0 0 0 968 0 0 0 25 0 1 0 495851671 12873728 2305 33554432000 4194304 4352236 140737094028416 18446744073709551615 4331578 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 3143 2305 127 39 0 2223 0
[pid=4599] ppid=4594 vsize=15324 CPUtime=4.73 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 4272 0 0 0 472 1 0 0 25 0 1 0 495851671 15691776 1567 33554432000 4194304 4331988 140734452624736 18446744073709551615 4226499 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3831 1567 174 34 0 2273 0
Current children cumulated CPU time (s) 38.68
Current children cumulated vsize (KiB) 1600852

[startup+11.3005 s]
/proc/loadavg: 10.13 10.14 9.79 11/188 4600
/proc/meminfo: memFree=18028312/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1071480 CPUtime=11.29 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 16090 0 0 0 1126 3 0 0 25 0 1 0 495851671 1097195520 7497 33554432000 4194304 4587354 140736368012752 18446744073709551615 4231904 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 267870 7497 337 96 0 264432 0
[pid=4596] ppid=4594 vsize=25228 CPUtime=11.29 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 4002 0 0 0 1129 0 0 0 25 0 1 0 495851671 25833472 3630 33554432000 4194304 4785740 140733956057456 18446744073709551615 4553344 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 6307 3630 340 145 0 3352 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=5.7 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 570 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 134529846 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=14748 CPUtime=11.28 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 6296 0 0 0 1128 0 0 0 25 0 1 0 495851671 15101952 2849 33554432000 4194304 4352236 140737094028416 18446744073709551615 4268080 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 3687 2849 127 39 0 2767 0
[pid=4599] ppid=4594 vsize=15552 CPUtime=5.52 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 4292 0 0 0 551 1 0 0 25 0 1 0 495851671 15925248 1587 33554432000 4194304 4331988 140734452624736 18446744073709551615 4228235 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3888 1587 175 34 0 2330 0
Current children cumulated CPU time (s) 45.08
Current children cumulated vsize (KiB) 1603400

[startup+12.1004 s]
/proc/loadavg: 10.13 10.14 9.79 11/188 4600
/proc/meminfo: memFree=18028312/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1072992 CPUtime=12.08 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 16592 0 0 0 1205 3 0 0 25 0 1 0 495851671 1098743808 7029 33554432000 4194304 4587354 140736368012752 18446744073709551615 4238578 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 268248 7029 337 96 0 264810 0
[pid=4596] ppid=4594 vsize=25372 CPUtime=12.09 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 4020 0 0 0 1209 0 0 0 25 0 1 0 495851671 25980928 3648 33554432000 4194304 4785740 140733956057456 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 6343 3648 340 145 0 3388 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=6.1 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 610 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=14956 CPUtime=12.08 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 6348 0 0 0 1208 0 0 0 25 0 1 0 495851671 15314944 2901 33554432000 4194304 4352236 140737094028416 18446744073709551615 4268080 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 3739 2901 127 39 0 2819 0
[pid=4599] ppid=4594 vsize=15552 CPUtime=5.92 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 4302 0 0 0 591 1 0 0 25 0 1 0 495851671 15925248 1597 33554432000 4194304 4331988 140734452624736 18446744073709551615 4246737 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3888 1597 175 34 0 2330 0
Current children cumulated CPU time (s) 48.27
Current children cumulated vsize (KiB) 1605264

[startup+12.3064 s]
/proc/loadavg: 10.13 10.14 9.79 11/188 4600
/proc/meminfo: memFree=18029144/32951124 swapFree=67111524/67111528
[pid=4594] ppid=4592 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/4594/stat : 4594 (ppfolio) S 4592 4594 3973 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 495851670 18763776 390 33554432000 4194304 4287625 140735012499328 18446744073709551615 255106788879 0 0 4096 65536 4428102627816898559 0 0 17 1 0 0 0
/proc/4594/statm: 4581 390 341 23 0 91 0
[pid=4595] ppid=4594 vsize=1072992 CPUtime=12.29 cores=1
/proc/4595/stat : 4595 (cryptominisat) R 4594 4594 3973 0 -1 4202496 16601 0 0 0 1226 3 0 0 25 0 1 0 495851671 1098743808 7038 33554432000 4194304 4587354 140736368012752 18446744073709551615 4238692 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4595/statm: 268248 7038 337 96 0 264810 0
[pid=4596] ppid=4594 vsize=25512 CPUtime=12.29 cores=5
/proc/4596/stat : 4596 (clasp) R 4594 4594 3973 0 -1 4202496 4051 0 0 0 1229 0 0 0 25 0 1 0 495851671 26124288 3679 33554432000 4194304 4785740 140733956057456 18446744073709551615 4553440 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/4596/statm: 6378 3679 340 145 0 3423 0
[pid=4597] ppid=4594 vsize=458068 CPUtime=6.2 cores=7
/proc/4597/stat : 4597 (TNM) R 4594 4594 3973 0 -1 4202496 1275 0 0 0 620 0 0 0 25 0 1 0 495851671 469061632 1172 33554432000 134512640 134534564 4288034256 18446744073709551615 134529632 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4597/statm: 114517 1172 95 6 0 113183 0
[pid=4598] ppid=4594 vsize=14956 CPUtime=12.29 cores=3
/proc/4598/stat : 4598 (lingeling) R 4594 4594 3973 0 -1 4202496 6348 0 0 0 1229 0 0 0 25 0 1 0 495851671 15314944 2901 33554432000 4194304 4352236 140737094028416 18446744073709551615 4241326 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/4598/statm: 3739 2901 127 39 0 2819 0
[pid=4599] ppid=4594 vsize=15552 CPUtime=6.02 cores=7
/proc/4599/stat : 4599 (march_hi) R 4594 4594 3973 0 -1 4202496 4305 0 0 0 601 1 0 0 25 0 1 0 495851671 15925248 1600 33554432000 4194304 4331988 140734452624736 18446744073709551615 4228224 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/4599/statm: 3888 1600 175 34 0 2330 0
Current children cumulated CPU time (s) 49.09
Current children cumulated vsize (KiB) 1605404

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4594 and gives
#  childrusage.ru_utime.tv_sec=43
#  childrusage.ru_utime.tv_usec=350409
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=54991
# CPU time returned by wait4() is 43.4054
# while last known CPU time is 49.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 12.3984
CPU time (s): 49.09
CPU user time (s): 49.05
CPU system time (s): 0.04
CPU usage (%): 395.938
Max. virtual memory (cumulated for all children) (KiB): 1605404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.3504
system time used= 0.054991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28892
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= 169
involuntary context switches= 451

runsolver used 0.011998 second user time and 0.05999 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 01:45:55
IDJOB=3259093
IDBENCH=71487
IDSOLVER=1612
FILE ID=node144/3259093-1304034355
RUNJOBID= node144-1304032526-4356
PBS_JOBID= 13170308
Free space on /tmp= 72376 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g7.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259093-1304034355/watcher-3259093-1304034355 -o /tmp/evaluation-result-3259093-1304034355/solver-3259093-1304034355 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3259093-1304034355.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bd9e06c08721e6eb7b4cb4a265dbdd48
RANDOM SEED=1385646960

node144.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.850
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.70
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.850
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	: 5226.16
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.850
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.75
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.850
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.83
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.850
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.75
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.850
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.82
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.850
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.75
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18104520 kB
Buffers:       2203056 kB
Cached:       10569460 kB
SwapCached:          4 kB
Active:        6074792 kB
Inactive:      8205500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18104520 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10876 kB
Writeback:           0 kB
AnonPages:     1507064 kB
Mapped:          16704 kB
Slab:           499392 kB
PageTables:       7728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2527820 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= 72364 MiB
End job on node144 at 2011-04-29 01:46:08