Trace number 1783626

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) 5000.09 5001.42

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-1783626-1241861820.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.20/3.23	c s    3.2    14026     861      0     0    287   21316  16988   39.4  37    4
3.30/3.36	c +    3.4    14026     861      0     0    287   21900  18653   39.2  38    4
3.79/3.82	c
3.79/3.82	c       original/binary      fixed     eliminated      learned       agility
3.79/3.82	c   seconds        variables     equivalent    conflicts       height       MB
3.79/3.82	c
3.79/3.82	c B    3.8    14026     861      0     0    287   24012  18687   38.6  38    5
4.40/4.46	c +    4.5    14027     861      0     0    287   27375  20518   37.6  39    5
4.49/4.56	c s    4.6    14027     861      0     0    287   27658  18982   37.5  36    4
5.89/5.96	c +    6.0    14027     861      0     0    287   34215  22569   36.8  39    6
6.89/6.96	c N    7.0    14027     861      0     0    287   38509  22618   36.7  40    6
7.98/8.00	c +    8.0    14027     861      0     0    287   42765  24825   36.4  39    7
10.89/10.99	c +   11.0    14027     861      0     0    287   53456  27307   35.8  37    9
11.19/11.30	c s   11.3    14028     861      0     0    287   54204  29181   35.7  39    8
13.19/13.29	c s   13.3    14064     861      0     0    287   62995  27335   34.6  39    7
13.49/13.54	c B   13.5    14064     861      0     0    287   64022  27324   34.5  38    7
14.09/14.10	c +   14.1    14065     861      0     0    287   66820  30037   34.4  40    7
15.19/15.26	c s   15.3    14065     861      0     0    287   72095  30075   34.0  39    7
17.49/17.58	c s   17.6    14067     861      0     0    287   81516  30062   34.3  40    7
17.88/17.95	c +   17.9    14069     861      0     0    287   83527  33040   34.4  39    7
19.08/19.19	c N   19.2    14071     861      0     0    287   89805  33060   34.6  40    8
19.79/19.88	c s   19.9    14072     861      0     0    287   92584  33097   34.7  39    7
22.28/22.34	c s   22.3    14075     861      0     0    287  103481  33089   33.9  41    7
22.48/22.59	c +   22.6    14075     861      0     0    287  104406  36344   34.0  37    8
27.78/27.85	c s   27.8    14076     861      0     0    287  123676  36355   34.1  39    8
29.68/29.78	c
29.68/29.78	c       original/binary      fixed     eliminated      learned       agility
29.68/29.78	c   seconds        variables     equivalent    conflicts       height       MB
29.68/29.78	c
29.68/29.78	c +   29.8    14077     861      0     0    287  130505  39978   34.0  38    9
30.69/30.74	c s   30.7    14079     861      0     0    287  133491  39354   33.9  41    9
34.48/34.51	c s   34.5    14084     861      0     0    287  147347  40007   33.9  38    8
37.08/37.19	c s   37.2    14087     861      0     0    287  158705  40040   33.8  39    8
37.48/37.56	c B   37.6    14087     861      0     0    287  160037  39996   33.8  39    9
38.28/38.36	c +   38.4    14090     861      0     0    287  163131  43975   33.7  37    9
40.18/40.29	c s   40.3    14090     861      0     0    287  170917  44004   33.6  38    9
44.88/44.90	c s   44.9    14091     861      0     0    287  186819  44014   33.5  39   10
48.39/48.46	c s   48.5    14096     861      0     0    287  198887  44004   33.4  37   10
49.49/49.58	c +   49.6    14098     861      0     0    287  203910  48372   33.2  40   11
49.88/49.92	c N   49.9    14099     861      0     0    287  205207  45306   33.2  40   11
52.08/52.10	c s   52.1    14099     861      0     0    287  212658  48411   33.0  38   11
55.88/55.90	c s   55.9    14156     861      0     0    287  226580  48388   32.8  41   10
59.38/59.47	c s   59.5    14157     861      0     0    287  239873  48447   32.9  39   10
63.68/63.76	c s   63.7    14161     861      0     0    287  254643  48408   32.7  38   10
63.88/63.90	c +   63.9    14161     861      0     0    287  254886  53209   32.8  39   11
67.58/67.62	c s   67.6    14162     861      0     0    287  267582  53266   32.9  39   11
72.37/72.49	c s   72.5    14163     861      0     0    287  284947  53255   33.0  38   11
76.98/77.03	c s   77.0    14164     861      0     0    287  299422  53234   33.1  38   11
82.27/82.30	c
82.27/82.30	c       original/binary      fixed     eliminated      learned       agility
82.27/82.30	c   seconds        variables     equivalent    conflicts       height       MB
82.27/82.30	c
82.27/82.30	c s   82.3    14165     861      0     0    287  315853  53229   33.1  38   11
83.07/83.19	c +   83.2    14165     861      0     0    287  318606  58529   33.2  39   12
87.47/87.58	c s   87.6    14164     860      0     1    287  330919  58538   33.2  39   12
92.27/92.38	c s   92.4    14166     860      0     1    287  346884  58570   33.1  38   12
97.77/97.90	c s   97.9    14168     860      0     1    287  363210  58561   32.7  39   12
102.46/102.56	c s  102.5    14171     860      0     1    287  379642  58576   32.8  37   12
104.26/104.40	c B  104.4    14173     860      0     1    287  384084  58548   32.8  37   13
108.66/108.79	c s  108.8    14173     860      0     1    287  394189  58558   32.7  37   11
109.97/110.09	c +  110.1    14173     860      0     1    287  398256  64381   32.8  35   13
115.76/115.86	c s  115.8    14175     860      0     1    287  414201  64429   32.9  37   12
123.16/123.26	c s  123.2    14177     860      0     1    287  436970  64414   32.7  36   12
129.35/129.44	c s  129.4    14181     860      0     1    287  451885  64410   32.5  38   12
132.45/132.57	c N  132.5    14181     860      0     1    287  461568  64418   32.5  39   14
148.75/148.89	c +  148.9    14181     860      0     1    287  497821  70819   32.5  38   16
171.95/172.08	c s  172.0    14182     860      0     1    287  532840  85029   32.4  39   18
180.45/180.60	c s  180.6    14183     860      0     1    287  557488  70855   32.1  37   14
187.95/188.07	c s  188.0    14186     860      0     1    287  577406  70855   32.1  39   14
194.55/194.68	c s  194.6    14188     860      0     1    287  594197  70846   32.1  39   14
201.25/201.39	c s  201.3    14191     860      0     1    287  612402  70846   31.9  38   14
204.54/204.67	c
204.54/204.67	c       original/binary      fixed     eliminated      learned       agility
204.54/204.67	c   seconds        variables     equivalent    conflicts       height       MB
204.54/204.67	c
204.54/204.67	c +  204.6    14191     860      0     1    287  622277  77900   31.9  42   15
208.14/208.27	c s  208.2    14192     860      0     1    287  632220  77940   31.9  39   15
215.94/216.08	c s  216.0    14199     860      0     1    287  650656  77932   31.8  37   15
224.24/224.36	c s  224.3    14200     860      0     1    287  668876  77924   31.8  39   15
232.04/232.19	c s  232.1    14201     860      0     1    287  688319  77935   31.7  37   15
239.93/240.05	c s  240.0    14203     860      0     1    287  707550  77937   31.7  39   15
249.03/249.12	c s  249.1    14206     860      0     1    287  725592  77931   31.5  38   15
257.53/257.65	c s  257.6    14210     860      0     1    287  743852  77941   31.5  40   15
271.32/271.42	c +  271.3    14210     860      0     1    287  777847  85690   31.5  37   17
293.92/294.02	c s  293.9    14211     860      0     1    287  820122  85740   31.3  37   17
330.81/330.90	c B  330.8    14211     860      0     1    287  896187  85750   30.8  39   20
348.80/348.95	c s  348.9    14212     860      0     1    287  927028  85750   30.7  38   17
357.10/357.29	c s  357.2    14213     860      0     1    287  947056  85740   30.7  37   17
368.10/368.25	c +  368.2    14213     860      0     1    287  972308  94259   30.5  39   18
388.09/388.20	c s  388.1    14214     860      0     1    287 1012017  94288   30.2  36   17
398.49/398.61	c N  398.5    14215     860      0     1    287 1025472  94287   30.1  35   19
402.69/402.82	c s  402.7    14215     860      0     1    287 1031009  94284   30.1  39   17
453.07/453.27	c s  453.2    14216     860      0     1    287 1122707  94309   29.9  38   19
462.67/462.85	c s  462.7    14217     860      0     1    287 1149368  94287   29.8  38   19
472.06/472.20	c
472.06/472.20	c       original/binary      fixed     eliminated      learned       agility
472.06/472.20	c   seconds        variables     equivalent    conflicts       height       MB
472.06/472.20	c
472.06/472.20	c s  472.1    14219     860      0     1    287 1171312  94297   29.7  37   19
482.06/482.29	c s  482.2    14220     860      0     1    287 1196664  94281   29.8  37   18
490.06/490.26	c +  490.1    14221     860      0     1    287 1215385 103684   29.8  37   20
492.86/493.08	c s  493.0    14221     860      0     1    287 1220286  99195   29.8  37   19
505.66/505.87	c s  505.7    14224     860      0     1    287 1242249 103753   29.8  36   20
536.95/537.17	c s  537.0    14225     860      0     1    287 1297062 103712   29.6  37   20
548.34/548.53	c s  548.4    14228     860      0     1    287 1325341 103731   29.6  39   20
562.94/563.12	c s  563.0    14229     860      0     1    287 1361499 103712   29.7  38   19
574.74/574.98	c s  574.8    14231     860      0     1    287 1389433 103714   29.7  39   19
588.24/588.46	c s  588.3    14232     860      0     1    287 1413186 103738   29.8  40   20
599.93/600.11	c s  600.0    14236     860      0     1    287 1439135 103711   29.8  37   20
612.33/612.59	c s  612.4    14237     860      0     1    287 1465213 103751   29.7  40   20
644.52/644.75	c +  644.6    14237     860      0     1    287 1519230 114052   29.7  40   23
644.82/645.05	c s  644.9    14238     860      0     1    287 1519334 103816   29.7  38   20
656.91/657.16	c s  657.0    14239     860      0     1    287 1543477 114088   29.7  40   22
672.21/672.49	c s  672.3    14240     860      0     1    287 1568342 114084   29.7  37   23
686.61/686.86	c s  686.7    14243     860      0     1    287 1596063 114071   29.8  39   23
700.80/701.07	c s  700.9    14244     860      0     1    287 1623634 114096   29.8  38   24
787.98/788.22	c s  788.0    14245     860      0     1    287 1748484 114120   29.5  38   24
801.18/801.44	c
801.18/801.44	c       original/binary      fixed     eliminated      learned       agility
801.18/801.44	c   seconds        variables     equivalent    conflicts       height       MB
801.18/801.44	c
801.18/801.44	c s  801.2    14246     860      0     1    287 1777888 114083   29.5  40   23
816.37/816.62	c s  816.4    14247     860      0     1    287 1808988 114091   29.5  36   22
838.87/839.18	c s  839.0    14248     860      0     1    287 1851525 114080   29.6  39   22
858.16/858.46	c s  858.2    14249     860      0     1    287 1890787 114099   29.6  36   22
861.66/861.91	c +  861.7    14249     860      0     1    287 1899035 125457   29.6  38   25
875.55/875.83	c s  875.6    14250     860      0     1    287 1926165 125472   29.7  39   25
892.45/892.77	c s  892.5    14251     860      0     1    287 1952809 125486   29.7  38   25
909.14/909.44	c s  909.2    14254     860      0     1    287 1981503 125486   29.6  39   24
925.84/926.15	c s  925.9    14255     860      0     1    287 2010999 125491   29.5  40   23
944.64/944.99	c s  944.7    14258     860      0     1    287 2040789 125496   29.5  40   22
950.83/951.10	c B  950.9    14258     860      0     1    287 2048358 125496   29.5  40   25
1139.19/1139.56	c N 1139.3    14258     860      0     1    287 2255778 125529   29.2  39   31
1253.36/1253.70	c + 1253.4    14258     860      0     1    287 2373790 138002   28.9  37   32
1255.45/1255.88	c s 1255.6    14259     860      0     1    287 2376047 127762   28.9  39   22
1336.04/1336.45	c s 1336.1    14260     860      0     1    287 2499007 138019   28.9  37   27
1355.73/1356.12	c s 1355.8    14261     860      0     1    287 2534337 138046   28.9  39   27
1416.01/1416.49	c s 1416.1    14262     860      0     1    287 2622800 138043   28.8  39   26
1436.50/1436.96	c s 1436.6    14264     860      0     1    287 2657460 138040   28.8  38   26
1535.67/1536.17	c s 1535.8    14265     860      0     1    287 2796314 138022   29.0  40   28
1558.27/1558.79	c
1558.27/1558.79	c       original/binary      fixed     eliminated      learned       agility
1558.27/1558.79	c   seconds        variables     equivalent    conflicts       height       MB
1558.27/1558.79	c
1558.27/1558.79	c s 1558.4    14268     860      0     1    287 2824386 138025   29.0  39   27
1579.86/1580.38	c s 1580.0    14269     860      0     1    287 2858066 138138   28.9  39   27
1601.86/1602.33	c s 1601.9    14270     860      0     1    287 2891772 138030   28.9  39   26
1622.76/1623.29	c s 1622.9    14271     860      0     1    287 2919902 138032   28.9  37   26
1642.25/1642.75	c s 1642.3    14273     860      0     1    287 2952088 138023   28.9  38   26
1652.65/1653.14	c + 1652.7    14274     860      0     1    287 2967236 151802   28.9  38   29
1664.05/1664.54	c s 1664.1    14274     860      0     1    287 2983043 151837   28.9  38   29
1755.42/1755.98	c s 1755.5    14275     860      0     1    287 3098809 151839   29.0  38   28
2055.64/2056.25	c s 2055.7    14276     860      0     1    287 3427911 151845   29.2  39   29
2302.97/2303.65	c + 2303.0    14276     860      0     1    287 3709047 166982   29.0  37   38
3247.92/3248.82	c s 3248.0    14277     860      0     1    287 4510417 167005   28.5  39   33
3299.81/3300.77	c s 3299.9    14278     860      0     1    287 4575577 166996   28.5  39   33
3327.20/3328.18	c B 3327.3    14278     860      0     1    287 4608751 167026   28.5  37   35
3352.40/3353.33	c + 3352.4    14278     860      0     1    287 4636306 183680   28.5  38   36
3715.60/3716.64	c N 3715.7    14278     860      0     1    287 4921145 183710   28.3  39   45
4775.22/4776.58	c s 4775.3    14279     860      0     1    287 5768310 183708   28.0  37   33
4791.51/4792.88	c + 4791.6    14279     860      0     1    287 5795381 202048   28.0  39   36
5000.06/5001.40	c
5000.06/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.06/5001.40	c
5000.06/5001.40	c 6012432 conflicts, 6584860 decisions, 1 random
5000.06/5001.40	c 0 iterations, 1 restarts, 9671 skipped
5000.06/5001.40	c 28 enlarged, 96 shrunken, 58736 rescored, 1276 rebiased
5000.06/5001.40	c 97 simplifications, 1 reductions
5000.06/5001.40	c
5000.06/5001.40	c vars: 0 fixed, 1 equiv, 287 elim, 1 merged
5000.06/5001.40	c elim: 128213 resolutions, 2 phases, 2 rounds
5000.06/5001.40	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.06/5001.40	c arty: 0.00 and 0.00 xor average arity
5000.06/5001.40	c prbe: 165744 probed, 96 phases, 96 rounds
5000.06/5001.40	c prbe: 0 failed, 0 lifted, 0 merged
5000.06/5001.40	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.06/5001.40	c hash: 0 units, 1 merged
5000.06/5001.40	c mins: 231894511 learned, 42% deleted, 529 strong, 32 depth
5000.06/5001.40	c subs: 0 forward, 0 backward, 90 doms
5000.06/5001.40	c strs: 15059 forward, 1 backward
5000.06/5001.40	c doms: 90 dominators, 89 high, 0 low
5000.06/5001.40	c prps: 1161095339 propagations, 0.23 megaprops
5000.06/5001.40	c
5000.06/5001.40	c 5000.1 seconds, 68 MB max, 983 MB recycled
5000.06/5001.40	c
5000.06/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.06/5001.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-1783626-1241861820/watcher-1783626-1241861820 -o /tmp/evaluation-result-1783626-1241861820/solver-1783626-1241861820 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783626-1241861820.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.34 0.08 0.02 3/64 23676
/proc/meminfo: memFree=1790112/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=1052 CPUtime=0
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 182 0 0 0 0 0 0 0 20 0 1 0 214208186 1077248 167 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 263 168 63 155 0 106 0

