Trace number 1773117

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 2965.86 2966.72

General information on the benchmark

Nameindustrial/grieu/
vmpc_30.cnf
MD5SUM8df6cfaff4435ad2a04367a34fb047c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark60.1259
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses133080
Sum of the clauses size348570
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252290
Number of clauses of size 380730
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data 

181.54/181.65	c starting MXC with:
181.54/181.65	c cnf_path = HOME/instance-1773117-1241298513.cnf
181.54/181.65	c restart_strategy = auto
181.54/181.65	c sign_strategy = cached
181.54/181.65	c use_preprocessing = -1
181.54/181.65	c output_implicant = 1
181.54/181.65	c timeout_seconds = 0
181.54/181.65	c running SatELite... done
181.54/181.65	c 1 vars eliminated
181.54/181.65	c received 1 units and 98929 clauses from SatELite
181.54/181.65	c 1 assignments made, starting to guess now
181.54/181.65	c ===================================[MXC]=====================================
181.54/181.65	c | Conflicts |                Clause Statistics                   |   Vars   |
181.54/181.65	c |           |    CARD     BIN      O3+      L3+   L3+Lim  Lit/CL |          |
181.54/181.65	c =============================================================================
181.54/181.65	c |         0 |       0   33899    65030        0        0     nan |      900 |
181.54/181.65	c |       100 |       0   33899    65030      100     1050    51.1 |      899 |
181.54/181.65	c |       210 |       0   33899    65030      210     1105    46.2 |      899 |
181.54/181.65	c |       441 |       0   33899    65030      441     1220    34.8 |      899 |
181.54/181.65	c |       805 |       0   33899    65030      805     1402    30.4 |      899 |
181.54/181.65	c |      1315 |       0   33899    65030     1315     1657    26.8 |      899 |
181.54/181.65	c |      1986 |       0   33899    65030     1986     1993    26.4 |      899 |
181.54/181.65	c |      2834 |       0   33899    65030     1834     2417    24.6 |      899 |
181.54/181.65	c |      3876 |       0   33900    65030     2875     2938    24.9 |      899 |
181.54/181.65	c |      5132 |       0   33901    65030     2629     3566    26.6 |      899 |
181.54/181.65	c |      6623 |       0   33901    65030     4120     4311    26.1 |      899 |
181.54/181.65	c |      8373 |       0   33902    65030     3617     5186    26.5 |      899 |
181.54/181.65	c |     10408 |       0   33902    65030     5652     6204    27.2 |      899 |
181.54/181.65	c |     12756 |       0   33902    65030     4623     7378    27.9 |      899 |
181.54/181.65	c |     15449 |       0   33902    65030     7316     8724    27.3 |      899 |
181.54/181.65	c |     18521 |       0   33902    65030     5321    10260    28.8 |      899 |
181.54/181.65	c |     22010 |       0   33903    65030     8809    12005    27.2 |      899 |
181.54/181.65	c |     25958 |       0   33903    65030    12757    13979    27.8 |      899 |
181.54/181.65	c |     30411 |       0   33903    65030     9610    16205    28.3 |      899 |
181.54/181.65	c |     35419 |       0   33905    65030    14616    18709    28.0 |      899 |
181.54/181.65	c |     41038 |       0   33907    65030    20233    21519    27.9 |      899 |
181.54/181.65	c |     47329 |       0   33909    65030    15119    24664    27.3 |      899 |
181.54/181.65	c |     54360 |       0   33909    65030    22150    28180    27.9 |      899 |
181.54/181.65	c |     62205 |       0   33910    65030    29994    32102    28.3 |      899 |
181.54/181.65	c |     70945 |       0   33910    65030    21628    36472    28.6 |      899 |
181.54/181.65	c |     80669 |       0   33913    65030    31349    41334    28.8 |      899 |
181.54/181.65	c |     91476 |       0   33913    65030    42156    46738    28.9 |      899 |
181.54/181.65	c |    103474 |       0   33913    65030    28494    52737    28.8 |      899 |
181.54/181.65	c |    116782 |       0   33915    65030    41800    59391    29.0 |      899 |
181.54/181.65	c |    131532 |       0   33917    65030    56548    66766    29.6 |      899 |
181.54/181.65	c |    147868 |       0   33918    65030    72883    74934    29.8 |      899 |
181.54/181.65	c |    165948 |       0   33922    65030    52466    83974    29.4 |      899 |
181.54/181.65	c |    185947 |       0   33927    65030    72460    93973    30.0 |      899 |
181.54/181.65	c |    208057 |       0   33930    65030    94567   105028    31.0 |      899 |
181.54/181.65	c |    232489 |       0   33935    65030    61247   117244    30.0 |      899 |
181.54/181.65	c |    259475 |       0   33940    65030    88228   130737    30.6 |      899 |
181.54/181.65	c |    289271 |       0   33946    65030   118018   145635    31.5 |      899 |
181.54/181.65	c |    322158 |       0   33949    65030   150902   162079    31.7 |      899 |
181.54/181.65	c |    358445 |       0   33956    65030   100551   180222    31.7 |      899 |
181.54/181.65	c |    398472 |       0   33963    65030   140571   190145    32.4 |      899 |
181.54/181.65	c |    442613 |       0   33968    65030   184707   194910    32.5 |      899 |
181.54/181.65	c |    491279 |       0   33972    65030   135330   199757    32.7 |      899 |
181.54/181.65	c |    544923 |       0   33983    65030   188963   204711    33.6 |      899 |
2965.73/2966.69	c |    604043 |       0   33995    65030   144958   209759    33.8 |      899 |
2965.73/2966.69	c |    669187 |       0   34009    65030   210088   214908    34.1 |      899 |
2965.73/2966.69	c |    740957 |       0   34020    65030   174197   220147    34.5 |      899 |
2965.73/2966.69	c |    820016 |       0   34024    65030   141494   225467    35.2 |      899 |
2965.73/2966.69	c |    907092 |       0   34039    65030   228555   230924    35.9 |      899 |
2965.73/2966.69	c |   1002987 |       0   34044    65030   208908   236458    36.4 |      899 |
2965.73/2966.69	c |   1108583 |       0   34053    65030   195460   242116    37.3 |      899 |
2965.73/2966.69	c |   1224850 |       0   34064    65030   189413   247894    35.6 |      899 |
2965.73/2966.69	c |   1352856 |       0   34077    65030   192021   253797    37.1 |      899 |
2965.73/2966.69	c |   1493774 |       0   34096    65030   204605   259842    38.0 |      899 |
2965.73/2966.69	c |   1648896 |       0   34108    65030   228623   265988    39.0 |      899 |
2965.73/2966.69	c |   1819642 |       0   34129    65030   265613   272295    39.6 |      899 |
2965.73/2966.69	c |   2007575 |       0   34153    65030   178551   278746    38.5 |      899 |
2965.73/2966.69	c |   2214413 |       0   34173    65030   244326   285320    39.5 |      899 |
2965.73/2966.69	c |   2442047 |       0   34197    65030   183152   292050    38.5 |      899 |
2965.73/2966.69	c |   2692557 |       0   34222    65030   286042   298929    39.7 |      899 |
2965.73/2966.69	c |   2968230 |       0   34262    65030   260397   306018    39.2 |      899 |
2965.73/2966.69	c |   3271583 |       0   34284    64799   211506   313216    39.7 |      898 |
2965.73/2966.69	c |   3605384 |       0   34326    64799   228557   319969    41.5 |      898 |
2965.73/2966.69	c |   3654913 |       0   34333    64799   278079   321027    41.7 |      898 |
2965.73/2966.69	c ----- stats for thread 0 -----
2965.73/2966.69	c restarts: 1871
2965.73/2966.69	c decisions: 6592534
2965.73/2966.69	c propagations: 490004529
2965.73/2966.69	c conflicts: 3654913
2965.73/2966.69	c 2966.693s elapsed
2965.73/2966.69	s SATISFIABLE
2965.73/2966.69	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 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-1773117-1241298513/watcher-1773117-1241298513 -o /tmp/evaluation-result-1773117-1241298513/solver-1773117-1241298513 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1773117-1241298513.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: 3.38 3.86 3.87 3/65 30534
/proc/meminfo: memFree=1910960/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=2820 CPUtime=0
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 598 0 0 0 0 0 0 0 18 0 1 0 157884513 2887680 584 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 705 584 54 166 0 536 0

