Trace number 1773147

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
MXC 2009-03-10SAT 3048.06 3048.8

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 

172.05/172.13	c starting MXC with:
172.05/172.13	c cnf_path = HOME/instance-1773147-1241298573.cnf
172.05/172.13	c restart_strategy = auto
172.05/172.13	c sign_strategy = cached
172.05/172.13	c use_preprocessing = -1
172.05/172.13	c output_implicant = 1
172.05/172.13	c timeout_seconds = 0
172.05/172.13	c running SatELite... done
172.05/172.13	c 1 vars eliminated
172.05/172.13	c received 0 units and 89294 clauses from SatELite
172.05/172.13	c 0 assignments made, starting to guess now
172.05/172.13	c ===================================[MXC]=====================================
172.05/172.13	c | Conflicts |                Clause Statistics                   |   Vars   |
172.05/172.13	c |           |    CARD     BIN      O3+      L3+   L3+Lim  Lit/CL |          |
172.05/172.13	c =============================================================================
172.05/172.13	c |         0 |       0   30817    58477        0        0     nan |      841 |
172.05/172.13	c |       100 |       0   30817    58477      100     1050    33.9 |      841 |
172.05/172.13	c |       210 |       0   30817    58477      210     1105    39.4 |      841 |
172.05/172.13	c |       441 |       0   30817    58477      441     1220    31.1 |      841 |
172.05/172.13	c |       805 |       0   30817    58477      805     1402    27.1 |      841 |
172.05/172.13	c |      1315 |       0   30817    58477     1315     1657    26.6 |      841 |
172.05/172.13	c |      1986 |       0   30817    58477     1986     1993    27.0 |      841 |
172.05/172.13	c |      2834 |       0   30817    58477     1834     2417    26.0 |      841 |
172.05/172.13	c |      3876 |       0   30817    58477     2876     2938    25.0 |      841 |
172.05/172.13	c |      5132 |       0   30817    58477     2632     3566    24.9 |      841 |
172.05/172.13	c |      6623 |       0   30817    58477     4123     4311    24.6 |      841 |
172.05/172.13	c |      8373 |       0   30817    58477     3623     5186    23.9 |      841 |
172.05/172.13	c |     10408 |       0   30817    58477     5658     6204    24.8 |      841 |
172.05/172.13	c |     12756 |       0   30817    58477     4631     7378    26.3 |      841 |
172.05/172.13	c |     15449 |       0   30818    58477     7323     8724    26.0 |      841 |
172.05/172.13	c |     18521 |       0   30819    58477     5330    10260    25.0 |      841 |
172.05/172.13	c |     22010 |       0   30819    58477     8819    12005    25.4 |      841 |
172.05/172.13	c |     25958 |       0   30819    58477    12767    13979    25.3 |      841 |
172.05/172.13	c |     30411 |       0   30822    58477     9621    16205    25.6 |      841 |
172.05/172.13	c |     35419 |       0   30824    58477    14627    18709    25.4 |      841 |
172.05/172.13	c |     41038 |       0   30824    58477    20246    21519    25.5 |      841 |
172.05/172.13	c |     47329 |       0   30825    58477    15140    24664    25.7 |      841 |
172.05/172.13	c |     54360 |       0   30826    58477    22170    28180    26.3 |      841 |
172.05/172.13	c |     62205 |       0   30828    58477    30013    32102    27.0 |      841 |
172.05/172.13	c |     70945 |       0   30829    58477    21656    36472    28.4 |      841 |
172.05/172.13	c |     80669 |       0   30834    58477    31375    41334    28.5 |      841 |
172.05/172.13	c |     91476 |       0   30835    58477    42181    46738    28.4 |      841 |
172.05/172.13	c |    103474 |       0   30835    58477    28531    52737    28.3 |      841 |
172.05/172.13	c |    116782 |       0   30835    58477    41839    59391    28.3 |      841 |
172.05/172.13	c |    131532 |       0   30836    58477    56588    66766    28.1 |      841 |
172.05/172.13	c |    147868 |       0   30839    58477    72921    74934    28.1 |      841 |
172.05/172.13	c |    165948 |       0   30841    58477    52526    83974    28.5 |      841 |
172.05/172.13	c |    185947 |       0   30843    58477    72523    93973    28.8 |      841 |
172.05/172.13	c |    208057 |       0   30846    58477    94630   105028    29.7 |      841 |
172.05/172.13	c |    232489 |       0   30850    58477    61343   117244    30.0 |      841 |
172.05/172.13	c |    259475 |       0   30854    58477    88325   130737    30.4 |      841 |
172.05/172.13	c |    289271 |       0   30858    58477   118117   145635    30.7 |      841 |
172.05/172.13	c |    322158 |       0   30863    58477   150999   162079    31.3 |      841 |
172.05/172.13	c |    358445 |       0   30868    58477   104744   167583    30.1 |      841 |
172.05/172.13	c |    398472 |       0   30875    58477   144764   171821    30.8 |      841 |
172.05/172.13	c |    442613 |       0   30888    58477   101488   176148    30.8 |      841 |
172.05/172.13	c |    491279 |       0   30895    58477   150147   180537    31.9 |      841 |
172.05/172.13	c |    544923 |       0   30909    58477   112097   185025    31.2 |      841 |
3047.95/3048.77	c |    604043 |       0   30915    58477   171211   189575    33.4 |      841 |
3047.95/3048.77	c |    669187 |       0   30922    58477   140836   194212    31.9 |      841 |
3047.95/3048.77	c |    740957 |       0   30932    58477   113589   198947    31.6 |      841 |
3047.95/3048.77	c |    820016 |       0   30943    58477   192637   203776    33.6 |      841 |
3047.95/3048.77	c |    907092 |       0   30959    58477   177462   208715    34.1 |      841 |
3047.95/3048.77	c |   1002987 |       0   30976    58477   168096   213756    33.5 |      841 |
3047.95/3048.77	c |   1108583 |       0   30989    58477   165609   218886    33.6 |      841 |
3047.95/3048.77	c |   1224850 |       0   31011    58477   171131   224148    33.9 |      841 |
3047.95/3048.77	c |   1352856 |       0   31030    58477   185863   229510    35.1 |      841 |
3047.95/3048.77	c |   1493774 |       0   31062    58477   211084   235026    35.0 |      841 |
3047.95/3048.77	c |   1648896 |       0   31098    58477   127995   240673    33.9 |      841 |
3047.95/3048.77	c |   1819642 |       0   31134    58477   176384   246439    35.8 |      841 |
3047.95/3048.77	c |   2007575 |       0   31171    58477   239894   252333    36.5 |      841 |
3047.95/3048.77	c |   2214413 |       0   31216    58477   192035   258384    36.6 |      841 |
3047.95/3048.77	c |   2442047 |       0   31286    58477   157463   264662    35.9 |      841 |
3047.95/3048.77	c |   2692557 |       0   31323    58252   137618   271005    35.8 |      840 |
3047.95/3048.77	c |   2968230 |       0   31364    57814   232659   276850    38.4 |      838 |
3047.95/3048.77	c |   3271583 |       0   31392    57379   224199   282252    38.1 |      836 |
3047.95/3048.77	c |   3605384 |       0   31446    56953   215600   287730    38.3 |      834 |
3047.95/3048.77	c |   3972677 |       0   31287    56170   123636   293342    39.7 |      829 |
3047.95/3048.77	c |   4074238 |       0   31309    56170   225175   292072    38.8 |      829 |
3047.95/3048.77	c ----- stats for thread 0 -----
3047.95/3048.77	c restarts: 1939
3047.95/3048.77	c decisions: 6959047
3047.95/3048.77	c propagations: 530317506
3047.95/3048.77	c conflicts: 4074238
3047.95/3048.77	c 3048.775s elapsed
3047.95/3048.77	s SATISFIABLE
3047.95/3048.77	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-1773147-1241298573/watcher-1773147-1241298573 -o /tmp/evaluation-result-1773147-1241298573/solver-1773147-1241298573 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1773147-1241298573.cnf 

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: 2.54 3.66 3.84 3/64 24615
/proc/meminfo: memFree=1916520/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=2636 CPUtime=0
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 554 0 0 0 0 0 0 0 18 0 1 0 157885373 2699264 540 1992294400 134512640 135192793 4294956224 18446744073709551615 134572783 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 692 540 54 166 0 523 0

