Trace number 1726620

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 236? (TO) 1200.08 1200.41

General information on the benchmark

Namecrafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
MD5SUMb113aab739ba5e45a581d24e1a53a65a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1148
Number of clauses14303
Sum of the clauses size43196
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 314016
Number of clauses of size 4287
Number of clauses of size 50
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-1726620-1240714742.cnf
0.00/0.00	c found header 'p cnf 1148 14303'
0.00/0.01	c finished parsing
0.00/0.01	c
0.00/0.01	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.01	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.01	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.01	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.01	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.01	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.01	c
0.00/0.01	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.01	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.01	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.01	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.01	c
0.00/0.01	c starting search after 0.0 seconds
0.00/0.01	c no decision limit
0.00/0.01	c
0.00/0.01	c       original/binary      fixed     eliminated      learned       agility
0.00/0.01	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.01	c
0.00/0.01	c *    0.0    14303    1148      0     0      0       0      0    0.0   0    1
0.09/0.12	c s    0.1    14016     861      0     0    287       0      0    0.0   0    1
0.09/0.12	c l    0.1    14016     861      0     0    287       0  14016    0.0   0    1
0.09/0.12	c R    0.1    14016     861      0     0    287     101    101  146.4  14    1
0.09/0.13	c N    0.1    14016     861      0     0    287     204    204  117.4  29    1
0.09/0.19	c N    0.2    14016     861      0     0    287     810    810   84.6  38    1
0.19/0.21	c B    0.2    14016     861      0     0    287    1000   1000   79.8  36    1
0.29/0.32	c B    0.3    14017     861      0     0    287    2001   2000   67.6  37    1
0.29/0.36	c N    0.4    14017     861      0     0    287    2419   2418   65.0  38    2
0.49/0.57	c s    0.6    14018     861      0     0    287    4049   4047   59.7  36    2
0.89/0.92	c N    0.9    14019     861      0     0    287    6430   6427   51.1  39    2
1.09/1.18	c B    1.2    14020     861      0     0    287    8005   8001   48.7  38    3
1.19/1.22	c s    1.2    14020     861      0     0    287    8108   8104   48.6  40    3
1.89/1.99	c +    2.0    14025     861      0     0    287   14016  15417   44.5  39    4
1.99/2.08	c s    2.1    14025     861      0     0    287   14359  14350   44.3  39    4
2.29/2.32	c N    2.3    14025     861      0     0    287   16066  15451   42.7  39    4
2.49/2.54	c +    2.5    14025     861      0     0    287   17521  16958   41.6  38    4
3.18/3.22	c s    3.2    14026     861      0     0    287   21316  16988   39.4  37    4
3.29/3.35	c +    3.4    14026     861      0     0    287   21900  18653   39.2  38    4
3.79/3.80	c
3.79/3.80	c       original/binary      fixed     eliminated      learned       agility
3.79/3.80	c   seconds        variables     equivalent    conflicts       height       MB
3.79/3.80	c
3.79/3.80	c B    3.8    14026     861      0     0    287   24012  18687   38.6  38    5
4.40/4.43	c +    4.4    14027     861      0     0    287   27375  20518   37.6  39    5
4.50/4.53	c s    4.5    14027     861      0     0    287   27658  18982   37.5  36    4
5.89/5.91	c +    5.9    14027     861      0     0    287   34215  22569   36.8  39    6
6.79/6.89	c N    6.9    14027     861      0     0    287   38509  22618   36.7  40    6
7.89/7.91	c +    7.9    14027     861      0     0    287   42765  24825   36.4  39    7
10.79/10.86	c +   10.9    14027     861      0     0    287   53456  27307   35.8  37    9
11.09/11.16	c s   11.2    14028     861      0     0    287   54204  29181   35.7  39    8
13.09/13.14	c s   13.1    14064     861      0     0    287   62995  27335   34.6  39    7
13.29/13.39	c B   13.4    14064     861      0     0    287   64022  27324   34.5  38    7
13.88/13.94	c +   13.9    14065     861      0     0    287   66820  30037   34.4  40    7
15.08/15.10	c s   15.1    14065     861      0     0    287   72095  30075   34.0  39    7
17.38/17.42	c s   17.4    14067     861      0     0    287   81516  30062   34.3  40    7
17.69/17.78	c +   17.8    14069     861      0     0    287   83527  33040   34.4  39    7
18.98/19.03	c N   19.0    14071     861      0     0    287   89805  33060   34.6  40    8
19.68/19.73	c s   19.7    14072     861      0     0    287   92584  33097   34.7  39    7
22.09/22.19	c s   22.2    14075     861      0     0    287  103481  33089   33.9  41    7
22.38/22.44	c +   22.4    14075     861      0     0    287  104406  36344   34.0  37    8
27.58/27.65	c s   27.6    14076     861      0     0    287  123676  36355   34.1  39    8
29.48/29.55	c
29.48/29.55	c       original/binary      fixed     eliminated      learned       agility
29.48/29.55	c   seconds        variables     equivalent    conflicts       height       MB
29.48/29.55	c
29.48/29.55	c +   29.6    14077     861      0     0    287  130505  39978   34.0  38    9
30.38/30.49	c s   30.5    14079     861      0     0    287  133491  39354   33.9  41    9
34.18/34.26	c s   34.3    14084     861      0     0    287  147347  40007   33.9  38    8
36.88/36.96	c s   37.0    14087     861      0     0    287  158705  40040   33.8  39    8
37.28/37.33	c B   37.3    14087     861      0     0    287  160037  39996   33.8  39    9
38.08/38.13	c +   38.1    14090     861      0     0    287  163131  43975   33.7  37    9
39.98/40.09	c s   40.1    14090     861      0     0    287  170917  44004   33.6  38    9
44.58/44.69	c s   44.7    14091     861      0     0    287  186819  44014   33.5  39   10
48.18/48.21	c s   48.2    14096     861      0     0    287  198887  44004   33.4  37   10
49.28/49.31	c +   49.3    14098     861      0     0    287  203910  48372   33.2  40   11
49.58/49.65	c N   49.6    14099     861      0     0    287  205207  45306   33.2  40   11
51.68/51.80	c s   51.8    14099     861      0     0    287  212658  48411   33.0  38   11
55.58/55.62	c s   55.6    14156     861      0     0    287  226580  48388   32.8  41   10
59.18/59.20	c s   59.2    14157     861      0     0    287  239873  48447   32.9  39   10
63.48/63.50	c s   63.5    14161     861      0     0    287  254643  48408   32.7  38   10
63.58/63.64	c +   63.6    14161     861      0     0    287  254886  53209   32.8  39   11
67.27/67.34	c s   67.3    14162     861      0     0    287  267582  53266   32.9  39   11
72.07/72.17	c s   72.2    14163     861      0     0    287  284947  53255   33.0  38   11
76.67/76.75	c s   76.7    14164     861      0     0    287  299422  53234   33.1  38   11
81.97/82.08	c
81.97/82.08	c       original/binary      fixed     eliminated      learned       agility
81.97/82.08	c   seconds        variables     equivalent    conflicts       height       MB
81.97/82.08	c
81.97/82.08	c s   82.1    14165     861      0     0    287  315853  53229   33.1  38   11
82.87/82.97	c +   83.0    14165     861      0     0    287  318606  58529   33.2  39   12
87.26/87.33	c s   87.3    14164     860      0     1    287  330919  58538   33.2  39   12
91.96/92.09	c s   92.1    14166     860      0     1    287  346884  58570   33.1  38   12
97.56/97.67	c s   97.7    14168     860      0     1    287  363210  58561   32.7  39   12
102.26/102.38	c s  102.4    14171     860      0     1    287  379642  58576   32.8  37   12
104.16/104.21	c B  104.2    14173     860      0     1    287  384084  58548   32.8  37   13
108.46/108.56	c s  108.5    14173     860      0     1    287  394189  58558   32.7  37   11
109.76/109.86	c +  109.8    14173     860      0     1    287  398256  64381   32.8  35   13
115.56/115.63	c s  115.6    14175     860      0     1    287  414201  64429   32.9  37   12
123.05/123.11	c s  123.1    14177     860      0     1    287  436970  64414   32.7  36   12
129.15/129.27	c s  129.2    14181     860      0     1    287  451885  64410   32.5  38   12
132.26/132.37	c N  132.3    14181     860      0     1    287  461568  64418   32.5  39   14
148.65/148.74	c +  148.7    14181     860      0     1    287  497821  70819   32.5  38   16
171.84/171.91	c s  171.9    14182     860      0     1    287  532840  85029   32.4  39   18
180.34/180.46	c s  180.4    14183     860      0     1    287  557488  70855   32.1  37   14
187.74/187.90	c s  187.8    14186     860      0     1    287  577406  70855   32.1  39   14
194.34/194.48	c s  194.4    14188     860      0     1    287  594197  70846   32.1  39   14
201.14/201.22	c s  201.2    14191     860      0     1    287  612402  70846   31.9  38   14
204.33/204.47	c
204.33/204.47	c       original/binary      fixed     eliminated      learned       agility
204.33/204.47	c   seconds        variables     equivalent    conflicts       height       MB
204.33/204.47	c
204.33/204.47	c +  204.4    14191     860      0     1    287  622277  77900   31.9  42   15
207.94/208.01	c s  208.0    14192     860      0     1    287  632220  77940   31.9  39   15
215.63/215.79	c s  215.7    14199     860      0     1    287  650656  77932   31.8  37   15
224.03/224.14	c s  224.1    14200     860      0     1    287  668876  77924   31.8  39   15
231.73/231.89	c s  231.8    14201     860      0     1    287  688319  77935   31.7  37   15
239.62/239.78	c s  239.7    14203     860      0     1    287  707550  77937   31.7  39   15
248.72/248.83	c s  248.8    14206     860      0     1    287  725592  77931   31.5  38   15
257.22/257.36	c s  257.3    14210     860      0     1    287  743852  77941   31.5  40   15
270.92/271.09	c +  271.0    14210     860      0     1    287  777847  85690   31.5  37   17
293.61/293.73	c s  293.6    14211     860      0     1    287  820122  85740   31.3  37   17
330.40/330.55	c B  330.5    14211     860      0     1    287  896187  85750   30.8  39   20
348.50/348.63	c s  348.5    14212     860      0     1    287  927028  85750   30.7  38   17
356.79/356.97	c s  356.9    14213     860      0     1    287  947056  85740   30.7  37   17
367.79/367.95	c +  367.9    14213     860      0     1    287  972308  94259   30.5  39   18
387.78/387.93	c s  387.8    14214     860      0     1    287 1012017  94288   30.2  36   17
398.19/398.35	c N  398.2    14215     860      0     1    287 1025472  94287   30.1  35   19
402.38/402.60	c s  402.5    14215     860      0     1    287 1031009  94284   30.1  39   17
452.86/453.06	c s  452.9    14216     860      0     1    287 1122707  94309   29.9  38   19
462.56/462.73	c s  462.6    14217     860      0     1    287 1149368  94287   29.8  38   19
471.76/471.99	c
471.76/471.99	c       original/binary      fixed     eliminated      learned       agility
471.76/471.99	c   seconds        variables     equivalent    conflicts       height       MB
471.76/471.99	c
471.76/471.99	c s  471.9    14219     860      0     1    287 1171312  94297   29.7  37   19
481.95/482.19	c s  482.1    14220     860      0     1    287 1196664  94281   29.8  37   18
489.95/490.11	c +  490.0    14221     860      0     1    287 1215385 103684   29.8  37   20
492.75/492.91	c s  492.8    14221     860      0     1    287 1220286  99195   29.8  37   19
505.55/505.77	c s  505.6    14224     860      0     1    287 1242249 103753   29.8  36   20
536.84/537.09	c s  536.9    14225     860      0     1    287 1297062 103712   29.6  37   20
548.23/548.44	c s  548.3    14228     860      0     1    287 1325341 103731   29.6  39   20
562.83/563.07	c s  562.9    14229     860      0     1    287 1361499 103712   29.7  38   19
574.63/574.86	c s  574.7    14231     860      0     1    287 1389433 103714   29.7  39   19
588.12/588.37	c s  588.2    14232     860      0     1    287 1413186 103738   29.8  40   20
599.82/600.05	c s  599.9    14236     860      0     1    287 1439135 103711   29.8  37   20
612.22/612.44	c s  612.3    14237     860      0     1    287 1465213 103751   29.7  40   20
644.42/644.69	c +  644.5    14237     860      0     1    287 1519230 114052   29.7  40   23
644.71/645.00	c s  644.8    14238     860      0     1    287 1519334 103816   29.7  38   20
656.81/657.06	c s  656.9    14239     860      0     1    287 1543477 114088   29.7  40   22
672.11/672.37	c s  672.2    14240     860      0     1    287 1568342 114084   29.7  37   23
686.60/686.81	c s  686.6    14243     860      0     1    287 1596063 114071   29.8  39   23
700.79/701.04	c s  700.9    14244     860      0     1    287 1623634 114096   29.8  38   24
787.97/788.29	c s  788.1    14245     860      0     1    287 1748484 114120   29.5  38   24
801.27/801.57	c
801.27/801.57	c       original/binary      fixed     eliminated      learned       agility
801.27/801.57	c   seconds        variables     equivalent    conflicts       height       MB
801.27/801.57	c
801.27/801.57	c s  801.4    14246     860      0     1    287 1777888 114083   29.5  40   23
816.46/816.70	c s  816.5    14247     860      0     1    287 1808988 114091   29.5  36   22
838.96/839.24	c s  839.0    14248     860      0     1    287 1851525 114080   29.6  39   22
858.15/858.48	c s  858.3    14249     860      0     1    287 1890787 114099   29.6  36   22
861.65/861.96	c +  861.7    14249     860      0     1    287 1899035 125457   29.6  38   25
875.45/875.74	c s  875.5    14250     860      0     1    287 1926165 125472   29.7  39   25
892.34/892.67	c s  892.4    14251     860      0     1    287 1952809 125486   29.7  38   25
909.03/909.32	c s  909.1    14254     860      0     1    287 1981503 125486   29.6  39   24
925.73/926.04	c s  925.8    14255     860      0     1    287 2010999 125491   29.5  40   23
944.52/944.89	c s  944.6    14258     860      0     1    287 2040789 125496   29.5  40   22
950.62/950.93	c B  950.7    14258     860      0     1    287 2048358 125496   29.5  40   25
1138.87/1139.26	c N 1138.9    14258     860      0     1    287 2255778 125529   29.2  39   31
1200.06/1200.40	c
1200.06/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.06/1200.40	c
1200.06/1200.40	c 2311982 conflicts, 2563165 decisions, 1 random
1200.06/1200.40	c 0 iterations, 1 restarts, 4093 skipped
1200.06/1200.40	c 23 enlarged, 79 shrunken, 22590 rescored, 516 rebiased
1200.06/1200.40	c 80 simplifications, 0 reductions
1200.06/1200.40	c
1200.06/1200.40	c vars: 0 fixed, 1 equiv, 287 elim, 1 merged
1200.06/1200.40	c elim: 128213 resolutions, 2 phases, 2 rounds
1200.06/1200.40	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
1200.06/1200.40	c arty: 0.00 and 0.00 xor average arity
1200.06/1200.40	c prbe: 134784 probed, 78 phases, 78 rounds
1200.06/1200.40	c prbe: 0 failed, 0 lifted, 0 merged
1200.06/1200.40	c sccs: 0 non trivial, 0 fixed, 0 merged
1200.06/1200.40	c hash: 0 units, 1 merged
1200.06/1200.40	c mins: 90222582 learned, 39% deleted, 258 strong, 32 depth
1200.06/1200.40	c subs: 0 forward, 0 backward, 90 doms
1200.06/1200.40	c strs: 15059 forward, 1 backward
1200.06/1200.40	c doms: 90 dominators, 89 high, 0 low
1200.06/1200.40	c prps: 442102108 propagations, 0.37 megaprops
1200.06/1200.40	c
1200.06/1200.40	c 1200.1 seconds, 32 MB max, 379 MB recycled
1200.06/1200.40	c
1200.06/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.06/1200.40	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1726620-1240714742/watcher-1726620-1240714742 -o /tmp/evaluation-result-1726620-1240714742/solver-1726620-1240714742 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/precosat HOME/instance-1726620-1240714742.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: 1.83 1.82 1.45 3/65 29907
/proc/meminfo: memFree=1735624/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=1052 CPUtime=0
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 179 0 0 0 0 0 0 0 20 0 1 0 99507897 1077248 164 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 263 165 63 155 0 106 0

