Trace number 1773461

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.2 10003.5

General information on the benchmark

Namemizh-sha0-36-4.cnf
MD5SUMf43e1bf70d9ce8021bafd328efc83ae7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark220.732
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210235
Sum of the clauses size628383
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286992
Number of clauses of size 338042
Number of clauses of size 485024
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-1773461-1241184565.cnf
0.00/0.00	c found header 'p cnf 50073 210235'
0.19/0.29	c finished parsing
0.19/0.29	c
0.19/0.29	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.19/0.29	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.19/0.29	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.19/0.29	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.19/0.29	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.19/0.29	c --random=1 --spread=2000 --seed=0 --skip=25
0.19/0.29	c
0.19/0.29	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.19/0.29	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.19/0.29	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.19/0.29	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.19/0.29	c
0.19/0.29	c starting search after 0.3 seconds
0.19/0.29	c no decision limit
0.29/0.31	c
0.29/0.31	c       original/binary      fixed     eliminated      learned       agility
0.29/0.31	c   seconds        variables     equivalent    conflicts       height       MB
0.29/0.31	c
0.29/0.31	c *    0.3   180292   39202   4488  6383      0       0      0    0.0   0   15
1.79/1.85	c s    1.9   117817   17210   4875  8173  19815       0      0    0.0   0   12
1.79/1.85	c l    1.9   117817   17210   4875  8173  19815       0 111282    0.0   0   12
1.79/1.86	c R    1.9   117822   17210   4875  8173  19815     100    100   47.9  10   12
1.79/1.86	c R    1.9   117823   17210   4875  8173  19815     200    199   41.7  17   12
1.79/1.89	c R    1.9   117887   17207   4875  8176  19815     802    792  126.2  22   12
1.89/1.91	c B    1.9   117891   17207   4875  8176  19815    1001    991  127.3  28   12
1.89/1.97	c B    2.0   118080   17184   4885  8189  19815    2001   1972  117.1  17   12
1.99/2.10	c R    2.1   118857   17168   4885  8205  19815    4372   4311  113.0  24   13
2.29/2.32	c B    2.3   120480   17144   4892  8222  19815    8002   7904  100.9  28   13
3.49/3.58	c B    3.6   144774   16808   5096  8354  19815   24008  23693   92.9  26   16
8.38/8.40	c B    8.4   228696   15886   5493  8879  19815   64018  63324  105.4  21   25
8.69/8.78	c s    8.8   168776   15870   5503  8885  19815   64701  32787  105.1  19   17
8.69/8.78	c -    8.8   168776   15870   5503  8885  19815   64701 104606  105.1  19   17
17.59/17.68	c R   17.7   234119   15129   5800  9329  19815  103773  71453  143.3  22   27
17.98/18.00	c +   18.0   235434   15127   5800  9331  19815  104607 115066  144.0  24   27
21.08/21.10	c s   21.1   119321   14769   5823  9346  20135  110534  48641  149.4  27   17
21.08/21.10	c -   21.1   119321   14769   5823  9346  20135  110534 109313  149.4  27   17
25.58/25.69	c +   25.7   122450   14738   5830  9370  20135  124218 120244  158.0  28   22
30.18/30.22	c
30.18/30.22	c       original/binary      fixed     eliminated      learned       agility
30.18/30.22	c   seconds        variables     equivalent    conflicts       height       MB
30.18/30.22	c
30.18/30.22	c s   30.2   123884   14721   5836  9381  20135  131813  63826  161.8  15   21
41.28/41.35	c s   41.3   119239   14666   5840  9410  20157  153072  82724  172.9  30   26
42.18/42.30	c +   42.3   119292   14658   5841  9417  20157  155271 132268  173.3  25   29
45.58/45.66	c B   45.7   119543   14648   5845  9423  20157  160044  89678  174.6  36   32
53.37/53.44	c s   53.4   120501   14642   5846  9428  20157  171513  97268  178.8  29   32
67.17/67.23	c s   67.2   120226   14622   5847  9437  20167  187271 107629  181.9  34   39
67.67/67.72	c R   67.7   120241   14622   5847  9437  20167  187663 108021  182.2  25   42
73.67/73.75	c +   73.7   120241   14622   5847  9437  20167  194089 145494  183.5  30   47
82.97/83.01	c s   83.0   120243   14621   5847  9438  20167  200995 121348  184.8  35   50
100.36/100.46	c s  100.4   120160   14606   5849  9446  20172  217495 135790  187.3  29   60
119.85/119.98	c s  119.9   120188   14601   5849  9451  20172  235345 146562  189.6  27   69
125.15/125.27	c N  125.2   120193   14601   5849  9451  20172  240069 146670  190.3  32   75
128.35/128.47	c +  128.4   120193   14601   5849  9451  20172  242610 160043  190.5  31   77
139.74/139.83	c s  139.8   120193   14601   5849  9451  20172  251861 156242  191.4  37   80
162.03/162.17	c s  162.1   120162   14599   5849  9452  20173  268389 170140  193.7  33   92
189.22/189.31	c s  189.2   120263   14597   5850  9453  20173  293963 169812  197.8  32  102
196.72/196.88	c +  196.8   120300   14592   5850  9458  20173  303261 176047  198.8  32  107
217.62/217.76	c s  217.7   120139   14588   5850  9459  20176  320280 176105  201.2  32  111
243.81/243.97	c s  243.9   120170   14583   5850  9464  20176  342197 177149  203.7  33  107
268.21/268.31	c
268.21/268.31	c       original/binary      fixed     eliminated      learned       agility
268.21/268.31	c   seconds        variables     equivalent    conflicts       height       MB
268.21/268.31	c
268.21/268.31	c s  268.2   120147   14582   5850  9465  20176  360918 177047  206.3  31  104
275.50/275.69	c N  275.6   120150   14581   5850  9466  20176  367559 177020  207.4  27  109
287.79/287.93	c +  287.8   120150   14581   5850  9466  20176  379076 193651  209.1  35  113
291.60/291.77	c s  291.7   120147   14581   5850  9466  20176  379885 179827  209.2  36  109
296.10/296.25	c B  296.2   120156   14577   5850  9470  20176  384098 184037  209.9  14  116
318.99/319.11	c s  319.0   120081   14571   5851  9472  20179  400901 197984  211.5  40  120
346.97/347.15	c s  347.0   120084   14571   5851  9472  20179  420860 194733  213.4  36  118
373.57/373.75	c s  373.6   120052   14567   5851  9476  20179  440759 194737  215.2  37  116
400.26/400.41	c s  400.3   121129   14560   5853  9481  20179  461057 194289  217.2  26  118
420.15/420.38	c +  420.2   121140   14560   5853  9481  20179  473847 213016  217.7  34  127
432.05/432.21	c s  432.1   120325   14556   5853  9483  20181  481817 201024  218.4  25  121
465.24/465.46	c s  465.3   120328   14556   5853  9483  20181  502401 214106  219.7  37  131
495.83/496.03	c s  495.9   120336   14556   5853  9483  20181  524735 227568  221.2  40  146
533.01/533.27	c s  533.1   120313   14555   5853  9484  20181  550926 214131  223.0  35  140
567.10/567.37	c s  567.2   123311   14543   5857  9492  20181  577516 212865  224.5  38  137
586.49/586.72	c +  586.5   123363   14540   5858  9494  20181  592306 234317  225.4  38  146
600.68/600.90	c s  600.7   120241   14538   5858  9494  20183  599581 223168  225.9  38  145
632.98/633.21	c s  633.0   120250   14538   5858  9494  20183  624558 235519  226.4  35  153
670.67/670.91	c s  670.7   120233   14537   5858  9495  20183  647690 235467  228.1  29  151
764.04/764.38	c
764.04/764.38	c       original/binary      fixed     eliminated      learned       agility
764.04/764.38	c   seconds        variables     equivalent    conflicts       height       MB
764.04/764.38	c
764.04/764.38	c s  764.1   120234   14537   5858  9495  20183  709276 282305  231.0  24  194
809.42/809.78	c +  809.5   120234   14537   5858  9495  20183  740381 257748  232.2  32  173
847.81/848.13	c N  847.8   120234   14537   5858  9495  20183  765266 265412  232.9  40  194
866.60/866.92	c s  866.6   120235   14537   5858  9495  20183  774056 274182  233.1  26  193
903.69/904.09	c s  903.8   120283   14537   5858  9495  20183  809300 270166  234.9  33  193
940.08/940.43	c s  940.1   120285   14537   5858  9495  20183  835668 272314  235.5  33  195
981.36/981.78	c s  981.5   120272   14535   5858  9497  20183  862931 265857  236.3  37  193
1034.75/1035.11	c B 1034.8   120272   14535   5858  9497  20183  896184 282318  237.9  37  215
1045.24/1045.63	c s 1045.3   120273   14535   5858  9497  20183  899223 278497  237.8  22  207
1093.52/1093.91	c + 1093.5   120273   14535   5858  9497  20183  925475 283522  238.5  36  198
1292.36/1292.83	c N 1292.4   120273   14535   5858  9497  20183 1021634 341081  240.8  39  291
1502.59/1503.20	c s 1502.7   120274   14535   5858  9497  20183 1099034 415092  241.9  43  365
1594.36/1594.96	c s 1594.4   120267   14533   5858  9499  20183 1131866 358197  242.1  31  319
1644.84/1645.42	c + 1644.9   120267   14533   5858  9499  20183 1156840 311874  242.5  33  343
1954.23/1954.99	c s 1954.3   120268   14533   5858  9499  20183 1262591 245498  244.6  22  216
1990.52/1991.28	c s 1990.6   120269   14533   5858  9499  20183 1287425 270332  245.3  37  232
2073.19/2073.97	c s 2073.3   120270   14533   5858  9499  20183 1342339 312432  246.7  21  253
2264.33/2265.18	c s 2264.4   120271   14533   5858  9499  20183 1429956 312738  248.9  24  248
2287.52/2288.34	c + 2287.6   120274   14533   5858  9499  20183 1446050 343061  249.4  34  249
2308.51/2309.40	c
2308.51/2309.40	c       original/binary      fixed     eliminated      learned       agility
2308.51/2309.40	c   seconds        variables     equivalent    conflicts       height       MB
2308.51/2309.40	c
2308.51/2309.40	c s 2308.6   120274   14533   5858  9499  20183 1457025 323832  249.6  36  248
2471.46/2472.36	c s 2471.5   120275   14533   5858  9499  20183 1529745 343884  250.3  33  256
2532.24/2533.15	c s 2532.3   120276   14533   5858  9499  20183 1561998 344000  250.5  36  250
2567.12/2568.09	c N 2567.2   120278   14532   5858  9500  20183 1585562 343960  251.0  25  259
2587.92/2588.87	c s 2588.0   120261   14531   5858  9501  20183 1593833 344087  251.1  24  252
2637.70/2638.60	c s 2637.7   120267   14530   5858  9502  20183 1625585 352271  251.4  38  262
2696.08/2697.04	c s 2696.1   120249   14529   5858  9503  20183 1654852 344253  251.8  40  265
2754.66/2755.65	c s 2754.7   120250   14529   5858  9503  20183 1686641 344007  252.4  35  255
2812.45/2813.46	c s 2812.5   120253   14529   5858  9503  20183 1720013 344129  252.4  33  251
2869.52/2870.50	c s 2869.5   120256   14529   5858  9503  20183 1748787 356966  252.6  38  270
2931.20/2932.28	c s 2931.3   120257   14529   5858  9503  20183 1773891 368261  252.6  32  288
2997.28/2998.37	c s 2997.4   120252   14528   5858  9504  20183 1806918 344159  252.7  33  261
2998.88/2999.92	c + 2998.9   120252   14528   5858  9504  20183 1807562 377367  252.7  29  267
3057.76/3058.80	c s 3057.8   120253   14528   5858  9504  20183 1833212 369709  253.0  36  285
3120.94/3122.03	c s 3121.0   120261   14528   5858  9504  20183 1871382 378486  253.6  34  279
3272.79/3273.92	c s 3272.8   120262   14528   5858  9504  20183 1947190 404086  255.3  24  308
3485.82/3487.03	c B 3485.9   120262   14528   5858  9504  20183 2048385 406406  256.4  38  349
3913.38/3914.71	c s 3913.4   120238   14527   5858  9505  20183 2212112 284519  258.2  19  280
3972.35/3973.72	c s 3972.4   120244   14523   5858  9509  20183 2241730 314122  258.4  29  297
3993.54/3994.96	c
3993.54/3994.96	c       original/binary      fixed     eliminated      learned       agility
3993.54/3994.96	c   seconds        variables     equivalent    conflicts       height       MB
3993.54/3994.96	c
3993.54/3994.96	c + 3993.6   120245   14522   5858  9510  20183 2259450 415103  258.7  34  316
4026.94/4028.37	c s 4027.0   120234   14521   5858  9511  20183 2274493 346882  258.8  40  319
4096.32/4097.70	c s 4096.3   120236   14521   5858  9511  20183 2305433 377820  259.0  30  342
4220.77/4222.30	c s 4220.9   120237   14521   5858  9511  20183 2348987 416069  258.6  33  377
4312.94/4314.46	c s 4313.0   120239   14520   5858  9512  20183 2384816 415984  259.0  28  364
4406.71/4408.28	c s 4406.8   120237   14519   5858  9513  20183 2421365 416088  259.1  29  346
4487.08/4488.68	c s 4487.2   120239   14519   5858  9513  20183 2462342 416054  259.4  40  328
4569.15/4570.72	c s 4569.2   120234   14517   5858  9515  20183 2502572 416127  259.8  40  318
4652.43/4654.09	c s 4652.5   120236   14517   5858  9515  20183 2536870 416055  259.8  35  311
4734.80/4736.49	c s 4734.9   120232   14516   5858  9516  20183 2572385 415521  260.3  23  301
4859.46/4861.15	c s 4859.5   120233   14516   5858  9516  20183 2622248 440131  260.8  40  321
4934.83/4936.50	c s 4934.8   120209   14515   5858  9517  20183 2658149 416265  260.8  33  309
5250.33/5252.10	c N 5250.3   120209   14515   5858  9517  20183 2815747 468500  260.7  29  372
5270.52/5272.35	c + 5270.6   120209   14515   5858  9517  20183 2824312 456613  260.7  32  380
5545.82/5547.71	c s 5545.8   120202   14514   5858  9518  20183 2909042 561794  260.9  35  441
5638.49/5640.40	c s 5638.5   120206   14514   5858  9518  20183 2960336 541250  261.3  37  428
5724.36/5726.31	c s 5724.4   120189   14512   5858  9519  20184 3001561 544181  261.4  37  421
5846.22/5848.22	c s 5846.3   120195   14511   5858  9520  20184 3046476 529712  261.4  37  412
5942.58/5944.67	c s 5942.7   120189   14510   5858  9521  20184 3087241 457974  261.5  30  348
6018.17/6020.29	c
6018.17/6020.29	c       original/binary      fixed     eliminated      learned       agility
6018.17/6020.29	c   seconds        variables     equivalent    conflicts       height       MB
6018.17/6020.29	c
6018.17/6020.29	c s 6018.3   120191   14508   5858  9523  20184 3122466 457598  261.6  32  349
7673.90/7676.51	c + 7673.9   120191   14508   5858  9523  20184 3530390 502274  264.6  38  656
8205.73/8208.58	c s 8205.8   120186   14507   5858  9524  20184 3634707 669056  265.2  13  644
8388.36/8391.23	c s 8388.4   120192   14505   5858  9526  20184 3693233 637716  265.3  28  615
8517.02/8519.91	c s 8517.1   120194   14505   5858  9526  20184 3754056 503476  265.7  40  416
8658.78/8661.73	c s 8658.8   120195   14505   5858  9526  20184 3820787 503260  266.1  22  395
8747.45/8750.42	c s 8747.5   120209   14505   5858  9526  20184 3854541 503459  266.1  34  392
8858.62/8861.62	c s 8858.6   120203   14504   5858  9527  20184 3896361 503250  266.0  37  374
8954.58/8957.63	c s 8954.6   120205   14503   5858  9528  20184 3943294 503334  266.3  28  363
9037.65/9040.79	c s 9037.8   120206   14503   5858  9528  20184 3979013 503310  266.2  40  358
9192.99/9196.19	c s 9193.1   120207   14503   5858  9528  20184 4046190 503173  266.6  28  365
9492.99/9496.29	c s 9493.1   120191   14502   5858  9529  20184 4148668 502740  266.3  28  394
9599.26/9602.60	c s 9599.4   120191   14501   5858  9530  20184 4188867 503434  266.6  37  399
9691.43/9694.71	c s 9691.5   120192   14501   5858  9530  20184 4242185 503406  266.9  27  403
9774.51/9777.80	c s 9774.5   120193   14501   5858  9530  20184 4282550 503304  267.2  37  401
10000.03/10003.40	c
10000.03/10003.40	c *** CAUGHT SIGNAL 15 ***
10000.03/10003.40	c
10000.03/10003.40	c 4397847 conflicts, 7427050 decisions, 21 random
10000.03/10003.40	c 102 iterations, 996 restarts, 7717 skipped
10000.03/10003.40	c 17 enlarged, 8761 shrunken, 43028 rescored, 1021 rebiased
10000.03/10003.40	c 87 simplifications, 2 reductions
10000.03/10003.40	c
10000.03/10003.40	c vars: 5858 fixed, 9530 equiv, 20184 elim, 10041 merged
10000.03/10003.40	c elim: 12333125 resolutions, 59 phases, 30 rounds
10000.03/10003.40	c sbst: 100% substituted, 0.2% nots, 95.7% ands, 4.2% xors, 0.0% ites
10000.03/10003.40	c arty: 2.00 and 2.01 xor average arity
10000.03/10003.40	c prbe: 7023657 probed, 238 phases, 239 rounds
10000.03/10003.40	c prbe: 46 failed, 176 lifted, 273 merged
10000.03/10003.40	c sccs: 24 non trivial, 0 fixed, 47 merged
10000.03/10003.40	c hash: 51 units, 9721 merged
10000.03/10003.40	c mins: 893149080 learned, 17% deleted, 2023 strong, 91 depth
10000.03/10003.40	c subs: 15058 forward, 87927 backward, 205161 doms
10000.03/10003.40	c strs: 12648 forward, 112 backward
10000.03/10003.40	c doms: 206606 dominators, 196952 high, 140 low
10000.03/10003.40	c prps: 2716503287 propagations, 0.27 megaprops
10000.03/10003.40	c
10000.03/10003.40	c 10000.0 seconds, 716 MB max, 3097 MB recycled
10000.03/10003.40	c
10000.03/10003.40	c *** CAUGHT SIGNAL 15 ***
10000.03/10003.40	c

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773461-1241184565/watcher-1773461-1241184565 -o /tmp/evaluation-result-1773461-1241184565/solver-1773461-1241184565 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773461-1241184565.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.95 0.98 0.94 3/64 2282
/proc/meminfo: memFree=1253680/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=2748 CPUtime=0
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 523 0 0 0 0 0 0 0 18 0 1 0 146490679 2813952 508 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/2282/statm: 687 509 59 155 0 530 0

