Trace number 1718443

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
picosat 913SAT 1053.83 1054.15

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 benchmark143.882
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 PicoSAT SAT Solver Version 913
0.00/0.00	c Copyright (c) 2006 - 2009 Armin Biere JKU Linz
0.00/0.00	c gcc -Wall -Wextra -m32 -static -DNDEBUG -O3 -fomit-frame-pointer -finline-limit=1000000
0.00/0.00	c
0.00/0.00	c parsing HOME/instance-1718443-1240636737.cnf
0.00/0.00	c parsed header 'p cnf 1089 177375'
0.09/0.19	c initialized 1089 variables
0.09/0.19	c found 177375 non trivial clauses
0.09/0.19	c
0.09/0.19	c random number generator seed 0
0.09/0.19	c 
0.09/0.19	c  seconds     variables   original    learned     agility
0.09/0.19	c         level        used      conflicts    limit          MB
0.09/0.19	c 
0.09/0.19	c s   0.2   0.0  1087   0.5 107e3     2     0     0   0.0   4.0 
0.19/0.20	c 
0.19/0.20	c initial reduction limit 53790 clauses
0.19/0.20	c 
0.19/0.20	c +   0.2 100.5  1087  88.5 107e3   102   100 59169   4.9   4.1 
0.19/0.21	c R   0.2 100.5  1087  88.7 107e3   104   102 59169   5.0   4.1 
0.19/0.22	c +   0.2  50.8  1087  98.6 107e3   252   249 65085   5.1   4.1 
0.19/0.24	c R   0.2  40.1  1087  99.5 107e3   409   405 65085   5.2   4.1 
0.19/0.25	c +   0.3  37.3  1087  99.8 107e3   477   472 71593   4.7   4.1 
0.29/0.30	c +   0.3  32.9  1087  99.9 107e3   814   809 78752   4.4   4.1 
0.29/0.36	c R   0.4  28.2  1087 100.0 107e3  1212  1206 78752   4.4   4.2 
0.29/0.37	c +   0.4  27.2  1087 100.0 107e3  1319  1313 86627   4.4   4.2 
0.39/0.47	c +   0.5  24.4  1087 100.0 107e3  2076  2070 95289   5.2   4.3 
0.59/0.61	c +   0.6  26.1  1087 100.0 107e3  3211  3203 104e3   4.8   4.5 
0.59/0.62	c R   0.6  26.2  1087 100.0 107e3  3223  3215 104e3   4.7   4.5 
0.79/0.87	c +   0.9  25.0  1087 100.0 107e3  4913  4901 115e3   4.9   4.7 
1.19/1.26	c +   1.3  25.0  1087 100.0 107e3  7466  7450 126e3   5.0   5.0 
1.29/1.35	c R   1.4  24.6  1087 100.0 107e3  8033  8016 126e3   5.0   5.1 
1.79/1.87	c +   1.9  23.4  1087 100.0 107e3 11295 11276 139e3   5.0   5.6 
2.79/2.83	c +   2.8  23.8  1087 100.0 107e3 17038 17011 153e3   4.8   6.4 
3.20/3.22	c R   3.2  23.8  1087 100.0 107e3 19271 19244 153e3   4.4   6.7 
4.40/4.41	c +   4.4  24.7  1087 100.0 107e3 25652 25618 168e3   5.8   7.6 
6.99/7.02	c +   7.0  24.5  1087 100.0 107e3 38573 38525 185e3   4.8   9.6 
8.18/8.25	c R   8.2  25.2  1087 100.0 107e3 44936 44888 185e3   5.1  10.6 
8.18/8.25	c 
8.18/8.25	c  seconds     variables   original    learned     agility
8.18/8.25	c         level        used      conflicts    limit          MB
8.18/8.25	c 
11.69/11.70	c +  11.7  25.0  1087 100.0 107e3 57954 57901 204e3   4.3  12.4 
19.59/19.66	c +  19.7  25.4  1087 100.0 107e3 87025 86957 224e3   5.5  16.9 
24.09/24.17	c R  24.2  25.5  1087 100.0 107e3 102e3 102e3 224e3   5.1  19.4 
35.18/35.24	c +  35.2  25.5  1087 100.0 107e3 130e3 130e3 247e3   4.7  23.6 
66.47/66.57	c +  66.6  25.7  1087 100.0 107e3 196e3 195e3 271e3   5.1  34.2 
85.36/85.43	c R  85.4  26.3  1087 100.0 107e3 230e3 230e3 271e3   5.2  40.9 
122.25/122.37	c + 122.3  26.1  1087 100.0 107e3 294e3 46262 299e3   5.2  14.9 
197.53/197.66	c + 197.6  26.5  1087 100.0 107e3 441e3 193e3 328e3   5.7  39.5 
248.71/248.89	c R 248.8  26.9  1087 100.0 107e3 513e3 265e3 328e3   6.1  53.9 
355.98/356.14	c + 356.0  27.7  1087 100.0 107e3 662e3 114e3 361e3   5.0  27.8 
643.79/644.07	c + 643.9  28.4  1087 100.0 107e3 993e3 116e3 398e3   5.2  29.1 
760.06/760.32	c R 760.1  29.3  1087 100.0 107e3 112e4 252e3 398e3   5.2  59.5 
1053.67/1054.08	c 1 105e1  29.5  1087 100.0 107e3 139e4 159e3 398e3   5.1  36.9 
1053.67/1054.08	c 
1053.67/1054.08	c  seconds     variables   original    learned     agility
1053.67/1054.08	c         level        used      conflicts    limit          MB
1053.67/1054.08	c 
1053.67/1054.08	s SATISFIABLE
1053.67/1054.08	v -1 -2 -3 -4 -5 6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22
1053.67/1054.08	v -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41
1053.67/1054.08	v -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60
1053.67/1054.08	v -61 -62 -63 -64 -65 66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 77 -78 -79 -80
1053.67/1054.08	v -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99
1053.67/1054.08	v -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114
1053.67/1054.08	v -115 -116 -117 118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129
1053.67/1054.08	v -130 -131 -132 -133 -134 -135 -136 -137 -138 139 -140 -141 -142 -143 -144
1053.67/1054.08	v -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159
1053.67/1054.08	v -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174
1053.67/1054.08	v -175 -176 -177 -178 -179 -180 181 -182 -183 -184 -185 -186 -187 -188 -189
1053.67/1054.08	v -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204
1053.67/1054.08	v -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219
1053.67/1054.08	v -220 -221 -222 -223 -224 -225 -226 227 -228 -229 -230 -231 -232 -233 -234
1053.67/1054.08	v -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 248 -249
1053.67/1054.08	v -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264
1053.67/1054.08	v -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279
1053.67/1054.08	v -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 291 -292 -293 -294
1053.67/1054.08	v -295 -296 -297 298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309
1053.67/1054.08	v -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324
1053.67/1054.08	v -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339
1053.67/1054.08	v -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354
1053.67/1054.08	v -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 366 -367 -368 -369
1053.67/1054.08	v -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384
1053.67/1054.08	v -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399
1053.67/1054.09	v -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 414
1053.67/1054.09	v -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429
1053.67/1054.09	v -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 442 -443 -444
1053.67/1054.09	v -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459
1053.67/1054.09	v -460 -461 -462 -463 -464 -465 466 -467 -468 -469 -470 -471 -472 -473 -474
1053.67/1054.09	v -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489
1053.67/1054.09	v -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504
1053.67/1054.09	v -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519
1053.67/1054.09	v -520 -521 -522 523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534
1053.67/1054.09	v -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549
1053.67/1054.09	v -550 551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564
1053.67/1054.09	v -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579
1053.67/1054.09	v -580 -581 -582 -583 -584 -585 586 -587 -588 -589 -590 -591 -592 -593 -594
1053.67/1054.09	v -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609
1053.67/1054.09	v -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624
1053.67/1054.09	v -625 626 -627 -628 629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640
1053.67/1054.09	v -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655
1053.67/1054.09	v -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670
1053.67/1054.09	v -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 681 -682 -683 -684 -685
1053.67/1054.09	v -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700
1053.67/1054.09	v -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715
1053.67/1054.09	v -716 -717 -718 -719 -720 -721 -722 -723 724 -725 -726 -727 -728 -729 -730
1053.67/1054.09	v -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745
1053.67/1054.09	v 746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760
1053.67/1054.09	v -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775
1053.67/1054.09	v -776 -777 -778 -779 -780 -781 -782 783 -784 -785 -786 -787 -788 -789 -790
1053.67/1054.09	v -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805
1053.77/1054.15	v -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 818 -819 -820
1053.77/1054.15	v -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835
1053.77/1054.15	v -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850
1053.77/1054.15	v -851 -852 -853 -854 855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865
1053.77/1054.15	v -866 867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880
1053.77/1054.15	v -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 -895
1053.77/1054.15	v -896 -897 -898 -899 -900 -901 -902 -903 -904 905 -906 -907 -908 -909 -910
1053.77/1054.15	v -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925
1053.77/1054.15	v -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940
1053.77/1054.15	v -941 -942 -943 -944 -945 946 -947 -948 -949 -950 -951 -952 -953 -954 -955
1053.77/1054.15	v -956 -957 -958 -959 -960 -961 962 -963 -964 -965 -966 -967 -968 -969 -970
1053.77/1054.15	v -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985
1053.77/1054.15	v -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000
1053.77/1054.15	v -1001 1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013
1053.77/1054.15	v -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026
1053.77/1054.15	v -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 1038 -1039
1053.77/1054.15	v -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052
1053.77/1054.15	v -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065
1053.77/1054.15	v 1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078
1053.77/1054.15	v -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 0
1053.77/1054.15	c
1053.77/1054.15	c 0 iterations
1053.77/1054.15	c 2684 restarts
1053.77/1054.15	c 2 failed literals
1053.77/1054.15	c 1399893 conflicts
1053.77/1054.15	c 2817817 decisions
1053.77/1054.15	c 2 fixed variables
1053.77/1054.15	c 60326003 learned literals
1053.77/1054.15	c 58.6% deleted literals
1053.77/1054.15	c 323339364 propagations
1053.77/1054.15	c 100.0% variables used
1053.77/1054.15	c 1053.8 seconds in library
1053.77/1054.15	c 0.3 megaprops/second
1053.77/1054.15	c 1 simplifications
1053.77/1054.15	c 4 reductions
1053.77/1054.15	c 228.1 MB recycled
1053.77/1054.15	c 87.8 MB maximally allocated
1053.77/1054.15	c 1053.8 seconds total run time

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-1718443-1240636737/watcher-1718443-1240636737 -o /tmp/evaluation-result-1718443-1240636737/solver-1718443-1240636737 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/picosat HOME/instance-1718443-1240636737.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16625
/proc/meminfo: memFree=1035656/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=912 CPUtime=0
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 143 0 0 0 0 0 0 0 18 0 1 0 91702070 933888 128 1992294400 134512640 135137933 4294956240 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 228 128 56 152 0 74 0