[startup+0.0747369 s]
/proc/loadavg: 3.38 3.86 3.87 3/65 30534
/proc/meminfo: memFree=1910960/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=8528 CPUtime=0.07
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 1924 0 0 0 6 1 0 0 18 0 1 0 157884513 8732672 1910 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 2132 1911 54 166 0 1963 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8528

[startup+0.101741 s]
/proc/loadavg: 3.38 3.86 3.87 3/65 30534
/proc/meminfo: memFree=1910960/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=8136 CPUtime=0.09
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 2378 0 0 0 8 1 0 0 18 0 1 0 157884513 8331264 1903 1992294400 134512640 135192793 4294956224 18446744073709551615 134567946 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 2034 1904 56 166 0 1865 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8136

[startup+0.301763 s]
/proc/loadavg: 3.38 3.86 3.87 3/65 30534
/proc/meminfo: memFree=1910960/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=8268 CPUtime=0.29
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 2386 0 0 0 28 1 0 0 19 0 1 0 157884513 8466432 1911 1992294400 134512640 135192793 4294956224 18446744073709551615 134565339 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 2067 1911 56 166 0 1898 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8268

[startup+0.701808 s]
/proc/loadavg: 3.38 3.86 3.87 3/65 30534
/proc/meminfo: memFree=1910960/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=8536 CPUtime=0.69
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 2392 0 0 0 68 1 0 0 22 0 1 0 157884513 8740864 1917 1992294400 134512640 135192793 4294956224 18446744073709551615 134567659 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 2134 1917 56 166 0 1965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8536

