Trace number 1784377

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 1719.93 1720.34

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g10.cnf
MD5SUM4b3c9ace68adf36eacbbfebb5083efc4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark147.336
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

124.96/125.08	c starting MXC with:
124.96/125.08	c cnf_path = HOME/instance-1784377-1241936792.cnf
124.96/125.08	c restart_strategy = auto
124.96/125.08	c sign_strategy = cached
124.96/125.08	c use_preprocessing = -1
124.96/125.08	c output_implicant = 1
124.96/125.08	c timeout_seconds = 0
124.96/125.08	c running SatELite... done
124.96/125.08	c 46 vars eliminated
124.96/125.08	c received 0 units and 57504 clauses from SatELite
124.96/125.08	c 45 assignments made, starting to guess now
124.96/125.08	c ===================================[MXC]=====================================
124.96/125.08	c | Conflicts |                Clause Statistics                   |   Vars   |
124.96/125.08	c |           |    CARD     BIN      O3+      L3+   L3+Lim  Lit/CL |          |
124.96/125.08	c =============================================================================
124.96/125.08	c |         0 |       0   53608     3896        0        0     nan |      945 |
124.96/125.08	c |       100 |       0   53608     3896      100     1050   108.8 |      900 |
124.96/125.08	c |       210 |       0   53608     3896      210     1105    75.5 |      900 |
124.96/125.08	c |       441 |       0   53608     3896      441     1220    52.5 |      900 |
124.96/125.08	c |       805 |       0   53608     3896      805     1402    47.1 |      900 |
124.96/125.08	c |      1315 |       0   53608     3896     1315     1657    44.9 |      900 |
124.96/125.08	c |      1986 |       0   53608     3896     1986     1993    43.5 |      900 |
124.96/125.08	c |      2834 |       0   53608     3896     1834     2417    36.3 |      900 |
124.96/125.08	c |      3876 |       0   53608     3896     2876     2938    35.4 |      900 |
124.96/125.08	c |      5132 |       0   53608     3896     2632     3566    41.0 |      900 |
124.96/125.08	c |      6623 |       0   53608     3896     4123     4311    44.0 |      900 |
124.96/125.08	c |      8373 |       0   53608     3896     3623     5186    46.2 |      900 |
124.96/125.08	c |     10408 |       0   53608     3896     5658     6204    46.1 |      900 |
124.96/125.08	c |     12756 |       0   53608     3896     4631     7378    39.9 |      900 |
124.96/125.08	c |     15449 |       0   53608     3896     7324     8724    40.2 |      900 |
124.96/125.08	c |     18521 |       0   53608     3896     5333    10260    37.6 |      900 |
124.96/125.08	c |     22010 |       0   53608     3896     8822    12005    40.9 |      900 |
124.96/125.08	c |     25958 |       0   53609     3896    12769    13979    40.5 |      900 |
124.96/125.08	c |     30411 |       0   53609     3896     9627    16205    44.1 |      900 |
124.96/125.08	c |     35419 |       0   53609     3896    14635    18709    45.4 |      900 |
124.96/125.08	c |     41038 |       0   53609     3896    20254    21519    43.2 |      900 |
124.96/125.08	c |     47329 |       0   53609     3896    15153    24664    42.8 |      900 |
124.96/125.08	c |     54360 |       0   53609     3896    22184    28180    43.7 |      900 |
124.96/125.08	c |     62205 |       0   53609     3896    30029    32102    44.5 |      900 |
124.96/125.08	c |     70945 |       0   53609     3896    21681    36472    42.7 |      900 |
124.96/125.08	c |     80669 |       0   53609     3896    31405    41334    43.1 |      900 |
124.96/125.08	c |     91476 |       0   53609     3896    42212    46738    44.8 |      900 |
124.96/125.08	c |    103474 |       0   53609     3896    28579    52666    44.9 |      900 |
124.96/125.08	c |    116782 |       0   53609     3896    41887    54182    43.1 |      900 |
124.96/125.08	c |    131532 |       0   53610     3896    28828    55717    41.9 |      900 |
124.96/125.08	c |    147868 |       0   53610     3896    45164    57269    44.8 |      900 |
124.96/125.08	c |    165948 |       0   53611     3896    34024    58842    40.8 |      900 |
124.96/125.08	c |    185947 |       0   53611     3896    54023    60435    42.2 |      900 |
124.96/125.08	c |    208057 |       0   53611     3896    45654    62051    44.0 |      900 |
124.96/125.08	c |    232489 |       0   53611     3896    38463    63690    45.4 |      900 |
124.96/125.08	c |    259475 |       0   53611     3896    32775    65354    47.4 |      900 |
124.96/125.08	c |    289271 |       0   53611     3896    62571    67045    50.6 |      900 |
124.96/125.08	c |    322158 |       0   53613     3896    61806    68764    44.2 |      900 |
124.96/125.08	c |    358445 |       0   53613     3896    63529    70510    45.8 |      900 |
124.96/125.08	c |    398472 |       0   53613     3896    68134    72285    44.1 |      900 |
124.96/125.08	c |    442613 |       0   53613     3896    39034    74092    44.2 |      900 |
124.96/125.08	c |    491279 |       0   53614     3896    49958    75931    46.9 |      900 |
124.96/125.08	c |    544923 |       0   53618     3896    65153    77807    42.7 |      900 |
1719.88/1720.32	c |    604043 |       0   53475     3887    17480    79722    40.5 |      899 |
1719.88/1720.32	c |    669187 |       0   53476     3887    41916    81448    46.5 |      899 |
1719.88/1720.32	c |    740957 |       0   53478     3887    72393    83424    47.2 |      899 |
1719.88/1720.32	c |    820016 |       0   53319     3880    34511    85442    50.1 |      898 |
1719.88/1720.32	c |    907092 |       0   53321     3880    78357    87264    48.9 |      898 |
1719.88/1720.32	c |   1002987 |       0   53321     3880    86291    89350    54.1 |      898 |
1719.88/1720.32	c |   1108583 |       0   53325     3880    56362    91481    52.7 |      898 |
1719.88/1720.32	c |   1224850 |       0   53327     3880    80020    93653    50.5 |      898 |
1719.88/1720.32	c |   1352856 |       0   53327     3880    65922    95867    47.8 |      898 |
1719.88/1720.32	c |   1493774 |       0   53328     3880    61104    98127    56.3 |      898 |
1719.88/1720.32	c |   1648896 |       0   53189     3870    52725   100438    50.0 |      897 |
1719.88/1720.32	c |   1819642 |       0   53194     3870    71130   102524    51.7 |      897 |
1719.88/1720.32	c |   2007575 |       0   53197     3870   103637   104924    52.7 |      897 |
1719.88/1720.32	c |   2214413 |       0   53055     3861    86452   107381    52.4 |      896 |
1719.88/1720.32	c |   2442047 |       0   53055     3861    97613   109589    53.6 |      896 |
1719.88/1720.32	c |   2692557 |       0   52935     3852    56941   112152    55.4 |      895 |
1719.88/1720.32	c |   2968230 |       0   52935     3852   106173   114470    58.0 |      895 |
1719.88/1720.32	c |   3271583 |       0   52629     3837    57997   117145    55.2 |      893 |
1719.88/1720.32	c |   3605384 |       0   52507     3828    86432   119227    56.2 |      892 |
1719.88/1720.32	c |   3972677 |       0   52231     3811    67541   121705    45.5 |      890 |
1719.88/1720.32	c |   4376812 |       0   52104     3808   101213   123884    58.1 |      889 |
1719.88/1720.32	c |   4646487 |       0   52118     3808   122071   125404    47.4 |      888 |
1719.88/1720.32	c ----- stats for thread 0 -----
1719.88/1720.32	c restarts: 2011
1719.88/1720.32	c decisions: 6058191
1719.88/1720.32	c propagations: 512690327
1719.88/1720.32	c conflicts: 4646487
1719.88/1720.32	c 1720.323s elapsed
1719.88/1720.32	s SATISFIABLE
1719.88/1720.32	v -1 -2 -3 -4 5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 120 -121 -122 -123 -124 -125 -126 -127 -128 -129 130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 210 -211 -212 -213 -214 -215 -216 -217 -218 219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 333 -334 -335 -336 -337 -338 -339 340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 393 -394 -395 -396 -397 -398 -399 400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 523 -524 -525 526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 811 -812 -813 -814 -815 -816 -817 -818 -819 820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 937 -938 -939 -940 -941 -942 -943 -944 -945 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-1784377-1241936792/watcher-1784377-1241936792 -o /tmp/evaluation-result-1784377-1241936792/solver-1784377-1241936792 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784377-1241936792.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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.92 0.98 0.99 3/64 23719
/proc/meminfo: memFree=1617096/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=1820 CPUtime=0
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 352 0 0 0 0 0 0 0 18 0 1 0 221712384 1863680 338 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 455 339 54 166 0 286 0

