Trace number 1729164

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.03 1200.41

General information on the benchmark

Namecrafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
MD5SUM8bbab1b2b788407ca952856a1e2edded
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.968851
Satisfiable
(Un)Satisfiability was proved
Number of variables4667
Number of clauses18492
Sum of the clauses size55356
Maximum clause length3
Minimum clause length1
Number of clauses of size 160
Number of clauses of size 20
Number of clauses of size 318432
Number of clauses of size 40
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-1729164-1240745975.cnf
0.00/0.00	c found header 'p cnf 4667 18492'
0.00/0.02	c finished parsing
0.00/0.02	c
0.00/0.02	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.02	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.02	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.02	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.02	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.02	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.02	c
0.00/0.02	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.02	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.02	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.02	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.02	c
0.00/0.02	c starting search after 0.0 seconds
0.00/0.02	c no decision limit
0.00/0.02	c
0.00/0.02	c       original/binary      fixed     eliminated      learned       agility
0.00/0.02	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.02	c
0.00/0.02	c *    0.0    18366    4586     60    21      0       0      0    0.0   0    1
0.19/0.21	c s    0.2    13774    2702     94   174   1697       0      0    0.0   0    1
0.19/0.21	c l    0.2    13774    2702     94   174   1697       0  12776    0.0   0    1
0.19/0.21	c R    0.2    13805    2702     94   174   1697     102     90   40.9  19    1
0.29/0.37	c N    0.4    14209    2684    109   177   1697     640    589   27.3  27    2
0.39/0.47	c B    0.5    14407    2683    109   178   1697    1000    935   27.0  28    2
0.49/0.57	c s    0.6    14343    2679    113   178   1697    1203   1129   26.8  36    2
0.79/0.83	c B    0.8    14885    2646    141   183   1697    2001   1887   26.3  31    2
0.89/0.99	c s    1.0    20038    2154    596   220   1697    2112   1977   26.7  26    2
0.89/0.99	c -    1.0    20038    2154    596   220   1697    2112  10221   26.7  26    2
1.09/1.13	c N    1.1    20050    2154    596   220   1697    2613   2468   25.8  28    2
1.49/1.59	c s    1.6    20053    2154    596   220   1697    3963   3813   24.9  33    2
1.59/1.67	c N    1.7    20053    2154    596   220   1697    4221   4071   25.0  28    3
2.19/2.27	c s    2.3    22054    2139    609   222   1697    5796   5638   24.4  28    3
2.19/2.27	c -    2.3    22054    2139    609   222   1697    5796  10119   24.4  28    3
2.89/2.96	c B    3.0    22109    2139    609   222   1697    8001   7835   23.6  31    4
2.99/3.01	c R    3.0    22114    2139    609   222   1697    8232   8064   23.7  24    4
3.09/3.13	c s    3.1    22110    2139    609   222   1697    8526   8356   23.5  30    3
3.09/3.13	c -    3.1    22110    2139    609   222   1697    8526  10018   23.5  30    3
3.49/3.58	c
3.49/3.58	c       original/binary      fixed     eliminated      learned       agility
3.49/3.58	c   seconds        variables     equivalent    conflicts       height       MB
3.49/3.58	c
3.49/3.58	c +    3.6    22119    2139    609   222   1697   10019  11019   22.9  31    4
3.99/4.08	c s    4.1    22879    2131    613   226   1697   11262  11037   22.6  26    4
4.49/4.52	c +    4.5    22880    2131    613   226   1697   12520  12120   22.3  33    4
5.19/5.30	c -    5.3    22884    2128    616   226   1697   14142  11999   21.8  28    4
5.29/5.30	c -    5.3    22375    2119    625   226   1697   14142  11880   21.8  28    4
5.29/5.37	c s    5.4    16938    1932    649   226   1860   14142   7567   21.8  28    3
5.29/5.37	c -    5.4    16938    1932    649   226   1860   14142  11168   21.8  28    3
5.39/5.44	c +    5.4    16953    1932    649   226   1860   14421  12284   21.9  27    3
6.09/6.18	c s    6.2    23624    1901    680   226   1860   16429   9853   21.6  31    4
6.09/6.18	c -    6.2    23624    1901    680   226   1860   16429  12162   21.6  31    4
6.49/6.50	c +    6.5    23631    1901    680   226   1860   17846  13378   21.5  33    4
6.49/6.50	c N    6.5    23631    1901    680   226   1860   17852  11273   21.5  32    4
7.49/7.51	c s    7.5    23629    1901    680   226   1860   21400  13413   21.2  35    4
7.79/7.82	c +    7.8    24158    1901    680   226   1860   22305  14715   20.9  38    5
8.48/8.54	c B    8.5    24159    1901    680   226   1860   24008  14727   20.8  32    5
8.98/9.06	c s    9.1    24156    1901    680   226   1860   25253  14730   20.6  31    5
10.08/10.10	c +   10.1    24173    1901    680   226   1860   27881  16186   20.9  32    5
10.48/10.58	c s   10.6    24172    1901    680   226   1860   28925  15793   20.8  33    5
12.28/12.34	c s   12.3    23824    1893    680   226   1868   31914  14894   20.6  32    5
12.28/12.34	c
12.28/12.34	c       original/binary      fixed     eliminated      learned       agility
12.28/12.34	c   seconds        variables     equivalent    conflicts       height       MB
12.28/12.34	c
12.28/12.34	c -   12.3    23824    1893    680   226   1868   31914  16025   20.6  32    5
13.68/13.77	c +   13.8    26935    1890    683   226   1868   34502  17627   20.5  28    6
13.88/13.98	c s   14.0    26102    1890    683   226   1868   34862  16395   20.5  33    5
15.88/15.94	c s   15.9    26104    1890    683   226   1868   39355  17645   21.0  25    6
16.38/16.40	c N   16.4    26515    1890    683   226   1868   40297  17665   20.9  27    6
17.59/17.67	c s   17.7    26512    1890    683   226   1868   43056  17664   20.5  34    6
17.69/17.74	c +   17.7    27024    1890    683   226   1868   43125  19389   20.5  30    6
19.69/19.79	c s   19.8    26678    1883    683   226   1875   47398  18538   20.7  34    6
22.19/22.21	c s   22.2    26756    1883    683   226   1875   52083  19408   20.6  31    6
22.99/23.04	c +   23.0    27425    1883    683   226   1875   53906  21327   20.5  25    6
24.09/24.19	c s   24.2    27425    1883    683   226   1875   56272  21360   20.3  28    6
26.78/26.85	c s   26.8    27441    1883    683   226   1875   61403  21345   20.4  36    6
28.18/28.25	c B   28.2    28176    1883    683   226   1875   64013  21355   20.3  29    7
29.18/29.28	c s   29.3    28176    1883    683   226   1875   65937  21353   20.2  25    6
29.88/29.91	c +   29.9    28900    1883    683   226   1875   67380  23459   20.1  29    7
31.38/31.50	c s   31.5    28936    1883    683   226   1875   71211  23545   19.9  35    7
34.08/34.19	c s   34.2    31241    1876    686   226   1879   77225  23326   19.9  34    7
34.08/34.19	c -   34.2    31241    1876    686   226   1879   77225  23225   19.9  34    7
37.28/37.39	c s   37.4    32037    1876    686   226   1879   82705  23235   19.9  34    7
37.68/37.79	c
37.68/37.79	c       original/binary      fixed     eliminated      learned       agility
37.68/37.79	c   seconds        variables     equivalent    conflicts       height       MB
37.68/37.79	c
37.68/37.79	c +   37.8    32742    1876    686   226   1879   83384  25547   19.9  28    7
40.17/40.21	c s   40.2    32750    1876    686   226   1879   88774  25602   19.8  29    8
41.47/41.56	c N   41.5    32868    1876    686   226   1879   91595  25641   19.8  36    8
43.47/43.50	c s   43.5    32961    1876    686   226   1879   94677  25573   19.7  30    7
46.77/46.80	c s   46.8    33759    1876    686   226   1879  100688  25583   19.5  34    8
48.37/48.44	c +   48.4    33765    1876    686   226   1879  104233  28101   19.4  35    9
50.17/50.29	c s   50.3    33767    1876    686   226   1879  106898  28149   19.5  32    8
53.77/53.83	c s   53.8    33773    1876    686   226   1879  112263  28152   19.3  34    8
57.27/57.39	c s   57.4    33854    1876    686   226   1879  119006  28123   19.1  35    8
61.07/61.14	c s   61.1    34858    1876    686   226   1879  126232  28117   19.0  33    8
63.07/63.10	c +   63.1    35289    1876    686   226   1879  130290  30911   19.0  29    9
64.66/64.72	c s   64.7    35295    1876    686   226   1879  133221  30954   19.0  30    9
68.87/68.97	c s   69.0    35592    1876    686   226   1879  140249  30953   19.1  41    9
73.47/73.52	c s   73.5    34991    1866    688   226   1887  147751  26117   19.3  32    7
76.77/76.90	c s   76.9    35024    1865    689   226   1887  154932  30976   19.1  39    8
76.77/76.90	c -   76.9    35024    1865    689   226   1887  154932  30602   19.1  39    8
80.07/80.15	c B   80.1    35158    1865    689   226   1887  160030  30680   19.1  33    9
80.86/80.97	c +   80.9    35160    1865    689   226   1887  161233  33662   19.1  32    9
81.37/81.47	c s   81.4    35157    1865    689   226   1887  161850  31266   19.1  29    8
85.56/85.66	c
85.56/85.66	c       original/binary      fixed     eliminated      learned       agility
85.56/85.66	c   seconds        variables     equivalent    conflicts       height       MB
85.56/85.66	c
85.56/85.66	c s   85.6    35094    1864    689   226   1888  168951  31794   19.0  40    8
89.96/90.00	c s   90.0    35468    1864    689   226   1888  176355  33718   19.0  36    9
94.96/95.01	c s   95.0    36116    1864    689   226   1888  182326  33694   18.9  27    9
99.96/100.00	c s  100.0    36450    1864    689   226   1888  189240  33735   18.9  32    9
105.25/105.32	c s  105.3    36466    1864    689   226   1888  195481  33719   18.8  39    9
108.35/108.44	c +  108.4    37061    1864    689   226   1888  201542  37028   18.8  32   10
109.65/109.79	c s  109.8    37060    1864    689   226   1888  203631  35761   18.8  29    9
111.75/111.89	c N  111.9    37160    1864    689   226   1888  206974  37053   18.8  33   11
114.56/114.62	c s  114.6    37161    1864    689   226   1888  211644  37079   18.7  37   10
119.76/119.84	c s  119.8    37192    1864    689   226   1888  219167  37055   18.7  38   10
124.95/125.08	c s  125.0    37672    1864    689   226   1888  228331  37046   18.6  39   10
130.35/130.41	c s  130.4    40643    1864    689   226   1888  234855  37103   18.5  40   10
135.64/135.80	c s  135.8    44076    1864    689   226   1888  243446  37079   18.5  35   10
141.44/141.56	c s  141.5    44589    1864    689   226   1888  251454  37111   18.4  38   10
141.84/141.95	c +  141.9    44589    1864    689   226   1888  251926  40730   18.4  39   11
154.64/154.74	c s  154.7    44590    1864    689   226   1888  268807  40800   18.3  38   11
162.53/162.65	c s  162.6    44643    1864    689   226   1888  276177  40773   18.2  36   11
169.24/169.38	c s  169.3    44660    1864    689   226   1888  284348  40759   18.2  33   11
175.43/175.51	c s  175.5    44709    1864    689   226   1888  293665  40791   18.1  39   11
181.93/182.01	c
181.93/182.01	c       original/binary      fixed     eliminated      learned       agility
181.93/182.01	c   seconds        variables     equivalent    conflicts       height       MB
181.93/182.01	c
181.93/182.01	c -  182.0    44602    1862    690   227   1888  302684  40323   18.1  39    9
182.03/182.19	c s  182.1    44503    1853    690   227   1897  302684  39967   18.1  39   10
187.83/188.00	c +  187.9    44503    1853    690   227   1897  311758  44355   18.1  37   11
205.22/205.34	c s  205.3    44505    1853    690   227   1897  334032  44368   18.0  40   10
210.72/210.87	c s  210.8    44536    1853    690   227   1897  343787  44407   17.9  37   11
218.01/218.19	c s  218.1    45179    1853    690   227   1897  352182  44401   17.9  36   11
239.62/239.79	c B  239.7    45179    1853    690   227   1897  384076  44419   17.8  35   14
242.61/242.75	c s  242.7    45180    1853    690   227   1897  387403  44398   17.8  38   12
244.02/244.14	c +  244.1    45186    1853    690   227   1897  389696  48790   17.8  41   13
249.61/249.73	c s  249.7    45187    1853    690   227   1897  397212  48834   17.7  44   13
258.21/258.37	c s  258.3    45705    1853    690   227   1897  406940  48811   17.7  36   13
267.30/267.43	c s  267.3    46349    1853    690   227   1897  414931  48871   17.7  42   13
267.30/267.43	c -  267.3    46349    1853    690   227   1897  414931  48303   17.7  42   13
275.90/276.03	c s  275.9    46423    1853    690   227   1897  425399  48307   17.7  35   12
283.30/283.44	c s  283.4    46789    1853    690   227   1897  434970  48362   17.6  40   12
305.70/305.81	c s  305.7    46790    1853    690   227   1897  458085  48380   17.4  32   11
312.69/312.89	c s  312.8    46822    1853    690   227   1897  468770  48335   17.4  36   12
320.59/320.79	c s  320.7    44882    1845    693   227   1902  478110  41240   17.4  37   10
323.69/323.83	c +  323.7    44882    1845    693   227   1902  482249  53133   17.4  35   12
330.28/330.41	c
330.28/330.41	c       original/binary      fixed     eliminated      learned       agility
330.28/330.41	c   seconds        variables     equivalent    conflicts       height       MB
330.28/330.41	c
330.28/330.41	c s  330.3    44883    1845    693   227   1902  489841  52970   17.3  36   12
338.78/338.94	c s  338.8    45840    1845    693   227   1902  500110  53214   17.3  36   14
437.55/437.72	c +  437.6    45840    1845    693   227   1902  602813  58446   16.7  34   15
442.44/442.61	c s  442.5    45841    1845    693   227   1902  608054  58405   16.7  37   11
451.85/452.04	c s  451.9    46888    1845    693   227   1902  618606  58475   16.7  39   12
461.84/462.09	c s  461.9    47444    1845    693   227   1902  630523  58518   16.7  42   12
471.93/472.16	c s  472.0    47459    1845    693   227   1902  639881  58499   16.7  41   12
578.51/578.76	c +  578.6    47459    1845    693   227   1902  753515  64290   16.2  32   19
582.90/583.17	c N  583.0    47459    1845    693   227   1902  758063  65772   16.2  37   19
629.49/629.79	c s  629.6    47462    1845    693   227   1902  805106  64487   15.9  35   14
641.09/641.35	c s  641.1    47327    1832    695   231   1909  814543  64227   15.9  34   14
652.08/652.32	c s  652.1    47331    1832    695   231   1909  823915  64323   15.9  35   14
708.27/708.58	c s  708.4    47332    1832    695   231   1909  876288  64316   15.8  32   13
718.56/718.82	c s  718.6    47336    1832    695   231   1909  886496  64321   15.8  39   13
726.56/726.83	c B  726.6    47337    1832    695   231   1909  896160  64351   15.8  37   15
728.66/729.00	c s  728.8    47336    1832    695   231   1909  898744  64335   15.8  35   13
739.66/739.96	c s  739.7    47308    1827    695   232   1913  908028  63871   15.8  31   13
750.35/750.61	c s  750.4    47310    1827    695   232   1913  918054  64332   15.8  33   14
775.04/775.31	c +  775.1    47310    1827    695   232   1913  941891  70719   15.7  40   15
790.74/791.07	c
790.74/791.07	c       original/binary      fixed     eliminated      learned       agility
790.74/791.07	c   seconds        variables     equivalent    conflicts       height       MB
790.74/791.07	c
790.74/791.07	c s  790.8    47311    1827    695   232   1913  956034  70767   15.6  34   14
803.53/803.84	c s  803.6    47457    1827    695   232   1913  965654  70746   15.6  36   14
815.63/815.95	c s  815.7    47600    1827    695   232   1913  975427  70741   15.6  42   14
885.61/885.92	c s  885.6    47601    1827    695   232   1913 1042213  70781   15.4  30   14
896.70/897.06	c s  896.8    47609    1827    695   232   1913 1053350  70766   15.4  41   14
1049.36/1049.75	c + 1049.4    47609    1827    695   232   1913 1177361  77790   15.2  37   20
1055.86/1056.23	c s 1055.9    47610    1827    695   232   1913 1182665  76136   15.1  31   16
1070.55/1070.92	c s 1070.6    47650    1827    695   232   1913 1194570  77838   15.2  36   16
1085.35/1085.75	c s 1085.4    47674    1827    695   232   1913 1205650  77847   15.2  38   16
1102.04/1102.42	c s 1102.1    47677    1827    695   232   1913 1220212  77837   15.1  30   16
1200.02/1200.40	c
1200.02/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.02/1200.40	c
1200.02/1200.40	c 1312779 conflicts, 1582642 decisions, 1 random
1200.02/1200.40	c 16 iterations, 19 restarts, 2737 skipped
1200.02/1200.40	c 23 enlarged, 2609 shrunken, 12830 rescored, 359 rebiased
1200.02/1200.40	c 88 simplifications, 0 reductions
1200.02/1200.40	c
1200.02/1200.40	c vars: 695 fixed, 232 equiv, 1913 elim, 338 merged
1200.02/1200.40	c elim: 491464 resolutions, 11 phases, 11 rounds
1200.02/1200.40	c sbst: 98% substituted, 0.6% nots, 80.6% ands, 18.5% xors, 0.3% ites
1200.02/1200.40	c arty: 2.03 and 2.00 xor average arity
1200.02/1200.40	c prbe: 362827 probed, 152 phases, 93 rounds
1200.02/1200.40	c prbe: 264 failed, 33 lifted, 12 merged
1200.02/1200.40	c sccs: 8 non trivial, 0 fixed, 8 merged
1200.02/1200.40	c hash: 50 units, 318 merged
1200.02/1200.40	c mins: 46582357 learned, 62% deleted, 74 strong, 77 depth
1200.02/1200.40	c subs: 2375 forward, 4177 backward, 6895 doms
1200.02/1200.40	c strs: 3362 forward, 2104 backward
1200.02/1200.40	c doms: 8247 dominators, 4494 high, 2 low
1200.02/1200.40	c prps: 538781915 propagations, 0.45 megaprops
1200.02/1200.40	c
1200.02/1200.40	c 1200.0 seconds, 21 MB max, 202 MB recycled
1200.02/1200.40	c
1200.02/1200.40	c *** CAUGHT SIGNAL 15 ***
1200.02/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-1729164-1240745975/watcher-1729164-1240745975 -o /tmp/evaluation-result-1729164-1240745975/solver-1729164-1240745975 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/precosat HOME/instance-1729164-1240745975.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.96 0.98 1.00 2/64 4751
/proc/meminfo: memFree=1855016/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=1336 CPUtime=0
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 233 0 0 0 0 0 0 0 18 0 1 0 102623506 1368064 218 1992294400 134512640 135151029 4294956224 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 334 218 64 155 0 177 0

