Trace number 1784170

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 2040.17 2041.37

General information on the benchmark

NameCRAFTED/sgen/sat/
sgen1-sat-180-100.cnf
MD5SUM7303360aac56e0d882ae2452d62f8544
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.38003
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of clauses432
Sum of the clauses size1080
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2360
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 572
Number of clauses of size over 50

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-1784170-1241921310.cnf
0.00/0.00	c found header 'p cnf 180 432'
0.00/0.00	c finished parsing
0.00/0.00	c
0.00/0.00	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.00	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.00	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.00	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.00	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.00	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.00	c
0.00/0.00	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.00	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.00	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.00	c
0.00/0.00	c starting search after 0.0 seconds
0.00/0.00	c no decision limit
0.00/0.00	c
0.00/0.00	c       original/binary      fixed     eliminated      learned       agility
0.00/0.00	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.00	c
0.00/0.00	c *    0.0      432     180      0     0      0       0      0    0.0   0    0
0.00/0.00	c s    0.0      432     180      0     0      0       0      0    0.0   0    0
0.00/0.00	c l    0.0      432     180      0     0      0       0   1000    0.0   0    0
0.00/0.00	c R    0.0      432     180      0     0      0     101    101   42.3   9    0
0.00/0.00	c R    0.0      432     180      0     0      0     201    201   37.2  16    0
0.02/0.02	c R    0.0      432     180      0     0      0     804    804   34.6  24    0
0.02/0.03	c B    0.0      432     180      0     0      0    1000   1000   34.6  24    0
0.02/0.03	c +    0.0      432     180      0     0      0    1000   1100   34.6  24    0
0.02/0.04	c +    0.0      432     180      0     0      0    1252   1210   34.1  24    0
0.02/0.05	c +    0.0      432     180      0     0      0    1565   1331   33.4  23    0
0.02/0.06	c +    0.1      432     180      0     0      0    1955   1464   33.8  25    0
0.02/0.06	c B    0.1      432     180      0     0      0    2000   1380   33.9  26    0
0.02/0.08	c N    0.1      432     180      0     0      0    2414   1468   35.0  27    0
0.02/0.08	c +    0.1      432     180      0     0      0    2442   1610   35.1  27    0
0.09/0.11	c +    0.1      432     180      0     0      0    3050   1771   35.7  24    0
0.09/0.14	c +    0.1      432     180      0     0      0    3810   1948   35.0  23    0
0.09/0.18	c +    0.2      432     180      0     0      0    4761   2142   33.4  23    0
0.19/0.23	c +    0.2      432     180      0     0      0    5953   2356   33.0  21    1
0.19/0.25	c R    0.3      432     180      0     0      0    6420   2367   33.2  23    1
0.19/0.29	c
0.19/0.29	c       original/binary      fixed     eliminated      learned       agility
0.19/0.29	c   seconds        variables     equivalent    conflicts       height       MB
0.19/0.29	c
0.19/0.29	c +    0.3      432     180      0     0      0    7442   2591   31.9  23    1
0.29/0.32	c B    0.3      432     180      0     0      0    8003   2595   31.3  23    1
0.29/0.38	c +    0.4      432     180      0     0      0    9301   2850   31.4  24    1
0.39/0.49	c +    0.5      432     180      0     0      0   11625   3135   32.0  25    1
0.59/0.64	c +    0.6      432     180      0     0      0   14531   3448   31.2  22    1
0.69/0.71	c R    0.7      432     180      0     0      0   16050   3455   30.1  23    1
0.79/0.81	c +    0.8      432     180      0     0      0   18161   3792   28.5  21    1
1.00/1.06	c +    1.1      432     180      0     0      0   22701   4171   28.1  23    1
1.10/1.13	c B    1.1      432     180      0     0      0   24010   4173   28.6  25    1
1.29/1.38	c +    1.4      432     180      0     0      0   28376   4588   29.1  24    1
1.69/1.80	c +    1.8      432     180      0     0      0   35470   5046   29.3  22    1
1.89/1.97	c R    2.0      432     180      0     0      0   38501   5052   28.5  22    1
2.29/2.33	c +    2.3      432     180      0     0      0   44337   5550   28.1  23    2
3.09/3.10	c +    3.1      432     180      0     0      0   55423   6105   28.7  23    2
3.69/3.70	c B    3.7      432     180      0     0      0   64026   6109   29.4  25    2
3.99/4.09	c +    4.1      432     180      0     0      0   69277   6715   29.6  23    2
5.29/5.32	c +    5.3      432     180      0     0      0   86598   7386   29.5  23    2
5.49/5.55	c R    5.6      432     180      0     0      0   89811   7394   29.2  24    2
6.89/6.95	c +    6.9      432     180      0     0      0  108245   8124   28.5  25    2
9.09/9.15	c
9.09/9.15	c       original/binary      fixed     eliminated      learned       agility
9.09/9.15	c   seconds        variables     equivalent    conflicts       height       MB
9.09/9.15	c
9.09/9.15	c +    9.1      432     180      0     0      0  135305   8936   28.7  23    3
11.18/11.26	c B   11.3      432     180      0     0      0  160051   8940   29.1  23    3
11.99/12.05	c +   12.1      432     180      0     0      0  169130   9829   29.2  24    3
15.39/15.43	c R   15.4      432     180      0     0      0  205230   9833   29.0  22    3
15.88/15.95	c +   15.9      432     180      0     0      0  211411  10811   28.7  22    4
21.18/21.27	c +   21.3      432     180      0     0      0  264260  11892   28.3  24    4
27.88/28.00	c +   28.0      432     180      0     0      0  330326  13081   28.0  21    4
34.28/34.34	c B   34.3      432     180      0     0      0  384114  13093   28.7  23    5
37.68/37.71	c +   37.7      432     180      0     0      0  412905  14389   29.0  24    5
43.07/43.15	c R   43.1      432     180      0     0      0  461681  14400   29.0  24    6
49.78/49.82	c +   49.8      432     180      0     0      0  516134  15827   28.4  23    6
67.67/67.70	c +   67.7      432     180      0     0      0  645167  17409   28.8  25    6
91.06/91.11	c +   91.1      432     180      0     0      0  806456  19149   29.0  23    7
105.16/105.25	c B  105.2      432     180      0     0      0  896221  19151   29.1  24    7
121.95/122.08	c +  122.0      432     180      0     0      0 1008070  21063   29.4  24    8
124.75/124.86	c R  124.8      432     180      0     0      0 1025740  21073   29.5  23    9
165.24/165.35	c +  165.3      432     180      0     0      0 1260087  23169   28.7  23   10
225.32/225.48	c +  225.4      432     180      0     0      0 1575107  25485   28.7  22   11
309.39/309.50	c +  309.4      432     180      0     0      0 1968881  28033   28.5  24   12
329.68/329.89	c
329.68/329.89	c       original/binary      fixed     eliminated      learned       agility
329.68/329.89	c   seconds        variables     equivalent    conflicts       height       MB
329.68/329.89	c
329.68/329.89	c B  329.8      432     180      0     0      0 2048442  28037   28.6  23   12
373.16/373.34	c R  373.2      432     180      0     0      0 2256303  28042   28.7  22   14
417.65/417.84	c +  417.7      432     180      0     0      0 2461100  30836   28.7  22   15
578.30/578.59	c +  578.4      432     180      0     0      0 3076380  33919   28.5  22   16
800.33/800.63	c +  800.4      432     180      0     0      0 3845477  37310   28.4  23   18
1048.91/1049.87	c B 1049.0      432     180      0     0      0 4608865  37318   28.7  23   20
1109.30/1110.28	c + 1109.4      432     180      0     0      0 4806845  41041   28.4  24   21
1146.18/1147.12	c R 1146.2      432     180      0     0      0 4922292  41049   28.4  23   22
1523.96/1525.06	c + 1524.0      432     180      0     0      0 6008558  45145   28.3  24   24
2040.09/2041.36	c 1 2040.2      432     180      0     0      0 7280854  45156   28.2  23   25
2040.09/2041.36	c
2040.09/2041.36	s SATISFIABLE
2040.09/2041.36	v -1 -2 3 -4 -5 6 -7
2040.09/2041.36	v -8 -9 -10 -11 12 -13 -14 -15
2040.09/2041.36	v -16 -17 18 -19 -20 -21 -22 23
2040.09/2041.36	v -24 -25 -26 27 -28 -29 -30 -31
2040.09/2041.36	v 32 -33 -34 -35 36 -37 -38 -39
2040.09/2041.36	v -40 41 -42 -43 -44 -45 -46 -47
2040.09/2041.36	v -48 49 -50 51 -52 -53 -54 -55
2040.09/2041.36	v -56 -57 -58 59 -60 61 -62 -63
2040.09/2041.36	v -64 -65 -66 -67 68 -69 -70 71
2040.09/2041.36	v -72 -73 -74 -75 -76 -77 78 -79
2040.09/2041.36	v -80 -81 -82 -83 84 -85 -86 87
2040.09/2041.36	v -88 -89 -90 -91 -92 -93 94 -95
2040.09/2041.36	v -96 -97 -98 99 -100 -101 -102 -103
2040.09/2041.36	v 104 -105 -106 107 -108 -109 -110 -111
2040.09/2041.36	v -112 113 -114 -115 116 -117 -118 -119
2040.09/2041.36	v -120 -121 -122 -123 124 -125 -126 -127
2040.09/2041.36	v 128 -129 -130 -131 -132 133 -134 -135
2040.09/2041.36	v 136 -137 -138 -139 -140 -141 -142 -143
2040.09/2041.36	v 144 -145 -146 -147 -148 149 -150 -151
2040.09/2041.36	v 152 -153 -154 -155 -156 -157 -158 159
2040.09/2041.36	v -160 -161 162 -163 -164 -165 -166 167
2040.09/2041.36	v -168 -169 -170 -171 -172 173 -174 -175
2040.09/2041.36	v -176 177 -178 -179 -180
2040.09/2041.36	v 0
2040.09/2041.36	c
2040.09/2041.36	c 7280854 conflicts, 8850430 decisions, 1 random
2040.09/2041.36	c 0 iterations, 11785 restarts, 233 skipped
2040.09/2041.36	c 40 enlarged, 0 shrunken, 71164 rescored, 1533 rebiased
2040.09/2041.36	c 1 simplifications, 0 reductions
2040.09/2041.36	c
2040.09/2041.36	c vars: 0 fixed, 0 equiv, 0 elim, 0 merged
2040.09/2041.36	c elim: 1260 resolutions, 1 phases, 1 rounds
2040.09/2041.36	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
2040.09/2041.36	c arty: 0.00 and 0.00 xor average arity
2040.09/2041.36	c prbe: 95400 probed, 265 phases, 265 rounds
2040.09/2041.36	c prbe: 0 failed, 0 lifted, 0 merged
2040.09/2041.36	c sccs: 0 non trivial, 0 fixed, 0 merged
2040.09/2041.36	c hash: 0 units, 0 merged
2040.09/2041.36	c mins: 234957059 learned, 15% deleted, 5 strong, 16 depth
2040.09/2041.36	c subs: 0 forward, 0 backward, 0 doms
2040.09/2041.36	c strs: 0 forward, 0 backward
2040.09/2041.36	c doms: 0 dominators, 0 high, 0 low
2040.09/2041.36	c prps: 375557139 propagations, 0.18 megaprops
2040.09/2041.36	c
2040.09/2041.36	c 2040.2 seconds, 25 MB max, 1057 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-1784170-1241921310/watcher-1784170-1241921310 -o /tmp/evaluation-result-1784170-1241921310/solver-1784170-1241921310 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784170-1241921310.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25952
/proc/meminfo: memFree=962368/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=784 CPUtime=0
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 122 0 0 0 0 0 0 0 18 0 1 0 220157739 802816 106 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 196 106 80 155 0 39 0