[startup+0.100782 s]
/proc/loadavg: 1.83 1.82 1.45 3/65 29907
/proc/meminfo: memFree=1735624/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=2468 CPUtime=0.09
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 571 0 0 0 9 0 0 0 20 0 1 0 99507897 2527232 525 1992294400 134512640 135151029 4294956224 18446744073709551615 134548397 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 617 525 79 155 0 460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2468

[startup+0.20179 s]
/proc/loadavg: 1.83 1.82 1.45 3/65 29907
/proc/meminfo: memFree=1735624/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=2468 CPUtime=0.19
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 571 0 0 0 19 0 0 0 21 0 1 0 99507897 2527232 525 1992294400 134512640 135151029 4294956224 18446744073709551615 134555092 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 617 525 79 155 0 460 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2468

[startup+0.3018 s]
/proc/loadavg: 1.83 1.82 1.45 3/65 29907
/proc/meminfo: memFree=1735624/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=2468 CPUtime=0.29
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 571 0 0 0 29 0 0 0 22 0 1 0 99507897 2527232 525 1992294400 134512640 135151029 4294956224 18446744073709551615 134554909 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 617 525 79 155 0 460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2468

[startup+0.701837 s]
/proc/loadavg: 1.83 1.82 1.45 3/65 29907
/proc/meminfo: memFree=1735624/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=2996 CPUtime=0.69
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 716 0 0 0 69 0 0 0 25 0 1 0 99507897 3067904 670 1992294400 134512640 135151029 4294956224 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 749 670 79 155 0 592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2996