[startup+0.0446249 s]
/proc/loadavg: 0.96 0.98 1.00 2/64 4751
/proc/meminfo: memFree=1855016/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=2852 CPUtime=0.04
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 634 0 0 0 4 0 0 0 18 0 1 0 102623506 2920448 618 1992294400 134512640 135151029 4294956224 18446744073709551615 134521969 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 713 618 79 155 0 556 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2852

[startup+0.101632 s]
/proc/loadavg: 0.96 0.98 1.00 2/64 4751
/proc/meminfo: memFree=1855016/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=3116 CPUtime=0.09
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 711 0 0 0 9 0 0 0 18 0 1 0 102623506 3190784 695 1992294400 134512640 135151029 4294956224 18446744073709551615 134697840 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 779 695 79 155 0 622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3116

[startup+0.301659 s]
/proc/loadavg: 0.96 0.98 1.00 2/64 4751
/proc/meminfo: memFree=1855016/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=3568 CPUtime=0.29
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 794 0 0 0 29 0 0 0 19 0 1 0 102623506 3653632 778 1992294400 134512640 135151029 4294956224 18446744073709551615 134551638 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 892 778 79 155 0 735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3568

[startup+0.701713 s]
/proc/loadavg: 0.96 0.98 1.00 2/64 4751
/proc/meminfo: memFree=1855016/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=3568 CPUtime=0.69
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 794 0 0 0 69 0 0 0 22 0 1 0 102623506 3653632 778 1992294400 134512640 135151029 4294956224 18446744073709551615 134580518 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 892 778 79 155 0 735 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3568

