Trace number 1776361

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
ManySAT 1.1 aimd 0/2009-03-20 (4 threads)SAT 245.98 61.9732

General information on the benchmark

Nameindustrial/grieu/
vmpc_28.cnf
MD5SUM2679ca6fb11bcf9f950de09652ce7147
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark59.91
Satisfiable
(Un)Satisfiability was proved
Number of variables784
Number of clauses108080
Sum of the clauses size283220
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242420
Number of clauses of size 365604
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 556

Solver Data 

0.00/0.00	c Parsing...
0.00/0.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |  108080   283220 |   32423       0        0     nan |  0.000 % |
0.00/0.06	c ==============================================================================
0.00/0.06	c Result  :   #vars: 784   #clauses: 108080   #literals: 283220
0.00/0.06	c CPU time:   0.06 s
0.00/0.06	c ==============================================================================
245.75/61.96	c This is ManySAT 1.1 : 4 thread(s) on 4 core(s).
245.75/61.96	c ============================[ Problem Statistics ]=============================
245.75/61.96	c |                                                                             |
245.75/61.96	c threadId              : 1
245.75/61.96	c restarts              : 1920
245.75/61.96	c conflicts             : 323541         (1318 /sec)
245.75/61.96	c decisions             : 695821         (0.93 % random) (2835 /sec)
245.75/61.96	c propagations          : 42856122       (174624 /sec)
245.75/61.96	c conflict literals     : 8736228        (54.24 % deleted)
245.75/61.96	c Memory used           : 138.76 MB
245.75/61.96	c CPU time              : 245.42 s
245.75/61.96	
245.75/61.96	c --->m=4, e=8, aimd=0, HOME/820_many.cnf	time: 61.355	conflicts: 323541       
245.75/61.97	s SATISFIABLE
245.75/61.97	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 0

Verifier Data 

OK

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1776361-1243509174/watcher-1776361-1243509174 -o /tmp/evaluation-result-1776361-1243509174/solver-1776361-1243509174 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776361-1243509174.cnf aimd 0 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 4.40 4.31 4.27 4/110 821
/proc/meminfo: memFree=1495416/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2416 CPUtime=0
/proc/820/stat : 820 (manysat.sh) R 818 820 29143 0 -1 4194304 335 0 0 0 0 0 0 0 19 0 1 0 1115580240 2473984 274 4294967295 134512640 135169312 3217457072 3217455548 3085678452 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/820/statm: 604 274 231 161 0 43 0
[pid=821] ppid=820 vsize=1344 CPUtime=0.01
/proc/821/stat : 821 (SatElite) R 820 820 29143 0 -1 4202496 270 0 0 0 1 0 0 0 19 0 1 0 1115580240 1376256 207 4294967295 134512640 135034092 3217071904 3217068248 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/821/statm: 336 208 50 128 0 206 0

[startup+0.105126 s]
/proc/loadavg: 4.40 4.31 4.27 4/110 821
/proc/meminfo: memFree=1495416/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2416 CPUtime=0
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1115580240 2473984 274 4294967295 134512640 135169312 3217457072 3217455608 3085676270 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/820/statm: 604 274 231 161 0 43 0
[pid=821] ppid=820 vsize=6744 CPUtime=0.11
/proc/821/stat : 821 (SatElite) R 820 820 29143 0 -1 4202496 1615 0 0 0 10 1 0 0 23 0 1 0 1115580240 6905856 1552 4294967295 134512640 135034092 3217071904 3217066788 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/821/statm: 1686 1552 66 128 0 1556 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9160

[startup+0.205119 s]
/proc/loadavg: 4.40 4.31 4.27 4/110 821
/proc/meminfo: memFree=1495416/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2420

[startup+0.305114 s]
/proc/loadavg: 4.40 4.31 4.27 4/110 821
/proc/meminfo: memFree=1495416/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2420

[startup+0.705101 s]
/proc/loadavg: 4.40 4.31 4.27 4/110 821
/proc/meminfo: memFree=1495416/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2420