[startup+0.0996371 s]
/proc/loadavg: 0.95 0.98 0.94 3/64 2282
/proc/meminfo: memFree=1253680/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=9188 CPUtime=0.08
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 2210 0 0 0 8 0 0 0 18 0 1 0 146490679 9408512 2162 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 2297 2162 64 155 0 2140 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9188

[startup+0.101636 s]
/proc/loadavg: 0.95 0.98 0.94 3/64 2282
/proc/meminfo: memFree=1253680/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=9188 CPUtime=0.09
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 2231 0 0 0 9 0 0 0 18 0 1 0 146490679 9408512 2183 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 2297 2183 64 155 0 2140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9188

[startup+0.301673 s]
/proc/loadavg: 0.95 0.98 0.94 3/64 2282
/proc/meminfo: memFree=1253680/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=18004 CPUtime=0.29
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 4611 0 0 0 26 3 0 0 19 0 1 0 146490679 18436096 4368 1992294400 134512640 135151029 4294956240 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 4501 4368 74 155 0 4344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18004

[startup+0.701745 s]
/proc/loadavg: 0.95 0.98 0.94 3/64 2282
/proc/meminfo: memFree=1253680/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=19936 CPUtime=0.69
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 5570 0 0 0 66 3 0 0 23 0 1 0 146490679 20414464 4874 1992294400 134512640 135151029 4294956240 18446744073709551615 134578445 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 4984 4874 79 155 0 4827 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19936