[startup+1.50191 s]
/proc/loadavg: 1.83 1.82 1.45 2/66 29908
/proc/meminfo: memFree=1732672/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=4316 CPUtime=1.49
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 1027 0 0 0 149 0 0 0 25 0 1 0 99507897 4419584 981 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 1079 981 79 155 0 922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4316

[startup+3.10106 s]
/proc/loadavg: 1.83 1.82 1.45 2/66 29908
/proc/meminfo: memFree=1731072/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=5504 CPUtime=3.08
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 1343 0 0 0 308 0 0 0 25 0 1 0 99507897 5636096 1297 1992294400 134512640 135151029 4294956224 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 1376 1297 79 155 0 1219 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5504

[startup+6.30136 s]
/proc/loadavg: 1.77 1.81 1.45 2/66 29908
/proc/meminfo: memFree=1729536/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=7200 CPUtime=6.29
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 1739 0 0 0 628 1 0 0 25 0 1 0 99507897 7372800 1693 1992294400 134512640 135151029 4294956224 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 1800 1693 79 155 0 1643 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7200

[startup+12.702 s]
/proc/loadavg: 1.71 1.79 1.45 2/66 29908
/proc/meminfo: memFree=1725888/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=10260 CPUtime=12.69
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 2492 0 0 0 1267 2 0 0 25 0 1 0 99507897 10506240 2446 1992294400 134512640 135151029 4294956224 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 2565 2446 79 155 0 2408 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10260

