Trace number 1773851

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 10003.5

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray32_32.cnf
MD5SUMb7a07371a2da4a8c8bef63c213dd1e15
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 variables72202
Number of clauses213533
Sum of the clauses size498241
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2142354
Number of clauses of size 371177
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-1773851-1241186950.cnf
0.00/0.00	c found header 'p cnf 72202 213533'
0.28/0.39	c finished parsing
0.28/0.39	c
0.28/0.39	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.28/0.39	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.28/0.39	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.28/0.39	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.28/0.39	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.28/0.39	c --random=1 --spread=2000 --seed=0 --skip=25
0.28/0.39	c
0.28/0.39	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.28/0.39	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.28/0.39	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.28/0.39	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.28/0.39	c
0.28/0.39	c starting search after 0.4 seconds
0.28/0.39	c no decision limit
0.39/0.40	c
0.39/0.40	c       original/binary      fixed     eliminated      learned       agility
0.39/0.40	c   seconds        variables     equivalent    conflicts       height       MB
0.39/0.40	c
0.39/0.40	c *    0.4   213531   72200      2     0      0       0      0    0.0   0   19
2.88/2.91	c s    2.9    65993   10214  41011  1557  19420       0      0    0.0   0   11
2.88/2.91	c l    2.9    65993   10214  41011  1557  19420       0  52395    0.0   0   11
2.88/2.94	c R    2.9    65999   10214  41011  1557  19420     101    101  569.0  14   12
2.88/2.96	c R    3.0    66023   10214  41011  1557  19420     201    195  517.6  10   12
2.98/3.09	c B    3.1    66183   10213  41012  1557  19420    1001    982  480.6  16   12
3.08/3.19	c R    3.2    66249   10213  41012  1557  19420    1437   1418  494.6   9   12
3.39/3.45	c B    3.5    66408   10213  41012  1557  19420    2001   1968  508.6   8   12
3.68/3.74	c R    3.7    66578   10213  41012  1557  19420    3044   2997  568.6   4   12
5.08/5.19	c B    5.2    72587   10201  41024  1557  19420    8004   7896  550.5   8   14
5.50/5.56	c s    5.6    71809   10199  41025  1558  19420    9115   8903  546.7   7   13
5.50/5.56	c -    5.6    71809   10199  41025  1558  19420    9115  51872  546.7   7   13
8.59/8.67	c B    8.7    74191   10161  41062  1559  19420   24008  23684  523.5  34   16
8.59/8.69	c N    8.7    74191   10161  41062  1559  19420   24159  23835  523.7  37   16
9.09/9.15	c s    9.2    73629   10161  41062  1559  19420   26740  26226  525.5  15   15
10.39/10.48	c N   10.5    74035   10152  41071  1559  19420   33782  33246  539.2  36   17
13.99/14.06	c +   14.1    75331   10129  41094  1559  19420   51873  57059  542.0  34   21
15.59/15.63	c s   15.6    71772   10100  41102  1559  19441   55105  48664  543.7  33   18
15.59/15.63	c -   15.6    71772   10100  41102  1559  19441   55105  56489  543.7  33   18
17.39/17.42	c
17.39/17.42	c       original/binary      fixed     eliminated      learned       agility
17.39/17.42	c   seconds        variables     equivalent    conflicts       height       MB
17.39/17.42	c
17.39/17.42	c B   17.4    72206   10099  41103  1559  19441   64014  56746  540.2  16   21
17.39/17.46	c +   17.5    72206   10099  41103  1559  19441   64193  62137  540.3  27   21
21.09/21.14	c +   21.1    72989   10092  41109  1560  19441   80240  68350  542.9  13   23
22.78/22.86	c s   22.9    73219   10075  41125  1561  19441   85460  67392  543.4   4   21
26.98/27.01	c +   27.0    74000   10055  41144  1562  19441  100300  75185  545.7   3   25
33.37/33.47	c +   33.5    75300   10048  41151  1562  19441  125376  82703  553.0  36   27
34.67/34.72	c s   34.7    73138   10027  41151  1562  19462  126924  76867  552.6  11   23
36.57/36.65	c R   36.6    73380   10020  41158  1562  19462  134529  83034  555.5  10   27
42.17/42.29	c +   42.3    73928   10018  41159  1563  19462  156720  90973  563.4  33   29
42.87/42.99	c B   43.0    74046   10018  41159  1563  19462  160033  88378  565.4  21   29
47.27/47.36	c s   47.3    74229   10006  41166  1563  19467  175171  92849  569.6  35   27
52.86/52.96	c +   52.9    74542   10000  41172  1563  19467  195900 100070  573.7  14   31
63.86/63.98	c s   64.0    74822    9991  41176  1564  19471  229867 103421  575.9  33   30
68.16/68.28	c +   68.3    74883    9990  41177  1564  19471  244875 110077  578.7  35   33
79.35/79.40	c s   79.4    75176    9988  41178  1564  19472  281207 110283  582.4   9   30
80.05/80.12	c N   80.1    75179    9988  41178  1564  19472  283864 111028  582.8  36   32
86.75/86.89	c +   86.9    75253    9988  41178  1564  19472  306091 121084  586.2  16   35
99.55/99.63	c s   99.6    75404    9983  41182  1564  19473  346451 122110  587.6  33   34
110.15/110.21	c +  110.2    75547    9981  41184  1564  19473  382610 133192  590.9  31   40
110.65/110.70	c
110.65/110.70	c       original/binary      fixed     eliminated      learned       agility
110.65/110.70	c   seconds        variables     equivalent    conflicts       height       MB
110.65/110.70	c
110.65/110.70	c B  110.7    75548    9981  41184  1564  19473  384069 127396  590.9  27   40
115.05/115.10	c N  115.1    75557    9981  41184  1564  19473  399221 142056  593.5  26   44
125.44/125.57	c s  125.5    75514    9979  41184  1564  19475  427188 169989  597.4  31   49
143.83/143.97	c +  143.9    75707    9979  41184  1564  19475  478261 146511  600.2  16   48
156.33/156.42	c s  156.4    75819    9975  41187  1564  19476  505208 146622  598.0   6   44
187.22/187.36	c s  187.3    76074    9975  41187  1564  19476  589858 172374  601.8  33   48
190.32/190.49	c +  190.4    76090    9975  41187  1564  19476  597825 161162  602.1  30   50
211.41/211.52	c N  211.4    76165    9974  41187  1565  19476  655613 174767  606.9  35   56
221.71/221.88	c s  221.8    76247    9955  41187  1579  19481  707900 221365  605.6  25   58
238.30/238.45	c +  238.4    76332    9954  41188  1579  19481  747281 177278  609.6  35   52
264.09/264.25	c s  264.2    76373    9951  41189  1579  19483  816870 186993  614.5  32   49
289.99/290.14	c B  290.0    76392    9951  41189  1579  19483  896167 192605  621.7  32   61
305.98/306.15	c +  306.0    76400    9951  41189  1579  19483  934100 195005  624.6  35   71
306.78/306.92	c s  306.8    76400    9951  41189  1579  19483  934149 225929  624.6  34   62
345.96/346.18	c s  346.1    76495    9938  41191  1581  19492 1039144 195252  628.6  28   53
395.15/395.39	c s  395.3    76580    9931  41193  1581  19497 1148949 195468  633.6  28   51
399.65/399.81	c +  399.7    76615    9931  41193  1581  19497 1167626 214505  634.8  28   54
413.94/414.15	c R  414.0    77757    9929  41195  1581  19497 1219552 223202  638.8  22   67
429.34/429.59	c s  429.4    77796    9925  41195  1581  19501 1252619 208937  639.7  29   57
478.82/479.04	c
478.82/479.04	c       original/binary      fixed     eliminated      learned       agility
478.82/479.04	c   seconds        variables     equivalent    conflicts       height       MB
478.82/479.04	c
478.82/479.04	c s  478.9    77951    9925  41195  1581  19501 1354576 231817  644.0  10   76
514.21/514.48	c +  514.3    78058    9925  41195  1581  19501 1459533 235955  644.8  23   80
523.21/523.49	c s  523.3    78085    9925  41195  1581  19501 1478036 235131  644.9  11   73
596.39/596.60	c s  596.4    78173    9919  41197  1581  19505 1611861 237662  647.2  14   64
667.96/668.28	c s  668.1    78235    9919  41197  1581  19505 1733249 237223  647.0  31   66
725.83/726.15	c +  725.9    78256    9919  41197  1581  19505 1824415 259550  651.2  26   89
761.33/761.67	c s  761.4    78288    9919  41197  1581  19505 1870154 293382  651.7  15   81
829.11/829.43	c s  829.1    78447    9911  41197  1582  19512 2000399 260823  650.1  30   69
854.80/855.15	c B  854.9    78493    9911  41197  1582  19512 2048353 260737  650.8  24   75
897.19/897.53	c s  897.2    78502    9908  41197  1583  19514 2138655 260916  653.9  31   67
974.26/974.63	c s  974.3    78535    9908  41197  1583  19514 2277585 295783  657.5  24   86
975.36/975.71	c +  975.4    78540    9908  41197  1583  19514 2280517 285505  657.6  23   90
1068.22/1068.64	c s 1068.3    78579    9906  41197  1584  19515 2433419 334018  662.7  24  100
1078.32/1078.71	c N 1078.3    78606    9906  41197  1584  19515 2449852 327533  663.2  31  106
1203.68/1204.19	c s 1203.8    78619    9906  41197  1584  19515 2578719 236444  667.9  17   86
1237.27/1237.77	c s 1237.3    78801    9901  41198  1584  19519 2672695 286678  664.8  33   88
1314.34/1314.80	c s 1314.4    79076    9899  41198  1585  19520 2833181 286195  665.8   5   67
1320.24/1320.76	c + 1320.3    79079    9899  41198  1585  19520 2850645 314055  665.8  34   74
1417.60/1418.19	c s 1417.7    79132    9899  41198  1585  19520 3008309 358862  665.6  35   90
1560.96/1561.59	c
1560.96/1561.59	c       original/binary      fixed     eliminated      learned       agility
1560.96/1561.59	c   seconds        variables     equivalent    conflicts       height       MB
1560.96/1561.59	c
1560.96/1561.59	c s 1561.1    79191    9899  41198  1585  19520 3207595 373099  668.9  24   97
1688.32/1688.98	c s 1688.4    79223    9899  41198  1585  19520 3374264 366626  671.3  29  106
1823.87/1824.53	c s 1823.9    79286    9899  41198  1585  19520 3551199 378408  670.9  33  114
1834.36/1835.09	c + 1834.5    79293    9899  41198  1585  19520 3563306 345460  670.3  35  113
1950.63/1951.34	c s 1950.7    79353    9899  41198  1585  19520 3734492 414084  671.5  29  117
2085.58/2086.34	c s 2085.6    79399    9899  41198  1585  19520 3937902 347124  671.9  32  103
2202.34/2203.18	c s 2202.4    79391    9892  41198  1586  19526 4111232 350525  671.3  30   99
2285.31/2286.16	c s 2285.4    79567    9892  41198  1586  19526 4274021 347260  673.1  19   92
2379.59/2380.43	c s 2379.6    79620    9889  41198  1587  19528 4434546 356323  674.1  28   94
2389.58/2390.47	c + 2389.7    79620    9889  41198  1587  19528 4454131 380006  674.3  30   99
2482.55/2483.42	c B 2482.6    79778    9888  41198  1588  19528 4608701 381764  674.9  34  112
2485.94/2486.87	c s 2486.0    79768    9887  41198  1588  19529 4609328 381700  674.9  31   96
2595.11/2596.03	c s 2595.1    79784    9887  41198  1588  19529 4776486 399934  677.2  24  111
2679.08/2680.07	c s 2679.2    79811    9885  41198  1590  19529 5053114 431739  678.8  13  124
2709.27/2710.21	c N 2709.3    79827    9884  41198  1591  19529 5115202 452564  679.8  27  142
2806.73/2807.76	c s 2806.8    79847    9883  41198  1592  19529 5276441 496628  682.4  19  138
2919.89/2920.90	c + 2919.9    79907    9882  41198  1593  19529 5567660 418006  683.7  23  173
2943.29/2944.33	c s 2943.3    79892    9880  41198  1594  19530 5592290 426062  683.2   9  126
3098.04/3099.15	c s 3098.1    79911    9877  41198  1596  19531 5793399 419511  683.3  31  124
3274.47/3275.67	c
3274.47/3275.67	c       original/binary      fixed     eliminated      learned       agility
3274.47/3275.67	c   seconds        variables     equivalent    conflicts       height       MB
3274.47/3275.67	c
3274.47/3275.67	c s 3274.6    79945    9875  41198  1597  19532 5995718 474574  684.6  31  136
3463.51/3464.75	c s 3463.6    79999    9872  41198  1600  19532 6209073 447305  685.2   7  129
3644.65/3645.90	c s 3644.7    80169    9872  41198  1600  19532 6411172 419334  684.9  30  114
3793.90/3795.22	c s 3793.9    80185    9872  41198  1600  19532 6624798 473855  685.9  27  144
3951.24/3952.64	c s 3951.3    80340    9872  41198  1600  19532 6833094 420396  683.6  33  122
4038.22/4039.67	c + 4038.3    80344    9872  41198  1600  19532 6959577 459806  683.0  18  134
4078.60/4080.09	c s 4078.7    80354    9872  41198  1600  19532 7036174 466891  683.1  13  123
4210.95/4212.48	c s 4211.1    80372    9872  41198  1600  19532 7271791 460625  683.4  10  127
4360.01/4361.50	c s 4360.0    80410    9872  41198  1600  19532 7485245 460867  683.4   6  124
4664.40/4666.04	c s 4664.5    80421    9872  41198  1600  19532 7733672 598030  685.8  21  185
5007.89/5009.67	c s 5008.0    80690    9872  41198  1600  19532 8005391 439339  686.3  30  143
5189.73/5191.56	c s 5189.8    80580    9859  41198  1602  19543 8214041 486980  685.8  26  142
5360.37/5362.20	c s 5360.4    81232    9859  41198  1602  19543 8440288 462435  686.0  32  119
5561.90/5563.80	c s 5561.9    81785    9859  41198  1602  19543 8691003 464981  684.8  32  120
5569.40/5571.38	c + 5569.5    81786    9859  41198  1602  19543 8699473 505786  684.7  30  129
5753.93/5755.93	c s 5754.0    81867    9859  41198  1602  19543 8910781 506469  684.0  12  124
5962.87/5964.98	c s 5963.0    81896    9859  41198  1602  19543 9108378 617290  684.7  27  176
6265.77/6267.95	c s 6265.8    81952    9859  41198  1602  19543 9375125 568913  684.6  32  178
6545.47/6547.76	c s 6545.5    81961    9859  41198  1602  19543 9644735 570158  686.0  32  177
6793.68/6796.08	c
6793.68/6796.08	c       original/binary      fixed     eliminated      learned       agility
6793.68/6796.08	c   seconds        variables     equivalent    conflicts       height       MB
6793.68/6796.08	c
6793.68/6796.08	c s 6793.8    81334    9852  41198  1603  19549 9896471 507280  686.7  28  166
7003.71/7006.18	c s 7003.8    81355    9852  41198  1603  19549 10111042 537556  687.4  27  162
7132.07/7134.52	c B 7132.1    81355    9852  41198  1603  19549 10241439 631496  688.9  23  220
7343.49/7346.07	c s 7343.6    81356    9852  41198  1603  19549 10449693 457730  690.5  21  177
7387.88/7390.43	c s 7387.9    81436    9852  41198  1603  19549 10578370 583296  688.4   9  202
7755.26/7757.97	c s 7755.3    81438    9852  41198  1603  19549 10816006 748860  689.3  29  285
7767.15/7769.89	c R 7767.3    81441    9852  41198  1603  19549 10855630 629802  689.2  16  240
7926.30/7929.07	c s 7926.4    81829    9852  41198  1603  19549 11102832 753427  690.0  20  245
8198.51/8201.34	c s 8198.6    81851    9852  41198  1603  19549 11469988 595957  692.8  21  181
8334.46/8337.34	c s 8334.5    82096    9852  41198  1603  19549 11722220 681800  693.3   9  201
8605.07/8608.09	c s 8605.2    82123    9852  41198  1603  19549 12018846 534473  692.4  31  148
8845.89/8848.94	c s 8845.9    82154    9852  41198  1603  19549 12260356 543126  692.8  11  156
9114.80/9117.96	c s 9114.9    82204    9852  41198  1603  19549 12504022 507094  693.0   9  151
9257.75/9260.91	c s 9257.8    82244    9852  41198  1603  19549 12760727 507161  692.4  12  132
9423.79/9427.07	c s 9423.9    82292    9852  41198  1603  19549 12977665 506936  691.6   5  123
9612.84/9616.16	c s 9612.9    82314    9852  41198  1603  19549 13212244 507346  691.4   8  129
9831.76/9835.19	c s 9831.9    82257    9844  41198  1604  19556 13439515 507447  692.7  31  149
10000.01/10003.40	c
10000.01/10003.40	c *** CAUGHT SIGNAL 15 ***
10000.01/10003.40	c
10000.01/10003.40	c 13603899 conflicts, 43026162 decisions, 5921 random
10000.01/10003.40	c 21 iterations, 6465 restarts, 14404 skipped
10000.01/10003.40	c 24 enlarged, 1299 shrunken, 133000 rescored, 2575 rebiased
10000.01/10003.40	c 78 simplifications, 4 reductions
10000.01/10003.40	c
10000.01/10003.40	c vars: 41198 fixed, 1604 equiv, 19556 elim, 1641 merged
10000.01/10003.40	c elim: 9588355 resolutions, 32 phases, 32 rounds
10000.01/10003.40	c sbst: 87% substituted, 0.0% nots, 99.2% ands, 0.8% xors, 0.0% ites
10000.01/10003.40	c arty: 2.04 and 2.00 xor average arity
10000.01/10003.40	c prbe: 7147498 probed, 691 phases, 357 rounds
10000.01/10003.40	c prbe: 178 failed, 40855 lifted, 286 merged
10000.01/10003.40	c sccs: 0 non trivial, 0 fixed, 0 merged
10000.01/10003.40	c hash: 9 units, 1355 merged
10000.01/10003.40	c mins: 838279325 learned, 22% deleted, 4619 strong, 245 depth
10000.01/10003.40	c subs: 14556 forward, 7776 backward, 18463 doms
10000.01/10003.40	c strs: 3662 forward, 668 backward
10000.01/10003.40	c doms: 42060 dominators, 13597 high, 5 low
10000.01/10003.40	c prps: 1381222632 propagations, 0.14 megaprops
10000.01/10003.40	c
10000.01/10003.40	c 10000.0 seconds, 303 MB max, 3396 MB recycled
10000.01/10003.40	c
10000.01/10003.40	c *** CAUGHT SIGNAL 15 ***
10000.01/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-1773851-1241186950/watcher-1773851-1241186950 -o /tmp/evaluation-result-1773851-1241186950/solver-1773851-1241186950 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773851-1241186950.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.84 0.95 0.90 3/64 29515
/proc/meminfo: memFree=910200/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=3624 CPUtime=0
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 682 0 0 0 0 0 0 0 18 0 1 0 146728848 3710976 667 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/29515/statm: 906 668 59 155 0 749 0