[startup+1.50506 s]
/proc/loadavg: 4.37 4.30 4.27 6/114 826
/proc/meminfo: memFree=1463700/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=62336 CPUtime=4.84
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 8755 0 0 0 476 8 0 0 16 0 4 0 1115580256 63832064 8689 4294967295 134512640 135305190 3213228960 3213227136 134528392 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 15584 8689 79 194 0 15388 0
[pid=823/tid=824] ppid=820 vsize=62336 CPUtime=1.17
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 584 0 0 0 116 1 0 0 18 0 4 0 1115580272 63832064 8689 4294967295 134512640 135305190 3213228960 3083128000 134528237 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=823/tid=825] ppid=820 vsize=62336 CPUtime=1.17
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 884 0 0 0 117 0 0 0 20 0 4 0 1115580272 63832064 8689 4294967295 134512640 135305190 3213228960 3074739392 134528506 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=62336 CPUtime=1.17
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 665 0 0 0 114 3 0 0 17 0 4 0 1115580272 63832064 8689 4294967295 134512640 135305190 3213228960 3066350784 134528562 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 64756

[startup+3.10497 s]
/proc/loadavg: 4.37 4.30 4.27 7/114 826
/proc/meminfo: memFree=1455560/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=70736 CPUtime=11.24
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 11059 0 0 0 1114 10 0 0 15 0 4 0 1115580256 72433664 10993 4294967295 134512640 135305190 3213228960 3213226984 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 17684 10993 79 194 0 17488 0
[pid=823/tid=824] ppid=820 vsize=70736 CPUtime=2.77
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 1043 0 0 0 276 1 0 0 15 0 4 0 1115580272 72433664 10993 4294967295 134512640 135305190 3213228960 3083128000 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=823/tid=825] ppid=820 vsize=70736 CPUtime=2.77
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 1618 0 0 0 276 1 0 0 22 0 4 0 1115580272 72433664 10993 4294967295 134512640 135305190 3213228960 3074739392 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=70736 CPUtime=2.77
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 1287 0 0 0 274 3 0 0 15 0 4 0 1115580272 72433664 10993 4294967295 134512640 135305190 3213228960 3066350784 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 73156

[startup+6.30481 s]
/proc/loadavg: 4.42 4.31 4.27 6/114 826
/proc/meminfo: memFree=1441932/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=83308 CPUtime=24.02
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 13967 0 0 0 2388 14 0 0 15 0 4 0 1115580256 85307392 13851 4294967295 134512640 135305190 3213228960 3213227136 134528392 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 20827 13851 79 194 0 20631 0
[pid=823/tid=824] ppid=820 vsize=83308 CPUtime=5.97
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 1737 0 0 0 595 2 0 0 16 0 4 0 1115580272 85307392 13851 4294967295 134512640 135305190 3213228960 3083128000 134528771 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=823/tid=825] ppid=820 vsize=83308 CPUtime=5.96
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 2576 0 0 0 593 3 0 0 25 0 4 0 1115580272 85307392 13851 4294967295 134512640 135305190 3213228960 3074739392 134528402 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=83308 CPUtime=5.97
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 1857 0 0 0 593 4 0 0 16 0 4 0 1115580272 85307392 13851 4294967295 134512640 135305190 3213228960 3066350784 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.18
Current children cumulated vsize (KiB) 85728

[startup+12.7045 s]
/proc/loadavg: 4.47 4.33 4.27 8/117 852
/proc/meminfo: memFree=1429208/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=95004 CPUtime=49.56
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 16954 0 0 0 4938 18 0 0 17 0 4 0 1115580256 97284096 16838 4294967295 134512640 135305190 3213228960 3213226676 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 23751 16838 79 194 0 23555 0
[pid=823/tid=824] ppid=820 vsize=95004 CPUtime=12.36
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 2527 0 0 0 1234 2 0 0 20 0 4 0 1115580272 97284096 16838 4294967295 134512640 135305190 3213228960 3083128000 134528237 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=823/tid=825] ppid=820 vsize=95004 CPUtime=12.31
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 3462 0 0 0 1227 4 0 0 25 0 4 0 1115580272 97284096 16838 4294967295 134512640 135305190 3213228960 3074739392 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=826] ppid=820 vsize=95004 CPUtime=12.36
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 2454 0 0 0 1231 5 0 0 18 0 4 0 1115580272 97284096 16838 4294967295 134512640 135305190 3213228960 3066350784 134528256 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.72
Current children cumulated vsize (KiB) 97424