[startup+0.0940801 s]
/proc/loadavg: 0.34 0.08 0.02 3/64 23676
/proc/meminfo: memFree=1790112/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=2468 CPUtime=0.08
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 571 0 0 0 8 0 0 0 20 0 1 0 214208186 2527232 525 1992294400 134512640 135151029 4294956240 18446744073709551615 134548507 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 617 525 79 155 0 460 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2468

[startup+0.101081 s]
/proc/loadavg: 0.34 0.08 0.02 3/64 23676
/proc/meminfo: memFree=1790112/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=2468 CPUtime=0.09
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 571 0 0 0 9 0 0 0 20 0 1 0 214208186 2527232 525 1992294400 134512640 135151029 4294956240 18446744073709551615 134525930 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 617 525 79 155 0 460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2468

[startup+0.301103 s]
/proc/loadavg: 0.34 0.08 0.02 3/64 23676
/proc/meminfo: memFree=1790112/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=2468 CPUtime=0.29
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 571 0 0 0 29 0 0 0 22 0 1 0 214208186 2527232 525 1992294400 134512640 135151029 4294956240 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 617 525 79 155 0 460 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2468

[startup+0.701147 s]
/proc/loadavg: 0.34 0.08 0.02 3/64 23676
/proc/meminfo: memFree=1790112/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=2996 CPUtime=0.69
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 716 0 0 0 69 0 0 0 25 0 1 0 214208186 3067904 670 1992294400 134512640 135151029 4294956240 18446744073709551615 134580646 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 749 670 79 155 0 592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2996