[startup+1.5019 s]
/proc/loadavg: 3.38 3.86 3.87 2/66 30535
/proc/meminfo: memFree=1903400/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=8940 CPUtime=1.49
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 2490 0 0 0 148 1 0 0 25 0 1 0 157884513 9154560 2015 1992294400 134512640 135192793 4294956224 18446744073709551615 134567659 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 2235 2015 56 166 0 2066 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8940

[startup+3.10108 s]
/proc/loadavg: 3.38 3.86 3.87 2/66 30535
/proc/meminfo: memFree=1895976/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=16728 CPUtime=3.09
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 4785 0 0 0 307 2 0 0 25 0 1 0 157884513 17129472 4073 1992294400 134512640 135192793 4294956224 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 4182 4073 73 166 0 4013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16728

[startup+6.30145 s]
/proc/loadavg: 3.19 3.81 3.86 2/66 30535
/proc/meminfo: memFree=1892648/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=19436 CPUtime=6.29
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 5434 0 0 0 627 2 0 0 25 0 1 0 157884513 19902464 4722 1992294400 134512640 135192793 4294956224 18446744073709551615 134533349 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 4859 4722 73 166 0 4690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19436

[startup+12.7012 s]
/proc/loadavg: 3.02 3.76 3.84 2/66 30535
/proc/meminfo: memFree=1887864/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=23800 CPUtime=12.68
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 6488 0 0 0 1265 3 0 0 25 0 1 0 157884513 24371200 5776 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 5950 5776 73 166 0 5781 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23800

[startup+25.5016 s]
/proc/loadavg: 2.57 3.62 3.79 2/66 30535
/proc/meminfo: memFree=1878392/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=33824 CPUtime=25.48
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 8934 0 0 0 2543 5 0 0 25 0 1 0 157884513 34635776 8222 1992294400 134512640 135192793 4294956224 18446744073709551615 134533117 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 8456 8222 73 166 0 8287 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33824

[startup+51.1015 s]
/proc/loadavg: 2.03 3.41 3.72 2/66 30535
/proc/meminfo: memFree=1866296/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=45648 CPUtime=51.07
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 11886 0 0 0 5099 8 0 0 25 0 1 0 157884513 46743552 11174 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 11412 11174 73 166 0 11243 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45648

