Trace number 1783614

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.08 5001.32

General information on the benchmark

Namecrafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
MD5SUM00198881c2cf000cfee916c18d69d474
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 variables1132
Number of clauses14011
Sum of the clauses size42316
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 313728
Number of clauses of size 4283
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-1783614-1241861800.cnf
0.00/0.00	c found header 'p cnf 1132 14011'
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    14011    1132      0     0      0       0      0    0.0   0    1
0.09/0.12	c s    0.1    13728     849      0     0    283       0      0    0.0   0    1
0.09/0.12	c l    0.1    13728     849      0     0    283       0  13728    0.0   0    1
0.09/0.13	c R    0.1    13728     849      0     0    283     101    101  156.4  15    1
0.09/0.14	c N    0.1    13728     849      0     0    283     201    201  130.2  29    1
0.09/0.19	c N    0.2    13728     849      0     0    283     805    805   93.5  36    1
0.19/0.21	c B    0.2    13728     849      0     0    283    1001   1001   88.2  35    1
0.29/0.30	c B    0.3    13729     849      0     0    283    2002   2001   74.0  38    1
0.29/0.35	c N    0.4    13729     849      0     0    283    2409   2408   70.9  39    2
0.59/0.62	c s    0.6    13729     849      0     0    283    4865   4864   59.2  37    2
0.69/0.79	c N    0.8    13730     849      0     0    283    6419   6417   54.4  35    2
0.89/0.97	c B    1.0    13730     849      0     0    283    8005   8003   51.0  36    2
1.29/1.34	c s    1.3    13732     849      0     0    283   10499  10495   47.9  37    3
1.69/1.73	c +    1.7    13734     849      0     0    283   13729  15100   45.4  38    4
2.09/2.11	c N    2.1    13734     849      0     0    283   16039  15118   44.5  36    4
2.29/2.35	c +    2.3    13734     849      0     0    283   17161  16610   43.9  36    4
2.39/2.46	c s    2.5    13734     849      0     0    283   17536  15489   43.7  38    4
2.99/3.03	c +    3.0    13737     849      0     0    283   21452  18271   42.1  37    4
3.39/3.46	c B    3.5    13737     849      0     0    283   24008  18318   41.3  36    5
3.69/3.80	c
3.69/3.80	c       original/binary      fixed     eliminated      learned       agility
3.69/3.80	c   seconds        variables     equivalent    conflicts       height       MB
3.69/3.80	c
3.69/3.80	c s    3.8    13737     849      0     0    283   25584  18307   40.9  38    4
3.89/3.94	c +    3.9    13739     849      0     0    283   26816  20098   41.0  35    5
4.89/4.99	c +    5.0    13739     849      0     0    283   33520  22107   40.8  37    5
5.50/5.59	c s    5.6    13739     849      0     0    283   36250  22138   40.7  36    5
5.89/5.99	c N    6.0    13741     849      0     0    283   38491  22139   40.7  37    5
6.50/6.59	c +    6.6    13741     849      0     0    283   41900  24317   40.6  36    6
7.39/7.41	c s    7.4    13741     849      0     0    283   45676  24346   40.6  39    5
8.70/8.76	c +    8.8    13747     849      0     0    283   52375  26748   39.5  38    6
9.39/9.40	c s    9.4    13748     849      0     0    283   55321  26782   38.9  38    6
10.89/10.93	c B   10.9    13751     849      0     0    283   64018  26767   38.5  39    7
11.18/11.24	c +   11.2    13751     849      0     0    283   65466  29422   38.5  38    7
11.58/11.62	c s   11.6    13759     849      0     0    283   66955  28250   38.4  38    6
14.19/14.28	c s   14.3    13761     849      0     0    283   78895  29440   37.4  39    6
14.79/14.87	c +   14.9    13762     849      0     0    283   81831  32364   37.1  35    7
16.79/16.81	c N   16.8    13764     849      0     0    283   89774  32419   36.2  36    7
17.19/17.24	c s   17.2    13765     849      0     0    283   91011  32406   36.0  37    6
19.39/19.43	c +   19.4    13769     849      0     0    283  102285  35600   36.6  37    7
19.89/19.95	c s   19.9    13769     849      0     0    283  104324  34448   36.6  36    7
22.99/23.10	c s   23.1    13771     849      0     0    283  118196  35646   35.8  39    7
25.29/25.39	c
25.29/25.39	c       original/binary      fixed     eliminated      learned       agility
25.29/25.39	c   seconds        variables     equivalent    conflicts       height       MB
25.29/25.39	c
25.29/25.39	c +   25.4    13772     849      0     0    283  127855  39160   35.7  37    8
26.29/26.40	c s   26.4    13772     849      0     0    283  131257  39046   35.7  37    8
29.69/29.78	c s   29.8    13774     849      0     0    283  144528  43071   36.0  37    9
33.38/33.44	c s   33.4    13776     849      0     0    283  158840  39194   35.6  36    8
33.58/33.63	c +   33.6    13776     849      0     0    283  159815  43076   35.6  38    9
33.58/33.69	c B   33.7    13776     849      0     0    283  160040  39429   35.6  38    9
37.08/37.11	c s   37.1    13778     849      0     0    283  174079  43116   34.8  40    8
40.78/40.84	c s   40.8    13779     849      0     0    283  186798  43116   34.7  37    8
44.58/44.62	c s   44.6    13780     849      0     0    283  199479  43117   34.4  38    8
44.68/44.71	c +   44.7    13780     849      0     0    283  199766  47383   34.4  38    9
45.78/45.81	c N   45.8    13780     849      0     0    283  205171  47420   34.4  35   10
48.18/48.29	c s   48.3    13781     849      0     0    283  215004  47411   34.3  37    9
52.48/52.52	c s   52.5    13782     849      0     0    283  229540  47431   34.2  38   10
57.28/57.36	c s   57.4    13784     849      0     0    283  244886  47424   33.9  41    9
58.58/58.64	c +   58.6    13785     849      0     0    283  249705  52121   33.8  38   10
61.38/61.42	c s   61.4    13785     849      0     0    283  258900  52164   33.6  40   10
65.88/65.99	c s   66.0    13792     849      0     0    283  274873  52154   33.2  39   10
70.97/71.01	c s   71.0    13793     849      0     0    283  289908  52151   33.3  38   10
76.67/76.70	c s   76.7    13795     849      0     0    283  307889  52139   33.2  38   10
77.77/77.83	c
77.77/77.83	c       original/binary      fixed     eliminated      learned       agility
77.77/77.83	c   seconds        variables     equivalent    conflicts       height       MB
77.77/77.83	c
77.77/77.83	c +   77.8    13797     849      0     0    283  312130  57333   33.1  37   11
81.28/81.31	c s   81.3    13797     849      0     0    283  323468  57381   32.9  39   11
90.97/91.00	c s   91.0    13798     849      0     0    283  353718  57363   32.9  39   11
95.77/95.89	c s   95.9    13803     849      0     0    283  372083  57378   33.0  38   11
99.17/99.26	c B   99.2    13806     849      0     0    283  384094  57367   32.9  37   12
101.07/101.17	c +  101.1    13807     849      0     0    283  390162  63066   32.8  36   12
101.77/101.83	c s  101.8    13807     849      0     0    283  392036  59239   32.8  39   11
131.06/131.16	c N  131.1    13807     849      0     0    283  461572  63140   31.7  40   16
133.76/133.82	c s  133.8    13808     849      0     0    283  466233  63108   31.6  40   13
140.26/140.30	c s  140.3    13809     849      0     0    283  485311  63073   31.6  38   12
141.06/141.12	c +  141.1    13809     849      0     0    283  487701  69372   31.6  37   13
147.36/147.40	c s  147.4    13811     849      0     0    283  504977  69405   31.7  37   13
172.65/172.79	c s  172.8    13812     849      0     0    283  571238  69402   31.7  36   14
185.14/185.24	c +  185.2    13812     849      0     0    283  609625  76309   31.6  41   16
218.14/218.21	c s  218.2    13813     849      0     0    283  678655  76344   31.4  38   15
226.64/226.72	c s  226.7    13818     849      0     0    283  704282  76337   31.5  38   15
234.34/234.44	c s  234.4    13823     849      0     0    283  723215  76349   31.4  39   15
243.04/243.12	c s  243.1    13826     849      0     0    283  742989  76336   31.4  38   15
250.23/250.36	c +  250.3    13827     849      0     0    283  762031  83939   31.3  39   16
251.33/251.49	c
251.33/251.49	c       original/binary      fixed     eliminated      learned       agility
251.33/251.49	c   seconds        variables     equivalent    conflicts       height       MB
251.33/251.49	c
251.33/251.49	c s  251.4    13827     849      0     0    283  764248  78565   31.3  38   15
260.23/260.38	c s  260.3    13828     849      0     0    283  787448  83986   31.5  38   16
270.32/270.42	c s  270.4    13829     849      0     0    283  807750  83978   31.6  40   16
279.62/279.73	c s  279.7    13830     849      0     0    283  830048  83975   31.5  38   16
302.61/302.72	c s  302.6    13831     849      0     0    283  876337  83982   31.4  40   16
308.61/308.71	c B  308.6    13835     849      0     0    283  896200  83971   31.4  38   18
312.11/312.23	c s  312.2    13835     849      0     0    283  904872  84000   31.4  39   16
322.11/322.28	c s  322.2    13837     849      0     0    283  928211  83967   31.4  38   16
332.71/332.80	c s  332.7    13838     849      0     0    283  950993  83963   31.2  39   15
333.51/333.66	c +  333.6    13839     849      0     0    283  952535  92332   31.2  37   16
344.61/344.77	c s  344.7    13839     849      0     0    283  972274  92371   31.0  38   17
359.20/359.32	c s  359.2    13840     849      0     0    283  994424  92363   30.9  39   16
370.90/371.08	c s  371.0    13842     849      0     0    283 1020438  92383   30.8  38   16
373.80/373.95	c N  373.9    13842     849      0     0    283 1025460  92375   30.8  40   18
398.29/398.48	c s  398.4    13843     849      0     0    283 1065125  92387   30.6  38   17
411.08/411.22	c s  411.1    13844     849      0     0    283 1095025  92371   30.6  40   17
423.09/423.28	c s  423.2    13864     849      0     0    283 1120826  92361   30.8  36   17
433.48/433.64	c s  433.5    13865     849      0     0    283 1143074  92352   30.8  37   18
445.88/446.00	c s  445.9    13867     849      0     0    283 1165457  92366   30.7  38   18
457.67/457.84	c
457.67/457.84	c       original/binary      fixed     eliminated      learned       agility
457.67/457.84	c   seconds        variables     equivalent    conflicts       height       MB
457.67/457.84	c
457.67/457.84	c +  457.7    13868     849      0     0    283 1190665 101565   30.9  38   21
458.27/458.44	c s  458.3    13868     849      0     0    283 1191363  93077   30.9  39   19
486.37/486.51	c s  486.4    13869     849      0     0    283 1243439 101602   30.8  38   20
600.64/600.83	c s  600.7    13870     849      0     0    283 1411076 101734   30.7  39   22
614.04/614.27	c s  614.1    13871     849      0     0    283 1443182 101597   30.7  40   21
636.64/636.82	c +  636.7    13871     849      0     0    283 1488330 111721   30.5  38   22
728.91/729.20	c s  729.0    13872     849      0     0    283 1617449 111780   30.4  40   22
745.21/745.45	c s  745.3    13877     849      0     0    283 1653111 111757   30.4  37   22
759.20/759.48	c s  759.3    13879     849      0     0    283 1681613 111765   30.5  37   21
777.70/777.90	c s  777.7    13882     849      0     0    283 1716340 111756   30.5  37   21
791.90/792.18	c s  792.0    13883     849      0     0    283 1745898 111768   30.6  38   22
867.08/867.39	c +  867.2    13883     849      0     0    283 1860410 122893   30.6  39   27
915.06/915.32	c s  915.1    13884     849      0     0    283 1910505 122939   30.5  38   24
1006.14/1006.47	c B 1006.2    13884     849      0     0    283 2048412 122933   30.5  41   31
1202.09/1202.45	c N 1202.2    13884     849      0     0    283 2255813 122930   30.4  38   34
1267.18/1267.52	c + 1267.2    13884     849      0     0    283 2325510 135182   30.3  39   34
1389.64/1390.04	c s 1389.7    13885     849      0     0    283 2442476 135222   30.2  40   26
1411.64/1412.09	c s 1411.7    13886     849      0     0    283 2483134 135226   30.2  37   26
1432.64/1433.04	c s 1432.7    13888     849      0     0    283 2516799 135215   30.3  38   26
1452.64/1453.07	c
1452.64/1453.07	c       original/binary      fixed     eliminated      learned       agility
1452.64/1453.07	c   seconds        variables     equivalent    conflicts       height       MB
1452.64/1453.07	c
1452.64/1453.07	c s 1452.7    13889     849      0     0    283 2548738 135209   30.2  38   26
1536.71/1537.12	c s 1536.7    13890     849      0     0    283 2648854 135224   30.0  39   26
1555.70/1556.14	c s 1555.8    13891     849      0     0    283 2684371 135202   30.1  39   26
1741.06/1741.58	c + 1741.1    13891     849      0     0    283 2906885 148700   30.4  38   29
1959.80/1960.36	c s 1959.9    13892     849      0     0    283 3149277 148755   30.6  40   30
1985.40/1985.95	c s 1985.5    13895     849      0     0    283 3200686 148717   30.6  38   29
2011.79/2012.37	c s 2011.9    13897     849      0     0    283 3240240 148732   30.6  40   29
2046.48/2047.07	c s 2046.6    13898     849      0     0    283 3292408 148744   30.5  38   27
2212.94/2213.55	c s 2213.0    13899     849      0     0    283 3496167 148736   30.2  37   26
2324.01/2324.65	c + 2324.1    13899     849      0     0    283 3633606 163570   30.4  38   38
2397.09/2397.70	c s 2397.1    13900     849      0     0    283 3713867 163592   30.6  38   35
2424.68/2425.34	c s 2424.7    13903     849      0     0    283 3754358 163607   30.5  37   34
2487.07/2487.77	c s 2487.2    13904     849      0     0    283 3828778 163590   30.4  36   30
3275.78/3276.60	c + 3275.8    13904     849      0     0    283 4542005 179927   29.5  37   49
3359.16/3360.00	c B 3359.2    13904     849      0     0    283 4608793 180003   29.4  38   51
3631.59/3632.57	c s 3631.7    13905     849      0     0    283 4841267 179977   29.2  36   34
3660.99/3661.96	c s 3661.1    13907     849      0     0    283 4886322 179968   29.2  39   33
3687.98/3688.95	c N 3688.0    13907     849      0     0    283 4921387 179965   29.2  38   36
3727.77/3728.77	c s 3727.9    13908     849      0     0    283 4962121 179948   29.1  39   32
4140.76/4141.89	c
4140.76/4141.89	c       original/binary      fixed     eliminated      learned       agility
4140.76/4141.89	c   seconds        variables     equivalent    conflicts       height       MB
4140.76/4141.89	c
4140.76/4141.89	c s 4140.9    13909     849      0     0    283 5346742 179953   29.1  39   36
4171.85/4172.90	c s 4171.9    13910     849      0     0    283 5387313 179958   29.1  38   38
4298.73/4299.85	c s 4298.8    13907     848      0     1    283 5535558 179966   29.2  39   36
4336.12/4337.24	c s 4336.2    13908     848      0     1    283 5594285 179959   29.3  37   35
4365.71/4366.89	c s 4365.8    13910     848      0     1    283 5636117 179973   29.2  40   34
4395.70/4396.84	c + 4395.8    13910     848      0     1    283 5677507 197919   29.3  39   38
5000.06/5001.30	c
5000.06/5001.30	c *** CAUGHT SIGNAL 15 ***
5000.06/5001.30	c
5000.06/5001.30	c 6176736 conflicts, 6836397 decisions, 1 random
5000.06/5001.30	c 0 iterations, 1 restarts, 9978 skipped
5000.06/5001.30	c 28 enlarged, 87 shrunken, 60359 rescored, 1292 rebiased
5000.06/5001.30	c 86 simplifications, 2 reductions
5000.06/5001.30	c
5000.06/5001.30	c vars: 0 fixed, 1 equiv, 283 elim, 1 merged
5000.06/5001.30	c elim: 124605 resolutions, 2 phases, 2 rounds
5000.06/5001.30	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.06/5001.30	c arty: 0.00 and 0.00 xor average arity
5000.06/5001.30	c prbe: 146588 probed, 86 phases, 86 rounds
5000.06/5001.30	c prbe: 0 failed, 0 lifted, 0 merged
5000.06/5001.30	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.06/5001.30	c hash: 0 units, 1 merged
5000.06/5001.30	c mins: 243478293 learned, 40% deleted, 775 strong, 47 depth
5000.06/5001.30	c subs: 2 forward, 2 backward, 24 doms
5000.06/5001.30	c strs: 14971 forward, 0 backward
5000.06/5001.30	c doms: 24 dominators, 23 high, 0 low
5000.06/5001.30	c prps: 1137962816 propagations, 0.23 megaprops
5000.06/5001.30	c
5000.06/5001.30	c 5000.1 seconds, 57 MB max, 1037 MB recycled
5000.06/5001.30	c
5000.06/5001.30	c *** CAUGHT SIGNAL 15 ***
5000.06/5001.30	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-1783614-1241861800/watcher-1783614-1241861800 -o /tmp/evaluation-result-1783614-1241861800/solver-1783614-1241861800 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783614-1241861800.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.08 0.02 0.01 3/64 32216
/proc/meminfo: memFree=1761016/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=1052 CPUtime=0
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 172 0 0 0 0 0 0 0 18 0 1 0 214207777 1077248 157 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 263 158 63 155 0 106 0