[startup+0.044075 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16625
/proc/meminfo: memFree=1035656/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=2756 CPUtime=0.04
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 574 0 0 0 4 0 0 0 18 0 1 0 91702070 2822144 560 1992294400 134512640 135137933 4294956240 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 689 560 56 152 0 535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2756

[startup+0.101081 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16625
/proc/meminfo: memFree=1035656/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=5256 CPUtime=0.09
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 1185 0 0 0 9 0 0 0 18 0 1 0 91702070 5382144 1170 1992294400 134512640 135137933 4294956240 18446744073709551615 134668310 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 1314 1171 56 152 0 1160 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5256

[startup+0.301106 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16625
/proc/meminfo: memFree=1035656/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=5520 CPUtime=0.29
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 1256 0 0 0 29 0 0 0 20 0 1 0 91702070 5652480 1241 1992294400 134512640 135137933 4294956240 18446744073709551615 134548890 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 1380 1241 69 152 0 1226 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701157 s]
/proc/loadavg: 0.91 0.97 0.99 3/65 16625
/proc/meminfo: memFree=1035656/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=5916 CPUtime=0.69
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 1361 0 0 0 69 0 0 0 22 0 1 0 91702070 6057984 1346 1992294400 134512640 135137933 4294956240 18446744073709551615 134548994 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 1479 1346 69 152 0 1325 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5916

[startup+1.50126 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 16626
/proc/meminfo: memFree=1030272/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=6628 CPUtime=1.49
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 1540 0 0 0 149 0 0 0 25 0 1 0 91702070 6787072 1525 1992294400 134512640 135137933 4294956240 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 1657 1525 69 152 0 1503 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6628

[startup+3.10146 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 16626
/proc/meminfo: memFree=1029120/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=8080 CPUtime=3.09
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 1892 0 0 0 308 1 0 0 25 0 1 0 91702070 8273920 1877 1992294400 134512640 135137933 4294956240 18446744073709551615 134548870 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 2020 1877 69 152 0 1866 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8080

[startup+6.30187 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 16626
/proc/meminfo: memFree=1026176/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=10716 CPUtime=6.29
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 2536 0 0 0 628 1 0 0 25 0 1 0 91702070 10973184 2521 1992294400 134512640 135137933 4294956240 18446744073709551615 134527931 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 2679 2521 69 152 0 2525 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10716

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 16626
/proc/meminfo: memFree=1021696/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=14808 CPUtime=12.69
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 3604 0 0 0 1267 2 0 0 25 0 1 0 91702070 15163392 3589 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 3702 3589 69 152 0 3548 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14808

[startup+25.5013 s]
/proc/loadavg: 0.94 0.97 0.99 2/66 16626
/proc/meminfo: memFree=1014208/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=22192 CPUtime=25.48
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 5400 0 0 0 2544 4 0 0 25 0 1 0 91702070 22724608 5385 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 5548 5385 69 152 0 5394 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22192

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.99 2/66 16626
/proc/meminfo: memFree=1004288/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=32604 CPUtime=51.08
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 7940 0 0 0 5101 7 0 0 25 0 1 0 91702070 33386496 7925 1992294400 134512640 135137933 4294956240 18446744073709551615 134527918 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 8151 7925 69 152 0 7997 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32604

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/66 16626
/proc/meminfo: memFree=987840/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=48312 CPUtime=102.26
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 11951 0 0 0 10214 12 0 0 25 0 1 0 91702070 49471488 11936 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 12078 11936 69 152 0 11924 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48312

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16626
/proc/meminfo: memFree=983360/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=54672 CPUtime=162.25
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 13081 0 0 0 16211 14 0 0 25 0 1 0 91702070 55984128 13041 1992294400 134512640 135137933 4294956240 18446744073709551615 134548903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 13668 13041 69 152 0 13514 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54672

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16626
/proc/meminfo: memFree=983360/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=54672 CPUtime=222.23
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 13081 0 0 0 22209 14 0 0 25 0 1 0 91702070 55984128 13041 1992294400 134512640 135137933 4294956240 18446744073709551615 134549150 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 13668 13041 69 152 0 13514 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 54672

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16626
/proc/meminfo: memFree=973504/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=64440 CPUtime=282.2
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 15556 0 0 0 28202 18 0 0 25 0 1 0 91702070 65986560 15516 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 16110 15516 69 152 0 15956 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 64440

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16626
/proc/meminfo: memFree=967232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=70116 CPUtime=342.18
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 17079 0 0 0 34198 20 0 0 25 0 1 0 91702070 71798784 17039 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 17529 17039 69 152 0 17375 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 70116

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16626
/proc/meminfo: memFree=967232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=70116 CPUtime=402.17
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 17079 0 0 0 40196 21 0 0 25 0 1 0 91702070 71798784 17039 1992294400 134512640 135137933 4294956240 18446744073709551615 134548870 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 17529 17039 69 152 0 17375 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 70116

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16626
/proc/meminfo: memFree=967296/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=70116 CPUtime=462.15
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 17079 0 0 0 46194 21 0 0 25 0 1 0 91702070 71798784 17039 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 17529 17039 69 152 0 17375 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 70116

[startup+522.301 s]
/proc/loadavg: 1.05 0.99 1.00 2/66 16626
/proc/meminfo: memFree=967360/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=70116 CPUtime=522.13
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 17079 0 0 0 52192 21 0 0 25 0 1 0 91702070 71798784 17039 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 17529 17039 69 152 0 17375 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 70116

[startup+582.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 16626
/proc/meminfo: memFree=959744/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=77772 CPUtime=582.12
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 19013 0 0 0 58188 24 0 0 25 0 1 0 91702070 79638528 18973 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 19443 18973 69 152 0 19289 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 77772

[startup+642.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/66 16626
/proc/meminfo: memFree=957440/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=79884 CPUtime=642.09
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 19560 0 0 0 64185 24 0 0 25 0 1 0 91702070 81801216 19520 1992294400 134512640 135137933 4294956240 18446744073709551615 134548903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 19971 19520 69 152 0 19817 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 79884

[startup+702.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 16626
/proc/meminfo: memFree=957376/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=79884 CPUtime=702.08
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 19560 0 0 0 70183 25 0 0 25 0 1 0 91702070 81801216 19520 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 19971 19520 69 152 0 19817 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 79884

[startup+762.305 s]
/proc/loadavg: 1.06 1.03 1.00 2/66 16626
/proc/meminfo: memFree=957376/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=79884 CPUtime=762.06
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 19560 0 0 0 76181 25 0 0 25 0 1 0 91702070 81801216 19520 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 19971 19520 69 152 0 19817 0
Current children cumulated CPU time (s) 762.06
Current children cumulated vsize (KiB) 79884

[startup+822.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 16626
/proc/meminfo: memFree=957376/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=79884 CPUtime=822.04
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 19560 0 0 0 82179 25 0 0 25 0 1 0 91702070 81801216 19520 1992294400 134512640 135137933 4294956240 18446744073709551615 134548844 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 19971 19520 69 152 0 19817 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 79884

[startup+882.302 s]
/proc/loadavg: 1.13 1.06 1.01 2/66 16626
/proc/meminfo: memFree=954688/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=82524 CPUtime=882.02
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 20230 0 0 0 88176 26 0 0 25 0 1 0 91702070 84504576 20190 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 20631 20190 69 152 0 20477 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 82524

[startup+942.301 s]
/proc/loadavg: 1.05 1.05 1.00 2/66 16626
/proc/meminfo: memFree=946624/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=90444 CPUtime=942
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 22243 0 0 0 94172 28 0 0 25 0 1 0 91702070 92614656 22203 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 22611 22203 69 152 0 22457 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 90444

[startup+1002.3 s]
/proc/loadavg: 1.16 1.07 1.01 2/66 16626
/proc/meminfo: memFree=943296/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1001.99
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 100169 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 93612

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

[startup+1023.9 s]
/proc/loadavg: 1.11 1.06 1.01 2/66 16626
/proc/meminfo: memFree=943296/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1023.58
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 102328 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1023.58
Current children cumulated vsize (KiB) 93612

[startup+1036.7 s]
/proc/loadavg: 1.09 1.06 1.01 2/66 16626
/proc/meminfo: memFree=943296/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1036.38
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 103608 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548994 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1036.38
Current children cumulated vsize (KiB) 93612

[startup+1043.1 s]
/proc/loadavg: 1.08 1.06 1.01 2/66 16626
/proc/meminfo: memFree=943232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1042.77
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 104247 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1042.77
Current children cumulated vsize (KiB) 93612

[startup+1049.5 s]
/proc/loadavg: 1.07 1.05 1.00 2/66 16626
/proc/meminfo: memFree=943232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1049.17
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 104887 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1049.17
Current children cumulated vsize (KiB) 93612

[startup+1052.71 s]
/proc/loadavg: 1.07 1.05 1.00 2/66 16626
/proc/meminfo: memFree=943232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1052.38
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 105208 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548828 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1052.38
Current children cumulated vsize (KiB) 93612

[startup+1053.5 s]
/proc/loadavg: 1.07 1.05 1.00 2/66 16626
/proc/meminfo: memFree=943232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1053.17
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 105287 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1053.17
Current children cumulated vsize (KiB) 93612

[startup+1053.9 s]
/proc/loadavg: 1.06 1.05 1.00 2/66 16626
/proc/meminfo: memFree=943232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1053.57
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 105327 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134548819 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1053.57
Current children cumulated vsize (KiB) 93612

[startup+1054.1 s]
/proc/loadavg: 1.06 1.05 1.00 2/66 16626
/proc/meminfo: memFree=943232/2055920 swapFree=4192952/4192956
[pid=16625] ppid=16623 vsize=93612 CPUtime=1053.77
/proc/16625/stat : 16625 (picosat) R 16623 16625 16494 0 -1 4194304 23063 0 0 0 105347 30 0 0 25 0 1 0 91702070 95858688 23023 1992294400 134512640 135137933 4294956240 18446744073709551615 134658804 0 0 4096 0 0 0 0 17 1 0 0
/proc/16625/statm: 23403 23023 69 152 0 23249 0
Current children cumulated CPU time (s) 1053.77
Current children cumulated vsize (KiB) 93612

Child status: 10
Real time (s): 1054.15
CPU time (s): 1053.83
CPU user time (s): 1053.51
CPU system time (s): 0.320951
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 93612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1053.51
system time used= 0.320951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23065
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= 2
involuntary context switches= 2442

runsolver used 1.06484 second user time and 2.77858 second system time

The end

Launcher Data 

Begin job on node54 at 2009-04-25 07:18:57
IDJOB=1718443
IDBENCH=20488
IDSOLVER=506
FILE ID=node54/1718443-1240636737
PBS_JOBID= 9186420
Free space on /tmp= 66280 MiB

SOLVER NAME= picosat 913
BENCH NAME= SAT07/industrial/grieu/vmpc_33.cnf
COMMAND LINE= HOME/picosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1718443-1240636737/watcher-1718443-1240636737 -o /tmp/evaluation-result-1718443-1240636737/solver-1718443-1240636737 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/picosat HOME/instance-1718443-1240636737.cnf

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

MD5SUM BENCH= 4c4d694bb911a7a13a7cb66a99dd484c
RANDOM SEED=146549902

node54.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.234
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.234
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:       1036072 kB
Buffers:         89848 kB
Cached:         828624 kB
SwapCached:          4 kB
Active:         193848 kB
Inactive:       739948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1036072 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            3204 kB
Writeback:           0 kB
Mapped:          25040 kB
Slab:            71940 kB
Committed_AS:   316760 kB
PageTables:       1368 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= 66280 MiB
End job on node54 at 2009-04-25 07:36:31