Trace number 1773121

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
precosat 236SAT 804.521 804.744

General information on the benchmark

Nameindustrial/grieu/
vmpc_33.cnf
MD5SUM4c4d694bb911a7a13a7cb66a99dd484c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark150.288
Satisfiable
(Un)Satisfiability was proved
Number of variables1089
Number of clauses177375
Sum of the clauses size464310
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269795
Number of clauses of size 3107514
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 566

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-1773121-1241182402.cnf
0.00/0.00	c found header 'p cnf 1089 177375'
0.09/0.18	c finished parsing
0.09/0.18	c
0.09/0.18	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.18	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.18	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.18	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.18	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.18	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.18	c
0.09/0.18	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.09/0.18	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.18	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.18	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.18	c
0.09/0.18	c starting search after 0.2 seconds
0.09/0.18	c no decision limit
0.09/0.19	c
0.09/0.19	c       original/binary      fixed     eliminated      learned       agility
0.09/0.19	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.19	c
0.09/0.19	c *    0.2   177091    1087      2     0      0       0      0    0.0   0   11
0.99/1.02	c s    1.0   176832    1087      2     0      0       0      0    0.0   0   11
0.99/1.02	c l    1.0   176832    1087      2     0      0       0 102804    0.0   0   11
0.99/1.04	c R    1.0   176832    1087      2     0      0     101    101   97.4   5   11
0.99/1.05	c R    1.1   176832    1087      2     0      0     201    201   57.5   5   11
1.09/1.15	c R    1.2   176834    1087      2     0      0     807    807   35.4   5   11
1.09/1.19	c B    1.2   176839    1087      2     0      0    1000    999   31.8   5   11
1.29/1.35	c B    1.4   176842    1087      2     0      0    2000   1999   29.9   5   11
1.39/1.40	c R    1.4   176842    1087      2     0      0    2415   2414   29.3   5   11
2.09/2.11	c R    2.1   176895    1087      2     0      0    6432   6428   37.6   5   12
2.29/2.38	c B    2.4   176917    1087      2     0      0    8002   7998   44.5   5   12
3.89/3.98	c R    4.0   177087    1087      2     0      0   16057  16052   38.8   5   14
5.59/5.69	c B    5.7   177280    1087      2     0      0   24007  24001   36.8   4   16
6.50/6.56	c s    6.6   177342    1087      2     0      0   27929  27922   35.3   5   16
8.89/8.94	c R    8.9   177342    1087      2     0      0   38511  38504   32.7   5   18
15.29/15.32	c B   15.3   177342    1087      2     0      0   64019  64012   30.8   6   23
15.79/15.80	c s   15.8   177343    1087      2     0      0   64443  64435   30.7   5   22
22.99/23.09	c R   23.1   177518    1087      2     0      0   89895  89886   30.6   5   28
27.18/27.23	c +   27.2   177579    1087      2     0      0  102806 113084   31.7   5   31
27.88/27.99	c
27.88/27.99	c       original/binary      fixed     eliminated      learned       agility
27.88/27.99	c   seconds        variables     equivalent    conflicts       height       MB
27.88/27.99	c
27.88/27.99	c s   28.0   177558    1087      2     0      0  104269 104258   31.7   5   29
36.78/36.82	c +   36.8   177558    1087      2     0      0  128505 124392   30.9   5   33
48.18/48.28	c s   48.3   177560    1087      2     0      0  157605 124401   30.7   6   33
49.08/49.12	c B   49.1   177568    1087      2     0      0  160053 124409   30.7   6   34
49.28/49.31	c +   49.3   177568    1087      2     0      0  160630 136831   30.7   6   34
65.38/65.48	c +   65.5   177725    1087      2     0      0  200785 150514   30.7   5   39
67.17/67.22	c R   67.2   177756    1087      2     0      0  205429 141511   30.7   5   40
68.77/68.89	c s   68.9   177764    1087      2     0      0  207826 143908   30.7   5   37
89.57/89.62	c +   89.6   177895    1087      2     0      0  250981 165565   31.7   5   44
94.96/95.03	c s   95.0   177998    1087      2     0      0  261611 161156   31.7   5   41
124.16/124.24	c +  124.2   177998    1087      2     0      0  313726 182121   31.6   5   48
165.75/165.88	c B  165.8   177998    1087      2     0      0  384139 182136   31.4   5   54
170.65/170.75	c +  170.7   177998    1087      2     0      0  392155 200333   31.4   5   54
217.53/217.64	c R  217.6   177998    1087      2     0      0  462143 200364   32.1   5   61
237.13/237.25	c +  237.2   177998    1087      2     0      0  490193 220366   32.1   5   62
333.60/333.73	c +  333.6   177998    1087      2     0      0  612744 242402   32.0   6   71
474.15/474.34	c +  474.2   177998    1087      2     0      0  765930 266642   31.8   5   79
535.24/535.41	c s  535.3   177999    1087      2     0      0  825418 266654   31.7   5   65
610.72/610.93	c B  610.8   178032    1087      2     0      0  896331 266668   31.7   5   75
612.82/613.05	c
612.82/613.05	c       original/binary      fixed     eliminated      learned       agility
612.82/613.05	c   seconds        variables     equivalent    conflicts       height       MB
612.82/613.05	c
612.82/613.05	c s  612.9   178032    1087      2     0      0  896820 266673   31.7   5   65
680.10/680.30	c +  680.1   178032    1087      2     0      0  957412 293306   31.7   6   74
749.49/749.72	c R  749.5   178032    1087      2     0      0 1026815 293359   32.0   5   84
804.47/804.71	c 1  804.5   178032    1087      2     0      0 1072010 293367   32.1   6   87
804.47/804.71	c
804.47/804.72	s SATISFIABLE
804.47/804.72	v -1 -2 -3 -4 -5 6 -7
804.47/804.72	v -8 -9 -10 -11 -12 -13 -14 -15
804.47/804.72	v -16 -17 -18 -19 -20 -21 -22 -23
804.47/804.72	v -24 -25 -26 -27 -28 -29 -30 -31
804.47/804.72	v -32 -33 -34 -35 -36 -37 -38 -39
804.47/804.72	v -40 -41 -42 -43 -44 -45 -46 47
804.47/804.72	v -48 -49 -50 -51 -52 -53 -54 -55
804.47/804.72	v -56 -57 -58 -59 -60 -61 -62 -63
804.47/804.72	v -64 -65 -66 -67 -68 -69 -70 -71
804.47/804.72	v -72 -73 -74 -75 -76 -77 -78 -79
804.47/804.72	v -80 -81 -82 83 -84 -85 -86 -87
804.47/804.72	v -88 -89 -90 -91 -92 -93 -94 -95
804.47/804.72	v -96 -97 -98 -99 -100 -101 -102 -103
804.47/804.72	v -104 -105 -106 -107 -108 -109 -110 -111
804.47/804.72	v -112 -113 -114 -115 -116 -117 -118 119
804.47/804.72	v -120 -121 -122 -123 -124 -125 -126 -127
804.47/804.72	v -128 -129 -130 -131 -132 -133 -134 -135
804.47/804.72	v -136 -137 -138 -139 140 -141 -142 -143
804.47/804.72	v -144 -145 -146 -147 -148 -149 -150 -151
804.47/804.72	v -152 -153 -154 -155 -156 -157 -158 -159
804.47/804.72	v -160 -161 -162 -163 -164 -165 -166 -167
804.47/804.72	v -168 -169 -170 -171 -172 -173 -174 -175
804.47/804.72	v -176 -177 -178 -179 -180 -181 -182 -183
804.47/804.72	v -184 -185 186 -187 -188 -189 -190 -191
804.47/804.72	v -192 -193 -194 -195 -196 -197 -198 -199
804.47/804.72	v -200 -201 -202 -203 -204 -205 -206 207
804.47/804.72	v -208 -209 -210 -211 -212 -213 -214 -215
804.47/804.72	v -216 -217 -218 -219 -220 -221 -222 -223
804.47/804.72	v -224 -225 -226 -227 -228 -229 -230 -231
804.47/804.72	v -232 -233 -234 -235 -236 -237 -238 -239
804.47/804.72	v -240 -241 242 -243 -244 -245 -246 -247
804.47/804.72	v -248 -249 -250 -251 -252 -253 -254 -255
804.47/804.72	v -256 -257 -258 -259 -260 -261 -262 -263
804.47/804.72	v -264 -265 -266 267 -268 -269 -270 -271
804.47/804.72	v -272 -273 -274 -275 -276 -277 -278 -279
804.47/804.72	v -280 -281 -282 -283 -284 -285 -286 -287
804.47/804.72	v -288 -289 -290 -291 -292 -293 -294 -295
804.47/804.72	v -296 -297 -298 -299 -300 -301 -302 -303
804.47/804.72	v -304 -305 -306 -307 -308 -309 -310 -311
804.47/804.72	v -312 313 -314 -315 -316 -317 -318 -319
804.47/804.72	v -320 -321 -322 -323 -324 -325 -326 -327
804.47/804.72	v -328 -329 -330 -331 -332 -333 -334 -335
804.47/804.72	v -336 -337 -338 -339 -340 -341 -342 -343
804.47/804.72	v -344 -345 -346 -347 -348 349 -350 -351
804.47/804.72	v -352 -353 -354 -355 -356 -357 -358 -359
804.47/804.72	v -360 -361 -362 -363 -364 -365 -366 -367
804.47/804.72	v 368 -369 -370 -371 -372 -373 -374 -375
804.47/804.72	v -376 -377 -378 -379 -380 -381 -382 -383
804.47/804.72	v -384 -385 -386 -387 -388 -389 -390 -391
804.47/804.72	v -392 -393 -394 -395 -396 -397 -398 -399
804.47/804.72	v -400 -401 -402 -403 -404 -405 -406 -407
804.47/804.72	v -408 -409 -410 -411 -412 -413 -414 -415
804.47/804.72	v -416 -417 -418 -419 -420 -421 -422 423
804.47/804.72	v -424 -425 -426 -427 -428 -429 -430 -431
804.47/804.72	v -432 433 -434 -435 -436 -437 -438 -439
804.47/804.72	v -440 -441 -442 -443 -444 -445 -446 -447
804.47/804.72	v -448 -449 -450 -451 -452 -453 -454 -455
804.47/804.72	v -456 -457 -458 -459 -460 -461 -462 -463
804.47/804.72	v 464 -465 -466 -467 -468 -469 -470 -471
804.47/804.72	v -472 -473 -474 -475 -476 -477 -478 -479
804.47/804.72	v -480 -481 -482 -483 -484 -485 -486 -487
804.47/804.72	v -488 -489 -490 -491 -492 -493 -494 -495
804.47/804.72	v -496 -497 -498 -499 -500 -501 -502 -503
804.47/804.72	v -504 -505 -506 -507 -508 -509 -510 -511
804.47/804.72	v -512 -513 -514 -515 -516 -517 -518 -519
804.47/804.72	v -520 -521 -522 523 -524 -525 -526 -527
804.47/804.72	v -528 -529 -530 -531 -532 -533 -534 -535
804.47/804.72	v -536 -537 -538 -539 540 -541 -542 -543
804.47/804.72	v -544 -545 -546 -547 -548 -549 -550 -551
804.47/804.72	v -552 -553 -554 -555 -556 -557 -558 -559
804.47/804.72	v -560 -561 562 -563 -564 -565 -566 -567
804.47/804.72	v -568 -569 -570 -571 -572 -573 -574 -575
804.47/804.72	v -576 -577 -578 -579 -580 -581 -582 -583
804.47/804.72	v -584 -585 -586 -587 -588 -589 -590 -591
804.47/804.72	v -592 -593 -594 -595 -596 -597 -598 -599
804.47/804.72	v -600 -601 -602 -603 -604 -605 -606 -607
804.47/804.72	v -608 -609 -610 -611 -612 -613 -614 -615
804.47/804.72	v -616 -617 -618 -619 -620 -621 -622 -623
804.47/804.72	v 624 -625 -626 -627 -628 -629 -630 -631
804.47/804.72	v -632 -633 -634 -635 -636 -637 -638 -639
804.47/804.72	v -640 -641 -642 -643 -644 -645 -646 -647
804.47/804.72	v -648 -649 -650 651 -652 -653 -654 -655
804.47/804.72	v -656 -657 -658 -659 -660 -661 -662 -663
804.47/804.72	v -664 -665 -666 -667 -668 -669 -670 -671
804.47/804.72	v -672 -673 -674 -675 -676 -677 -678 -679
804.47/804.72	v -680 -681 -682 -683 -684 -685 -686 -687
804.47/804.72	v -688 -689 -690 -691 692 -693 -694 -695
804.47/804.72	v -696 -697 -698 -699 -700 -701 -702 -703
804.47/804.72	v -704 -705 -706 -707 -708 -709 -710 -711
804.47/804.72	v -712 -713 -714 -715 716 -717 -718 -719
804.47/804.72	v -720 -721 -722 -723 -724 -725 -726 -727
804.47/804.72	v -728 -729 -730 -731 -732 -733 -734 -735
804.47/804.72	v -736 -737 -738 -739 -740 -741 -742 -743
804.47/804.72	v -744 -745 -746 -747 -748 -749 -750 -751
804.47/804.72	v 752 -753 -754 -755 -756 -757 -758 -759
804.47/804.72	v -760 -761 -762 -763 -764 -765 -766 -767
804.47/804.72	v -768 -769 -770 -771 -772 -773 -774 -775
804.47/804.72	v -776 -777 -778 -779 -780 -781 -782 -783
804.47/804.72	v -784 -785 -786 -787 -788 -789 -790 -791
804.47/804.72	v 792 -793 -794 -795 -796 -797 -798 -799
804.47/804.72	v -800 -801 802 -803 -804 -805 -806 -807
804.47/804.72	v -808 -809 -810 -811 -812 -813 -814 -815
804.47/804.72	v -816 -817 -818 -819 -820 -821 -822 -823
804.47/804.72	v -824 -825 -826 -827 -828 -829 -830 -831
804.47/804.72	v 832 -833 -834 -835 -836 -837 -838 -839
804.47/804.72	v -840 -841 -842 -843 -844 -845 -846 -847
804.47/804.72	v -848 -849 -850 -851 -852 -853 -854 -855
804.47/804.72	v -856 -857 -858 -859 -860 -861 -862 -863
804.47/804.72	v -864 -865 -866 -867 -868 -869 -870 -871
804.47/804.72	v -872 -873 -874 -875 876 -877 -878 -879
804.47/804.72	v -880 -881 -882 -883 -884 -885 -886 -887
804.47/804.72	v -888 -889 -890 -891 -892 -893 -894 -895
804.47/804.72	v -896 -897 -898 -899 -900 -901 -902 -903
804.47/804.72	v 904 -905 -906 -907 -908 -909 -910 -911
804.47/804.72	v -912 -913 -914 -915 -916 -917 -918 -919
804.47/804.72	v -920 -921 -922 -923 -924 -925 -926 -927
804.47/804.72	v -928 -929 -930 -931 -932 -933 -934 -935
804.47/804.72	v -936 -937 -938 -939 -940 -941 -942 -943
804.47/804.72	v -944 -945 -946 -947 -948 -949 -950 -951
804.47/804.72	v -952 953 -954 -955 -956 -957 -958 -959
804.47/804.72	v -960 -961 -962 -963 -964 -965 -966 -967
804.47/804.72	v -968 -969 -970 -971 972 -973 -974 -975
804.47/804.72	v -976 -977 -978 -979 -980 -981 -982 -983
804.47/804.72	v -984 -985 -986 -987 -988 -989 -990 -991
804.47/804.72	v -992 -993 -994 -995 -996 -997 -998 -999
804.47/804.72	v -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
804.47/804.72	v -1008 -1009 -1010 -1011 -1012 -1013 -1014 1015
804.47/804.72	v -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023
804.47/804.72	v -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031
804.47/804.72	v -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039
804.47/804.72	v -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047
804.47/804.72	v -1048 -1049 -1050 -1051 -1052 -1053 1054 -1055
804.47/804.72	v -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063
804.47/804.72	v -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071
804.47/804.72	v -1072 -1073 -1074 -1075 -1076 -1077 1078 -1079
804.47/804.72	v -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087
804.47/804.72	v -1088 -1089
804.47/804.72	v 0
804.47/804.72	c
804.47/804.72	c 1072010 conflicts, 2321704 decisions, 1155 random
804.47/804.72	c 0 iterations, 2046 restarts, 0 skipped
804.47/804.72	c 11 enlarged, 67 shrunken, 10483 rescored, 279 rebiased
804.47/804.72	c 9 simplifications, 0 reductions
804.47/804.72	c
804.47/804.72	c vars: 2 fixed, 0 equiv, 0 elim, 0 merged
804.47/804.72	c elim: 499987 resolutions, 1 phases, 1 rounds
804.47/804.72	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
804.47/804.72	c arty: 0.00 and 0.00 xor average arity
804.47/804.72	c prbe: 345666 probed, 159 phases, 159 rounds
804.47/804.72	c prbe: 0 failed, 0 lifted, 0 merged
804.47/804.72	c sccs: 0 non trivial, 0 fixed, 0 merged
804.47/804.72	c hash: 2 units, 0 merged
804.47/804.72	c mins: 46278355 learned, 56% deleted, 128 strong, 23 depth
804.47/804.72	c subs: 4162 forward, 65 backward, 4964 doms
804.47/804.72	c strs: 435 forward, 49 backward
804.47/804.72	c doms: 4965 dominators, 924 high, 9 low
804.47/804.72	c prps: 260042196 propagations, 0.32 megaprops
804.47/804.72	c
804.47/804.72	c 804.5 seconds, 87 MB max, 145 MB recycled

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-1773121-1241182402/watcher-1773121-1241182402 -o /tmp/evaluation-result-1773121-1241182402/solver-1773121-1241182402 -C 10000 -W 6000 -M 1800 HOME/precosat HOME/instance-1773121-1241182402.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): 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.94 3/64 20444
/proc/meminfo: memFree=1167024/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=1052 CPUtime=0
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 146273383 1077248 163 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 263 163 63 155 0 106 0