[startup+0.088047 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 32216
/proc/meminfo: memFree=1761016/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=2452 CPUtime=0.08
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 558 0 0 0 8 0 0 0 18 0 1 0 214207777 2510848 512 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 613 512 79 155 0 456 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2452

[startup+0.102046 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 32216
/proc/meminfo: memFree=1761016/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=2452 CPUtime=0.09
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 214207777 2510848 516 1992294400 134512640 135151029 4294956240 18446744073709551615 134514100 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 613 516 79 155 0 456 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2452

[startup+0.302065 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 32216
/proc/meminfo: memFree=1761016/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=2452 CPUtime=0.29
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 562 0 0 0 29 0 0 0 19 0 1 0 214207777 2510848 516 1992294400 134512640 135151029 4294956240 18446744073709551615 134530812 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 613 516 79 155 0 456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2452

[startup+0.702106 s]
/proc/loadavg: 0.08 0.02 0.01 3/64 32216
/proc/meminfo: memFree=1761016/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=2980 CPUtime=0.69
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 705 0 0 0 69 0 0 0 22 0 1 0 214207777 3051520 659 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 745 659 79 155 0 588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2980

[startup+1.50118 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 32217
/proc/meminfo: memFree=1758064/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=4300 CPUtime=1.49
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 1020 0 0 0 149 0 0 0 25 0 1 0 214207777 4403200 974 1992294400 134512640 135151029 4294956240 18446744073709551615 134578229 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 1075 974 79 155 0 918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4300

[startup+3.10132 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 32217
/proc/meminfo: memFree=1756528/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=5356 CPUtime=3.09
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 1284 0 0 0 309 0 0 0 25 0 1 0 214207777 5484544 1238 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 1339 1238 79 155 0 1182 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5356

[startup+6.30162 s]
/proc/loadavg: 0.15 0.03 0.01 2/65 32217
/proc/meminfo: memFree=1754736/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=6820 CPUtime=6.29
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 1663 0 0 0 628 1 0 0 25 0 1 0 214207777 6983680 1617 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 1705 1617 79 155 0 1548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6820

[startup+12.7012 s]
/proc/loadavg: 0.28 0.06 0.02 2/65 32217
/proc/meminfo: memFree=1753264/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=8124 CPUtime=12.68
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 1996 0 0 0 1267 1 0 0 25 0 1 0 214207777 8318976 1950 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 2031 1950 79 155 0 1874 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8124

[startup+25.5014 s]
/proc/loadavg: 0.39 0.09 0.03 2/65 32217
/proc/meminfo: memFree=1751856/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=9568 CPUtime=25.49
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 2444 0 0 0 2547 2 0 0 25 0 1 0 214207777 9797632 2307 1992294400 134512640 135151029 4294956240 18446744073709551615 134552614 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 2392 2307 79 155 0 2235 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9568

[startup+51.1018 s]
/proc/loadavg: 0.60 0.17 0.05 2/65 32217
/proc/meminfo: memFree=1749232/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=12384 CPUtime=51.08
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 3134 0 0 0 5105 3 0 0 25 0 1 0 214207777 12681216 2986 1992294400 134512640 135151029 4294956240 18446744073709551615 134551918 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 3096 2986 79 155 0 2939 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12384

[startup+102.305 s]
/proc/loadavg: 0.84 0.30 0.11 2/65 32217
/proc/meminfo: memFree=1746928/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=14600 CPUtime=102.27
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 4072 0 0 0 10223 4 0 0 25 0 1 0 214207777 14950400 3552 1992294400 134512640 135151029 4294956240 18446744073709551615 134554915 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 3650 3552 79 155 0 3493 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14600

[startup+162.302 s]
/proc/loadavg: 0.94 0.43 0.16 2/65 32217
/proc/meminfo: memFree=1743344/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=18240 CPUtime=162.25
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 5028 0 0 0 16220 5 0 0 25 0 1 0 214207777 18677760 4438 1992294400 134512640 135151029 4294956240 18446744073709551615 134554760 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 4560 4438 79 155 0 4403 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 18240

[startup+222.302 s]
/proc/loadavg: 0.98 0.53 0.21 2/65 32217
/proc/meminfo: memFree=1740464/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=20984 CPUtime=222.24
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 5842 0 0 0 22218 6 0 0 25 0 1 0 214207777 21487616 5105 1992294400 134512640 135151029 4294956240 18446744073709551615 134578328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 5246 5105 79 155 0 5089 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 20984

[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.26 2/65 32219
/proc/meminfo: memFree=1740272/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=20984 CPUtime=282.22
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 5898 0 0 0 28216 6 0 0 25 0 1 0 214207777 21487616 5161 1992294400 134512640 135151029 4294956240 18446744073709551615 134552952 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 5246 5161 79 155 0 5089 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20984

[startup+342.302 s]
/proc/loadavg: 0.99 0.68 0.30 2/65 32219
/proc/meminfo: memFree=1740144/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=20936 CPUtime=342.21
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 6004 0 0 0 34214 7 0 0 25 0 1 0 214207777 21438464 5157 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 5234 5157 79 155 0 5077 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 20936

[startup+402.301 s]
/proc/loadavg: 0.99 0.74 0.34 2/65 32219
/proc/meminfo: memFree=1740080/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=21236 CPUtime=402.19
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 6443 0 0 0 40212 7 0 0 25 0 1 0 214207777 21745664 5197 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 5309 5197 79 155 0 5152 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 21236

[startup+462.303 s]
/proc/loadavg: 0.99 0.78 0.38 2/65 32219
/proc/meminfo: memFree=1737264/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=24072 CPUtime=462.18
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 7272 0 0 0 46209 9 0 0 25 0 1 0 214207777 24649728 5922 1992294400 134512640 135151029 4294956240 18446744073709551615 134554732 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 6018 5922 79 155 0 5861 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 24072

[startup+522.302 s]
/proc/loadavg: 0.99 0.82 0.41 2/65 32219
/proc/meminfo: memFree=1733680/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=28044 CPUtime=522.16
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 8360 0 0 0 52206 10 0 0 25 0 1 0 214207777 28717056 6818 1992294400 134512640 135151029 4294956240 18446744073709551615 134551331 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 7011 6818 79 155 0 6854 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 28044

[startup+582.303 s]
/proc/loadavg: 0.99 0.85 0.45 2/65 32219
/proc/meminfo: memFree=1729968/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=32100 CPUtime=582.15
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 9255 0 0 0 58204 11 0 0 25 0 1 0 214207777 32870400 7713 1992294400 134512640 135151029 4294956240 18446744073709551615 134554872 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 8025 7713 79 155 0 7868 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 32100

[startup+642.302 s]
/proc/loadavg: 0.99 0.87 0.48 2/65 32219
/proc/meminfo: memFree=1730480/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=30800 CPUtime=642.13
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 9330 0 0 0 64202 11 0 0 25 0 1 0 214207777 31539200 7538 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 7700 7538 79 155 0 7543 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 30800

[startup+702.303 s]

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

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697520/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4061.29
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 18976 0 0 0 406099 30 0 0 25 0 1 0 214207777 63692800 15395 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15395 79 155 0 15393 0
Current children cumulated CPU time (s) 4061.29
Current children cumulated vsize (KiB) 62200

[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697456/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4121.27
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 18976 0 0 0 412097 30 0 0 25 0 1 0 214207777 63692800 15395 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15395 79 155 0 15393 0
Current children cumulated CPU time (s) 4121.27
Current children cumulated vsize (KiB) 62200

[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697456/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4181.25
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 18977 0 0 0 418095 30 0 0 25 0 1 0 214207777 63692800 15396 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15396 79 155 0 15393 0
Current children cumulated CPU time (s) 4181.25
Current children cumulated vsize (KiB) 62200

[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697392/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4241.24
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 18987 0 0 0 424093 31 0 0 25 0 1 0 214207777 63692800 15406 1992294400 134512640 135151029 4294956240 18446744073709551615 134552412 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15406 79 155 0 15393 0
Current children cumulated CPU time (s) 4241.24
Current children cumulated vsize (KiB) 62200

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697264/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4301.23
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19018 0 0 0 430092 31 0 0 25 0 1 0 214207777 63692800 15437 1992294400 134512640 135151029 4294956240 18446744073709551615 134554760 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15437 79 155 0 15393 0
Current children cumulated CPU time (s) 4301.23
Current children cumulated vsize (KiB) 62200

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697200/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4361.21
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19019 0 0 0 436090 31 0 0 25 0 1 0 214207777 63692800 15438 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15438 79 155 0 15393 0
Current children cumulated CPU time (s) 4361.21
Current children cumulated vsize (KiB) 62200

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697200/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4421.2
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19019 0 0 0 442089 31 0 0 25 0 1 0 214207777 63692800 15438 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15438 79 155 0 15393 0
Current children cumulated CPU time (s) 4421.2
Current children cumulated vsize (KiB) 62200

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697136/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4481.18
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19019 0 0 0 448087 31 0 0 25 0 1 0 214207777 63692800 15438 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15438 79 155 0 15393 0
Current children cumulated CPU time (s) 4481.18
Current children cumulated vsize (KiB) 62200

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1697072/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=62200 CPUtime=4541.16
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19024 0 0 0 454085 31 0 0 25 0 1 0 214207777 63692800 15443 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15550 15443 79 155 0 15393 0
Current children cumulated CPU time (s) 4541.16
Current children cumulated vsize (KiB) 62200

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1696304/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=63428 CPUtime=4601.16
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19219 0 0 0 460084 32 0 0 25 0 1 0 214207777 64950272 15638 1992294400 134512640 135151029 4294956240 18446744073709551615 134578235 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 15857 15638 79 155 0 15700 0
Current children cumulated CPU time (s) 4601.16
Current children cumulated vsize (KiB) 63428

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1695600/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=64456 CPUtime=4661.14
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19383 0 0 0 466082 32 0 0 25 0 1 0 214207777 66002944 15802 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16114 15802 79 155 0 15957 0
Current children cumulated CPU time (s) 4661.14
Current children cumulated vsize (KiB) 64456

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1695088/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=65228 CPUtime=4721.13
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19512 0 0 0 472081 32 0 0 25 0 1 0 214207777 66793472 15931 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16307 15931 79 155 0 16150 0
Current children cumulated CPU time (s) 4721.13
Current children cumulated vsize (KiB) 65228

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1694960/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=65228 CPUtime=4781.11
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19533 0 0 0 478079 32 0 0 25 0 1 0 214207777 66793472 15952 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16307 15952 79 155 0 16150 0
Current children cumulated CPU time (s) 4781.11
Current children cumulated vsize (KiB) 65228

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1694512/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=66000 CPUtime=4841.09
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19645 0 0 0 484077 32 0 0 25 0 1 0 214207777 67584000 16064 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16500 16064 79 155 0 16343 0
Current children cumulated CPU time (s) 4841.09
Current children cumulated vsize (KiB) 66000

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1694128/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=66256 CPUtime=4901.07
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19725 0 0 0 490075 32 0 0 25 0 1 0 214207777 67846144 16144 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16564 16144 79 155 0 16407 0
Current children cumulated CPU time (s) 4901.07
Current children cumulated vsize (KiB) 66256

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1693872/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=66772 CPUtime=4961.07
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19819 0 0 0 496074 33 0 0 25 0 1 0 214207777 68374528 16238 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16693 16238 79 155 0 16536 0
Current children cumulated CPU time (s) 4961.07
Current children cumulated vsize (KiB) 66772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1693104/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=67796 CPUtime=5000.06
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19994 0 0 0 499973 33 0 0 25 0 1 0 214207777 69423104 16413 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16949 16413 79 155 0 16792 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 67796

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

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

[startup+5001.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/65 32227
/proc/meminfo: memFree=1693104/2055920 swapFree=4067108/4192956
[pid=32216] ppid=32214 vsize=67796 CPUtime=5000.06
/proc/32216/stat : 32216 (precosat) R 32214 32216 32148 0 -1 4194304 19994 0 0 0 499973 33 0 0 25 0 1 0 214207777 69423104 16413 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/32216/statm: 16949 16413 79 155 0 16792 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 67796

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.32
CPU time (s): 5000.08
CPU user time (s): 4999.73
CPU system time (s): 0.345947
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 67796

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

runsolver used 3.2685 second user time and 10.7374 second system time

The end

Launcher Data 

Begin job on node48 at 2009-05-09 11:36:40
IDJOB=1783614
IDBENCH=24614
IDSOLVER=607
FILE ID=node48/1783614-1241861800
PBS_JOBID= 9264567
Free space on /tmp= 66264 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783614-1241861800/watcher-1783614-1241861800 -o /tmp/evaluation-result-1783614-1241861800/solver-1783614-1241861800 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1783614-1241861800.cnf

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

MD5SUM BENCH= 00198881c2cf000cfee916c18d69d474
RANDOM SEED=1613744723

node48.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.209
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.209
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:       1761432 kB
Buffers:         28404 kB
Cached:          79508 kB
SwapCached:     120568 kB
Active:          64516 kB
Inactive:       165816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1761432 kB
SwapTotal:     4192956 kB
SwapFree:      4067108 kB
Dirty:            1228 kB
Writeback:           0 kB
Mapped:          13976 kB
Slab:            50184 kB
Committed_AS:   795768 kB
PageTables:       1368 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= 66264 MiB
End job on node48 at 2009-05-09 13:00:04