[startup+25.5012 s]
/proc/loadavg: 1.55 1.75 1.44 2/66 29908
/proc/meminfo: memFree=1725632/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=10392 CPUtime=25.48
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 2557 0 0 0 2546 2 0 0 25 0 1 0 99507897 10641408 2511 1992294400 134512640 135151029 4294956224 18446744073709551615 134554644 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 2598 2511 79 155 0 2441 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10392

[startup+51.1016 s]
/proc/loadavg: 1.36 1.69 1.43 2/66 29908
/proc/meminfo: memFree=1723008/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=13044 CPUtime=51.08
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 3324 0 0 0 5105 3 0 0 25 0 1 0 99507897 13357056 3174 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 3261 3174 79 155 0 3104 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13044

[startup+102.302 s]
/proc/loadavg: 1.15 1.58 1.40 2/66 29908
/proc/meminfo: memFree=1720320/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=15472 CPUtime=102.26
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 4112 0 0 0 10223 3 0 0 25 0 1 0 99507897 15843328 3790 1992294400 134512640 135151029 4294956224 18446744073709551615 134521536 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 3868 3790 79 155 0 3711 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15472

[startup+162.303 s]
/proc/loadavg: 1.06 1.47 1.37 2/66 29914
/proc/meminfo: memFree=1715328/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=20968 CPUtime=162.25
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 5560 0 0 0 16220 5 0 0 25 0 1 0 99507897 21471232 5037 1992294400 134512640 135151029 4294956224 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 5242 5037 79 155 0 5085 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20968