[startup+0.011403 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20444
/proc/meminfo: memFree=1167024/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=1580 CPUtime=0
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 300 0 0 0 0 0 0 0 18 0 1 0 146273383 1617920 285 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 395 286 63 155 0 238 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1580

[startup+0.10141 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20444
/proc/meminfo: memFree=1167024/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=7684 CPUtime=0.09
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 1849 0 0 0 9 0 0 0 18 0 1 0 146273383 7868416 1801 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 1921 1801 64 155 0 1764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7684

[startup+0.301427 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20444
/proc/meminfo: memFree=1167024/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=12704 CPUtime=0.29
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 3336 0 0 0 28 1 0 0 19 0 1 0 146273383 13008896 3093 1992294400 134512640 135151029 4294956240 18446744073709551615 134579525 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 3176 3093 79 155 0 3019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12704

[startup+0.701461 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 20444
/proc/meminfo: memFree=1167024/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=17256 CPUtime=0.69
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 4591 0 0 0 68 1 0 0 22 0 1 0 146273383 17670144 4219 1992294400 134512640 135151029 4294956240 18446744073709551615 134548459 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 4314 4219 79 155 0 4157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17256

[startup+1.50153 s]
/proc/loadavg: 0.92 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1150696/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=16740 CPUtime=1.49
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 4591 0 0 0 148 1 0 0 25 0 1 0 146273383 17141760 4090 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 4185 4090 79 155 0 4028 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16740

[startup+3.10167 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1150568/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=16740 CPUtime=3.09
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 4591 0 0 0 308 1 0 0 25 0 1 0 146273383 17141760 4090 1992294400 134512640 135151029 4294956240 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 4185 4090 79 155 0 4028 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16740

[startup+6.30194 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1149544/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=18592 CPUtime=6.29
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 5053 0 0 0 627 2 0 0 25 0 1 0 146273383 19038208 4552 1992294400 134512640 135151029 4294956240 18446744073709551615 134554915 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 4648 4552 79 155 0 4491 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18592

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1144248/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=23660 CPUtime=12.69
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 6321 0 0 0 1266 3 0 0 25 0 1 0 146273383 24227840 5820 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 5915 5820 79 155 0 5758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23660

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1134648/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=33016 CPUtime=25.48
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 8770 0 0 0 2542 6 0 0 25 0 1 0 146273383 33808384 8140 1992294400 134512640 135151029 4294956240 18446744073709551615 134520403 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 8254 8140 79 155 0 8097 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33016

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1127160/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=40400 CPUtime=51.08
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 10883 0 0 0 5100 8 0 0 25 0 1 0 146273383 41369600 9995 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 10100 9995 79 155 0 9943 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40400

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1117176/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=50204 CPUtime=102.26
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 13349 0 0 0 10216 10 0 0 25 0 1 0 146273383 51408896 12461 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 12551 12461 79 155 0 12394 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50204

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1109240/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=58788 CPUtime=162.25
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 15356 0 0 0 16212 13 0 0 25 0 1 0 146273383 60198912 14468 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 14697 14468 79 155 0 14540 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 58788

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1102584/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=66024 CPUtime=222.23
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 17003 0 0 0 22208 15 0 0 25 0 1 0 146273383 67608576 16115 1992294400 134512640 135151029 4294956240 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 16506 16115 79 155 0 16349 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 66024

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1095480/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=73460 CPUtime=282.21
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 18757 0 0 0 28203 18 0 0 25 0 1 0 146273383 75223040 17869 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 18365 17869 79 155 0 18208 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 73460

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1091192/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=78256 CPUtime=342.2
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 19832 0 0 0 34201 19 0 0 25 0 1 0 146273383 80134144 18944 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 19564 18944 79 155 0 19407 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 78256

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20445
/proc/meminfo: memFree=1086648/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=83012 CPUtime=402.18
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 20935 0 0 0 40197 21 0 0 25 0 1 0 146273383 85004288 20047 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 20753 20047 79 155 0 20596 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 83012

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1085112/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=85012 CPUtime=462.16
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 21324 0 0 0 46194 22 0 0 25 0 1 0 146273383 87052288 20436 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 21253 20436 79 155 0 21096 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 85012

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1079864/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=90612 CPUtime=522.14
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 22649 0 0 0 52191 23 0 0 25 0 1 0 146273383 92786688 21761 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 22653 21761 79 155 0 22496 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 90612

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1079288/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=89684 CPUtime=582.13
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 23024 0 0 0 58189 24 0 0 25 0 1 0 146273383 91836416 21912 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 22421 21912 79 155 0 22264 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 89684

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1078904/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=89684 CPUtime=642.12
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 23100 0 0 0 64188 24 0 0 25 0 1 0 146273383 91836416 21988 1992294400 134512640 135151029 4294956240 18446744073709551615 134578170 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 22421 21988 79 155 0 22264 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 89684

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1078200/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=89684 CPUtime=702.09
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 23284 0 0 0 70185 24 0 0 25 0 1 0 146273383 91836416 22172 1992294400 134512640 135151029 4294956240 18446744073709551615 134680810 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 22421 22172 79 155 0 22264 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 89684

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1076344/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=91264 CPUtime=762.08
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 23760 0 0 0 76183 25 0 0 25 0 1 0 146273383 93454336 22648 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 22816 22648 79 155 0 22659 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 91264

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

[startup+767.902 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1075896/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=91728 CPUtime=767.68
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 23864 0 0 0 76743 25 0 0 25 0 1 0 146273383 93929472 22752 1992294400 134512640 135151029 4294956240 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 22932 22752 79 155 0 22775 0
Current children cumulated CPU time (s) 767.68
Current children cumulated vsize (KiB) 91728

[startup+780.702 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1075384/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=92364 CPUtime=780.47
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 23990 0 0 0 78022 25 0 0 25 0 1 0 146273383 94580736 22878 1992294400 134512640 135151029 4294956240 18446744073709551615 134574544 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 23091 22878 79 155 0 22934 0
Current children cumulated CPU time (s) 780.47
Current children cumulated vsize (KiB) 92364

[startup+793.502 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1074808/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=93036 CPUtime=793.27
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 24133 0 0 0 79302 25 0 0 25 0 1 0 146273383 95268864 23021 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 23259 23021 79 155 0 23102 0
Current children cumulated CPU time (s) 793.27
Current children cumulated vsize (KiB) 93036

[startup+799.901 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1074360/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=93444 CPUtime=799.67
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 24231 0 0 0 79941 26 0 0 25 0 1 0 146273383 95686656 23119 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 23361 23119 79 155 0 23204 0
Current children cumulated CPU time (s) 799.67
Current children cumulated vsize (KiB) 93444

[startup+803.102 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1074232/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=93612 CPUtime=802.87
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 24274 0 0 0 80261 26 0 0 25 0 1 0 146273383 95858688 23162 1992294400 134512640 135151029 4294956240 18446744073709551615 134520461 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 23403 23162 79 155 0 23246 0
Current children cumulated CPU time (s) 802.87
Current children cumulated vsize (KiB) 93612

[startup+803.902 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1074232/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=93788 CPUtime=803.67
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 24291 0 0 0 80341 26 0 0 25 0 1 0 146273383 96038912 23179 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 23447 23179 79 155 0 23290 0
Current children cumulated CPU time (s) 803.67
Current children cumulated vsize (KiB) 93788

[startup+804.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1074168/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=93788 CPUtime=804.07
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 24293 0 0 0 80381 26 0 0 25 0 1 0 146273383 96038912 23181 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 23447 23181 79 155 0 23290 0
Current children cumulated CPU time (s) 804.07
Current children cumulated vsize (KiB) 93788

[startup+804.702 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 20451
/proc/meminfo: memFree=1074168/2055920 swapFree=4191900/4192956
[pid=20444] ppid=20442 vsize=93788 CPUtime=804.47
/proc/20444/stat : 20444 (precosat) R 20442 20444 20407 0 -1 4194304 24293 0 0 0 80421 26 0 0 25 0 1 0 146273383 96038912 23181 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/20444/statm: 23447 23181 79 155 0 23290 0
Current children cumulated CPU time (s) 804.47
Current children cumulated vsize (KiB) 93788

Child status: 10
Real time (s): 804.744
CPU time (s): 804.521
CPU user time (s): 804.244
CPU system time (s): 0.276957
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 93788

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

runsolver used 0.696894 second user time and 1.78873 second system time

The end

Launcher Data 

Begin job on node31 at 2009-05-01 14:53:22
IDJOB=1773121
IDBENCH=20488
IDSOLVER=607
FILE ID=node31/1773121-1241182402
PBS_JOBID= 9224585
Free space on /tmp= 66444 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/grieu/vmpc_33.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773121-1241182402/watcher-1773121-1241182402 -o /tmp/evaluation-result-1773121-1241182402/solver-1773121-1241182402 -C 10000 -W 6000 -M 1800  HOME/precosat HOME/instance-1773121-1241182402.cnf

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

MD5SUM BENCH= 4c4d694bb911a7a13a7cb66a99dd484c
RANDOM SEED=731421672

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:       1167440 kB
Buffers:         79304 kB
Cached:         697960 kB
SwapCached:        384 kB
Active:          29624 kB
Inactive:       761992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1167440 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3420 kB
Writeback:           0 kB
Mapped:          22692 kB
Slab:            82524 kB
Committed_AS:   654588 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= 66444 MiB
End job on node31 at 2009-05-01 15:06:47