[startup+1.50182 s]
/proc/loadavg: 0.96 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1851680/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=3788 CPUtime=1.49
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 874 0 0 0 149 0 0 0 25 0 1 0 102623506 3878912 858 1992294400 134512640 135151029 4294956224 18446744073709551615 134578170 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 947 858 79 155 0 790 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3788

[startup+3.10112 s]
/proc/loadavg: 0.96 0.98 1.00 3/65 4754
/proc/meminfo: memFree=1851424/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=4788 CPUtime=3.09
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 1175 0 0 0 309 0 0 0 25 0 1 0 102623506 4902912 1107 1992294400 134512640 135151029 4294956224 18446744073709551615 134676872 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 1197 1107 79 155 0 1040 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4788

[startup+6.30147 s]
/proc/loadavg: 0.97 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1849504/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=5984 CPUtime=6.29
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 1457 0 0 0 629 0 0 0 25 0 1 0 102623506 6127616 1389 1992294400 134512640 135151029 4294956224 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 1496 1389 79 155 0 1339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5984

[startup+12.7013 s]
/proc/loadavg: 0.97 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1848608/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=7024 CPUtime=12.68
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 1833 0 0 0 1268 0 0 0 25 0 1 0 102623506 7192576 1668 1992294400 134512640 135151029 4294956224 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 1756 1668 79 155 0 1599 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7024