[startup+102.305 s]
/proc/loadavg: 1.45 3.04 3.57 2/66 30535
/proc/meminfo: memFree=1850872/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=61880 CPUtime=102.26
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 15747 0 0 0 10213 13 0 0 25 0 1 0 157884513 63365120 15035 1992294400 134512640 135192793 4294956224 18446744073709551615 134534145 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 15470 15035 73 166 0 15301 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 61880

[startup+162.301 s]
/proc/loadavg: 1.16 2.67 3.41 2/66 30535
/proc/meminfo: memFree=1842616/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=70436 CPUtime=162.25
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 17799 0 0 0 16208 17 0 0 25 0 1 0 157884513 72126464 17087 1992294400 134512640 135192793 4294956224 18446744073709551615 134534236 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 17609 17087 73 166 0 17440 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 70436

[startup+222.302 s]
/proc/loadavg: 1.06 2.36 3.26 2/66 30535
/proc/meminfo: memFree=1836984/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=76232 CPUtime=222.23
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 19197 0 0 0 22204 19 0 0 25 0 1 0 157884513 78061568 18485 1992294400 134512640 135192793 4294956224 18446744073709551615 134534180 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 19058 18485 74 166 0 18889 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76232

[startup+282.302 s]
/proc/loadavg: 1.02 2.11 3.11 2/66 30535
/proc/meminfo: memFree=1833144/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=80648 CPUtime=282.21
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 20162 0 0 0 28201 20 0 0 25 0 1 0 157884513 82583552 19450 1992294400 134512640 135192793 4294956224 18446744073709551615 134534264 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 20162 19450 74 166 0 19993 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 80648

[startup+342.302 s]
/proc/loadavg: 1.00 1.90 2.98 2/66 30535
/proc/meminfo: memFree=1829240/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=84672 CPUtime=342.19
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 21124 0 0 0 34198 21 0 0 25 0 1 0 157884513 86704128 20412 1992294400 134512640 135192793 4294956224 18446744073709551615 134533924 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 21168 20412 74 166 0 20999 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 84672

[startup+402.301 s]
/proc/loadavg: 1.00 1.74 2.85 2/66 30535
/proc/meminfo: memFree=1826872/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=87692 CPUtime=402.18
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 21702 0 0 0 40196 22 0 0 25 0 1 0 157884513 89796608 20990 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 21923 20990 74 166 0 21754 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 87692

[startup+462.301 s]
/proc/loadavg: 1.00 1.60 2.73 2/66 30535
/proc/meminfo: memFree=1823608/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=91276 CPUtime=462.16
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 22505 0 0 0 46193 23 0 0 25 0 1 0 157884513 93466624 21793 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 22819 21793 74 166 0 22650 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 91276

[startup+522.301 s]
/proc/loadavg: 1.00 1.49 2.62 2/66 30535
/proc/meminfo: memFree=1820152/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=95004 CPUtime=522.14
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 23390 0 0 0 52190 24 0 0 25 0 1 0 157884513 97284096 22678 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 23751 22678 74 166 0 23582 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 95004

[startup+582.302 s]
/proc/loadavg: 1.00 1.40 2.52 2/66 30535
/proc/meminfo: memFree=1818232/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=97188 CPUtime=582.12
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 23868 0 0 0 58188 24 0 0 25 0 1 0 157884513 99520512 23156 1992294400 134512640 135192793 4294956224 18446744073709551615 134550798 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 24297 23156 74 166 0 24128 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 97188

[startup+642.302 s]
/proc/loadavg: 1.00 1.32 2.42 2/66 30535
/proc/meminfo: memFree=1815928/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=99708 CPUtime=642.1
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 24401 0 0 0 64185 25 0 0 25 0 1 0 157884513 102100992 23689 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 24927 23689 74 166 0 24758 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 99708

[startup+702.302 s]

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