[startup+222.306 s]
/proc/loadavg: 1.02 1.39 1.35 2/66 29914
/proc/meminfo: memFree=1712192/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=23648 CPUtime=222.23
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 6364 0 0 0 22217 6 0 0 25 0 1 0 99507897 24215552 5776 1992294400 134512640 135151029 4294956224 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 5912 5776 79 155 0 5755 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 23648

[startup+282.301 s]
/proc/loadavg: 1.00 1.31 1.32 2/66 29914
/proc/meminfo: memFree=1712128/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=23648 CPUtime=282.21
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 6371 0 0 0 28215 6 0 0 25 0 1 0 99507897 24215552 5783 1992294400 134512640 135151029 4294956224 18446744073709551615 134554505 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 5912 5783 79 155 0 5755 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 23648

[startup+342.302 s]
/proc/loadavg: 1.00 1.25 1.30 2/66 29914
/proc/meminfo: memFree=1711936/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=23784 CPUtime=342.2
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 6420 0 0 0 34214 6 0 0 25 0 1 0 99507897 24354816 5832 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 5946 5832 79 155 0 5789 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23784

[startup+402.302 s]
/proc/loadavg: 1.00 1.20 1.28 2/66 29914
/proc/meminfo: memFree=1711680/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=23784 CPUtime=402.18
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 6468 0 0 0 40212 6 0 0 25 0 1 0 99507897 24354816 5859 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 5946 5859 79 155 0 5789 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 23784