[startup+0.0960791 s]
/proc/loadavg: 0.84 0.95 0.90 3/64 29515
/proc/meminfo: memFree=910200/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=10804 CPUtime=0.08
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 2663 0 0 0 7 1 0 0 18 0 1 0 146728848 11063296 2550 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 2734 2551 63 155 0 2577 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10804

[startup+0.10108 s]
/proc/loadavg: 0.84 0.95 0.90 3/64 29515
/proc/meminfo: memFree=910200/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=11068 CPUtime=0.09
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 2722 0 0 0 8 1 0 0 18 0 1 0 146728848 11333632 2609 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 2767 2610 63 155 0 2610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11068

[startup+0.301116 s]
/proc/loadavg: 0.84 0.95 0.90 3/64 29515
/proc/meminfo: memFree=910200/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=19236 CPUtime=0.28
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 4877 0 0 0 26 2 0 0 19 0 1 0 146728848 19697664 4635 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 4809 4635 63 155 0 4652 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19236

[startup+0.70119 s]
/proc/loadavg: 0.84 0.95 0.90 3/64 29515
/proc/meminfo: memFree=910200/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=27060 CPUtime=0.69
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 7012 0 0 0 66 3 0 0 22 0 1 0 146728848 27709440 6512 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 6765 6512 79 155 0 6608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27060