[startup+1.50124 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 23677
/proc/meminfo: memFree=1787288/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=4316 CPUtime=1.49
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 1026 0 0 0 148 1 0 0 25 0 1 0 214208186 4419584 980 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 1079 980 79 155 0 922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4316

[startup+3.10141 s]
/proc/loadavg: 0.34 0.08 0.02 2/65 23677
/proc/meminfo: memFree=1785496/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=5504 CPUtime=3.09
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 1343 0 0 0 308 1 0 0 25 0 1 0 214208186 5636096 1297 1992294400 134512640 135151029 4294956240 18446744073709551615 134554888 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 1376 1297 79 155 0 1219 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5504

[startup+6.30177 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 23677
/proc/meminfo: memFree=1784088/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=7068 CPUtime=6.29
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 1727 0 0 0 628 1 0 0 25 0 1 0 214208186 7237632 1681 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 1767 1681 79 155 0 1610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7068

[startup+12.7015 s]
/proc/loadavg: 0.44 0.11 0.03 2/65 23677
/proc/meminfo: memFree=1780376/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=10260 CPUtime=12.69
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 2492 0 0 0 1267 2 0 0 25 0 1 0 214208186 10506240 2446 1992294400 134512640 135151029 4294956240 18446744073709551615 134554693 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 2565 2446 79 155 0 2408 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10260

[startup+25.5019 s]
/proc/loadavg: 0.56 0.15 0.05 2/65 23677
/proc/meminfo: memFree=1780248/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=10392 CPUtime=25.48
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 2554 0 0 0 2546 2 0 0 25 0 1 0 214208186 10641408 2508 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 2598 2508 79 155 0 2441 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10392

[startup+51.1017 s]
/proc/loadavg: 0.71 0.22 0.07 2/65 23677
/proc/meminfo: memFree=1777688/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=13044 CPUtime=51.08
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 3313 0 0 0 5105 3 0 0 25 0 1 0 214208186 13357056 3163 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 3261 3163 79 155 0 3104 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13044

[startup+102.305 s]
/proc/loadavg: 0.87 0.34 0.12 2/65 23677
/proc/meminfo: memFree=1774680/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=15472 CPUtime=102.27
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 4108 0 0 0 10224 3 0 0 25 0 1 0 214208186 15843328 3790 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 3868 3790 79 155 0 3711 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15472

[startup+162.301 s]
/proc/loadavg: 0.95 0.45 0.17 2/65 23677
/proc/meminfo: memFree=1769944/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=20968 CPUtime=162.25
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 5553 0 0 0 16221 4 0 0 25 0 1 0 214208186 21471232 5030 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 5242 5030 79 155 0 5085 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20968

[startup+222.302 s]
/proc/loadavg: 0.98 0.55 0.22 2/65 23677
/proc/meminfo: memFree=1766744/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=23648 CPUtime=222.24
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 6364 0 0 0 22219 5 0 0 25 0 1 0 214208186 24215552 5776 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 5912 5776 79 155 0 5755 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 23648

[startup+282.301 s]
/proc/loadavg: 0.99 0.63 0.27 2/65 23677
/proc/meminfo: memFree=1766680/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=23648 CPUtime=282.22
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 6371 0 0 0 28217 5 0 0 25 0 1 0 214208186 24215552 5783 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 5912 5783 79 155 0 5755 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23648

[startup+342.301 s]
/proc/loadavg: 0.99 0.69 0.31 2/65 23679
/proc/meminfo: memFree=1766424/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=23648 CPUtime=342.2
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 6407 0 0 0 34215 5 0 0 25 0 1 0 214208186 24215552 5819 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 5912 5819 79 155 0 5755 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23648

[startup+402.302 s]
/proc/loadavg: 0.99 0.75 0.35 2/65 23679
/proc/meminfo: memFree=1766168/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=23784 CPUtime=402.19
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 6468 0 0 0 40214 5 0 0 25 0 1 0 214208186 24354816 5859 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 5946 5859 79 155 0 5789 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 23784

[startup+462.301 s]
/proc/loadavg: 0.99 0.79 0.39 2/65 23679
/proc/meminfo: memFree=1764312/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=25848 CPUtime=462.17
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 6939 0 0 0 46212 5 0 0 25 0 1 0 214208186 26468352 6330 1992294400 134512640 135151029 4294956240 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 6462 6330 79 155 0 6305 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 25848

[startup+522.301 s]
/proc/loadavg: 0.99 0.83 0.42 2/65 23679
/proc/meminfo: memFree=1764184/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=25848 CPUtime=522.15
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 6982 0 0 0 52210 5 0 0 25 0 1 0 214208186 26468352 6373 1992294400 134512640 135151029 4294956240 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 6462 6373 79 155 0 6305 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 25848

[startup+582.302 s]
/proc/loadavg: 0.99 0.85 0.46 2/65 23679
/proc/meminfo: memFree=1763864/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=25912 CPUtime=582.13
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 7147 0 0 0 58208 5 0 0 25 0 1 0 214208186 26533888 6397 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 6478 6397 79 155 0 6321 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 25912

[startup+642.302 s]
/proc/loadavg: 0.99 0.88 0.49 2/65 23679
/proc/meminfo: memFree=1763864/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=26152 CPUtime=642.12
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 7179 0 0 0 64207 5 0 0 25 0 1 0 214208186 26779648 6429 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 6538 6429 79 155 0 6381 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 26152

[startup+702.301 s]

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

[startup+4002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1724312/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=64808 CPUtime=4001.22
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 20640 0 0 0 400103 19 0 0 25 0 1 0 214208186 66363392 15863 1992294400 134512640 135151029 4294956240 18446744073709551615 134551595 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 16202 15863 79 155 0 16045 0
Current children cumulated CPU time (s) 4001.22
Current children cumulated vsize (KiB) 64808

[startup+4062.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1723608/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=65576 CPUtime=4061.22
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 20805 0 0 0 406102 20 0 0 25 0 1 0 214208186 67149824 16028 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 16394 16028 79 155 0 16237 0
Current children cumulated CPU time (s) 4061.22
Current children cumulated vsize (KiB) 65576

[startup+4122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1723032/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=66348 CPUtime=4121.2
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 20942 0 0 0 412100 20 0 0 25 0 1 0 214208186 67940352 16165 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 16587 16165 79 155 0 16430 0
Current children cumulated CPU time (s) 4121.2
Current children cumulated vsize (KiB) 66348

[startup+4182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1722776/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=66864 CPUtime=4181.18
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 21011 0 0 0 418098 20 0 0 25 0 1 0 214208186 68468736 16234 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 16716 16234 79 155 0 16559 0
Current children cumulated CPU time (s) 4181.18
Current children cumulated vsize (KiB) 66864

[startup+4242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1722328/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=67376 CPUtime=4241.17
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 21118 0 0 0 424097 20 0 0 25 0 1 0 214208186 68993024 16341 1992294400 134512640 135151029 4294956240 18446744073709551615 134575907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 16844 16341 79 155 0 16687 0
Current children cumulated CPU time (s) 4241.17
Current children cumulated vsize (KiB) 67376

[startup+4302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1721752/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=68148 CPUtime=4301.15
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 21270 0 0 0 430095 20 0 0 25 0 1 0 214208186 69783552 16493 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17037 16493 79 155 0 16880 0
Current children cumulated CPU time (s) 4301.15
Current children cumulated vsize (KiB) 68148

[startup+4362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1721304/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=68664 CPUtime=4361.13
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 21373 0 0 0 436093 20 0 0 25 0 1 0 214208186 70311936 16596 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17166 16596 79 155 0 17009 0
Current children cumulated CPU time (s) 4361.13
Current children cumulated vsize (KiB) 68664

[startup+4422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1721304/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=68664 CPUtime=4421.12
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 21375 0 0 0 442092 20 0 0 25 0 1 0 214208186 70311936 16598 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17166 16598 79 155 0 17009 0
Current children cumulated CPU time (s) 4421.12
Current children cumulated vsize (KiB) 68664

[startup+4482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1721112/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=68920 CPUtime=4481.1
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 21416 0 0 0 448090 20 0 0 25 0 1 0 214208186 70574080 16639 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17230 16639 79 155 0 17073 0
Current children cumulated CPU time (s) 4481.1
Current children cumulated vsize (KiB) 68920

[startup+4542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1720536/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69692 CPUtime=4541.08
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 21559 0 0 0 454088 20 0 0 25 0 1 0 214208186 71364608 16782 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17423 16782 79 155 0 17266 0
Current children cumulated CPU time (s) 4541.08
Current children cumulated vsize (KiB) 69692

[startup+4602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1717400/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=72660 CPUtime=4601.07
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22297 0 0 0 460086 21 0 0 25 0 1 0 214208186 74403840 17520 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 18165 17520 79 155 0 18008 0
Current children cumulated CPU time (s) 4601.07
Current children cumulated vsize (KiB) 72660

[startup+4662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1719000/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69576 CPUtime=4661.05
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22459 0 0 0 466084 21 0 0 25 0 1 0 214208186 71245824 17072 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17394 17072 79 155 0 17237 0
Current children cumulated CPU time (s) 4661.05
Current children cumulated vsize (KiB) 69576

[startup+4722.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1719000/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69576 CPUtime=4721.03
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22459 0 0 0 472082 21 0 0 25 0 1 0 214208186 71245824 17072 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17394 17072 79 155 0 17237 0
Current children cumulated CPU time (s) 4721.03
Current children cumulated vsize (KiB) 69576

[startup+4782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1719064/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69576 CPUtime=4781.01
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22459 0 0 0 478080 21 0 0 25 0 1 0 214208186 71245824 17072 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17394 17072 79 155 0 17237 0
Current children cumulated CPU time (s) 4781.01
Current children cumulated vsize (KiB) 69576

[startup+4842.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1719064/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69576 CPUtime=4841
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22463 0 0 0 484079 21 0 0 25 0 1 0 214208186 71245824 17076 1992294400 134512640 135151029 4294956240 18446744073709551615 134555122 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17394 17076 79 155 0 17237 0
Current children cumulated CPU time (s) 4841
Current children cumulated vsize (KiB) 69576

[startup+4902.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1719064/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69576 CPUtime=4900.98
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22463 0 0 0 490077 21 0 0 25 0 1 0 214208186 71245824 17076 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17394 17076 79 155 0 17237 0
Current children cumulated CPU time (s) 4900.98
Current children cumulated vsize (KiB) 69576

[startup+4962.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1719064/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69576 CPUtime=4960.96
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22470 0 0 0 496075 21 0 0 25 0 1 0 214208186 71245824 17083 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17394 17083 79 155 0 17237 0
Current children cumulated CPU time (s) 4960.96
Current children cumulated vsize (KiB) 69576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 23687
/proc/meminfo: memFree=1719064/2055920 swapFree=4178408/4192956
[pid=23676] ppid=23674 vsize=69576 CPUtime=5000.06
/proc/23676/stat : 23676 (precosat) R 23674 23676 23612 0 -1 4194304 22483 0 0 0 499985 21 0 0 25 0 1 0 214208186 71245824 17096 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23676/statm: 17394 17096 79 155 0 17237 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 69576

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): 5001.42
CPU time (s): 5000.09
CPU user time (s): 4999.86
CPU system time (s): 0.229965
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 73188

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

runsolver used 4.43333 second user time and 11.2193 second system time

The end

Launcher Data 

Begin job on node63 at 2009-05-09 11:37:00
IDJOB=1783626
IDBENCH=24618
IDSOLVER=607
FILE ID=node63/1783626-1241861820
PBS_JOBID= 9264552
Free space on /tmp= 66148 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-1783626-1241861820/watcher-1783626-1241861820 -o /tmp/evaluation-result-1783626-1241861820/solver-1783626-1241861820 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1783626-1241861820.cnf

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

MD5SUM BENCH= b113aab739ba5e45a581d24e1a53a65a
RANDOM SEED=1977008792

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1790528 kB
Buffers:         29244 kB
Cached:         165360 kB
SwapCached:       8444 kB
Active:          73328 kB
Inactive:       131272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790528 kB
SwapTotal:     4192956 kB
SwapFree:      4178408 kB
Dirty:            1168 kB
Writeback:           0 kB
Mapped:          14780 kB
Slab:            46596 kB
Committed_AS:   873392 kB
PageTables:       1452 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= 66148 MiB
End job on node63 at 2009-05-09 13:00:24