[startup+25.5011 s]
/proc/loadavg: 0.97 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1846944/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=8568 CPUtime=25.48
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 2252 0 0 0 2547 1 0 0 25 0 1 0 102623506 8773632 2022 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 2142 2022 79 155 0 1985 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8568

[startup+51.1015 s]
/proc/loadavg: 0.98 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1844128/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=11364 CPUtime=51.07
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 2950 0 0 0 5106 1 0 0 25 0 1 0 102623506 11636736 2720 1992294400 134512640 135151029 4294956224 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 2841 2720 79 155 0 2684 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11364

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1842912/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=12420 CPUtime=102.26
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 3621 0 0 0 10224 2 0 0 25 0 1 0 102623506 12718080 3003 1992294400 134512640 135151029 4294956224 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 3105 3003 79 155 0 2948 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12420

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1839904/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=15364 CPUtime=162.23
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 4830 0 0 0 16220 3 0 0 25 0 1 0 102623506 15732736 3718 1992294400 134512640 135151029 4294956224 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 3841 3718 79 155 0 3684 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 15364

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1839904/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=15240 CPUtime=222.21
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 6079 0 0 0 22217 4 0 0 25 0 1 0 102623506 15605760 3690 1992294400 134512640 135151029 4294956224 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 3810 3690 79 155 0 3653 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 15240

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1838304/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=16840 CPUtime=282.2
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 7186 0 0 0 28215 5 0 0 25 0 1 0 102623506 17244160 4092 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 4210 4092 79 155 0 4053 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 16840

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1836384/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=18672 CPUtime=342.18
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 8717 0 0 0 34211 7 0 0 25 0 1 0 102623506 19120128 4541 1992294400 134512640 135151029 4294956224 18446744073709551615 134574592 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 4668 4541 79 155 0 4511 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 18672

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1834784/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=20596 CPUtime=402.16
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 9120 0 0 0 40209 7 0 0 25 0 1 0 102623506 21090304 4944 1992294400 134512640 135151029 4294956224 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5149 4944 79 155 0 4992 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 20596

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1836000/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=18944 CPUtime=462.14
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 9639 0 0 0 46207 7 0 0 25 0 1 0 102623506 19398656 4618 1992294400 134512640 135151029 4294956224 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 4736 4618 79 155 0 4579 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 18944

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1834528/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=20708 CPUtime=522.12
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10152 0 0 0 52204 8 0 0 25 0 1 0 102623506 21204992 5002 1992294400 134512640 135151029 4294956224 18446744073709551615 134555104 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5177 5002 79 155 0 5020 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 20708

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1831968/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=23284 CPUtime=582.1
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10763 0 0 0 58201 9 0 0 25 0 1 0 102623506 23842816 5613 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5821 5613 79 155 0 5664 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 23284

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1832224/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22640 CPUtime=642.09
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10896 0 0 0 64200 9 0 0 25 0 1 0 102623506 23183360 5539 1992294400 134512640 135151029 4294956224 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5660 5539 79 155 0 5503 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 22640

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/65 4754
/proc/meminfo: memFree=1832160/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22640 CPUtime=702.06
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10904 0 0 0 70197 9 0 0 25 0 1 0 102623506 23183360 5547 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5660 5547 79 155 0 5503 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 22640