[startup+0.0205049 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23719
/proc/meminfo: memFree=1617096/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=3404 CPUtime=0.01
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 715 0 0 0 1 0 0 0 18 0 1 0 221712384 3485696 701 1992294400 134512640 135192793 4294956224 18446744073709551615 134577000 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 851 701 54 166 0 682 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3404

[startup+0.101511 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23719
/proc/meminfo: memFree=1617096/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=4172 CPUtime=0.09
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 1097 0 0 0 9 0 0 0 18 0 1 0 221712384 4272128 905 1992294400 134512640 135192793 4294956224 18446744073709551615 134563899 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 1043 905 56 166 0 874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4172

[startup+0.301528 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23719
/proc/meminfo: memFree=1617096/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=5516 CPUtime=0.29
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 1393 0 0 0 29 0 0 0 19 0 1 0 221712384 5648384 1201 1992294400 134512640 135192793 4294956224 18446744073709551615 134567920 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 1379 1201 56 166 0 1210 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5516

[startup+0.701561 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23719
/proc/meminfo: memFree=1617096/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=5784 CPUtime=0.69
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 1415 0 0 0 69 0 0 0 23 0 1 0 221712384 5922816 1223 1992294400 134512640 135192793 4294956224 18446744073709551615 134567773 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 1446 1223 56 166 0 1277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5784

[startup+1.50163 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1611904/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=7084 CPUtime=1.49
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 1960 0 0 0 149 0 0 0 25 0 1 0 221712384 7254016 1624 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 1771 1624 73 166 0 1602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7084

[startup+3.10177 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1609984/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=9072 CPUtime=3.09
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 2457 0 0 0 309 0 0 0 25 0 1 0 221712384 9289728 2121 1992294400 134512640 135192793 4294956224 18446744073709551615 134533888 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 2268 2121 73 166 0 2099 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9072

[startup+6.30104 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1604672/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=13064 CPUtime=6.29
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 3454 0 0 0 628 1 0 0 25 0 1 0 221712384 13377536 3118 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 3266 3118 73 166 0 3097 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13064

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1598208/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=21080 CPUtime=12.69
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 5404 0 0 0 1266 3 0 0 25 0 1 0 221712384 21585920 5068 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 5270 5068 73 166 0 5101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21080

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1592960/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=25628 CPUtime=25.49
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 6485 0 0 0 2545 4 0 0 25 0 1 0 221712384 26243072 6149 1992294400 134512640 135192793 4294956224 18446744073709551615 134533900 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 6407 6149 73 166 0 6238 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25628

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1588032/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=30332 CPUtime=51.08
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 7621 0 0 0 5103 5 0 0 25 0 1 0 221712384 31059968 7285 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 7583 7285 73 166 0 7414 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30332

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1582336/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=37004 CPUtime=102.27
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 9011 0 0 0 10221 6 0 0 25 0 1 0 221712384 37892096 8675 1992294400 134512640 135192793 4294956224 18446744073709551615 134533998 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 9251 8675 73 166 0 9082 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37004

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1577536/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=42668 CPUtime=162.26
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 10249 0 0 0 16218 8 0 0 25 0 1 0 221712384 43692032 9913 1992294400 134512640 135192793 4294956224 18446744073709551615 134745651 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 10667 9913 73 166 0 10498 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 42668

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1573312/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=47160 CPUtime=222.24
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 11245 0 0 0 22215 9 0 0 25 0 1 0 221712384 48291840 10909 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 11790 10909 73 166 0 11621 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 47160

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1569536/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=51152 CPUtime=282.22
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 12181 0 0 0 28212 10 0 0 25 0 1 0 221712384 52379648 11845 1992294400 134512640 135192793 4294956224 18446744073709551615 134533842 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 12788 11845 73 166 0 12619 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 51152

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1568320/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=52620 CPUtime=342.21
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 12461 0 0 0 34210 11 0 0 25 0 1 0 221712384 53882880 12125 1992294400 134512640 135192793 4294956224 18446744073709551615 134533842 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 13155 12125 73 166 0 12986 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 52620

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1564736/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=57024 CPUtime=402.19
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 13383 0 0 0 40208 11 0 0 25 0 1 0 221712384 58392576 13047 1992294400 134512640 135192793 4294956224 18446744073709551615 134549684 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 14256 13047 73 166 0 14087 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 57024

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1562624/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=59572 CPUtime=462.18
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 13906 0 0 0 46206 12 0 0 25 0 1 0 221712384 61001728 13570 1992294400 134512640 135192793 4294956224 18446744073709551615 134533909 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 14893 13570 73 166 0 14724 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 59572

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1561344/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=61024 CPUtime=522.16
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 14225 0 0 0 52204 12 0 0 25 0 1 0 221712384 62488576 13889 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 15256 13889 73 166 0 15087 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 61024

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1560320/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=62368 CPUtime=582.16
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 14503 0 0 0 58203 13 0 0 25 0 1 0 221712384 63864832 14167 1992294400 134512640 135192793 4294956224 18446744073709551615 134549794 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 15592 14167 73 166 0 15423 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 62368

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23720
/proc/meminfo: memFree=1559488/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=63268 CPUtime=642.14
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 14683 0 0 0 64201 13 0 0 25 0 1 0 221712384 64786432 14347 1992294400 134512640 135192793 4294956224 18446744073709551615 134549774 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 15817 14347 73 166 0 15648 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 63268

[startup+702.302 s]

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

/proc/meminfo: memFree=1546880/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=77884 CPUtime=1062.04
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 17810 0 0 0 106186 18 0 0 25 0 1 0 221712384 79753216 17474 1992294400 134512640 135192793 4294956224 18446744073709551615 134533815 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 19471 17474 73 166 0 19302 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 77884

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1545600/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=79428 CPUtime=1122.03
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 18119 0 0 0 112184 19 0 0 25 0 1 0 221712384 81334272 17783 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 19857 17783 73 166 0 19688 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 79428

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1545024/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=80128 CPUtime=1182.01
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 18259 0 0 0 118182 19 0 0 25 0 1 0 221712384 82051072 17923 1992294400 134512640 135192793 4294956224 18446744073709551615 134534231 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 20032 17923 73 166 0 19863 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 80128

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1544384/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=80912 CPUtime=1242
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 18423 0 0 0 124180 20 0 0 25 0 1 0 221712384 82853888 18087 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 20228 18087 73 166 0 20059 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 80912

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1543680/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=81624 CPUtime=1301.99
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 18583 0 0 0 130179 20 0 0 25 0 1 0 221712384 83582976 18247 1992294400 134512640 135192793 4294956224 18446744073709551615 134534110 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 20406 18247 73 166 0 20237 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 81624

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1543040/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=82648 CPUtime=1361.96
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 18770 0 0 0 136176 20 0 0 25 0 1 0 221712384 84631552 18434 1992294400 134512640 135192793 4294956224 18446744073709551615 134533236 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 20662 18434 73 166 0 20493 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 82648

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1542144/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=83620 CPUtime=1421.96
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 18973 0 0 0 142175 21 0 0 25 0 1 0 221712384 85626880 18637 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 20905 18637 73 166 0 20736 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 83620

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1541632/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=84140 CPUtime=1481.94
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19095 0 0 0 148173 21 0 0 25 0 1 0 221712384 86159360 18759 1992294400 134512640 135192793 4294956224 18446744073709551615 134534165 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21035 18759 73 166 0 20866 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 84140

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1541312/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=84592 CPUtime=1541.92
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19179 0 0 0 154171 21 0 0 25 0 1 0 221712384 86622208 18843 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21148 18843 73 166 0 20979 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 84592

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1539008/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=86872 CPUtime=1601.91
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19750 0 0 0 160169 22 0 0 25 0 1 0 221712384 88956928 19414 1992294400 134512640 135192793 4294956224 18446744073709551615 134534134 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21718 19414 73 166 0 21549 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 86872

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538752/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87260 CPUtime=1661.89
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19806 0 0 0 166167 22 0 0 25 0 1 0 221712384 89354240 19470 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21815 19470 73 166 0 21646 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 87260

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

[startup+1689.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538624/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87260 CPUtime=1689.09
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19839 0 0 0 168887 22 0 0 25 0 1 0 221712384 89354240 19503 1992294400 134512640 135192793 4294956224 18446744073709551615 134533810 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21815 19503 73 166 0 21646 0
Current children cumulated CPU time (s) 1689.09
Current children cumulated vsize (KiB) 87260

[startup+1702.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538624/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87260 CPUtime=1701.88
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19841 0 0 0 170166 22 0 0 25 0 1 0 221712384 89354240 19505 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21815 19505 73 166 0 21646 0
Current children cumulated CPU time (s) 1701.88
Current children cumulated vsize (KiB) 87260

[startup+1708.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538560/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87392 CPUtime=1708.28
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19859 0 0 0 170806 22 0 0 25 0 1 0 221712384 89489408 19523 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21848 19523 73 166 0 21679 0
Current children cumulated CPU time (s) 1708.28
Current children cumulated vsize (KiB) 87392

[startup+1715.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538560/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87392 CPUtime=1714.68
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19860 0 0 0 171446 22 0 0 25 0 1 0 221712384 89489408 19524 1992294400 134512640 135192793 4294956224 18446744073709551615 134551064 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21848 19524 73 166 0 21679 0
Current children cumulated CPU time (s) 1714.68
Current children cumulated vsize (KiB) 87392

[startup+1718.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538560/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87392 CPUtime=1717.88
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19860 0 0 0 171766 22 0 0 25 0 1 0 221712384 89489408 19524 1992294400 134512640 135192793 4294956224 18446744073709551615 134533917 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21848 19524 73 166 0 21679 0
Current children cumulated CPU time (s) 1717.88
Current children cumulated vsize (KiB) 87392

[startup+1719.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538560/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87392 CPUtime=1718.68
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19860 0 0 0 171846 22 0 0 25 0 1 0 221712384 89489408 19524 1992294400 134512640 135192793 4294956224 18446744073709551615 134534206 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21848 19524 73 166 0 21679 0
Current children cumulated CPU time (s) 1718.68
Current children cumulated vsize (KiB) 87392

[startup+1719.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538560/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87392 CPUtime=1719.48
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19860 0 0 0 171926 22 0 0 25 0 1 0 221712384 89489408 19524 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21848 19524 73 166 0 21679 0
Current children cumulated CPU time (s) 1719.48
Current children cumulated vsize (KiB) 87392

[startup+1720.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23722
/proc/meminfo: memFree=1538560/2055920 swapFree=4151776/4192956
[pid=23719] ppid=23717 vsize=87392 CPUtime=1719.88
/proc/23719/stat : 23719 (mxc-sat09) R 23717 23719 23646 0 -1 4194304 19860 0 0 0 171966 22 0 0 25 0 1 0 221712384 89489408 19524 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/23719/statm: 21848 19524 73 166 0 21679 0
Current children cumulated CPU time (s) 1719.88
Current children cumulated vsize (KiB) 87392

Child status: 10
Real time (s): 1720.34
CPU time (s): 1719.93
CPU user time (s): 1719.69
CPU system time (s): 0.241963
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 87392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1719.69
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19863
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= 4
involuntary context switches= 3071

runsolver used 1.37479 second user time and 3.48547 second system time

The end

Launcher Data 

Begin job on node31 at 2009-05-10 08:26:32
IDJOB=1784377
IDBENCH=71324
IDSOLVER=613
FILE ID=node31/1784377-1241936792
PBS_JOBID= 9264983
Free space on /tmp= 66276 MiB

SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g10.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784377-1241936792/watcher-1784377-1241936792 -o /tmp/evaluation-result-1784377-1241936792/solver-1784377-1241936792 -C 5000 -W 6000 -M 1800  HOME/mxc-sat09 -i HOME/instance-1784377-1241936792.cnf

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

MD5SUM BENCH= 4b3c9ace68adf36eacbbfebb5083efc4
RANDOM SEED=2065389070

node31.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.213
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.213
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:       1617576 kB
Buffers:         51864 kB
Cached:         303816 kB
SwapCached:      34844 kB
Active:         199536 kB
Inactive:       193580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617576 kB
SwapTotal:     4192956 kB
SwapFree:      4151776 kB
Dirty:            1396 kB
Writeback:           0 kB
Mapped:          14368 kB
Slab:            30988 kB
Committed_AS:   702040 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66276 MiB
End job on node31 at 2009-05-10 08:55:12