Trace number 1773149

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
Rsat 2009-03-22SAT 1893.82 1894.29

General information on the benchmark

Nameindustrial/grieu/
vmpc_29.cnf
MD5SUM1e81246225c81a67548d334d1dfcc24b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark49.8534
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 

0.00/0.00	c Parsing...
0.05/0.08	c ==============================================================================
0.05/0.08	c |           |     ORIGINAL     |              LEARNT              |          |
0.05/0.08	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.05/0.08	c ==============================================================================
0.05/0.08	c |         0 |  120147   314766 |   36044       0        0     nan |  0.000 % |
0.05/0.08	c ==============================================================================
0.05/0.08	c Result  :   #vars: 841   #clauses: 120147   #literals: 314766
0.05/0.08	c CPU time:   0.06299 s
0.05/0.08	c ==============================================================================
0.08/0.19	c Rsat version 3.02
0.18/0.25	c Base unit clause learned: 0
1893.51/1894.04	c CNF stats: (841 vars, 120147 clauses)
1893.51/1894.04	c Decisions: 7360682
1893.51/1894.04	c Conflicts: 3614485
1893.51/1894.04	c Restarts: 509
1893.51/1894.04	c Avg lpc: 23.81
1893.51/1894.04	c Max decision level: 138
1893.51/1894.04	c KB reduction: 65 (3178479 clauses removed)
1893.51/1894.04	c Final decision lit size:841 (100.00 %)
1893.51/1894.04	c Final stack/save sizes: 160(19.02 %)/320(38.05 %)
1893.51/1894.04	c Final cdc size: 400 (47.56 %)
1893.51/1894.04	c ***********************************************
1893.51/1894.04	c Conflicts with bac: 230530/3614485 (6.38 %)
1893.51/1894.04	c Avg bac size: 13.07
1893.51/1894.04	c Avg bac bt depth: 8.05 vs 1.62 (normal)
1893.71/1894.27	c Running time: 1892.82325 seconds
1893.71/1894.28	s SATISFIABLE
1893.71/1894.28	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 0

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773149-1241330792/watcher-1773149-1241330792 -o /tmp/evaluation-result-1773149-1241330792/solver-1773149-1241330792 -C 10000 -W 12000 -M 1800 HOME/rsat.sh HOME/instance-1773149-1241330792.cnf HOME 

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): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 27810
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 161112715 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27810/statm: 1339 239 199 169 0 50 0
[pid=27811] ppid=27810 vsize=2016 CPUtime=0
/proc/27811/stat : 27811 (SatElite) R 27810 27810 27675 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 161112715 2064384 318 1992294400 4194304 4959918 548682068688 18446744073709551615 4444576 0 0 4096 3 0 0 0 17 1 0 0
/proc/27811/statm: 504 319 65 186 0 314 0