/proc/meminfo: memFree=1779960/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=140768 CPUtime=2261.63
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 33156 0 0 0 226125 38 0 0 25 0 1 0 157884513 144146432 32444 1992294400 134512640 135192793 4294956224 18446744073709551615 134534170 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 35192 32444 74 166 0 35023 0
Current children cumulated CPU time (s) 2261.63
Current children cumulated vsize (KiB) 140768

[startup+2322.3 s]
/proc/loadavg: 1.00 1.00 1.19 3/66 30537
/proc/meminfo: memFree=1779384/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=141424 CPUtime=2321.61
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 33300 0 0 0 232123 38 0 0 25 0 1 0 157884513 144818176 32588 1992294400 134512640 135192793 4294956224 18446744073709551615 134534267 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 35356 32588 74 166 0 35187 0
Current children cumulated CPU time (s) 2321.61
Current children cumulated vsize (KiB) 141424

[startup+2382.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/66 30537
/proc/meminfo: memFree=1778552/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=142348 CPUtime=2381.6
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 33490 0 0 0 238121 39 0 0 25 0 1 0 157884513 145764352 32778 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 35587 32778 74 166 0 35418 0
Current children cumulated CPU time (s) 2381.6
Current children cumulated vsize (KiB) 142348

[startup+2442.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/66 30537
/proc/meminfo: memFree=1776504/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=144456 CPUtime=2441.58
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 33993 0 0 0 244118 40 0 0 25 0 1 0 157884513 147922944 33281 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 36114 33281 74 166 0 35945 0
Current children cumulated CPU time (s) 2441.58
Current children cumulated vsize (KiB) 144456

[startup+2502.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/66 30537
/proc/meminfo: memFree=1775800/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=145316 CPUtime=2501.57
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 34173 0 0 0 250117 40 0 0 25 0 1 0 157884513 148803584 33461 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 36329 33461 74 166 0 36160 0
Current children cumulated CPU time (s) 2501.57
Current children cumulated vsize (KiB) 145316

[startup+2562.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/66 30537
/proc/meminfo: memFree=1775160/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=145912 CPUtime=2561.55
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 34318 0 0 0 256115 40 0 0 25 0 1 0 157884513 149413888 33605 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 36478 33605 74 166 0 36309 0
Current children cumulated CPU time (s) 2561.55
Current children cumulated vsize (KiB) 145912

[startup+2622.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/66 30537
/proc/meminfo: memFree=1774904/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=146184 CPUtime=2621.53
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 34391 0 0 0 262113 40 0 0 25 0 1 0 157884513 149692416 33678 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 36546 33678 74 166 0 36377 0
Current children cumulated CPU time (s) 2621.53
Current children cumulated vsize (KiB) 146184

[startup+2682.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/66 30537
/proc/meminfo: memFree=1773880/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=147412 CPUtime=2681.51
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 34629 0 0 0 268111 40 0 0 25 0 1 0 157884513 150949888 33916 1992294400 134512640 135192793 4294956224 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 36853 33916 74 166 0 36684 0
Current children cumulated CPU time (s) 2681.51
Current children cumulated vsize (KiB) 147412

[startup+2742.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/66 30537
/proc/meminfo: memFree=1773304/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=147912 CPUtime=2741.5
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 34768 0 0 0 274109 41 0 0 25 0 1 0 157884513 151461888 34055 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 36978 34055 74 166 0 36809 0
Current children cumulated CPU time (s) 2741.5
Current children cumulated vsize (KiB) 147912

[startup+2802.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 30537
/proc/meminfo: memFree=1772920/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=148420 CPUtime=2801.48
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 34861 0 0 0 280107 41 0 0 25 0 1 0 157884513 151982080 34148 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37105 34148 74 166 0 36936 0
Current children cumulated CPU time (s) 2801.48
Current children cumulated vsize (KiB) 148420

[startup+2862.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 30537
/proc/meminfo: memFree=1770808/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=150560 CPUtime=2861.46
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35366 0 0 0 286104 42 0 0 25 0 1 0 157884513 154173440 34653 1992294400 134512640 135192793 4294956224 18446744073709551615 134534131 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37640 34653 74 166 0 37471 0
Current children cumulated CPU time (s) 2861.46
Current children cumulated vsize (KiB) 150560

[startup+2922.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1770232/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=151300 CPUtime=2921.44
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35509 0 0 0 292102 42 0 0 25 0 1 0 157884513 154931200 34796 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37825 34796 74 166 0 37656 0
Current children cumulated CPU time (s) 2921.44
Current children cumulated vsize (KiB) 151300

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

[startup+2943.9 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1770040/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=151460 CPUtime=2943.03
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35559 0 0 0 294261 42 0 0 25 0 1 0 157884513 155095040 34846 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37865 34846 74 166 0 37696 0
Current children cumulated CPU time (s) 2943.03
Current children cumulated vsize (KiB) 151460

[startup+2956.7 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1769912/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=151720 CPUtime=2955.83
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35585 0 0 0 295541 42 0 0 25 0 1 0 157884513 155361280 34872 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37930 34872 74 166 0 37761 0
Current children cumulated CPU time (s) 2955.83
Current children cumulated vsize (KiB) 151720

[startup+2963.1 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1769848/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=151900 CPUtime=2962.23
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35599 0 0 0 296181 42 0 0 25 0 1 0 157884513 155545600 34886 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37975 34886 74 166 0 37806 0
Current children cumulated CPU time (s) 2962.23
Current children cumulated vsize (KiB) 151900

[startup+2964.7 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1769848/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=151900 CPUtime=2963.83
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35600 0 0 0 296341 42 0 0 25 0 1 0 157884513 155545600 34887 1992294400 134512640 135192793 4294956224 18446744073709551615 134533892 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37975 34887 74 166 0 37806 0
Current children cumulated CPU time (s) 2963.83
Current children cumulated vsize (KiB) 151900

[startup+2965.5 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1769848/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=151900 CPUtime=2964.63
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35600 0 0 0 296421 42 0 0 25 0 1 0 157884513 155545600 34887 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37975 34887 74 166 0 37806 0
Current children cumulated CPU time (s) 2964.63
Current children cumulated vsize (KiB) 151900

[startup+2966.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1769848/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=151900 CPUtime=2965.43
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194304 35607 0 0 0 296501 42 0 0 25 0 1 0 157884513 155545600 34894 1992294400 134512640 135192793 4294956224 18446744073709551615 134534215 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 37975 34894 74 166 0 37806 0
Current children cumulated CPU time (s) 2965.43
Current children cumulated vsize (KiB) 151900

[startup+2966.71 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 30537
/proc/meminfo: memFree=1769784/2055920 swapFree=4178656/4192956
[pid=30534] ppid=30532 vsize=0 CPUtime=2965.83
/proc/30534/stat : 30534 (mxc-sat09) R 30532 30534 30497 0 -1 4194308 35609 0 0 0 296540 43 0 0 16 0 1 0 157884513 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/30534/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2965.83
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 2966.72
CPU time (s): 2965.86
CPU user time (s): 2965.41
CPU system time (s): 0.451931
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 151900

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

runsolver used 3.41148 second user time and 7.17991 second system time

The end

Launcher Data 

Begin job on node32 at 2009-05-02 23:08:34
IDJOB=1773117
IDBENCH=20487
IDSOLVER=613
FILE ID=node32/1773117-1241298513
PBS_JOBID= 9225184
Free space on /tmp= 66496 MiB

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

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

MD5SUM BENCH= 8df6cfaff4435ad2a04367a34fb047c1
RANDOM SEED=65463613

node32.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.216
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.216
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:       1911440 kB
Buffers:         33452 kB
Cached:          63856 kB
SwapCached:       7684 kB
Active:          30180 kB
Inactive:        76048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1911440 kB
SwapTotal:     4192956 kB
SwapFree:      4178656 kB
Dirty:            2740 kB
Writeback:           0 kB
Mapped:          14068 kB
Slab:            23988 kB
Committed_AS:   710844 kB
PageTables:       1488 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= 66496 MiB
End job on node32 at 2009-05-02 23:58:00