[startup+25.5038 s]
/proc/loadavg: 4.55 4.35 4.28 5/114 1023
/proc/meminfo: memFree=1406792/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=115992 CPUtime=100.34
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 22243 0 0 0 10012 22 0 0 25 0 4 0 1115580256 118775808 22127 4294967295 134512640 135305190 3213228960 3213227136 134528768 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 28998 22127 79 194 0 28802 0
[pid=823/tid=824] ppid=820 vsize=115992 CPUtime=25.09
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 3722 0 0 0 2507 2 0 0 25 0 4 0 1115580272 118775808 22127 4294967295 134512640 135305190 3213228960 3083128000 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=115992 CPUtime=25.01
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 5034 0 0 0 2494 7 0 0 25 0 4 0 1115580272 118775808 22127 4294967295 134512640 135305190 3213228960 3074739392 134528489 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=115992 CPUtime=24.95
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 3641 0 0 0 2490 5 0 0 24 0 4 0 1115580272 118775808 22127 4294967295 134512640 135305190 3213228960 3066350500 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.5
Current children cumulated vsize (KiB) 118412

[startup+51.1025 s]
/proc/loadavg: 4.33 4.31 4.27 5/114 1025
/proc/meminfo: memFree=1385492/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=137440 CPUtime=202.44
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 27504 0 0 0 20210 34 0 0 25 0 4 0 1115580256 140738560 27388 4294967295 134512640 135305190 3213228960 3213226880 134541967 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 34360 27388 79 194 0 34164 0
[pid=823/tid=824] ppid=820 vsize=137440 CPUtime=50.67
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4642 0 0 0 5063 4 0 0 22 0 4 0 1115580272 140738560 27388 4294967295 134512640 135305190 3213228960 3083127728 134558282 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=137440 CPUtime=50.49
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 7359 0 0 0 5037 12 0 0 25 0 4 0 1115580272 140738560 27388 4294967295 134512640 135305190 3213228960 3074739392 134528237 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=137440 CPUtime=50.52
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4617 0 0 0 5046 6 0 0 25 0 4 0 1115580272 140738560 27388 4294967295 134512640 135305190 3213228960 3066350784 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.6
Current children cumulated vsize (KiB) 139860

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

[startup+51.2025 s]
/proc/loadavg: 4.33 4.31 4.27 5/114 1025
/proc/meminfo: memFree=1385492/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=137440 CPUtime=202.84
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 27510 0 0 0 20250 34 0 0 25 0 4 0 1115580256 140738560 27394 4294967295 134512640 135305190 3213228960 3213226996 134846358 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 34360 27394 79 194 0 34164 0
[pid=823/tid=824] ppid=820 vsize=137440 CPUtime=50.77
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4642 0 0 0 5073 4 0 0 22 0 4 0 1115580272 140738560 27394 4294967295 134512640 135305190 3213228960 3083128000 134528520 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=137440 CPUtime=50.59
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 7365 0 0 0 5047 12 0 0 25 0 4 0 1115580272 140738560 27394 4294967295 134512640 135305190 3213228960 3074739392 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=137440 CPUtime=50.62
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4617 0 0 0 5056 6 0 0 25 0 4 0 1115580272 140738560 27394 4294967295 134512640 135305190 3213228960 3066350784 134528319 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203
Current children cumulated vsize (KiB) 139860

[startup+57.6121 s]
/proc/loadavg: 4.30 4.31 4.27 5/114 1026
/proc/meminfo: memFree=1383640/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=139640 CPUtime=228.39
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 28020 0 0 0 22803 36 0 0 25 0 4 0 1115580256 142991360 27904 4294967295 134512640 135305190 3213228960 3213227136 134528341 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 34910 27904 79 194 0 34714 0
[pid=823/tid=824] ppid=820 vsize=139640 CPUtime=57.18
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4682 0 0 0 5714 4 0 0 25 0 4 0 1115580272 142991360 27904 4294967295 134512640 135305190 3213228960 3083128000 134528350 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=139640 CPUtime=56.96
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 7702 0 0 0 5684 12 0 0 25 0 4 0 1115580272 142991360 27904 4294967295 134512640 135305190 3213228960 3074739392 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=139640 CPUtime=57.02
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4672 0 0 0 5695 7 0 0 25 0 4 0 1115580272 142991360 27904 4294967295 134512640 135305190 3213228960 3066350784 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 228.55
Current children cumulated vsize (KiB) 142060