[startup+1.50134 s]
/proc/loadavg: 0.84 0.95 0.90 2/65 29516
/proc/meminfo: memFree=882544/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=27008 CPUtime=1.49
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 7839 0 0 0 145 4 0 0 25 0 1 0 146728848 27656192 6543 1992294400 134512640 135151029 4294956240 18446744073709551615 134673026 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 6752 6543 79 155 0 6595 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27008

[startup+3.10163 s]
/proc/loadavg: 0.84 0.95 0.90 2/65 29516
/proc/meminfo: memFree=879472/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=27988 CPUtime=3.08
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 9543 0 0 0 304 4 0 0 25 0 1 0 146728848 28659712 6753 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 6997 6753 79 155 0 6840 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27988

[startup+6.30122 s]
/proc/loadavg: 0.85 0.95 0.90 2/65 29516
/proc/meminfo: memFree=882944/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=27988 CPUtime=6.29
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 9826 0 0 0 624 5 0 0 25 0 1 0 146728848 28659712 6753 1992294400 134512640 135151029 4294956240 18446744073709551615 134577440 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 6997 6753 79 155 0 6840 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27988

[startup+12.7014 s]
/proc/loadavg: 0.87 0.95 0.90 2/65 29516
/proc/meminfo: memFree=882944/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=27992 CPUtime=12.69
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 10110 0 0 0 1264 5 0 0 25 0 1 0 146728848 28663808 6754 1992294400 134512640 135151029 4294956240 18446744073709551615 134554829 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 6998 6754 79 155 0 6841 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27992