[startup+462.301 s]
/proc/loadavg: 1.00 1.16 1.26 2/66 29914
/proc/meminfo: memFree=1709824/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=25848 CPUtime=462.16
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 6939 0 0 0 46210 6 0 0 25 0 1 0 99507897 26468352 6330 1992294400 134512640 135151029 4294956224 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 6462 6330 79 155 0 6305 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 25848

[startup+522.302 s]
/proc/loadavg: 1.00 1.13 1.24 2/66 29914
/proc/meminfo: memFree=1709632/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=25848 CPUtime=522.14
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 6982 0 0 0 52208 6 0 0 25 0 1 0 99507897 26468352 6373 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 6462 6373 79 155 0 6305 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 25848

[startup+582.301 s]
/proc/loadavg: 1.00 1.11 1.22 2/66 29914
/proc/meminfo: memFree=1709248/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=25912 CPUtime=582.12
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 7147 0 0 0 58206 6 0 0 25 0 1 0 99507897 26533888 6397 1992294400 134512640 135151029 4294956224 18446744073709551615 134554558 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 6478 6397 79 155 0 6321 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 25912

[startup+642.301 s]
/proc/loadavg: 1.00 1.08 1.21 2/66 29914
/proc/meminfo: memFree=1709248/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=26152 CPUtime=642.12
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 7179 0 0 0 64205 7 0 0 25 0 1 0 99507897 26779648 6429 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 6538 6429 79 155 0 6381 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 26152

[startup+702.302 s]
/proc/loadavg: 1.00 1.07 1.19 2/66 29914
/proc/meminfo: memFree=1706048/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=29320 CPUtime=702.09
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 8076 0 0 0 70202 7 0 0 25 0 1 0 99507897 30023680 7218 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 7330 7218 79 155 0 7173 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 29320

[startup+762.301 s]
/proc/loadavg: 1.00 1.05 1.17 2/66 29914
/proc/meminfo: memFree=1704000/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=31660 CPUtime=762.09
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 8574 0 0 0 76201 8 0 0 25 0 1 0 99507897 32419840 7716 1992294400 134512640 135151029 4294956224 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 7915 7716 79 155 0 7758 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 31660