[startup+0.0587409 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 27810
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 161112715 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27810/statm: 1339 239 199 169 0 50 0
[pid=27811] ppid=27810 vsize=9244 CPUtime=0.05
/proc/27811/stat : 27811 (SatElite) R 27810 27810 27675 0 -1 4194304 2113 0 0 0 4 1 0 0 18 0 1 0 161112715 9465856 2096 1992294400 4194304 4959918 548682068688 18446744073709551615 4444576 0 0 4096 3 0 0 0 17 1 0 0
/proc/27811/statm: 2311 2097 65 186 0 2121 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14600

[startup+0.101745 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 27810
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 289 0 0 0 0 0 0 0 18 0 1 0 161112715 5484544 239 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27810/statm: 1339 239 199 169 0 50 0
[pid=27811] ppid=27810 vsize=13340 CPUtime=0.08
/proc/27811/stat : 27811 (SatElite) R 27810 27810 27675 0 -1 4194304 3191 0 0 0 7 1 0 0 18 0 1 0 161112715 13660160 3174 1992294400 4194304 4959918 548682068688 18446744073709551615 4444704 0 0 4096 3 0 0 0 17 1 0 0
/proc/27811/statm: 3335 3174 90 186 0 3145 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18696

[startup+0.301776 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 27810
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356

[startup+0.701813 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 27810
/proc/meminfo: memFree=1077432/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356

[startup+1.50287 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1065832/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=12272 CPUtime=1.29
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 2613 0 0 0 128 1 0 0 25 0 1 0 161112734 12566528 2594 1992294400 4194304 5460562 548682068800 18446744073709551615 4198106 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 3068 2594 118 309 0 2755 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17628

[startup+3.10102 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1064808/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=13696 CPUtime=2.89
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 2991 0 0 0 288 1 0 0 25 0 1 0 161112734 14024704 2906 1992294400 4194304 5460562 548682068800 18446744073709551615 4198194 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 3424 2906 118 309 0 3111 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 19052

[startup+6.30132 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1062064/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=16488 CPUtime=6.09
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 3725 0 0 0 607 2 0 0 25 0 1 0 161112734 16883712 3510 1992294400 4194304 5460562 548682068800 18446744073709551615 4210666 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 4122 3510 118 309 0 3809 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21844

[startup+12.7019 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1060272/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=17812 CPUtime=12.48
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 4585 0 0 0 1246 2 0 0 25 0 1 0 161112734 18239488 3854 1992294400 4194304 5460562 548682068800 18446744073709551615 4198064 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 4453 3854 118 309 0 4140 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 23168

[startup+25.5011 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1059440/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=18220 CPUtime=25.28
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 6191 0 0 0 2525 3 0 0 25 0 1 0 161112734 18657280 4020 1992294400 4194304 5460562 548682068800 18446744073709551615 4202365 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 4555 4020 118 309 0 4242 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 23576

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1058032/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=19724 CPUtime=50.87
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 8985 0 0 0 5082 5 0 0 25 0 1 0 161112734 20197376 4414 1992294400 4194304 5460562 548682068800 18446744073709551615 4198109 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 4931 4414 118 309 0 4618 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 25080

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1055344/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=22800 CPUtime=102.07
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 17789 0 0 0 10197 10 0 0 25 0 1 0 161112734 23347200 5052 1992294400 4194304 5460562 548682068800 18446744073709551615 4225790 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 5700 5052 118 309 0 5387 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 28156

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1052080/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=25584 CPUtime=162.05
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 26539 0 0 0 16190 15 0 0 25 0 1 0 161112734 26198016 5866 1992294400 4194304 5460562 548682068800 18446744073709551615 4225752 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 6396 5866 118 309 0 6083 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 30940

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1049456/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=30196 CPUtime=222.03
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 33770 0 0 0 22185 18 0 0 25 0 1 0 161112734 30920704 6563 1992294400 4194304 5460562 548682068800 18446744073709551615 4198115 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 7549 6563 118 309 0 7236 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35552

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1045872/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=32952 CPUtime=282.02
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 44687 0 0 0 28179 23 0 0 25 0 1 0 161112734 33742848 7400 1992294400 4194304 5460562 548682068800 18446744073709551615 4198198 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 8238 7400 118 309 0 7925 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 38308

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1042992/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=35476 CPUtime=342
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 51448 0 0 0 34173 27 0 0 25 0 1 0 161112734 36327424 8113 1992294400 4194304 5460562 548682068800 18446744073709551615 4226164 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 8869 8113 118 309 0 8556 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 40832

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1040432/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18

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


[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1005616/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=72816 CPUtime=1661.69
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 138941 0 0 0 166096 73 0 0 25 0 1 0 161112734 74563584 17455 1992294400 4194304 5460562 548682068800 18446744073709551615 4198137 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 18204 17455 118 309 0 17891 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 78172

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1005360/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=73232 CPUtime=1721.67
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 139041 0 0 0 172094 73 0 0 25 0 1 0 161112734 74989568 17555 1992294400 4194304 5460562 548682068800 18446744073709551615 4198064 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 18308 17555 118 309 0 17995 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 78588

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1003952/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=74192 CPUtime=1781.65
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 143399 0 0 0 178090 75 0 0 25 0 1 0 161112734 75972608 17849 1992294400 4194304 5460562 548682068800 18446744073709551615 4198143 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 18548 17849 118 309 0 18235 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 79548

[startup+1842.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1003952/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=74192 CPUtime=1841.64
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 143432 0 0 0 184089 75 0 0 25 0 1 0 161112734 75972608 17882 1992294400 4194304 5460562 548682068800 18446744073709551615 4198064 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 18548 17882 118 309 0 18235 0
Current children cumulated CPU time (s) 1841.82
Current children cumulated vsize (KiB) 79548

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

[startup+1843.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1003952/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=74192 CPUtime=1842.44
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 143432 0 0 0 184169 75 0 0 25 0 1 0 161112734 75972608 17882 1992294400 4194304 5460562 548682068800 18446744073709551615 4198137 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 18548 17882 118 309 0 18235 0
Current children cumulated CPU time (s) 1842.62
Current children cumulated vsize (KiB) 79548

[startup+1868.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1003376/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=74800 CPUtime=1868.03
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 143590 0 0 0 186728 75 0 0 25 0 1 0 161112734 76595200 18040 1992294400 4194304 5460562 548682068800 18446744073709551615 4198064 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 18700 18040 118 309 0 18387 0
Current children cumulated CPU time (s) 1868.21
Current children cumulated vsize (KiB) 80156

[startup+1881.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1001456/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=76788 CPUtime=1880.83
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 144081 0 0 0 188007 76 0 0 25 0 1 0 161112734 78630912 18531 1992294400 4194304 5460562 548682068800 18446744073709551615 4198064 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19197 18531 118 309 0 18884 0
Current children cumulated CPU time (s) 1881.01
Current children cumulated vsize (KiB) 82144

[startup+1887.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1000752/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=77088 CPUtime=1887.23
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 148253 0 0 0 188645 78 0 0 25 0 1 0 161112734 78938112 18639 1992294400 4194304 5460562 548682068800 18446744073709551615 4198162 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19272 18639 118 309 0 18959 0
Current children cumulated CPU time (s) 1887.41
Current children cumulated vsize (KiB) 82444

[startup+1891.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1000752/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=77088 CPUtime=1890.43
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 148254 0 0 0 188965 78 0 0 25 0 1 0 161112734 78938112 18640 1992294400 4194304 5460562 548682068800 18446744073709551615 4198156 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19272 18640 118 309 0 18959 0
Current children cumulated CPU time (s) 1890.61
Current children cumulated vsize (KiB) 82444

[startup+1892.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1000752/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=77088 CPUtime=1892.03
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 148255 0 0 0 189125 78 0 0 25 0 1 0 161112734 78938112 18641 1992294400 4194304 5460562 548682068800 18446744073709551615 4198064 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19272 18641 118 309 0 18959 0
Current children cumulated CPU time (s) 1892.21
Current children cumulated vsize (KiB) 82444

[startup+1893.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1000752/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=77088 CPUtime=1892.83
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 148256 0 0 0 189205 78 0 0 25 0 1 0 161112734 78938112 18642 1992294400 4194304 5460562 548682068800 18446744073709551615 4225624 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19272 18642 118 309 0 18959 0
Current children cumulated CPU time (s) 1893.01
Current children cumulated vsize (KiB) 82444

[startup+1893.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1000752/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=77088 CPUtime=1893.23
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 148256 0 0 0 189245 78 0 0 25 0 1 0 161112734 78938112 18642 1992294400 4194304 5460562 548682068800 18446744073709551615 4226209 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19272 18642 118 309 0 18959 0
Current children cumulated CPU time (s) 1893.41
Current children cumulated vsize (KiB) 82444

[startup+1894.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1001648/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=76148 CPUtime=1893.43
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 148257 0 0 0 189265 78 0 0 25 0 1 0 161112734 77975552 18407 1992294400 4194304 5460562 548682068800 18446744073709551615 4786437 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19037 18407 118 309 0 18724 0
Current children cumulated CPU time (s) 1893.61
Current children cumulated vsize (KiB) 81504

[startup+1894.21 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 27813
/proc/meminfo: memFree=1001648/2055920 swapFree=4181256/4192956
[pid=27810] ppid=27808 vsize=5356 CPUtime=0.18
/proc/27810/stat : 27810 (rsat.sh) S 27808 27810 27675 0 -1 4194304 312 3194 0 0 0 0 16 2 16 0 1 0 161112715 5484544 241 1992294400 4194304 4889804 548682068784 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27810/statm: 1339 241 199 169 0 50 0
[pid=27813] ppid=27810 vsize=76148 CPUtime=1893.53
/proc/27813/stat : 27813 (rsat) R 27810 27810 27675 0 -1 4194304 148257 0 0 0 189275 78 0 0 25 0 1 0 161112734 77975552 18407 1992294400 4194304 5460562 548682068800 18446744073709551615 4786376 0 0 4096 1026 0 0 0 17 1 0 0
/proc/27813/statm: 19037 18407 118 309 0 18724 0
Current children cumulated CPU time (s) 1893.71
Current children cumulated vsize (KiB) 81504

Child status: 10
Real time (s): 1894.29
CPU time (s): 1893.82
CPU user time (s): 1892.99
CPU system time (s): 0.829873
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 98828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1892.99
system time used= 0.829873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152089
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= 42
involuntary context switches= 3660

runsolver used 2.08568 second user time and 4.81127 second system time

The end

Launcher Data 

Begin job on node14 at 2009-05-03 08:06:32
IDJOB=1773149
IDBENCH=20491
IDSOLVER=615
FILE ID=node14/1773149-1241330792
PBS_JOBID= 9225409
Free space on /tmp= 66552 MiB

SOLVER NAME= Rsat 2009-03-22
BENCH NAME= SAT07/industrial/grieu/vmpc_29.cnf
COMMAND LINE= HOME/rsat.sh BENCHNAME TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773149-1241330792/watcher-1773149-1241330792 -o /tmp/evaluation-result-1773149-1241330792/solver-1773149-1241330792 -C 10000 -W 12000 -M 1800  HOME/rsat.sh HOME/instance-1773149-1241330792.cnf HOME

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

MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED=24073495

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.256
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1077976 kB
Buffers:         87660 kB
Cached:         783884 kB
SwapCached:       5520 kB
Active:         138376 kB
Inactive:       741020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1077976 kB
SwapTotal:     4192956 kB
SwapFree:      4181256 kB
Dirty:            7488 kB
Writeback:           0 kB
Mapped:          13556 kB
Slab:            84640 kB
Committed_AS:   643184 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66544 MiB
End job on node14 at 2009-05-03 08:38:07