[startup+0.081707 s]
/proc/loadavg: 2.54 3.66 3.84 3/64 24615
/proc/meminfo: memFree=1916520/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=8748 CPUtime=0.07
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 2008 0 0 0 7 0 0 0 18 0 1 0 157885373 8957952 1994 1992294400 134512640 135192793 4294956224 18446744073709551615 134577000 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 2187 1995 54 166 0 2018 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8748

[startup+0.101707 s]
/proc/loadavg: 2.54 3.66 3.84 3/64 24615
/proc/meminfo: memFree=1916520/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=7616 CPUtime=0.09
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 2179 0 0 0 9 0 0 0 18 0 1 0 157885373 7798784 1750 1992294400 134512640 135192793 4294956224 18446744073709551615 134568026 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 1904 1750 56 166 0 1735 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7616

[startup+0.301725 s]
/proc/loadavg: 2.54 3.66 3.84 3/64 24615
/proc/meminfo: memFree=1916520/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=7748 CPUtime=0.29
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 2184 0 0 0 29 0 0 0 19 0 1 0 157885373 7933952 1755 1992294400 134512640 135192793 4294956224 18446744073709551615 134567659 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 1937 1755 56 166 0 1768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7748

[startup+0.70176 s]
/proc/loadavg: 2.54 3.66 3.84 3/64 24615
/proc/meminfo: memFree=1916520/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=7748 CPUtime=0.69
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 2189 0 0 0 69 0 0 0 22 0 1 0 157885373 7933952 1760 1992294400 134512640 135192793 4294956224 18446744073709551615 134567773 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 1937 1760 56 166 0 1768 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7748

