Trace number 1784397

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 2443.09 2443.96

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes4.cnf
MD5SUMdf9c42090e37db3e7c6222a93cb90a4d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark87.6287
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 

147.34/147.43	c starting MXC with:
147.34/147.43	c cnf_path = HOME/instance-1784397-1241937582.cnf
147.34/147.43	c restart_strategy = auto
147.34/147.43	c sign_strategy = cached
147.34/147.43	c use_preprocessing = -1
147.34/147.43	c output_implicant = 1
147.34/147.43	c timeout_seconds = 0
147.34/147.43	c running SatELite... done
147.34/147.43	c 46 vars eliminated
147.34/147.43	c received 0 units and 57138 clauses from SatELite
147.34/147.43	c 45 assignments made, starting to guess now
147.34/147.43	c ===================================[MXC]=====================================
147.34/147.43	c | Conflicts |                Clause Statistics                   |   Vars   |
147.34/147.43	c |           |    CARD     BIN      O3+      L3+   L3+Lim  Lit/CL |          |
147.34/147.43	c =============================================================================
147.34/147.43	c |         0 |       0   53258     3880        0        0     nan |      945 |
147.34/147.43	c |       100 |       0   53258     3880      100     1050   126.2 |      900 |
147.34/147.43	c |       210 |       0   53258     3880      210     1105   117.8 |      900 |
147.34/147.43	c |       441 |       0   53258     3880      441     1220    99.8 |      900 |
147.34/147.43	c |       805 |       0   53258     3880      805     1402    80.2 |      900 |
147.34/147.43	c |      1315 |       0   53258     3880     1315     1657    66.6 |      900 |
147.34/147.43	c |      1986 |       0   53258     3880     1986     1993    62.6 |      900 |
147.34/147.43	c |      2834 |       0   53258     3880     1834     2417    53.9 |      900 |
147.34/147.43	c |      3876 |       0   53258     3880     2876     2938    51.7 |      900 |
147.34/147.43	c |      5132 |       0   53258     3880     2632     3566    51.6 |      900 |
147.34/147.43	c |      6623 |       0   53258     3880     4123     4311    52.2 |      900 |
147.34/147.43	c |      8373 |       0   53258     3880     3623     5186    51.3 |      900 |
147.34/147.43	c |     10408 |       0   53258     3880     5658     6204    50.4 |      900 |
147.34/147.43	c |     12756 |       0   53258     3880     4632     7378    47.1 |      900 |
147.34/147.43	c |     15449 |       0   53258     3880     7325     8724    48.7 |      900 |
147.34/147.43	c |     18521 |       0   53258     3880     5335    10260    49.4 |      900 |
147.34/147.43	c |     22010 |       0   53258     3880     8824    12005    50.9 |      900 |
147.34/147.43	c |     25958 |       0   53258     3880    12772    13979    50.2 |      900 |
147.34/147.43	c |     30411 |       0   53258     3880     9632    16205    47.9 |      900 |
147.34/147.43	c |     35419 |       0   53258     3880    14640    18709    47.0 |      900 |
147.34/147.43	c |     41038 |       0   53258     3880    20259    21519    46.2 |      900 |
147.34/147.43	c |     47329 |       0   53258     3880    15160    24664    44.0 |      900 |
147.34/147.43	c |     54360 |       0   53258     3880    22191    28180    44.2 |      900 |
147.34/147.43	c |     62205 |       0   53258     3880    30036    32102    44.0 |      900 |
147.34/147.43	c |     70945 |       0   53258     3880    21692    36472    41.3 |      900 |
147.34/147.43	c |     80669 |       0   53258     3880    31416    41334    43.5 |      900 |
147.34/147.43	c |     91476 |       0   53258     3880    42223    46738    43.6 |      900 |
147.34/147.43	c |    103474 |       0   53259     3880    28593    52367    38.4 |      900 |
147.34/147.43	c |    116782 |       0   53259     3880    41901    53875    40.8 |      900 |
147.34/147.43	c |    131532 |       0   53259     3880    29019    55400    34.9 |      900 |
147.34/147.43	c |    147868 |       0   53260     3880    45354    56945    40.1 |      900 |
147.34/147.43	c |    165948 |       0   53260     3880    34405    58508    43.0 |      900 |
147.34/147.43	c |    185947 |       0   53260     3880    54404    60092    43.1 |      900 |
147.34/147.43	c |    208057 |       0   53260     3880    46237    61698    42.8 |      900 |
147.34/147.43	c |    232489 |       0   53262     3880    39257    63330    41.0 |      900 |
147.34/147.43	c |    259475 |       0   53262     3880    33790    64985    45.0 |      900 |
147.34/147.43	c |    289271 |       0   53262     3880    63586    66665    48.4 |      900 |
147.34/147.43	c |    322158 |       0   53262     3880    63052    68373    47.2 |      900 |
147.34/147.43	c |    358445 |       0   53262     3880    65013    70109    46.9 |      900 |
147.34/147.43	c |    398472 |       0   53263     3880    69862    71876    48.3 |      900 |
147.34/147.43	c |    442613 |       0   53263     3880    41278    73672    43.3 |      900 |
147.34/147.43	c |    491279 |       0   53264     3880    52468    75501    43.4 |      900 |
147.34/147.43	c |    544923 |       0   53264     3880    67939    77362    47.6 |      900 |
2443.02/2443.94	c |    604043 |       0   53265     3880    48729    79258    49.1 |      900 |
2443.02/2443.94	c |    669187 |       0   53265     3880    73769    81189    45.6 |      900 |
2443.02/2443.94	c |    740957 |       0   53266     3880    63556    83157    48.6 |      900 |
2443.02/2443.94	c |    820016 |       0   53267     3880    58389    85163    49.5 |      900 |
2443.02/2443.94	c |    907092 |       0   53267     3880    59129    87207    52.6 |      900 |
2443.02/2443.94	c |   1002987 |       0   53267     3880    66692    89291    51.2 |      900 |
2443.02/2443.94	c |   1108583 |       0   53268     3880    82054    91418    57.3 |      900 |
2443.02/2443.94	c |   1224850 |       0   53268     3880    59598    93586    54.2 |      900 |
2443.02/2443.94	c |   1352856 |       0   53268     3880    92988    95798    51.4 |      900 |
2443.02/2443.94	c |   1493774 |       0   53269     3880    88946    98057    57.1 |      900 |
2443.02/2443.94	c |   1648896 |       0   53270     3880    95645   100362    55.6 |      900 |
2443.02/2443.94	c |   1819642 |       0   53272     3880    63396   102715    49.4 |      900 |
2443.02/2443.94	c |   2007575 |       0   53272     3880    95465   105116    56.7 |      900 |
2443.02/2443.94	c |   2214413 |       0   53129     3869    56079   107580    51.8 |      899 |
2443.02/2443.94	c |   2442047 |       0   53134     3869    66191   109775    46.1 |      899 |
2443.02/2443.94	c |   2692557 |       0   53142     3869    94499   112334    46.5 |      899 |
2443.02/2443.94	c |   2968230 |       0   52975     3862    57290   114964    48.6 |      898 |
2443.02/2443.94	c |   3271583 |       0   52979     3862    70203   117289    51.7 |      898 |
2443.02/2443.94	c |   3605384 |       0   52980     3862   107358   120000    57.6 |      898 |
2443.02/2443.94	c |   3972677 |       0   52836     3854    82548   122805    53.7 |      897 |
2443.02/2443.94	c |   4376812 |       0   52841     3854   115139   125290    46.9 |      897 |
2443.02/2443.94	c |   4821473 |       0   52844     3854   116670   128177    47.8 |      897 |
2443.02/2443.94	c |   5274290 |       0   52847     3854   116450   130915    55.7 |      897 |
2443.02/2443.94	c ----- stats for thread 0 -----
2443.02/2443.94	c restarts: 2080
2443.02/2443.94	c decisions: 6960970
2443.02/2443.94	c propagations: 542744499
2443.02/2443.94	c conflicts: 5274290
2443.02/2443.94	c 2443.940s elapsed
2443.02/2443.94	s SATISFIABLE
2443.02/2443.94	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-1784397-1241937582/watcher-1784397-1241937582 -o /tmp/evaluation-result-1784397-1241937582/solver-1784397-1241937582 -C 5000 -W 6000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1784397-1241937582.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: 1.00 1.00 1.00 3/64 29761
/proc/meminfo: memFree=1792176/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=1820 CPUtime=0
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 221791494 1863680 337 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 455 337 54 166 0 286 0