[startup+59.212 s]
/proc/loadavg: 4.30 4.31 4.27 5/114 1026
/proc/meminfo: memFree=1383344/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=139916 CPUtime=234.79
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 28137 0 0 0 23440 39 0 0 25 0 4 0 1115580256 143273984 28021 4294967295 134512640 135305190 3213228960 3213227136 134528551 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 34979 28021 79 194 0 34783 0
[pid=823/tid=824] ppid=820 vsize=139916 CPUtime=58.78
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4695 0 0 0 5874 4 0 0 25 0 4 0 1115580272 143273984 28021 4294967295 134512640 135305190 3213228960 3083128000 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=139916 CPUtime=58.56
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 7755 0 0 0 5843 13 0 0 25 0 4 0 1115580272 143273984 28021 4294967295 134512640 135305190 3213228960 3074739392 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=139916 CPUtime=58.62
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4684 0 0 0 5855 7 0 0 25 0 4 0 1115580272 143273984 28021 4294967295 134512640 135305190 3213228960 3066350784 134528425 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 234.95
Current children cumulated vsize (KiB) 142336

[startup+60.812 s]
/proc/loadavg: 4.36 4.32 4.27 6/114 1026
/proc/meminfo: memFree=1382160/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=140584 CPUtime=241.19
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 28363 0 0 0 24080 39 0 0 25 0 4 0 1115580256 143958016 28247 4294967295 134512640 135305190 3213228960 3213227136 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 35146 28247 79 194 0 34950 0
[pid=823/tid=824] ppid=820 vsize=140584 CPUtime=60.38
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4716 0 0 0 6034 4 0 0 25 0 4 0 1115580272 143958016 28247 4294967295 134512640 135305190 3213228960 3083128000 134528376 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=140584 CPUtime=60.16
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 7883 0 0 0 6003 13 0 0 25 0 4 0 1115580272 143958016 28247 4294967295 134512640 135305190 3213228960 3074739392 134528406 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=140584 CPUtime=60.22
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4735 0 0 0 6015 7 0 0 25 0 4 0 1115580272 143958016 28247 4294967295 134512640 135305190 3213228960 3066350784 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 241.35
Current children cumulated vsize (KiB) 143004

[startup+61.6119 s]
/proc/loadavg: 4.36 4.32 4.27 5/114 1026
/proc/meminfo: memFree=1381420/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=141956 CPUtime=244.41
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 28602 0 0 0 24402 39 0 0 25 0 4 0 1115580256 145362944 28486 4294967295 134512640 135305190 3213228960 3213227136 134528861 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 35489 28486 79 194 0 35293 0
[pid=823/tid=824] ppid=820 vsize=141956 CPUtime=61.18
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4749 0 0 0 6114 4 0 0 25 0 4 0 1115580272 145362944 28486 4294967295 134512640 135305190 3213228960 3083128000 134528523 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=141956 CPUtime=60.96
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 7965 0 0 0 6083 13 0 0 25 0 4 0 1115580272 145362944 28486 4294967295 134512640 135305190 3213228960 3074739392 134528402 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=141956 CPUtime=61.02
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4791 0 0 0 6095 7 0 0 25 0 4 0 1115580272 145362944 28486 4294967295 134512640 135305190 3213228960 3066350784 134528506 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 244.57
Current children cumulated vsize (KiB) 144376