[startup+1.50183 s]
/proc/loadavg: 2.54 3.66 3.84 2/65 24616
/proc/meminfo: memFree=1909280/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=7204 CPUtime=1.49
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 2278 0 0 0 149 0 0 0 25 0 1 0 157885373 7376896 1635 1992294400 134512640 135192793 4294956224 18446744073709551615 134748357 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 1801 1635 56 166 0 1632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7204

[startup+3.10198 s]
/proc/loadavg: 2.54 3.66 3.84 2/65 24616
/proc/meminfo: memFree=1902496/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=15404 CPUtime=3.09
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 4359 0 0 0 307 2 0 0 25 0 1 0 157885373 15773696 3716 1992294400 134512640 135192793 4294956224 18446744073709551615 134552256 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 3851 3716 73 166 0 3682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15404

[startup+6.30126 s]
/proc/loadavg: 2.41 3.62 3.83 2/65 24616
/proc/meminfo: memFree=1899744/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=18704 CPUtime=6.29
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 5162 0 0 0 627 2 0 0 25 0 1 0 157885373 19152896 4519 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 4676 4519 73 166 0 4507 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18704

[startup+12.7018 s]
/proc/loadavg: 2.30 3.57 3.81 2/65 24616
/proc/meminfo: memFree=1894816/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=23216 CPUtime=12.69
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 6267 0 0 0 1266 3 0 0 25 0 1 0 157885373 23773184 5624 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 5804 5624 73 166 0 5635 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23216

[startup+25.502 s]
/proc/loadavg: 2.01 3.45 3.76 2/65 24616
/proc/meminfo: memFree=1884256/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=33308 CPUtime=25.49
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 8733 0 0 0 2544 5 0 0 25 0 1 0 157885373 34107392 8090 1992294400 134512640 135192793 4294956224 18446744073709551615 134549692 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 8327 8090 73 166 0 8158 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33308

[startup+51.1013 s]
/proc/loadavg: 1.66 3.25 3.69 2/65 24616
/proc/meminfo: memFree=1873504/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=43956 CPUtime=51.07
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 11362 0 0 0 5100 7 0 0 25 0 1 0 157885373 45010944 10719 1992294400 134512640 135192793 4294956224 18446744073709551615 134533783 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 10989 10719 73 166 0 10820 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43956

[startup+102.306 s]
/proc/loadavg: 1.29 2.90 3.55 2/65 24616
/proc/meminfo: memFree=1859616/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=58656 CPUtime=102.27
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 14826 0 0 0 10217 10 0 0 25 0 1 0 157885373 60063744 14183 1992294400 134512640 135192793 4294956224 18446744073709551615 134533909 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 14664 14183 73 166 0 14495 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58656