[startup+0.0984481 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29761
/proc/meminfo: memFree=1792176/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=4172 CPUtime=0.09
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 1102 0 0 0 9 0 0 0 18 0 1 0 221791494 4272128 910 1992294400 134512640 135192793 4294956224 18446744073709551615 134567880 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 1043 910 56 166 0 874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4172

[startup+0.101447 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29761
/proc/meminfo: memFree=1792176/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=4172 CPUtime=0.09
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 1102 0 0 0 9 0 0 0 18 0 1 0 221791494 4272128 910 1992294400 134512640 135192793 4294956224 18446744073709551615 134567773 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 1043 910 56 166 0 874 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4172

[startup+0.301482 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29761
/proc/meminfo: memFree=1792176/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=5516 CPUtime=0.29
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 1397 0 0 0 29 0 0 0 19 0 1 0 221791494 5648384 1205 1992294400 134512640 135192793 4294956224 18446744073709551615 134568153 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 1379 1205 56 166 0 1210 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5516

[startup+0.701552 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29761
/proc/meminfo: memFree=1792176/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=5784 CPUtime=0.69
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 1420 0 0 0 69 0 0 0 22 0 1 0 221791494 5922816 1228 1992294400 134512640 135192793 4294956224 18446744073709551615 134567900 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 1446 1228 56 166 0 1277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5784

[startup+1.50269 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29762
/proc/meminfo: memFree=1786792/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=7216 CPUtime=1.5
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 1995 0 0 0 149 1 0 0 25 0 1 0 221791494 7389184 1659 1992294400 134512640 135192793 4294956224 18446744073709551615 134533224 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 1804 1659 73 166 0 1635 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7216

[startup+3.10197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29762
/proc/meminfo: memFree=1784872/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=9588 CPUtime=3.09
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 2595 0 0 0 308 1 0 0 25 0 1 0 221791494 9818112 2259 1992294400 134512640 135192793 4294956224 18446744073709551615 134534243 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 2397 2259 73 166 0 2228 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9588

[startup+6.30154 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29762
/proc/meminfo: memFree=1779368/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=13408 CPUtime=6.29
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 3536 0 0 0 628 1 0 0 25 0 1 0 221791494 13729792 3200 1992294400 134512640 135192793 4294956224 18446744073709551615 134534303 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 3352 3200 73 166 0 3183 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13408

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29762
/proc/meminfo: memFree=1774504/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=19912 CPUtime=12.69
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 5106 0 0 0 1267 2 0 0 25 0 1 0 221791494 20389888 4770 1992294400 134512640 135192793 4294956224 18446744073709551615 134766703 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 4978 4770 73 166 0 4809 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19912

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29762
/proc/meminfo: memFree=1768744/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=24444 CPUtime=25.48
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 6190 0 0 0 2545 3 0 0 25 0 1 0 221791494 25030656 5854 1992294400 134512640 135192793 4294956224 18446744073709551615 134533917 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 6111 5854 73 166 0 5942 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24444

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1763688/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=29868 CPUtime=51.07
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 7443 0 0 0 5103 4 0 0 25 0 1 0 221791494 30584832 7107 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 7467 7107 73 166 0 7298 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29868

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1758376/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=35884 CPUtime=102.25
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 8777 0 0 0 10220 5 0 0 25 0 1 0 221791494 36745216 8441 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 8971 8441 73 166 0 8802 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 35884

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1754792/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=40180 CPUtime=162.23
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 9697 0 0 0 16217 6 0 0 25 0 1 0 221791494 41144320 9361 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 10045 9361 73 166 0 9876 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 40180

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1751912/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=43120 CPUtime=222.21
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 10378 0 0 0 22214 7 0 0 25 0 1 0 221791494 44154880 10042 1992294400 134512640 135192793 4294956224 18446744073709551615 134533840 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 10780 10042 73 166 0 10611 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 43120

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1748712/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=46776 CPUtime=282.19
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 11166 0 0 0 28211 8 0 0 25 0 1 0 221791494 47898624 10830 1992294400 134512640 135192793 4294956224 18446744073709551615 134533831 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 11694 10830 73 166 0 11525 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 46776

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1746088/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=49732 CPUtime=342.16
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 11821 0 0 0 34207 9 0 0 25 0 1 0 221791494 50925568 11485 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 12433 11485 73 166 0 12264 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 49732

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1743400/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=52680 CPUtime=402.15
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 12491 0 0 0 40205 10 0 0 25 0 1 0 221791494 53944320 12155 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 13170 12155 73 166 0 13001 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 52680

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1742312/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=53808 CPUtime=462.12
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 12766 0 0 0 46202 10 0 0 25 0 1 0 221791494 55099392 12430 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 13452 12430 73 166 0 13283 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 53808

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1741480/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=54964 CPUtime=522.11
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 12991 0 0 0 52200 11 0 0 25 0 1 0 221791494 56283136 12655 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 13741 12655 73 166 0 13572 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 54964

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1740264/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=56276 CPUtime=582.08
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 13274 0 0 0 58197 11 0 0 25 0 1 0 221791494 57626624 12938 1992294400 134512640 135192793 4294956224 18446744073709551615 134533808 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 14069 12938 73 166 0 13900 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 56276

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29764
/proc/meminfo: memFree=1738152/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=58472 CPUtime=642.07
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 13799 0 0 0 64195 12 0 0 25 0 1 0 221791494 59875328 13463 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 14618 13463 73 166 0 14449 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 58472

[startup+702.301 s]

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

/proc/meminfo: memFree=1717024/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=83732 CPUtime=1541.74
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 18975 0 0 0 154155 19 0 0 25 0 1 0 221791494 85741568 18639 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 20933 18639 73 166 0 20764 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 83732

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1715560/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=85692 CPUtime=1601.72
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 19377 0 0 0 160153 19 0 0 25 0 1 0 221791494 87748608 19041 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 21423 19041 73 166 0 21254 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 85692

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1712744/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=89044 CPUtime=1661.69
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 20037 0 0 0 166150 19 0 0 25 0 1 0 221791494 91181056 19701 1992294400 134512640 135192793 4294956224 18446744073709551615 134533904 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 22261 19701 73 166 0 22092 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 89044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1711464/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=90068 CPUtime=1721.68
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 20354 0 0 0 172148 20 0 0 25 0 1 0 221791494 92229632 20018 1992294400 134512640 135192793 4294956224 18446744073709551615 134549626 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 22517 20018 73 166 0 22348 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 90068

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1710376/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=91348 CPUtime=1781.65
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 20618 0 0 0 178145 20 0 0 25 0 1 0 221791494 93540352 20282 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 22837 20282 73 166 0 22668 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 91348

[startup+1842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1709864/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=91608 CPUtime=1841.63
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 20746 0 0 0 184143 20 0 0 25 0 1 0 221791494 93806592 20410 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 22902 20410 73 166 0 22733 0
Current children cumulated CPU time (s) 1841.63
Current children cumulated vsize (KiB) 91608

[startup+1902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1709480/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=91868 CPUtime=1901.62
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 20834 0 0 0 190141 21 0 0 25 0 1 0 221791494 94072832 20498 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 22967 20498 73 166 0 22798 0
Current children cumulated CPU time (s) 1901.62
Current children cumulated vsize (KiB) 91868

[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1708968/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=92712 CPUtime=1961.6
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 20964 0 0 0 196139 21 0 0 25 0 1 0 221791494 94937088 20628 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 23178 20628 73 166 0 23009 0
Current children cumulated CPU time (s) 1961.6
Current children cumulated vsize (KiB) 92712

[startup+2022.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1707176/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=94524 CPUtime=2021.57
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 21419 0 0 0 202136 21 0 0 25 0 1 0 221791494 96792576 21083 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 23631 21083 73 166 0 23462 0
Current children cumulated CPU time (s) 2021.57
Current children cumulated vsize (KiB) 94524

[startup+2082.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1706216/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=95680 CPUtime=2081.55
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 21658 0 0 0 208133 22 0 0 25 0 1 0 221791494 97976320 21322 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 23920 21322 73 166 0 23751 0
Current children cumulated CPU time (s) 2081.55
Current children cumulated vsize (KiB) 95680

[startup+2142.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1705512/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=96520 CPUtime=2141.53
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 21827 0 0 0 214131 22 0 0 25 0 1 0 221791494 98836480 21491 1992294400 134512640 135192793 4294956224 18446744073709551615 134549765 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 24130 21491 73 166 0 23961 0
Current children cumulated CPU time (s) 2141.53
Current children cumulated vsize (KiB) 96520

[startup+2202.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1704488/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=97680 CPUtime=2201.51
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22087 0 0 0 220128 23 0 0 25 0 1 0 221791494 100024320 21751 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 24420 21751 73 166 0 24251 0
Current children cumulated CPU time (s) 2201.51
Current children cumulated vsize (KiB) 97680

[startup+2262.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1702952/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=99736 CPUtime=2261.48
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22491 0 0 0 226125 23 0 0 25 0 1 0 221791494 102129664 22155 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 24934 22155 73 166 0 24765 0
Current children cumulated CPU time (s) 2261.48
Current children cumulated vsize (KiB) 99736

[startup+2322.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1702376/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=100708 CPUtime=2321.46
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22635 0 0 0 232123 23 0 0 25 0 1 0 221791494 103124992 22299 1992294400 134512640 135192793 4294956224 18446744073709551615 134550979 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 25177 22299 73 166 0 25008 0
Current children cumulated CPU time (s) 2321.46
Current children cumulated vsize (KiB) 100708

[startup+2382.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1701608/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=101868 CPUtime=2381.45
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22836 0 0 0 238121 24 0 0 25 0 1 0 221791494 104312832 22500 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 25467 22500 73 166 0 25298 0
Current children cumulated CPU time (s) 2381.45
Current children cumulated vsize (KiB) 101868

[startup+2442.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1701288/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=102256 CPUtime=2441.42
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22896 0 0 0 244118 24 0 0 25 0 1 0 221791494 104710144 22560 1992294400 134512640 135192793 4294956224 18446744073709551615 134533242 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 25564 22560 73 166 0 25395 0
Current children cumulated CPU time (s) 2441.42
Current children cumulated vsize (KiB) 102256

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

[startup+2443.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1701288/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=102256 CPUtime=2442.23
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22896 0 0 0 244199 24 0 0 25 0 1 0 221791494 104710144 22560 1992294400 134512640 135192793 4294956224 18446744073709551615 134533909 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 25564 22560 73 166 0 25395 0
Current children cumulated CPU time (s) 2442.23
Current children cumulated vsize (KiB) 102256

[startup+2443.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1701288/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=102256 CPUtime=2442.62
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22896 0 0 0 244238 24 0 0 25 0 1 0 221791494 104710144 22560 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 25564 22560 73 166 0 25395 0
Current children cumulated CPU time (s) 2442.62
Current children cumulated vsize (KiB) 102256

[startup+2443.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29770
/proc/meminfo: memFree=1701288/2055920 swapFree=4155092/4192956
[pid=29761] ppid=29759 vsize=102256 CPUtime=2443.02
/proc/29761/stat : 29761 (mxc-sat09) R 29759 29761 29670 0 -1 4194304 22896 0 0 0 244278 24 0 0 25 0 1 0 221791494 104710144 22560 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/29761/statm: 25564 22560 73 166 0 25395 0
Current children cumulated CPU time (s) 2443.02
Current children cumulated vsize (KiB) 102256

Child status: 10
Real time (s): 2443.96
CPU time (s): 2443.09
CPU user time (s): 2442.83
CPU system time (s): 0.25796
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 102256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2442.83
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22899
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= 6295

runsolver used 1.78673 second user time and 4.98324 second system time

The end

Launcher Data 

Begin job on node18 at 2009-05-10 08:39:42
IDJOB=1784397
IDBENCH=71365
IDSOLVER=613
FILE ID=node18/1784397-1241937582
PBS_JOBID= 9265011
Free space on /tmp= 66452 MiB

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

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

MD5SUM BENCH= df9c42090e37db3e7c6222a93cb90a4d
RANDOM SEED=1307848790

node18.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.280
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.280
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:       1792592 kB
Buffers:         51664 kB
Cached:         132976 kB
SwapCached:      32076 kB
Active:          75164 kB
Inactive:       143740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792592 kB
SwapTotal:     4192956 kB
SwapFree:      4155092 kB
Dirty:            1424 kB
Writeback:           0 kB
Mapped:          13476 kB
Slab:            30452 kB
Committed_AS:   765080 kB
PageTables:       1372 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= 66452 MiB
End job on node18 at 2009-05-10 09:20:26