[startup+822.302 s]
/proc/loadavg: 1.00 1.04 1.16 2/66 29914
/proc/meminfo: memFree=1704704/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=30388 CPUtime=822.06
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 8792 0 0 0 82198 8 0 0 25 0 1 0 99507897 31117312 7509 1992294400 134512640 135151029 4294956224 18446744073709551615 134554829 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 7597 7509 79 155 0 7440 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 30388

[startup+882.306 s]
/proc/loadavg: 1.00 1.03 1.15 2/66 29914
/proc/meminfo: memFree=1704192/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=31020 CPUtime=882.05
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 8934 0 0 0 88197 8 0 0 25 0 1 0 99507897 31764480 7651 1992294400 134512640 135151029 4294956224 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 7755 7651 79 155 0 7598 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 31020

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.14 2/66 29914
/proc/meminfo: memFree=1704000/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=31280 CPUtime=942.02
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 8985 0 0 0 94194 8 0 0 25 0 1 0 99507897 32030720 7702 1992294400 134512640 135151029 4294956224 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 7820 7702 79 155 0 7663 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 31280

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.13 2/66 29914
/proc/meminfo: memFree=1703040/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=32592 CPUtime=1002.02
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 9253 0 0 0 100193 9 0 0 25 0 1 0 99507897 33374208 7930 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 8148 7930 79 155 0 7991 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 32592

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/66 29914
/proc/meminfo: memFree=1700928/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=35156 CPUtime=1062
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 9765 0 0 0 106191 9 0 0 25 0 1 0 99507897 35999744 8442 1992294400 134512640 135151029 4294956224 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 8789 8442 79 155 0 8632 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 35156

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.10 2/66 29914
/proc/meminfo: memFree=1700032/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=36180 CPUtime=1121.98
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 9973 0 0 0 112189 9 0 0 25 0 1 0 99507897 37048320 8650 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 9045 8650 79 155 0 8888 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 36180

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 29914
/proc/meminfo: memFree=1698880/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=37492 CPUtime=1181.96
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 10283 0 0 0 118187 9 0 0 25 0 1 0 99507897 38391808 8960 1992294400 134512640 135151029 4294956224 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 9373 8960 79 155 0 9216 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 37492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 29914
/proc/meminfo: memFree=1698176/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=38388 CPUtime=1200.06
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 10423 0 0 0 119997 9 0 0 25 0 1 0 99507897 39309312 9100 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 9597 9100 79 155 0 9440 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38388

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 29914
/proc/meminfo: memFree=1698176/2055920 swapFree=4188716/4192956
[pid=29907] ppid=29905 vsize=38388 CPUtime=1200.06
/proc/29907/stat : 29907 (precosat) R 29905 29907 26469 0 -1 4194304 10423 0 0 0 119997 9 0 0 25 0 1 0 99507897 39309312 9100 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29907/statm: 9597 9100 79 155 0 9440 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 38388

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.08
CPU user time (s): 1199.98
CPU system time (s): 0.103984
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 38388

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

runsolver used 1.34279 second user time and 2.70959 second system time

The end

Launcher Data 

Begin job on node8 at 2009-04-26 04:59:02
IDJOB=1726620
IDBENCH=24618
IDSOLVER=507
FILE ID=node8/1726620-1240714742
PBS_JOBID= 9186841
Free space on /tmp= 65936 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1726620-1240714742/watcher-1726620-1240714742 -o /tmp/evaluation-result-1726620-1240714742/solver-1726620-1240714742 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/precosat HOME/instance-1726620-1240714742.cnf

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

MD5SUM BENCH= b113aab739ba5e45a581d24e1a53a65a
RANDOM SEED=2111659339

node8.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.238
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.238
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1736040 kB
Buffers:         27404 kB
Cached:         219084 kB
SwapCached:       1780 kB
Active:         150148 kB
Inactive:       108884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1736040 kB
SwapTotal:     4192956 kB
SwapFree:      4188716 kB
Dirty:             932 kB
Writeback:           0 kB
Mapped:          21064 kB
Slab:            46620 kB
Committed_AS:   497284 kB
PageTables:       1372 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= 65936 MiB
End job on node8 at 2009-04-26 05:19:04