[startup+162.301 s]
/proc/loadavg: 1.10 2.55 3.38 2/65 24616
/proc/meminfo: memFree=1852128/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=66904 CPUtime=162.25
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 16763 0 0 0 16212 13 0 0 25 0 1 0 157885373 68509696 16120 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 16726 16120 73 166 0 16557 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66904

[startup+222.302 s]
/proc/loadavg: 1.04 2.27 3.23 2/65 24616
/proc/meminfo: memFree=1847712/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=71380 CPUtime=222.23
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 17791 0 0 0 22209 14 0 0 25 0 1 0 157885373 73093120 17148 1992294400 134512640 135192793 4294956224 18446744073709551615 134533808 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 17845 17148 74 166 0 17676 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71380

[startup+282.301 s]
/proc/loadavg: 1.01 2.03 3.09 2/65 24616
/proc/meminfo: memFree=1845280/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=74164 CPUtime=282.22
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 18379 0 0 0 28207 15 0 0 25 0 1 0 157885373 75943936 17736 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 18541 17736 74 166 0 18372 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 74164

[startup+342.301 s]
/proc/loadavg: 1.00 1.84 2.96 2/65 24616
/proc/meminfo: memFree=1841504/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=78072 CPUtime=342.21
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 19322 0 0 0 34205 16 0 0 25 0 1 0 157885373 79945728 18679 1992294400 134512640 135192793 4294956224 18446744073709551615 134534016 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 19518 18679 74 166 0 19349 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 78072

[startup+402.302 s]
/proc/loadavg: 1.00 1.69 2.83 2/65 24616
/proc/meminfo: memFree=1838176/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=81800 CPUtime=402.19
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 20147 0 0 0 40202 17 0 0 25 0 1 0 157885373 83763200 19504 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 20450 19504 74 166 0 20281 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 81800

[startup+462.301 s]
/proc/loadavg: 1.00 1.56 2.71 2/65 24616
/proc/meminfo: memFree=1835872/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=84196 CPUtime=462.18
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 20722 0 0 0 46200 18 0 0 25 0 1 0 157885373 86216704 20079 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 21049 20079 74 166 0 20880 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 84196

[startup+522.302 s]
/proc/loadavg: 1.00 1.45 2.60 2/65 24616
/proc/meminfo: memFree=1834080/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=86348 CPUtime=522.16
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 21163 0 0 0 52198 18 0 0 25 0 1 0 157885373 88420352 20520 1992294400 134512640 135192793 4294956224 18446744073709551615 134549774 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 21587 20520 74 166 0 21418 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 86348

[startup+582.301 s]
/proc/loadavg: 1.00 1.37 2.50 2/65 24616
/proc/meminfo: memFree=1832672/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=87972 CPUtime=582.15
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 21494 0 0 0 58196 19 0 0 25 0 1 0 157885373 90083328 20851 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 21993 20851 74 166 0 21824 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 87972

[startup+642.301 s]
/proc/loadavg: 1.00 1.30 2.40 2/65 24616
/proc/meminfo: memFree=1829600/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=91228 CPUtime=642.14
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 22233 0 0 0 64195 19 0 0 25 0 1 0 157885373 93417472 21590 1992294400 134512640 135192793 4294956224 18446744073709551615 134533858 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 22807 21590 74 166 0 22638 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 91228

[startup+702.302 s]

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

/proc/meminfo: memFree=1795872/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=130068 CPUtime=2261.74
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 30442 0 0 0 226144 30 0 0 25 0 1 0 157885373 133189632 29797 1992294400 134512640 135192793 4294956224 18446744073709551615 134534173 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 32517 29797 74 166 0 32348 0
Current children cumulated CPU time (s) 2261.74
Current children cumulated vsize (KiB) 130068