[startup+1.50189 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 2283
/proc/meminfo: memFree=1230568/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=25676 CPUtime=1.49
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 7327 0 0 0 145 4 0 0 25 0 1 0 146490679 26292224 6245 1992294400 134512640 135151029 4294956240 18446744073709551615 134516794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 6419 6245 79 155 0 6262 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25676

[startup+3.10118 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 2283
/proc/meminfo: memFree=1232232/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=22024 CPUtime=3.09
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 7329 0 0 0 305 4 0 0 25 0 1 0 146490679 22552576 5343 1992294400 134512640 135151029 4294956240 18446744073709551615 134520187 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 5506 5343 79 155 0 5349 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22024

[startup+6.30177 s]
/proc/loadavg: 0.96 0.98 0.94 2/65 2283
/proc/meminfo: memFree=1231016/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=25060 CPUtime=6.29
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 8069 0 0 0 623 6 0 0 25 0 1 0 146490679 25661440 6083 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 6265 6083 79 155 0 6108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25060

[startup+12.7019 s]
/proc/loadavg: 0.96 0.98 0.94 2/65 2283
/proc/meminfo: memFree=1225256/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=29092 CPUtime=12.68
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 9260 0 0 0 1262 6 0 0 25 0 1 0 146490679 29790208 7078 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 7273 7078 79 155 0 7116 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29092

[startup+25.5013 s]
/proc/loadavg: 0.97 0.98 0.94 2/65 2283
/proc/meminfo: memFree=1220968/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=33220 CPUtime=25.48
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 11063 0 0 0 2540 8 0 0 25 0 1 0 146490679 34017280 8130 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 8305 8130 79 155 0 8148 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33220

[startup+51.102 s]
/proc/loadavg: 0.98 0.98 0.94 2/65 2283
/proc/meminfo: memFree=1214248/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=40652 CPUtime=51.08
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 14420 0 0 0 5096 12 0 0 25 0 1 0 146490679 41627648 9985 1992294400 134512640 135151029 4294956240 18446744073709551615 134554848 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 10163 9985 79 155 0 10006 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40652

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 2283
/proc/meminfo: memFree=1183848/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=70256 CPUtime=102.26
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 24832 0 0 0 10205 21 0 0 25 0 1 0 146490679 71942144 17390 1992294400 134512640 135151029 4294956240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 17564 17390 79 155 0 17407 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70256

[startup+162.301 s]
/proc/loadavg: 1.05 1.00 0.95 2/65 2283
/proc/meminfo: memFree=1150120/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=103924 CPUtime=162.23
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 34942 0 0 0 16192 31 0 0 25 0 1 0 146490679 106418176 25801 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 25981 25801 79 155 0 25824 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 103924

[startup+222.301 s]
/proc/loadavg: 1.07 1.01 0.95 2/65 2283
/proc/meminfo: memFree=1128040/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=125916 CPUtime=222.22
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 41950 0 0 0 22183 39 0 0 25 0 1 0 146490679 128937984 31306 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 31479 31306 79 155 0 31322 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 125916

[startup+282.301 s]
/proc/loadavg: 1.07 1.02 0.96 2/65 2283
/proc/meminfo: memFree=1128040/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=125920 CPUtime=282.2
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 43456 0 0 0 28180 40 0 0 25 0 1 0 146490679 128942080 31308 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 31480 31308 79 155 0 31323 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 125920

[startup+342.301 s]
/proc/loadavg: 1.07 1.03 0.96 2/65 2283
/proc/meminfo: memFree=1118384/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=135596 CPUtime=342.18
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 47372 0 0 0 34174 44 0 0 25 0 1 0 146490679 138850304 33721 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 33899 33721 79 155 0 33742 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 135596

[startup+402.301 s]
/proc/loadavg: 1.06 1.04 0.97 2/65 2283
/proc/meminfo: memFree=1118320/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=135596 CPUtime=402.16
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 49629 0 0 0 40171 45 0 0 25 0 1 0 146490679 138850304 33725 1992294400 134512640 135151029 4294956240 18446744073709551615 134574571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 33899 33725 79 155 0 33742 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 135596

[startup+462.301 s]
/proc/loadavg: 1.06 1.04 0.97 2/65 2283
/proc/meminfo: memFree=1108976/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=145304 CPUtime=462.14
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 52966 0 0 0 46165 49 0 0 25 0 1 0 146490679 148791296 36114 1992294400 134512640 135151029 4294956240 18446744073709551615 134522083 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 36326 36114 79 155 0 36169 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 145304

[startup+522.302 s]
/proc/loadavg: 1.02 1.03 0.97 2/65 2283
/proc/meminfo: memFree=1094448/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=159808 CPUtime=522.12
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 57185 0 0 0 52159 53 0 0 25 0 1 0 146490679 163643392 39745 1992294400 134512640 135151029 4294956240 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 39952 39745 79 155 0 39795 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 159808

[startup+582.301 s]
/proc/loadavg: 1.01 1.02 0.97 2/65 2285
/proc/meminfo: memFree=1094256/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=159468 CPUtime=582.1
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 58639 0 0 0 58156 54 0 0 25 0 1 0 146490679 163295232 39695 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 39867 39695 79 155 0 39710 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 159468

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 0.97 2/65 2285
/proc/meminfo: memFree=1085040/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=168884 CPUtime=642.08
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 62478 0 0 0 64150 58 0 0 25 0 1 0 146490679 172937216 42030 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 42221 42030 79 155 0 42064 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 168884

[startup+702.301 s]

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

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9099.23
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 219938 0 0 0 909656 267 0 0 25 0 1 0 146490679 755339264 183892 1992294400 134512640 135151029 4294956240 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183892 79 155 0 184252 0
Current children cumulated CPU time (s) 9099.23
Current children cumulated vsize (KiB) 737636

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9159.2
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 219938 0 0 0 915653 267 0 0 25 0 1 0 146490679 755339264 183892 1992294400 134512640 135151029 4294956240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183892 79 155 0 184252 0
Current children cumulated CPU time (s) 9159.2
Current children cumulated vsize (KiB) 737636

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9219.19
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 220134 0 0 0 921652 267 0 0 25 0 1 0 146490679 755339264 183892 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183892 79 155 0 184252 0
Current children cumulated CPU time (s) 9219.19
Current children cumulated vsize (KiB) 737636

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9279.16
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 220134 0 0 0 927649 267 0 0 25 0 1 0 146490679 755339264 183892 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183892 79 155 0 184252 0
Current children cumulated CPU time (s) 9279.16
Current children cumulated vsize (KiB) 737636

[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9339.15
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 220134 0 0 0 933647 268 0 0 25 0 1 0 146490679 755339264 183892 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183892 79 155 0 184252 0
Current children cumulated CPU time (s) 9339.15
Current children cumulated vsize (KiB) 737636

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9399.13
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 220134 0 0 0 939645 268 0 0 25 0 1 0 146490679 755339264 183892 1992294400 134512640 135151029 4294956240 18446744073709551615 134554668 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183892 79 155 0 184252 0
Current children cumulated CPU time (s) 9399.13
Current children cumulated vsize (KiB) 737636

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9459.11
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 220134 0 0 0 945643 268 0 0 25 0 1 0 146490679 755339264 183892 1992294400 134512640 135151029 4294956240 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183892 79 155 0 184252 0
Current children cumulated CPU time (s) 9459.11
Current children cumulated vsize (KiB) 737636

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514800/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9519.08
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 220732 0 0 0 951640 268 0 0 25 0 1 0 146490679 755339264 183902 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183902 79 155 0 184252 0
Current children cumulated CPU time (s) 9519.08
Current children cumulated vsize (KiB) 737636

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514800/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9579.07
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 220732 0 0 0 957638 269 0 0 25 0 1 0 146490679 755339264 183902 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183902 79 155 0 184252 0
Current children cumulated CPU time (s) 9579.07
Current children cumulated vsize (KiB) 737636

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514800/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9639.05
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221320 0 0 0 963636 269 0 0 25 0 1 0 146490679 755339264 183902 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183902 79 155 0 184252 0
Current children cumulated CPU time (s) 9639.05
Current children cumulated vsize (KiB) 737636

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514800/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9699.02
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221517 0 0 0 969633 269 0 0 25 0 1 0 146490679 755339264 183903 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183903 79 155 0 184252 0
Current children cumulated CPU time (s) 9699.02
Current children cumulated vsize (KiB) 737636

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514800/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9759
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221518 0 0 0 975631 269 0 0 25 0 1 0 146490679 755339264 183904 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183904 79 155 0 184252 0
Current children cumulated CPU time (s) 9759
Current children cumulated vsize (KiB) 737636

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9818.99
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221714 0 0 0 981629 270 0 0 25 0 1 0 146490679 755339264 183904 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183904 79 155 0 184252 0
Current children cumulated CPU time (s) 9818.99
Current children cumulated vsize (KiB) 737636

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9878.97
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221714 0 0 0 987627 270 0 0 25 0 1 0 146490679 755339264 183904 1992294400 134512640 135151029 4294956240 18446744073709551615 134554825 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183904 79 155 0 184252 0
Current children cumulated CPU time (s) 9878.97
Current children cumulated vsize (KiB) 737636

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9938.94
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221714 0 0 0 993624 270 0 0 25 0 1 0 146490679 755339264 183904 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183904 79 155 0 184252 0
Current children cumulated CPU time (s) 9938.94
Current children cumulated vsize (KiB) 737636

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=9998.93
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221714 0 0 0 999623 270 0 0 25 0 1 0 146490679 755339264 183904 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183904 79 155 0 184252 0
Current children cumulated CPU time (s) 9998.93
Current children cumulated vsize (KiB) 737636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=737636 CPUtime=10000
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4194304 221714 0 0 0 999733 270 0 0 25 0 1 0 146490679 755339264 183904 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2282/statm: 184409 183904 79 155 0 184252 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 737636

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

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

[startup+10003.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2307
/proc/meminfo: memFree=514864/2055920 swapFree=4180836/4192956
[pid=2282] ppid=2280 vsize=0 CPUtime=10000.1
/proc/2282/stat : 2282 (precosat) R 2280 2282 2209 0 -1 4195332 221714 0 0 0 999733 280 0 0 25 0 1 0 146490679 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/2282/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.5
CPU time (s): 10000.2
CPU user time (s): 9997.33
CPU system time (s): 2.82657
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 745352

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

runsolver used 7.75782 second user time and 21.3708 second system time

The end

Launcher Data 

Begin job on node2 at 2009-05-01 15:29:26
IDJOB=1773461
IDBENCH=69598
IDSOLVER=607
FILE ID=node2/1773461-1241184565
PBS_JOBID= 9224600
Free space on /tmp= 66248 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-4.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773461-1241184565/watcher-1773461-1241184565 -o /tmp/evaluation-result-1773461-1241184565/solver-1773461-1241184565 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1773461-1241184565.cnf

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

MD5SUM BENCH= f43e1bf70d9ce8021bafd328efc83ae7
RANDOM SEED=310965373

node2.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.265
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.265
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:       1254096 kB
Buffers:         78956 kB
Cached:         614900 kB
SwapCached:       5932 kB
Active:          26700 kB
Inactive:       675460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1254096 kB
SwapTotal:     4192956 kB
SwapFree:      4180836 kB
Dirty:            4884 kB
Writeback:           0 kB
Mapped:          14024 kB
Slab:            85592 kB
Committed_AS:   884484 kB
PageTables:       1468 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= 66248 MiB
End job on node2 at 2009-05-01 18:16:11