[startup+0.024613 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25952
/proc/meminfo: memFree=962368/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=916 CPUtime=0.02
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 158 0 0 0 2 0 0 0 18 0 1 0 220157739 937984 142 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 229 142 80 155 0 72 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 916

[startup+0.102626 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25952
/proc/meminfo: memFree=962368/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=1180 CPUtime=0.09
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 218 0 0 0 9 0 0 0 18 0 1 0 220157739 1208320 202 1992294400 134512640 135151029 4294956240 18446744073709551615 134577852 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 295 202 80 155 0 138 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1180

[startup+0.302662 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25952
/proc/meminfo: memFree=962368/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=1444 CPUtime=0.29
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 277 0 0 0 29 0 0 0 19 0 1 0 220157739 1478656 261 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 361 261 80 155 0 204 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1444

[startup+0.701733 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25952
/proc/meminfo: memFree=962368/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=1708 CPUtime=0.69
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 348 0 0 0 69 0 0 0 23 0 1 0 220157739 1748992 332 1992294400 134512640 135151029 4294956240 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 427 332 80 155 0 270 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1708

[startup+1.50188 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25953
/proc/meminfo: memFree=961144/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=2104 CPUtime=1.49
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 445 0 0 0 149 0 0 0 25 0 1 0 220157739 2154496 429 1992294400 134512640 135151029 4294956240 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 526 429 80 155 0 369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2104

[startup+3.10116 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 25953
/proc/meminfo: memFree=960568/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=2644 CPUtime=3.09
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 576 0 0 0 309 0 0 0 25 0 1 0 220157739 2707456 560 1992294400 134512640 135151029 4294956240 18446744073709551615 134687640 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 661 560 80 155 0 504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2644

[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25953
/proc/meminfo: memFree=959808/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=3464 CPUtime=6.29
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 762 0 0 0 629 0 0 0 25 0 1 0 220157739 3547136 746 1992294400 134512640 135151029 4294956240 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 866 746 80 155 0 709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3464

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 25953
/proc/meminfo: memFree=958848/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=4148 CPUtime=12.68
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 935 0 0 0 1268 0 0 0 25 0 1 0 220157739 4247552 919 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 1037 919 80 155 0 880 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 4148

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 25953
/proc/meminfo: memFree=957440/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=5564 CPUtime=25.48
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 1257 0 0 0 2548 0 0 0 25 0 1 0 220157739 5697536 1241 1992294400 134512640 135151029 4294956240 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 1391 1241 80 155 0 1234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5564

[startup+51.1027 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 25953
/proc/meminfo: memFree=955712/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=7420 CPUtime=51.08
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 1702 0 0 0 5106 2 0 0 25 0 1 0 220157739 7598080 1686 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 1855 1686 80 155 0 1698 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7420

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 25953
/proc/meminfo: memFree=954624/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=8584 CPUtime=102.26
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 1954 0 0 0 10224 2 0 0 25 0 1 0 220157739 8790016 1938 1992294400 134512640 135151029 4294956240 18446744073709551615 134555130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 2146 1938 80 155 0 1989 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 8584

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=952192/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=11540 CPUtime=162.24
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 2543 0 0 0 16221 3 0 0 25 0 1 0 220157739 11816960 2527 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 2885 2527 80 155 0 2728 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 11540

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=951808/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=11860 CPUtime=222.22
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 2623 0 0 0 22219 3 0 0 25 0 1 0 220157739 12144640 2607 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 2965 2607 80 155 0 2808 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 11860

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=950400/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=13572 CPUtime=282.2
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 2975 0 0 0 28216 4 0 0 25 0 1 0 220157739 13897728 2959 1992294400 134512640 135151029 4294956240 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 3393 2959 80 155 0 3236 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 13572

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=949952/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=14276 CPUtime=342.18
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 3083 0 0 0 34214 4 0 0 25 0 1 0 220157739 14618624 3067 1992294400 134512640 135151029 4294956240 18446744073709551615 134574626 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 3569 3067 80 155 0 3412 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 14276

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=947712/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=17144 CPUtime=402.16
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 3650 0 0 0 40211 5 0 0 25 0 1 0 220157739 17555456 3634 1992294400 134512640 135151029 4294956240 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 4286 3634 80 155 0 4129 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 17144

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=947456/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=17276 CPUtime=462.14
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 3711 0 0 0 46209 5 0 0 25 0 1 0 220157739 17690624 3695 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 4319 3695 80 155 0 4162 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 17276

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=947392/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=17468 CPUtime=522.12
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 3723 0 0 0 52207 5 0 0 25 0 1 0 220157739 17887232 3707 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 4367 3707 80 155 0 4210 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 17468

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=946944/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=17852 CPUtime=582.09
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 3828 0 0 0 58204 5 0 0 25 0 1 0 220157739 18280448 3812 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 4463 3812 80 155 0 4306 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 17852

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 25953
/proc/meminfo: memFree=946496/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=18304 CPUtime=642.08
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 3935 0 0 0 64202 6 0 0 25 0 1 0 220157739 18743296 3919 1992294400 134512640 135151029 4294956240 18446744073709551615 134554872 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 4576 3919 80 155 0 4419 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 18304

[startup+702.302 s]

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

/proc/meminfo: memFree=897920/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27088 CPUtime=1301.34
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5669 0 0 0 130107 27 0 0 25 0 1 0 220157739 27738112 5653 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6772 5653 80 155 0 6615 0
Current children cumulated CPU time (s) 1301.34
Current children cumulated vsize (KiB) 27088

[startup+1362.3 s]
/proc/loadavg: 1.00 1.07 1.06 2/65 28543
/proc/meminfo: memFree=897920/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27088 CPUtime=1361.31
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5669 0 0 0 136104 27 0 0 25 0 1 0 220157739 27738112 5653 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6772 5653 80 155 0 6615 0
Current children cumulated CPU time (s) 1361.31
Current children cumulated vsize (KiB) 27088

[startup+1422.31 s]
/proc/loadavg: 1.00 1.05 1.06 2/65 28543
/proc/meminfo: memFree=897920/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27088 CPUtime=1421.29
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5669 0 0 0 142102 27 0 0 25 0 1 0 220157739 27738112 5653 1992294400 134512640 135151029 4294956240 18446744073709551615 134554817 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6772 5653 80 155 0 6615 0
Current children cumulated CPU time (s) 1421.29
Current children cumulated vsize (KiB) 27088

[startup+1482.3 s]
/proc/loadavg: 1.00 1.04 1.05 2/65 28543
/proc/meminfo: memFree=897920/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27088 CPUtime=1481.28
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5675 0 0 0 148100 28 0 0 25 0 1 0 220157739 27738112 5659 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6772 5659 80 155 0 6615 0
Current children cumulated CPU time (s) 1481.28
Current children cumulated vsize (KiB) 27088

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.05 2/65 28543
/proc/meminfo: memFree=897920/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27088 CPUtime=1541.25
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5675 0 0 0 154097 28 0 0 25 0 1 0 220157739 27738112 5659 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6772 5659 80 155 0 6615 0
Current children cumulated CPU time (s) 1541.25
Current children cumulated vsize (KiB) 27088

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.04 2/65 28543
/proc/meminfo: memFree=897792/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27220 CPUtime=1601.23
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5706 0 0 0 160095 28 0 0 25 0 1 0 220157739 27873280 5690 1992294400 134512640 135151029 4294956240 18446744073709551615 134554821 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6805 5690 80 155 0 6648 0
Current children cumulated CPU time (s) 1601.23
Current children cumulated vsize (KiB) 27220

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.03 2/65 28543
/proc/meminfo: memFree=897792/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27220 CPUtime=1661.21
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5706 0 0 0 166093 28 0 0 25 0 1 0 220157739 27873280 5690 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6805 5690 80 155 0 6648 0
Current children cumulated CPU time (s) 1661.21
Current children cumulated vsize (KiB) 27220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.03 2/65 28543
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=1721.2
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5850 0 0 0 172091 29 0 0 25 0 1 0 220157739 28577792 5834 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5834 80 155 0 6820 0
Current children cumulated CPU time (s) 1721.2
Current children cumulated vsize (KiB) 27908

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/65 28543
/proc/meminfo: memFree=897152/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=1781.17
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5853 0 0 0 178088 29 0 0 25 0 1 0 220157739 28577792 5837 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5837 80 155 0 6820 0
Current children cumulated CPU time (s) 1781.17
Current children cumulated vsize (KiB) 27908

[startup+1842.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/65 28543
/proc/meminfo: memFree=897152/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=1841.15
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5853 0 0 0 184086 29 0 0 25 0 1 0 220157739 28577792 5837 1992294400 134512640 135151029 4294956240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5837 80 155 0 6820 0
Current children cumulated CPU time (s) 1841.15
Current children cumulated vsize (KiB) 27908

[startup+1902.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/65 28543
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=1901.13
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5857 0 0 0 190084 29 0 0 25 0 1 0 220157739 28577792 5841 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5841 80 155 0 6820 0
Current children cumulated CPU time (s) 1901.13
Current children cumulated vsize (KiB) 27908

[startup+1962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28543
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=1961.11
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5860 0 0 0 196082 29 0 0 25 0 1 0 220157739 28577792 5844 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5844 80 155 0 6820 0
Current children cumulated CPU time (s) 1961.11
Current children cumulated vsize (KiB) 27908

[startup+2022.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28545
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=2021.09
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5860 0 0 0 202080 29 0 0 25 0 1 0 220157739 28577792 5844 1992294400 134512640 135151029 4294956240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5844 80 155 0 6820 0
Current children cumulated CPU time (s) 2021.09
Current children cumulated vsize (KiB) 27908

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

[startup+2035.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28545
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=2033.89
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5860 0 0 0 203359 30 0 0 25 0 1 0 220157739 28577792 5844 1992294400 134512640 135151029 4294956240 18446744073709551615 134530705 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5844 80 155 0 6820 0
Current children cumulated CPU time (s) 2033.89
Current children cumulated vsize (KiB) 27908

[startup+2038.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28545
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=2037.1
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5860 0 0 0 203680 30 0 0 25 0 1 0 220157739 28577792 5844 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5844 80 155 0 6820 0
Current children cumulated CPU time (s) 2037.1
Current children cumulated vsize (KiB) 27908

[startup+2039.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28545
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=2038.69
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5861 0 0 0 203839 30 0 0 25 0 1 0 220157739 28577792 5845 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5845 80 155 0 6820 0
Current children cumulated CPU time (s) 2038.69
Current children cumulated vsize (KiB) 27908

[startup+2040.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28545
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=2039.49
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5861 0 0 0 203919 30 0 0 25 0 1 0 220157739 28577792 5845 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5845 80 155 0 6820 0
Current children cumulated CPU time (s) 2039.49
Current children cumulated vsize (KiB) 27908

[startup+2041.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28545
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=2039.89
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5861 0 0 0 203959 30 0 0 25 0 1 0 220157739 28577792 5845 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5845 80 155 0 6820 0
Current children cumulated CPU time (s) 2039.89
Current children cumulated vsize (KiB) 27908

[startup+2041.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28545
/proc/meminfo: memFree=897216/2055920 swapFree=4175260/4192956
[pid=25952] ppid=25950 vsize=27908 CPUtime=2040.09
/proc/25952/stat : 25952 (precosat) R 25950 25952 25393 0 -1 4194304 5861 0 0 0 203979 30 0 0 25 0 1 0 220157739 28577792 5845 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/25952/statm: 6977 5845 80 155 0 6820 0
Current children cumulated CPU time (s) 2040.09
Current children cumulated vsize (KiB) 27908

Child status: 10
Real time (s): 2041.37
CPU time (s): 2040.17
CPU user time (s): 2039.86
CPU system time (s): 0.304953
CPU usage (%): 99.941
Max. virtual memory (cumulated for all children) (KiB): 27908

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

runsolver used 1.54276 second user time and 4.26535 second system time

The end

Launcher Data 

Begin job on node60 at 2009-05-10 04:08:30
IDJOB=1784170
IDBENCH=71115
IDSOLVER=607
FILE ID=node60/1784170-1241921310
PBS_JOBID= 9264890
Free space on /tmp= 66044 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-180-100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784170-1241921310/watcher-1784170-1241921310 -o /tmp/evaluation-result-1784170-1241921310/solver-1784170-1241921310 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1784170-1241921310.cnf

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

MD5SUM BENCH= 7303360aac56e0d882ae2452d62f8544
RANDOM SEED=287079579

node60.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.256
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.256
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:        962784 kB
Buffers:         66764 kB
Cached:         936012 kB
SwapCached:      12124 kB
Active:         355012 kB
Inactive:       662388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        962784 kB
SwapTotal:     4192956 kB
SwapFree:      4175260 kB
Dirty:             712 kB
Writeback:           0 kB
Mapped:          14080 kB
Slab:            61636 kB
Committed_AS:   759720 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66040 MiB
End job on node60 at 2009-05-10 04:42:31