[startup+2322.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/65 24618
/proc/meminfo: memFree=1795552/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=130532 CPUtime=2321.72
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 30518 0 0 0 232142 30 0 0 25 0 1 0 157885373 133664768 29873 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 32633 29873 74 166 0 32464 0
Current children cumulated CPU time (s) 2321.72
Current children cumulated vsize (KiB) 130532

[startup+2382.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/65 24618
/proc/meminfo: memFree=1794720/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=131356 CPUtime=2381.72
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 30723 0 0 0 238141 31 0 0 25 0 1 0 157885373 134508544 30078 1992294400 134512640 135192793 4294956224 18446744073709551615 134533792 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 32839 30078 74 166 0 32670 0
Current children cumulated CPU time (s) 2381.72
Current children cumulated vsize (KiB) 131356

[startup+2442.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/65 24618
/proc/meminfo: memFree=1794400/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=131872 CPUtime=2441.7
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 30799 0 0 0 244139 31 0 0 25 0 1 0 157885373 135036928 30154 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 32968 30154 74 166 0 32799 0
Current children cumulated CPU time (s) 2441.7
Current children cumulated vsize (KiB) 131872

[startup+2502.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/65 24618
/proc/meminfo: memFree=1793632/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=133052 CPUtime=2501.68
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 30992 0 0 0 250137 31 0 0 25 0 1 0 157885373 136245248 30347 1992294400 134512640 135192793 4294956224 18446744073709551615 134550629 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 33263 30347 74 166 0 33094 0
Current children cumulated CPU time (s) 2501.68
Current children cumulated vsize (KiB) 133052

[startup+2562.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/65 24618
/proc/meminfo: memFree=1793056/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=133708 CPUtime=2561.67
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 31126 0 0 0 256136 31 0 0 25 0 1 0 157885373 136916992 30481 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 33427 30481 74 166 0 33258 0
Current children cumulated CPU time (s) 2561.67
Current children cumulated vsize (KiB) 133708

[startup+2622.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/65 24618
/proc/meminfo: memFree=1792352/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=134504 CPUtime=2621.65
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 31291 0 0 0 262134 31 0 0 25 0 1 0 157885373 137732096 30646 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 33626 30646 74 166 0 33457 0
Current children cumulated CPU time (s) 2621.65
Current children cumulated vsize (KiB) 134504

[startup+2682.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/65 24618
/proc/meminfo: memFree=1792096/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=134768 CPUtime=2681.64
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 31335 0 0 0 268133 31 0 0 25 0 1 0 157885373 138002432 30690 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 33692 30690 74 166 0 33523 0
Current children cumulated CPU time (s) 2681.64
Current children cumulated vsize (KiB) 134768

[startup+2742.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/65 24618
/proc/meminfo: memFree=1791712/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=135200 CPUtime=2741.63
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 31431 0 0 0 274131 32 0 0 25 0 1 0 157885373 138444800 30786 1992294400 134512640 135192793 4294956224 18446744073709551615 134534218 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 33800 30786 74 166 0 33631 0
Current children cumulated CPU time (s) 2741.63
Current children cumulated vsize (KiB) 135200

[startup+2802.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/65 24618
/proc/meminfo: memFree=1789728/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=137368 CPUtime=2801.61
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 31924 0 0 0 280129 32 0 0 25 0 1 0 157885373 140664832 31279 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 34342 31279 74 166 0 34173 0
Current children cumulated CPU time (s) 2801.61
Current children cumulated vsize (KiB) 137368

[startup+2862.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 24618
/proc/meminfo: memFree=1789152/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=138144 CPUtime=2861.6
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32064 0 0 0 286127 33 0 0 25 0 1 0 157885373 141459456 31419 1992294400 134512640 135192793 4294956224 18446744073709551615 134533796 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 34536 31419 74 166 0 34367 0
Current children cumulated CPU time (s) 2861.6
Current children cumulated vsize (KiB) 138144

[startup+2922.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/65 24618
/proc/meminfo: memFree=1788576/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=138712 CPUtime=2921.58
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32202 0 0 0 292125 33 0 0 25 0 1 0 157885373 142041088 31557 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 34678 31557 74 166 0 34509 0
Current children cumulated CPU time (s) 2921.58
Current children cumulated vsize (KiB) 138712

[startup+2982.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/65 24618
/proc/meminfo: memFree=1785568/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=141676 CPUtime=2981.57
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32945 0 0 0 298123 34 0 0 25 0 1 0 157885373 145076224 32300 1992294400 134512640 135192793 4294956224 18446744073709551615 134532607 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 35419 32300 74 166 0 35250 0
Current children cumulated CPU time (s) 2981.57
Current children cumulated vsize (KiB) 141676

[startup+3042.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 24618
/proc/meminfo: memFree=1785312/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=141832 CPUtime=3041.55
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32997 0 0 0 304121 34 0 0 25 0 1 0 157885373 145235968 32352 1992294400 134512640 135192793 4294956224 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 35458 32352 74 166 0 35289 0
Current children cumulated CPU time (s) 3041.55
Current children cumulated vsize (KiB) 141832

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

[startup+3043.1 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 24618
/proc/meminfo: memFree=1785312/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=141832 CPUtime=3042.35
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32997 0 0 0 304201 34 0 0 25 0 1 0 157885373 145235968 32352 1992294400 134512640 135192793 4294956224 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 35458 32352 74 166 0 35289 0
Current children cumulated CPU time (s) 3042.35
Current children cumulated vsize (KiB) 141832

[startup+3046.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 24618
/proc/meminfo: memFree=1785312/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=141832 CPUtime=3045.55
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32999 0 0 0 304521 34 0 0 25 0 1 0 157885373 145235968 32354 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 35458 32354 74 166 0 35289 0
Current children cumulated CPU time (s) 3045.55
Current children cumulated vsize (KiB) 141832

[startup+3047.9 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 24618
/proc/meminfo: memFree=1785312/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=141832 CPUtime=3047.15
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32999 0 0 0 304681 34 0 0 25 0 1 0 157885373 145235968 32354 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 35458 32354 74 166 0 35289 0
Current children cumulated CPU time (s) 3047.15
Current children cumulated vsize (KiB) 141832

[startup+3048.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 24618
/proc/meminfo: memFree=1785312/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=141832 CPUtime=3047.55
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32999 0 0 0 304721 34 0 0 25 0 1 0 157885373 145235968 32354 1992294400 134512640 135192793 4294956224 18446744073709551615 134533888 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 35458 32354 74 166 0 35289 0
Current children cumulated CPU time (s) 3047.55
Current children cumulated vsize (KiB) 141832

[startup+3048.7 s]
/proc/loadavg: 1.00 1.00 1.07 2/65 24618
/proc/meminfo: memFree=1785312/2055920 swapFree=4191900/4192956
[pid=24615] ppid=24613 vsize=141832 CPUtime=3047.95
/proc/24615/stat : 24615 (mxc-sat09) R 24613 24615 24551 0 -1 4194304 32999 0 0 0 304761 34 0 0 25 0 1 0 157885373 145235968 32354 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/24615/statm: 35458 32354 74 166 0 35289 0
Current children cumulated CPU time (s) 3047.95
Current children cumulated vsize (KiB) 141832

Child status: 10
Real time (s): 3048.8
CPU time (s): 3048.06
CPU user time (s): 3047.69
CPU system time (s): 0.368943
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 141832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3047.69
system time used= 0.368943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33001
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 4801

runsolver used 2.96455 second user time and 6.91595 second system time

The end

Launcher Data 

Begin job on node43 at 2009-05-02 23:09:33
IDJOB=1773147
IDBENCH=20491
IDSOLVER=613
FILE ID=node43/1773147-1241298573
PBS_JOBID= 9225186
Free space on /tmp= 66348 MiB

SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT07/industrial/grieu/vmpc_29.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773147-1241298573/watcher-1773147-1241298573 -o /tmp/evaluation-result-1773147-1241298573/solver-1773147-1241298573 -C 10000 -W 12000 -M 1800  HOME/mxc-sat09 -i HOME/instance-1773147-1241298573.cnf

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

MD5SUM BENCH= 1e81246225c81a67548d334d1dfcc24b
RANDOM SEED=1208082999

node43.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.237
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.237
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:       1916936 kB
Buffers:         13844 kB
Cached:          56072 kB
SwapCached:        260 kB
Active:          18692 kB
Inactive:        64436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1916936 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2628 kB
Writeback:           0 kB
Mapped:          21748 kB
Slab:            41820 kB
Committed_AS:   732048 kB
PageTables:       1444 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= 66348 MiB
End job on node43 at 2009-05-03 00:00:22