[startup+61.8119 s]
/proc/loadavg: 4.36 4.32 4.27 5/114 1026
/proc/meminfo: memFree=1381420/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=142088 CPUtime=245.19
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 28692 0 0 0 24480 39 0 0 25 0 4 0 1115580256 145498112 28576 4294967295 134512640 135305190 3213228960 3213226676 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 35522 28576 79 194 0 35326 0
[pid=823/tid=824] ppid=820 vsize=142088 CPUtime=61.38
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4767 0 0 0 6134 4 0 0 25 0 4 0 1115580272 145498112 28576 4294967295 134512640 135305190 3213228960 3083128000 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=142088 CPUtime=61.16
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 8002 0 0 0 6103 13 0 0 25 0 4 0 1115580272 145498112 28576 4294967295 134512640 135305190 3213228960 3074739392 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=142088 CPUtime=61.22
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4804 0 0 0 6115 7 0 0 25 0 4 0 1115580272 145498112 28576 4294967295 134512640 135305190 3213228960 3066350784 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 245.35
Current children cumulated vsize (KiB) 144508

[startup+61.9119 s]
/proc/loadavg: 4.36 4.32 4.27 5/114 1026
/proc/meminfo: memFree=1381420/3368532 swapFree=1959840/1959888
[pid=820] ppid=818 vsize=2420 CPUtime=0.16
/proc/820/stat : 820 (manysat.sh) S 818 820 29143 0 -1 4194304 371 1619 0 0 0 0 15 1 20 0 1 0 1115580240 2478080 276 4294967295 134512640 135169312 3217457072 3217453288 3085676270 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/820/statm: 605 276 231 161 0 44 0
[pid=823] ppid=820 vsize=142088 CPUtime=245.59
/proc/823/stat : 823 (manysat1.1_stat) R 820 820 29143 0 -1 4202496 28712 0 0 0 24520 39 0 0 25 0 4 0 1115580256 145498112 28596 4294967295 134512640 135305190 3213228960 3213227136 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/823/statm: 35522 28596 79 194 0 35326 0
[pid=823/tid=824] ppid=820 vsize=142088 CPUtime=61.48
/proc/823/task/824/stat : 824 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4771 0 0 0 6144 4 0 0 25 0 4 0 1115580272 145498112 28596 4294967295 134512640 135305190 3213228960 3083128000 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=823/tid=825] ppid=820 vsize=142088 CPUtime=61.26
/proc/823/task/825/stat : 825 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 8008 0 0 0 6113 13 0 0 25 0 4 0 1115580272 145498112 28596 4294967295 134512640 135305190 3213228960 3074739392 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=823/tid=826] ppid=820 vsize=142088 CPUtime=61.32
/proc/823/task/826/stat : 826 (manysat1.1_stat) R 820 820 29143 0 -1 4202560 4810 0 0 0 6125 7 0 0 25 0 4 0 1115580272 145498112 28596 4294967295 134512640 135305190 3213228960 3066350784 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 245.75
Current children cumulated vsize (KiB) 144508

Child status: 10
Real time (s): 61.9732
CPU time (s): 245.98
CPU user time (s): 245.57
CPU system time (s): 0.41
CPU usage (%): 396.914
Max. virtual memory (cumulated for all children) (KiB): 144508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.57
system time used= 0.41
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30919
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= 5812
involuntary context switches= 18191

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 13:12:54
IDJOB=1776361
IDBENCH=20492
IDSOLVER=620
FILE ID=/1776361-1243509174
PBS_JOBID=
Free space on /tmp= 7986 MiB

SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_28.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776361-1243509174/watcher-1776361-1243509174 -o /tmp/evaluation-result-1776361-1243509174/solver-1776361-1243509174 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776361-1243509174.cnf aimd 0

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 2679ca6fb11bcf9f950de09652ce7147
RANDOM SEED= 1198781736

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       1495860 kB
Buffers:         38528 kB
Cached:        1671788 kB
SwapCached:          0 kB
Active:         410340 kB
Inactive:      1319396 kB
HighTotal:     2489216 kB
HighFree:      1056004 kB
LowTotal:       879316 kB
LowFree:        439856 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2924 kB
Writeback:           0 kB
AnonPages:       19700 kB
Mapped:           7640 kB
Slab:           133164 kB
SReclaimable:   119816 kB
SUnreclaim:      13348 kB
PageTables:        656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   111084 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7984 MiB
End job on  at 2009-05-28 13:13:56