Trace number 1774141

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) 10000.1 10002.9

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-28-s100.cnf
MD5SUM06e51f5d7b210924fc518c0569affee4
Bench CategoryAPPLICATION (applications 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 variables32151
Number of clauses96786
Sum of the clauses size228372
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261858
Number of clauses of size 334864
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-1774141-1241195840.cnf
0.00/0.00	c found header 'p cnf 32151 96786'
0.09/0.15	c finished parsing
0.09/0.15	c
0.09/0.15	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.15	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.15	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.15	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.15	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.15	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.15	c
0.09/0.15	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.09/0.15	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.15	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.15	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.15	c
0.09/0.15	c starting search after 0.1 seconds
0.09/0.15	c no decision limit
0.09/0.15	c
0.09/0.15	c       original/binary      fixed     eliminated      learned       agility
0.09/0.15	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.15	c
0.09/0.15	c *    0.2    96586   31205     95   851      0       0      0    0.0   0    8
1.69/1.75	c s    1.8    59030    9446    861   944  20900       0      0    0.0   0    7
1.69/1.75	c l    1.8    59030    9446    861   944  20900       0  20497    0.0   0    7
1.79/1.80	c R    1.8    59226    9432    875   944  20900     118    113   53.8   9    8
1.89/1.95	c R    2.0    59609    9431    875   945  20900     218    213   48.5  18    8
2.79/2.81	c R    2.8    69586    9421    876   954  20900     818    810   36.6  17    9
2.89/2.97	c B    3.0    69604    9421    876   954  20900    1001    993   35.6  18    9
3.49/3.55	c s    3.5    69421    9417    876   958  20900    1389   1378   34.0  17    8
4.99/5.03	c B    5.0    81314    9413    877   961  20900    2001   1990   31.5  13    9
5.59/5.66	c s    5.7    81312    9412    878   961  20900    2408   2395   31.2  16    9
5.59/5.66	c R    5.7    81312    9412    878   961  20900    2424   2411   31.1  15    9
8.69/8.80	c s    8.8    80871    9332    878   963  20978    3097   2901   30.1  17    9
11.39/11.43	c s   11.4    81316    9332    878   963  20978    3715   3518   29.5  16    9
14.08/14.12	c s   14.1    81433    9332    878   963  20978    4528   4329   29.8  16    9
17.29/17.32	c s   17.3    81311    9313    878   964  20996    5343   4783   29.1  17    9
19.99/20.05	c s   20.0    81321    9313    878   964  20996    6070   5509   29.4  16   10
21.29/21.30	c R   21.3    81434    9310    879   966  20996    6432   5871   29.4  17   10
23.29/23.32	c s   23.3    81253    9298    879   967  21007    6758   6125   29.5  16   10
26.29/26.34	c B   26.3    81253    9298    879   967  21007    8003   7370   29.1  17   10
26.59/26.61	c
26.59/26.61	c       original/binary      fixed     eliminated      learned       agility
26.59/26.61	c   seconds        variables     equivalent    conflicts       height       MB
26.59/26.61	c
26.59/26.61	c s   26.6    81254    9298    879   967  21007    8032   7399   29.1  16   10
29.89/29.94	c s   29.9    81076    9287    879   968  21017    8862   7746   29.0  17   10
32.69/32.77	c s   32.8    80942    9274    892   968  21017    9692   8574   28.9  16   10
36.08/36.13	c s   36.1    80906    9264    892   971  21024   10552   9426   29.0  17   10
38.98/39.04	c s   39.0    80932    9264    892   971  21024   11486  10360   28.9  18   10
41.88/41.99	c s   42.0    80934    9264    892   971  21024   12324  11198   29.0  17   11
44.99/45.00	c s   45.0    80938    9264    892   971  21024   13244  12116   28.9  17   11
48.48/48.51	c s   48.5    80725    9241    902   973  21035   14282  13127   29.8  16   11
51.58/51.62	c s   51.6    80727    9241    902   973  21035   15080  13925   29.7  17   11
69.07/69.14	c s   69.1    80728    9241    902   973  21035   19832  18677   29.6  17   12
71.27/71.37	c +   71.4    80728    9241    902   973  21035   20498  22546   29.7  17   13
75.47/75.54	c s   75.5    80736    9241    902   973  21035   21885  20730   29.6  18   12
78.87/78.99	c s   79.0    80744    9241    902   973  21035   23098  21943   29.4  17   13
82.27/82.31	c B   82.3    80744    9241    902   973  21035   24012  22586   29.4  18   14
86.57/86.68	c +   86.7    80744    9241    902   973  21035   25620  24800   29.2  17   14
86.87/86.98	c R   87.0    80744    9241    902   973  21035   25716  22667   29.2  17   14
90.67/90.74	c s   90.7    80748    9241    902   973  21035   26725  23675   29.1  17   13
95.96/96.03	c s   96.0    80749    9241    902   973  21035   28037  24820   29.3  17   13
108.76/108.88	c s  108.9    80750    9241    902   973  21035   31621  24834   29.2  17   13
109.76/109.85	c
109.76/109.85	c       original/binary      fixed     eliminated      learned       agility
109.76/109.85	c   seconds        variables     equivalent    conflicts       height       MB
109.76/109.85	c
109.76/109.85	c +  109.8    80750    9241    902   973  21035   32025  27280   29.2  17   14
112.46/112.55	c s  112.5    80754    9241    902   973  21035   32802  25589   29.2  18   13
126.46/126.54	c s  126.5    80755    9241    902   973  21035   36927  27311   29.1  17   14
137.56/137.64	c +  137.6    80755    9241    902   973  21035   40030  30008   28.9  10   15
143.15/143.28	c s  143.2    80756    9241    902   973  21035   41623  28886   28.8  17   14
157.55/157.63	c s  157.6    80757    9241    902   973  21035   45286  30033   28.9  11   14
168.25/168.31	c R  168.3    80757    9241    902   973  21035   48142  30048   29.0  16   16
168.54/168.60	c s  168.6    80758    9241    902   973  21035   48142  30048   29.0  16   14
172.34/172.46	c s  172.4    80762    9241    902   973  21035   49421  30044   28.9  11   14
174.34/174.45	c +  174.4    80762    9241    902   973  21035   50038  33008   29.0  17   15
199.24/199.33	c s  199.3    80763    9241    902   973  21035   56821  33047   29.0  15   15
203.34/203.48	c s  203.4    80768    9241    902   973  21035   57832  33040   29.0  16   15
207.43/207.55	c s  207.5    80769    9241    902   973  21035   58824  33042   29.0  17   15
211.43/211.53	c s  211.5    80777    9241    902   973  21035   59840  33041   29.0  16   15
222.83/222.91	c +  222.9    80777    9241    902   973  21035   62545  36308   29.0  17   16
225.03/225.15	c s  225.1    80784    9241    902   973  21035   63079  33555   29.0  17   15
228.63/228.76	c B  228.7    80784    9241    902   973  21035   64024  34500   29.0  14   16
234.92/235.10	c s  235.0    80785    9241    902   973  21035   65614  36089   29.0  16   15
271.82/271.91	c s  271.8    80786    9241    902   973  21035   75326  36360   29.1  15   15
280.62/280.74	c
280.62/280.74	c       original/binary      fixed     eliminated      learned       agility
280.62/280.74	c   seconds        variables     equivalent    conflicts       height       MB
280.62/280.74	c
280.62/280.74	c +  280.7    80786    9241    902   973  21035   78180  39938   29.1  16   17
291.91/292.06	c s  292.0    80787    9241    902   973  21035   81203  39348   29.2  15   16
338.99/339.15	c s  339.1    80790    9241    902   973  21035   95446  39967   29.6  18   16
349.29/349.43	c +  349.3    80790    9241    902   973  21035   97726  43931   29.6  17   18
356.19/356.30	c R  356.2    80790    9241    902   973  21035   99424  41693   29.6  18   18
403.17/403.38	c s  403.3    80791    9241    902   973  21035  110636  43984   29.5  16   17
408.17/408.32	c s  408.2    80792    9241    902   973  21035  112402  43953   29.4  16   17
412.88/413.06	c s  412.9    80793    9241    902   973  21035  113389  43959   29.4  16   17
431.57/431.74	c s  431.6    80794    9241    902   973  21035  119048  43956   29.4  16   17
442.37/442.53	c +  442.4    80794    9241    902   973  21035  122155  48324   29.3  18   19
484.96/485.16	c s  485.0    80795    9241    902   973  21035  132459  48361   29.2  16   18
520.84/521.09	c s  521.0    80796    9241    902   973  21035  142073  48396   29.2  17   18
561.23/561.45	c +  561.3    80796    9241    902   973  21035  152690  53156   29.1  17   20
572.63/572.82	c s  572.7    80797    9241    902   973  21035  155565  51223   29.1  16   18
586.73/586.94	c s  586.8    80798    9241    902   973  21035  159469  53203   29.1  17   19
589.13/589.35	c B  589.2    80798    9241    902   973  21035  160044  53168   29.0  17   20
621.01/621.26	c s  621.1    80799    9241    902   973  21035  168769  53181   29.0  18   18
705.10/705.35	c +  705.2    80799    9241    902   973  21035  190860  58471   28.9  12   22
706.19/706.41	c s  706.2    80800    9241    902   973  21035  191469  53785   28.9  16   19
798.07/798.30	c
798.07/798.30	c       original/binary      fixed     eliminated      learned       agility
798.07/798.30	c   seconds        variables     equivalent    conflicts       height       MB
798.07/798.30	c
798.07/798.30	c R  798.1    80800    9241    902   973  21035  214816  58496   28.8  17   23
893.14/893.43	c +  893.2    80800    9241    902   973  21035  238576  64318   28.7  17   23
902.64/902.95	c s  902.7    80801    9241    902   973  21035  240660  60605   28.7  16   20
908.74/909.06	c s  908.8    80805    9241    902   973  21035  242013  61958   28.6  17   20
1124.98/1125.37	c + 1125.1    80805    9241    902   973  21035  298220  70749   28.6  18   26
1204.25/1204.69	c s 1204.4    80808    9241    902   973  21035  316877  70793   28.6  18   22
1210.55/1210.96	c s 1210.6    80809    9241    902   973  21035  318324  70789   28.6  17   22
1234.44/1234.81	c s 1234.5    80810    9241    902   973  21035  323998  70803   28.6  18   22
1355.51/1355.93	c s 1355.6    80812    9241    902   973  21035  352292  70783   28.5  17   21
1374.21/1374.61	c s 1374.2    80813    9241    902   973  21035  356421  70808   28.4  15   21
1443.08/1443.56	c + 1443.2    80813    9241    902   973  21035  372775  77823   28.4  17   26
1492.76/1493.27	c B 1492.8    80813    9241    902   973  21035  384089  77851   28.4  18   27
1563.44/1563.96	c s 1563.5    80814    9241    902   973  21035  400967  77834   28.3  17   23
1660.53/1661.03	c s 1660.6    80815    9241    902   973  21035  424122  77858   28.3  18   23
1671.42/1672.00	c s 1671.5    80816    9241    902   973  21035  426632  77845   28.3  18   23
1806.68/1807.28	c + 1806.8    80816    9241    902   973  21035  465966  85605   28.3  18   27
1829.17/1829.78	c R 1829.3    80816    9241    902   973  21035  471176  83055   28.2  18   27
1865.85/1866.40	c s 1865.9    80817    9241    902   973  21035  479369  85677   28.2  17   23
1873.76/1874.32	c s 1873.8    80831    9241    902   973  21035  481254  85663   28.2  18   23
1880.85/1881.47	c
1880.85/1881.47	c       original/binary      fixed     eliminated      learned       agility
1880.85/1881.47	c   seconds        variables     equivalent    conflicts       height       MB
1880.85/1881.47	c
1880.85/1881.47	c s 1880.9    80836    9241    902   973  21035  482627  85683   28.2  18   23
2223.95/2224.69	c s 2224.1    80837    9241    902   973  21035  560252  85639   27.9  14   24
2232.25/2232.97	c s 2232.3    80838    9241    902   973  21035  562175  85662   27.9  17   24
2322.73/2323.49	c + 2322.8    80838    9241    902   973  21035  582456  94165   27.9  18   30
2408.20/2408.98	c s 2408.3    80840    9241    902   973  21035  602833  94188   27.9  18   26
2503.08/2503.80	c s 2503.1    80845    9241    902   973  21035  626022  94194   27.9  17   26
2510.68/2511.46	c s 2510.7    80846    9241    902   973  21035  627502  94206   27.9  16   26
2667.63/2668.45	c s 2667.7    80849    9241    902   973  21035  663676  94203   27.9  17   26
2898.86/2899.72	c s 2898.9    80851    9241    902   973  21035  714920  94251   27.9  18   26
2936.35/2937.20	c + 2936.4    80851    9241    902   973  21035  728071 103581   27.9  15   30
2985.13/2986.02	c s 2985.2    80854    9241    902   973  21035  753391 103620   27.9  18   28
3108.60/3109.56	c s 3108.7    80855    9241    902   973  21035  779783 103633   27.8  18   28
3117.30/3118.20	c s 3117.3    80858    9241    902   973  21035  781656 103652   27.8  18   28
3127.20/3128.14	c s 3127.2    80823    9233    904   976  21038  783608 103622   27.8  18   28
3135.99/3136.95	c s 3136.1    80825    9233    904   976  21038  785072 103641   27.8  17   28
3214.68/3215.65	c s 3214.7    80826    9233    904   976  21038  804671 103632   27.8  17   28
3375.03/3376.04	c s 3375.1    80827    9233    904   976  21038  838487 103614   27.8  14   28
3641.85/3642.98	c B 3641.9    80827    9233    904   976  21038  896192 103613   27.8  18   34
3709.73/3710.87	c + 3709.8    80827    9233    904   976  21038  910085 113939   27.8  17   34
3738.33/3739.44	c
3738.33/3739.44	c       original/binary      fixed     eliminated      learned       agility
3738.33/3739.44	c   seconds        variables     equivalent    conflicts       height       MB
3738.33/3739.44	c
3738.33/3739.44	c s 3738.4    80828    9233    904   976  21038  915993 109555   27.8  18   29
4281.88/4283.16	c R 4281.9    80828    9233    904   976  21038 1035065 113978   27.6  18   38
4286.98/4288.28	c s 4287.1    80829    9233    904   976  21038 1036740 113974   27.6  13   30
4749.74/4751.19	c s 4749.8    80830    9233    904   976  21038 1130433 114001   27.3  16   28
4780.93/4782.40	c + 4781.0    80830    9233    904   976  21038 1137606 125332   27.3  18   33
5377.06/5378.60	c s 5377.1    80835    9233    904   976  21038 1254485 125366   27.4  17   33
5458.14/5459.73	c s 5458.2    80836    9233    904   976  21038 1269384 125369   27.4  18   33
5594.50/5596.17	c s 5594.6    80837    9233    904   976  21038 1297098 125392   27.4  18   33
5976.99/5978.78	c s 5977.1    80838    9233    904   976  21038 1369984 125366   27.3  18   32
6242.42/6244.22	c + 6242.5    80838    9233    904   976  21038 1422005 137865   27.3  14   40
6443.36/6445.21	c s 6443.4    80839    9233    904   976  21038 1460232 137880   27.3  17   34
6503.35/6505.21	c s 6503.4    80842    9233    904   976  21038 1471385 137899   27.3  18   35
7407.70/7409.82	c s 7407.7    80843    9233    904   976  21038 1647020 137881   27.2  16   34
8082.00/8084.33	c + 8082.0    80843    9233    904   976  21038 1777507 151651   27.2  18   45
8201.27/8203.62	c s 8201.3    80844    9233    904   976  21038 1799708 151691   27.2  15   37
9539.08/9541.85	c B 9539.2    80844    9233    904   976  21038 2048356 151682   27.2  18   49
10000.06/10002.90	c
10000.06/10002.90	c *** CAUGHT SIGNAL 15 ***
10000.06/10002.90	c
10000.06/10002.90	c 2140549 conflicts, 2741164 decisions, 3 random
10000.06/10002.90	c 2 iterations, 4133 restarts, 0 skipped
10000.06/10002.90	c 21 enlarged, 650 shrunken, 20908 rescored, 510 rebiased
10000.06/10002.90	c 87 simplifications, 0 reductions
10000.06/10002.90	c
10000.06/10002.90	c vars: 904 fixed, 976 equiv, 21038 elim, 990 merged
10000.06/10002.90	c elim: 2255454 resolutions, 8 phases, 8 rounds
10000.06/10002.90	c sbst: 92% substituted, 0.9% nots, 98.0% ands, 0.9% xors, 0.1% ites
10000.06/10002.90	c arty: 2.26 and 2.03 xor average arity
10000.06/10002.90	c prbe: 8277016 probed, 4472 phases, 448 rounds
10000.06/10002.90	c prbe: 9 failed, 164 lifted, 18 merged
10000.06/10002.90	c sccs: 29 non trivial, 0 fixed, 43 merged
10000.06/10002.90	c hash: 46 units, 929 merged
10000.06/10002.90	c mins: 91738693 learned, 86% deleted, 33 strong, 36 depth
10000.06/10002.90	c subs: 2126 forward, 1336 backward, 1630 doms
10000.06/10002.90	c strs: 7769 forward, 1095 backward
10000.06/10002.90	c doms: 5852 dominators, 1603 high, 0 low
10000.06/10002.90	c prps: 8693692694 propagations, 0.87 megaprops
10000.06/10002.90	c
10000.06/10002.90	c 10000.1 seconds, 49 MB max, 381 MB recycled
10000.06/10002.90	c
10000.06/10002.90	c *** CAUGHT SIGNAL 15 ***
10000.06/10002.90	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-1774141-1241195840/watcher-1774141-1241195840 -o /tmp/evaluation-result-1774141-1241195840/solver-1774141-1241195840 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774141-1241195840.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.99 0.97 0.98 3/64 23341
/proc/meminfo: memFree=1132912/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=2048 CPUtime=0
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 147617552 2097152 382 1992294400 134512640 135151029 4294956240 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 1 0 0
/proc/23341/statm: 512 383 59 155 0 355 0

[startup+0.051327 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23341
/proc/meminfo: memFree=1132912/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=5792 CPUtime=0.04
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 1388 0 0 0 4 0 0 0 18 0 1 0 147617552 5931008 1340 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 1448 1340 64 155 0 1291 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5792

[startup+0.10133 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23341
/proc/meminfo: memFree=1132912/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=8028 CPUtime=0.09
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 2005 0 0 0 9 0 0 0 18 0 1 0 147617552 8220672 1892 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 2007 1892 64 155 0 1850 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8028

[startup+0.301351 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23341
/proc/meminfo: memFree=1132912/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=13332 CPUtime=0.29
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 3467 0 0 0 28 1 0 0 19 0 1 0 147617552 13651968 3224 1992294400 134512640 135151029 4294956240 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 3333 3224 79 155 0 3176 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13332

[startup+0.701392 s]
/proc/loadavg: 0.99 0.97 0.98 3/64 23341
/proc/meminfo: memFree=1132912/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=16052 CPUtime=0.69
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 4923 0 0 0 67 2 0 0 22 0 1 0 147617552 16437248 3911 1992294400 134512640 135151029 4294956240 18446744073709551615 134519473 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4013 3911 79 155 0 3856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16052

[startup+1.50148 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23342
/proc/meminfo: memFree=1116072/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=18464 CPUtime=1.49
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 5665 0 0 0 147 2 0 0 25 0 1 0 147617552 18907136 4524 1992294400 134512640 135151029 4294956240 18446744073709551615 134576083 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4616 4524 79 155 0 4459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18464

[startup+3.10164 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23342
/proc/meminfo: memFree=1115688/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=17568 CPUtime=3.09
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 5689 0 0 0 307 2 0 0 25 0 1 0 147617552 17989632 4291 1992294400 134512640 135151029 4294956240 18446744073709551615 134554782 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4392 4291 79 155 0 4235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17568

[startup+6.30197 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23342
/proc/meminfo: memFree=1115560/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=17568 CPUtime=6.29
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 5689 0 0 0 627 2 0 0 25 0 1 0 147617552 17989632 4291 1992294400 134512640 135151029 4294956240 18446744073709551615 134552526 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4392 4291 79 155 0 4235 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17568

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23342
/proc/meminfo: memFree=1115240/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=17880 CPUtime=12.69
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 5879 0 0 0 1267 2 0 0 25 0 1 0 147617552 18309120 4352 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4470 4352 79 155 0 4313 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17880

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23342
/proc/meminfo: memFree=1115240/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=17880 CPUtime=25.49
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 6137 0 0 0 2546 3 0 0 25 0 1 0 147617552 18309120 4352 1992294400 134512640 135151029 4294956240 18446744073709551615 134567860 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4470 4352 79 155 0 4313 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17880

[startup+51.1016 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23342
/proc/meminfo: memFree=1115304/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=17880 CPUtime=51.08
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 6525 0 0 0 5105 3 0 0 25 0 1 0 147617552 18309120 4353 1992294400 134512640 135151029 4294956240 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4470 4353 79 155 0 4313 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17880

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1115240/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=18128 CPUtime=102.26
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 6587 0 0 0 10223 3 0 0 25 0 1 0 147617552 18563072 4415 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4532 4415 79 155 0 4375 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18128

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1114600/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=18576 CPUtime=162.25
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 7189 0 0 0 16221 4 0 0 25 0 1 0 147617552 19021824 4537 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4644 4537 79 155 0 4487 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18576

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1113960/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=19288 CPUtime=222.23
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 8548 0 0 0 22218 5 0 0 25 0 1 0 147617552 19750912 4733 1992294400 134512640 135151029 4294956240 18446744073709551615 134551947 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 4822 4733 79 155 0 4665 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19288

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1112616/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=20592 CPUtime=282.22
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 9238 0 0 0 28216 6 0 0 25 0 1 0 147617552 21086208 5036 1992294400 134512640 135151029 4294956240 18446744073709551615 134552306 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 5148 5036 79 155 0 4991 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20592

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1111144/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=22204 CPUtime=342.19
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 9619 0 0 0 34213 6 0 0 25 0 1 0 147617552 22736896 5417 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 5551 5417 79 155 0 5394 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22204

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1111080/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=22204 CPUtime=402.17
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 9624 0 0 0 40211 6 0 0 25 0 1 0 147617552 22736896 5422 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 5551 5422 79 155 0 5394 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22204

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1110120/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=23388 CPUtime=462.16
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 10514 0 0 0 46209 7 0 0 25 0 1 0 147617552 23949312 5703 1992294400 134512640 135151029 4294956240 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 5847 5703 79 155 0 5690 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 23388

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1109480/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=23728 CPUtime=522.14
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 10925 0 0 0 52207 7 0 0 25 0 1 0 147617552 24297472 5845 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 5932 5845 79 155 0 5775 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 23728

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1109224/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=23996 CPUtime=582.13
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 11094 0 0 0 58205 8 0 0 25 0 1 0 147617552 24571904 5885 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 5999 5885 79 155 0 5842 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 23996

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 23344
/proc/meminfo: memFree=1109224/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=24012 CPUtime=642.11
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 11689 0 0 0 64203 8 0 0 25 0 1 0 147617552 24588288 5918 1992294400 134512640 135151029 4294956240 18446744073709551615 134580721 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 6003 5918 79 155 0 5846 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 24012

[startup+702.301 s]

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

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1079016/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54396 CPUtime=9099.71
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22856 0 0 0 909932 39 0 0 25 0 1 0 147617552 55701504 13372 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13599 13372 79 155 0 13442 0
Current children cumulated CPU time (s) 9099.71
Current children cumulated vsize (KiB) 54396

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1079016/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54396 CPUtime=9159.69
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22861 0 0 0 915930 39 0 0 25 0 1 0 147617552 55701504 13377 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13599 13377 79 155 0 13442 0
Current children cumulated CPU time (s) 9159.69
Current children cumulated vsize (KiB) 54396

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1079016/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54396 CPUtime=9219.68
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22866 0 0 0 921929 39 0 0 25 0 1 0 147617552 55701504 13382 1992294400 134512640 135151029 4294956240 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13599 13382 79 155 0 13442 0
Current children cumulated CPU time (s) 9219.68
Current children cumulated vsize (KiB) 54396

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078952/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54396 CPUtime=9279.66
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22872 0 0 0 927926 40 0 0 25 0 1 0 147617552 55701504 13388 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13599 13388 79 155 0 13442 0
Current children cumulated CPU time (s) 9279.66
Current children cumulated vsize (KiB) 54396

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078824/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54652 CPUtime=9339.65
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22908 0 0 0 933925 40 0 0 25 0 1 0 147617552 55963648 13424 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13663 13424 79 155 0 13506 0
Current children cumulated CPU time (s) 9339.65
Current children cumulated vsize (KiB) 54652

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078824/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54652 CPUtime=9399.63
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22908 0 0 0 939923 40 0 0 25 0 1 0 147617552 55963648 13424 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13663 13424 79 155 0 13506 0
Current children cumulated CPU time (s) 9399.63
Current children cumulated vsize (KiB) 54652

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078824/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54652 CPUtime=9459.61
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22911 0 0 0 945921 40 0 0 25 0 1 0 147617552 55963648 13427 1992294400 134512640 135151029 4294956240 18446744073709551615 134554823 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13663 13427 79 155 0 13506 0
Current children cumulated CPU time (s) 9459.61
Current children cumulated vsize (KiB) 54652

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078696/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9519.59
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22945 0 0 0 951919 40 0 0 25 0 1 0 147617552 56225792 13461 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13461 79 155 0 13570 0
Current children cumulated CPU time (s) 9519.59
Current children cumulated vsize (KiB) 54908

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078632/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9579.57
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22952 0 0 0 957917 40 0 0 25 0 1 0 147617552 56225792 13468 1992294400 134512640 135151029 4294956240 18446744073709551615 134574649 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13468 79 155 0 13570 0
Current children cumulated CPU time (s) 9579.57
Current children cumulated vsize (KiB) 54908

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078632/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9639.55
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22953 0 0 0 963915 40 0 0 25 0 1 0 147617552 56225792 13469 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13469 79 155 0 13570 0
Current children cumulated CPU time (s) 9639.55
Current children cumulated vsize (KiB) 54908

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078632/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9699.54
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22953 0 0 0 969914 40 0 0 25 0 1 0 147617552 56225792 13469 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13469 79 155 0 13570 0
Current children cumulated CPU time (s) 9699.54
Current children cumulated vsize (KiB) 54908

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078632/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9759.53
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22953 0 0 0 975912 41 0 0 25 0 1 0 147617552 56225792 13469 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13469 79 155 0 13570 0
Current children cumulated CPU time (s) 9759.53
Current children cumulated vsize (KiB) 54908

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078632/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9819.51
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22953 0 0 0 981910 41 0 0 25 0 1 0 147617552 56225792 13469 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13469 79 155 0 13570 0
Current children cumulated CPU time (s) 9819.51
Current children cumulated vsize (KiB) 54908

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078696/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9879.5
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22953 0 0 0 987909 41 0 0 25 0 1 0 147617552 56225792 13469 1992294400 134512640 135151029 4294956240 18446744073709551615 134552572 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13469 79 155 0 13570 0
Current children cumulated CPU time (s) 9879.5
Current children cumulated vsize (KiB) 54908

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078632/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9939.47
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22953 0 0 0 993906 41 0 0 25 0 1 0 147617552 56225792 13469 1992294400 134512640 135151029 4294956240 18446744073709551615 134554825 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13469 79 155 0 13570 0
Current children cumulated CPU time (s) 9939.47
Current children cumulated vsize (KiB) 54908

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078504/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=9999.46
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22970 0 0 0 999905 41 0 0 25 0 1 0 147617552 56225792 13486 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13486 79 155 0 13570 0
Current children cumulated CPU time (s) 9999.46
Current children cumulated vsize (KiB) 54908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078504/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=10000.1
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22970 0 0 0 999965 41 0 0 25 0 1 0 147617552 56225792 13486 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13486 79 155 0 13570 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 54908

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

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

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23366
/proc/meminfo: memFree=1078504/2055920 swapFree=4180888/4192956
[pid=23341] ppid=23339 vsize=54908 CPUtime=10000.1
/proc/23341/stat : 23341 (precosat) R 23339 23341 23250 0 -1 4194304 22970 0 0 0 999965 41 0 0 25 0 1 0 147617552 56225792 13486 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23341/statm: 13727 13486 79 155 0 13570 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 54908

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9999.65
CPU system time (s): 0.427934
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 54908

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

runsolver used 7.38888 second user time and 21.9517 second system time

The end

Launcher Data 

Begin job on node24 at 2009-05-01 18:37:20
IDJOB=1774141
IDBENCH=70875
IDSOLVER=607
FILE ID=node24/1774141-1241195840
PBS_JOBID= 9224648
Free space on /tmp= 66464 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-28-s100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774141-1241195840/watcher-1774141-1241195840 -o /tmp/evaluation-result-1774141-1241195840/solver-1774141-1241195840 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1774141-1241195840.cnf

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

MD5SUM BENCH= 06e51f5d7b210924fc518c0569affee4
RANDOM SEED=738576505

node24.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.232
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.232
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:       1133392 kB
Buffers:         81848 kB
Cached:         736860 kB
SwapCached:       5860 kB
Active:          28220 kB
Inactive:       798872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1133392 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:            2252 kB
Writeback:           0 kB
Mapped:          14064 kB
Slab:            81356 kB
Committed_AS:   697856 kB
PageTables:       1444 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= 66464 MiB
End job on node24 at 2009-05-01 21:24:05