[startup+25.5018 s]
/proc/loadavg: 0.89 0.95 0.90 2/65 29516
/proc/meminfo: memFree=882944/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=27992 CPUtime=25.48
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 11526 0 0 0 2542 6 0 0 25 0 1 0 146728848 28663808 6754 1992294400 134512640 135151029 4294956240 18446744073709551615 134567933 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 6998 6754 79 155 0 6841 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27992

[startup+51.1015 s]
/proc/loadavg: 0.93 0.96 0.90 2/65 29516
/proc/meminfo: memFree=876672/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=34540 CPUtime=51.06
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 15415 0 0 0 5098 8 0 0 25 0 1 0 146728848 35368960 8377 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 8635 8377 79 155 0 8478 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 34540

[startup+102.306 s]
/proc/loadavg: 0.97 0.96 0.91 2/65 29516
/proc/meminfo: memFree=867392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=43612 CPUtime=102.26
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 21052 0 0 0 10214 12 0 0 25 0 1 0 146728848 44658688 10639 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 10903 10639 79 155 0 10746 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 43612

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=852096/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=58792 CPUtime=162.23
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 27369 0 0 0 16206 17 0 0 25 0 1 0 146728848 60203008 14464 1992294400 134512640 135151029 4294956240 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 14698 14464 79 155 0 14541 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 58792

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=839104/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=71840 CPUtime=222.21
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 31869 0 0 0 22201 20 0 0 25 0 1 0 146728848 73564160 17690 1992294400 134512640 135151029 4294956240 18446744073709551615 134554562 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 17960 17690 79 155 0 17803 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 71840

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=839040/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=71840 CPUtime=282.19
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 32876 0 0 0 28198 21 0 0 25 0 1 0 146728848 73564160 17706 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 17960 17706 79 155 0 17803 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 71840

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=834624/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=76544 CPUtime=342.17
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 34298 0 0 0 34195 22 0 0 25 0 1 0 146728848 78381056 18845 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 19136 18845 79 155 0 18979 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 76544

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=834624/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=76016 CPUtime=402.15
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 36568 0 0 0 40192 23 0 0 25 0 1 0 146728848 77840384 18782 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 19004 18782 79 155 0 18847 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 76016

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=826560/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=84656 CPUtime=462.13
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 39821 0 0 0 46186 27 0 0 25 0 1 0 146728848 86687744 20902 1992294400 134512640 135151029 4294956240 18446744073709551615 134520387 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 21164 20902 79 155 0 21007 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 84656

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=815232/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=96848 CPUtime=522.11
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 43218 0 0 0 52181 30 0 0 25 0 1 0 146728848 99172352 23723 1992294400 134512640 135151029 4294956240 18446744073709551615 134554803 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 24212 23723 79 155 0 24055 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 96848

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=815232/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=95876 CPUtime=582.09
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 43691 0 0 0 58179 30 0 0 25 0 1 0 146728848 98177024 23689 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 23969 23689 79 155 0 23812 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 95876

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 29516
/proc/meminfo: memFree=815296/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=95808 CPUtime=642.07
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 44865 0 0 0 64176 31 0 0 25 0 1 0 146728848 98107392 23669 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 23952 23669 79 155 0 23795 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 95808