[startup+762.306 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1832032/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22640 CPUtime=762.05
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10912 0 0 0 76195 10 0 0 25 0 1 0 102623506 23183360 5555 1992294400 134512640 135151029 4294956224 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5660 5555 79 155 0 5503 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 22640

[startup+822.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831968/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22640 CPUtime=822.03
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10924 0 0 0 82193 10 0 0 25 0 1 0 102623506 23183360 5567 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5660 5567 79 155 0 5503 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 22640

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831904/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22640 CPUtime=882.01
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10924 0 0 0 88191 10 0 0 25 0 1 0 102623506 23183360 5567 1992294400 134512640 135151029 4294956224 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5660 5567 79 155 0 5503 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 22640

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831904/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22640 CPUtime=941.99
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10924 0 0 0 94189 10 0 0 25 0 1 0 102623506 23183360 5567 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5660 5567 79 155 0 5503 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 22640

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831840/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22640 CPUtime=1001.98
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10924 0 0 0 100187 11 0 0 25 0 1 0 102623506 23183360 5567 1992294400 134512640 135151029 4294956224 18446744073709551615 134542896 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5660 5567 79 155 0 5503 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 22640

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831712/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22788 CPUtime=1061.95
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10949 0 0 0 106184 11 0 0 25 0 1 0 102623506 23334912 5592 1992294400 134512640 135151029 4294956224 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5697 5592 79 155 0 5540 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 22788

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831712/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=22788 CPUtime=1121.93
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 10949 0 0 0 112182 11 0 0 25 0 1 0 102623506 23334912 5592 1992294400 134512640 135151029 4294956224 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5697 5592 79 155 0 5540 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 22788

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831328/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=23348 CPUtime=1181.91
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 11041 0 0 0 118180 11 0 0 25 0 1 0 102623506 23908352 5684 1992294400 134512640 135151029 4294956224 18446744073709551615 134551924 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5837 5684 79 155 0 5680 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 23348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4754
/proc/meminfo: memFree=1831136/2055920 swapFree=4191900/4192956
[pid=4751] ppid=4749 vsize=23604 CPUtime=1200.02
/proc/4751/stat : 4751 (precosat) R 4749 4751 4381 0 -1 4194304 11069 0 0 0 119990 12 0 0 25 0 1 0 102623506 24170496 5712 1992294400 134512640 135151029 4294956224 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4751/statm: 5901 5712 79 155 0 5744 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 23604

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.41
CPU time (s): 1200.03
CPU user time (s): 1199.9
CPU system time (s): 0.124981
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 23668

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

runsolver used 0.890864 second user time and 2.48362 second system time

The end

Launcher Data 

Begin job on node71 at 2009-04-26 13:39:35
IDJOB=1729164
IDBENCH=24694
IDSOLVER=507
FILE ID=node71/1729164-1240745975
PBS_JOBID= 9186994
Free space on /tmp= 66476 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1729164-1240745975/watcher-1729164-1240745975 -o /tmp/evaluation-result-1729164-1240745975/solver-1729164-1240745975 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/precosat HOME/instance-1729164-1240745975.cnf

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

MD5SUM BENCH= 8bbab1b2b788407ca952856a1e2edded
RANDOM SEED=1354514783

node71.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.236
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.236
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:       1855432 kB
Buffers:         10584 kB
Cached:         112036 kB
SwapCached:        528 kB
Active:          28592 kB
Inactive:       107512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855432 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            1040 kB
Writeback:           0 kB
Mapped:          21760 kB
Slab:            50340 kB
Committed_AS:   293164 kB
PageTables:       1436 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= 66476 MiB
End job on node71 at 2009-04-26 13:59:38