[startup+702.302 s]

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

[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9039.22
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112578 0 0 0 903814 108 0 0 25 0 1 0 146728848 321818624 78278 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78278 79 155 0 78412 0
Current children cumulated CPU time (s) 9039.22
Current children cumulated vsize (KiB) 314276

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595456/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9099.2
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112578 0 0 0 909812 108 0 0 25 0 1 0 146728848 321818624 78278 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78278 79 155 0 78412 0
Current children cumulated CPU time (s) 9099.2
Current children cumulated vsize (KiB) 314276

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9159.18
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112604 0 0 0 915810 108 0 0 25 0 1 0 146728848 321818624 78304 1992294400 134512640 135151029 4294956240 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78304 79 155 0 78412 0
Current children cumulated CPU time (s) 9159.18
Current children cumulated vsize (KiB) 314276

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595456/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9219.16
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112604 0 0 0 921808 108 0 0 25 0 1 0 146728848 321818624 78304 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78304 79 155 0 78412 0
Current children cumulated CPU time (s) 9219.16
Current children cumulated vsize (KiB) 314276

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9279.14
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112604 0 0 0 927806 108 0 0 25 0 1 0 146728848 321818624 78304 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78304 79 155 0 78412 0
Current children cumulated CPU time (s) 9279.14
Current children cumulated vsize (KiB) 314276

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9339.12
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112604 0 0 0 933804 108 0 0 25 0 1 0 146728848 321818624 78304 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78304 79 155 0 78412 0
Current children cumulated CPU time (s) 9339.12
Current children cumulated vsize (KiB) 314276

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9399.1
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112604 0 0 0 939802 108 0 0 25 0 1 0 146728848 321818624 78304 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78304 79 155 0 78412 0
Current children cumulated CPU time (s) 9399.1
Current children cumulated vsize (KiB) 314276

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9459.08
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112604 0 0 0 945800 108 0 0 25 0 1 0 146728848 321818624 78304 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78304 79 155 0 78412 0
Current children cumulated CPU time (s) 9459.08
Current children cumulated vsize (KiB) 314276

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595456/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9519.06
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112604 0 0 0 951798 108 0 0 25 0 1 0 146728848 321818624 78304 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78304 79 155 0 78412 0
Current children cumulated CPU time (s) 9519.06
Current children cumulated vsize (KiB) 314276

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9579.04
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112611 0 0 0 957795 109 0 0 25 0 1 0 146728848 321818624 78311 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78311 79 155 0 78412 0
Current children cumulated CPU time (s) 9579.04
Current children cumulated vsize (KiB) 314276

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9639.02
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112612 0 0 0 963793 109 0 0 25 0 1 0 146728848 321818624 78312 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78312 79 155 0 78412 0
Current children cumulated CPU time (s) 9639.02
Current children cumulated vsize (KiB) 314276

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595328/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9699
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112612 0 0 0 969791 109 0 0 25 0 1 0 146728848 321818624 78312 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78312 79 155 0 78412 0
Current children cumulated CPU time (s) 9699
Current children cumulated vsize (KiB) 314276

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595328/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9758.98
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112612 0 0 0 975789 109 0 0 25 0 1 0 146728848 321818624 78312 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78312 79 155 0 78412 0
Current children cumulated CPU time (s) 9758.98
Current children cumulated vsize (KiB) 314276

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595392/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9818.96
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112612 0 0 0 981787 109 0 0 25 0 1 0 146728848 321818624 78312 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78312 79 155 0 78412 0
Current children cumulated CPU time (s) 9818.96
Current children cumulated vsize (KiB) 314276

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595328/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9878.95
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112617 0 0 0 987786 109 0 0 25 0 1 0 146728848 321818624 78317 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78317 79 155 0 78412 0
Current children cumulated CPU time (s) 9878.95
Current children cumulated vsize (KiB) 314276

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595328/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9938.92
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112617 0 0 0 993783 109 0 0 25 0 1 0 146728848 321818624 78317 1992294400 134512640 135151029 4294956240 18446744073709551615 134555146 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78317 79 155 0 78412 0
Current children cumulated CPU time (s) 9938.92
Current children cumulated vsize (KiB) 314276

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595328/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=9998.9
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112617 0 0 0 999781 109 0 0 25 0 1 0 146728848 321818624 78317 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78317 79 155 0 78412 0
Current children cumulated CPU time (s) 9998.9
Current children cumulated vsize (KiB) 314276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.4 s]
/proc/loadavg: 1.00 1.00 0.94 2/65 29534
/proc/meminfo: memFree=595328/2055920 swapFree=4180196/4192956
[pid=29515] ppid=29513 vsize=314276 CPUtime=10000
/proc/29515/stat : 29515 (precosat) R 29513 29515 29478 0 -1 4194304 112617 0 0 0 999892 109 0 0 25 0 1 0 146728848 321818624 78317 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29515/statm: 78569 78317 79 155 0 78412 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 314276

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.5
CPU time (s): 10000.1
CPU user time (s): 9998.92
CPU system time (s): 1.14283
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 317292

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

runsolver used 7.02993 second user time and 21.2578 second system time

The end

Launcher Data 

Begin job on node7 at 2009-05-01 16:09:10
IDJOB=1773851
IDBENCH=70813
IDSOLVER=607
FILE ID=node7/1773851-1241186950
PBS_JOBID= 9224615
Free space on /tmp= 66480 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773851-1241186950/watcher-1773851-1241186950 -o /tmp/evaluation-result-1773851-1241186950/solver-1773851-1241186950 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1773851-1241186950.cnf

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

MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED=540246410

node7.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.256
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.256
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:        910616 kB
Buffers:         80792 kB
Cached:         965964 kB
SwapCached:       7108 kB
Active:         161880 kB
Inactive:       893236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        910616 kB
SwapTotal:     4192956 kB
SwapFree:      4180196 kB
Dirty:            4312 kB
Writeback:           0 kB
Mapped:          13340 kB
Slab:            76092 kB
Committed_AS:  1010696 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= 66480 MiB
End job on node7 at 2009-05-01 18:55:55