Trace number 1783710

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.06 5001.41

General information on the benchmark

Namecrafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
MD5SUMcd51741c2df34af4fdb8becaf8b3fc51
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1499.75
Satisfiable
(Un)Satisfiability was proved
Number of variables2935
Number of clauses18753
Sum of the clauses size133299
Maximum clause length13
Minimum clause length1
Number of clauses of size 156
Number of clauses of size 2526
Number of clauses of size 32382
Number of clauses of size 4501
Number of clauses of size 5678
Number of clauses of size over 514610

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-1783710-1241874774.cnf
0.00/0.00	c found header 'p cnf 2935 18753'
0.00/0.03	c finished parsing
0.00/0.03	c
0.00/0.03	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.03	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.03	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.03	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.03	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.03	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.03	c
0.00/0.03	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.03	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.03	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.03	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.03	c
0.00/0.03	c starting search after 0.0 seconds
0.00/0.03	c no decision limit
0.00/0.03	c
0.00/0.03	c       original/binary      fixed     eliminated      learned       agility
0.00/0.03	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.03	c
0.00/0.03	c *    0.0    18372    2883     46     6      0       0      0    0.0   0    2
0.19/0.23	c s    0.2    15783    2626     57     0    252       0      0    0.0   0    1
0.19/0.23	c l    0.2    15783    2626     57     0    252       0  14417    0.0   0    1
0.19/0.24	c R    0.2    15798    2626     57     0    252     100     97  230.5   4    2
0.19/0.24	c R    0.2    15799    2626     57     0    252     202    199  315.7   6    2
0.19/0.26	c R    0.3    15824    2626     57     0    252     802    799  262.2  17    2
0.19/0.27	c B    0.3    15829    2626     57     0    252    1000    997  254.9  18    2
0.29/0.30	c B    0.3    15868    2626     57     0    252    2001   1995  220.5  16    2
0.29/0.31	c R    0.3    15876    2626     57     0    252    2413   2407  213.1  18    2
0.39/0.48	c R    0.5    15924    2625     57     1    252    6424   6416  172.8  18    3
0.49/0.56	c B    0.6    15938    2625     57     1    252    8002   7994  165.2  17    3
0.89/0.97	c +    1.0    16135    2625     57     1    252   14417  15858  151.0  16    4
0.99/1.08	c R    1.1    16171    2625     57     1    252   16050  15905  145.8  15    4
1.19/1.23	c s    1.2    16193    2625     57     1    252   17357  15867  158.3  12    4
1.19/1.29	c +    1.3    16199    2625     57     1    252   18020  17443  155.6  17    4
1.59/1.65	c +    1.6    16211    2625     57     1    252   22528  19187  150.8  15    5
1.69/1.77	c B    1.8    16212    2625     57     1    252   24006  18943  146.9  18    5
2.09/2.15	c +    2.2    16251    2625     57     1    252   28160  21105  139.0  18    5
2.79/2.82	c +    2.8    16295    2625     57     1    252   35200  23215  132.7  18    6
3.09/3.14	c
3.09/3.14	c       original/binary      fixed     eliminated      learned       agility
3.09/3.14	c   seconds        variables     equivalent    conflicts       height       MB
3.09/3.14	c
3.09/3.14	c R    3.1    16340    2625     57     1    252   38485  23271  142.0  12    6
3.59/3.63	c +    3.6    16364    2624     57     2    252   44000  25536  135.7  16    6
4.18/4.26	c s    4.3    16424    2624     57     2    252   48552  25538  129.7  18    5
4.98/5.01	c +    5.0    16459    2624     57     2    252   55003  28089  125.4  17    6
5.98/6.04	c B    6.0    16542    2624     57     2    252   64017  28133  121.2  17    7
6.59/6.69	c +    6.7    16671    2624     57     2    252   68753  30897  117.4  18    7
9.09/9.14	c +    9.1    17003    2623     57     3    252   85942  33986  107.6  18    8
9.29/9.32	c s    9.3    16982    2623     57     3    252   86557  31520  107.4  18    6
9.69/9.74	c R    9.7    16984    2623     57     3    252   89781  34034  105.5  19    7
12.39/12.44	c +   12.4    17109    2620     57     6    252  107425  37384  113.7  18    8
15.98/16.04	c s   16.0    17286    2620     57     6    252  127782  37385  107.9  19    7
17.08/17.16	c +   17.2    17298    2620     57     6    252  134280  41122  105.5  17    8
22.29/22.39	c B   22.4    17432    2620     57     6    252  160041  41168  106.2  17   10
24.09/24.14	c +   24.1    17528    2620     57     6    252  167850  45234  105.9  18   10
25.08/25.17	c s   25.2    16556    2574     57     6    298  171341  44662  104.8  18    8
25.08/25.17	c -   25.2    16556    2574     57     6    298  171341  44330  104.8  18    8
33.08/33.12	c R   33.1    16742    2572     57     8    298  205203  44379  100.4  17   10
33.18/33.22	c +   33.2    16743    2572     57     8    298  205614  48763  100.3  18   10
35.19/35.24	c s   35.2    16738    2572     57     8    298  214777  48778   98.7  17    9
46.38/46.47	c
46.38/46.47	c       original/binary      fixed     eliminated      learned       agility
46.38/46.47	c   seconds        variables     equivalent    conflicts       height       MB
46.38/46.47	c
46.38/46.47	c +   46.5    17353    2572     57     8    298  257015  53639   93.2  18   12
47.08/47.12	c s   47.1    17388    2572     57     8    298  258985  50755   92.9  19    9
61.57/61.61	c s   61.6    17581    2551     57     8    319  301406  53646   90.9  17   10
61.57/61.61	c -   61.6    17581    2551     57     8    319  301406  52567   90.9  17   10
66.08/66.12	c +   66.1    17653    2551     57     8    319  314843  57823   89.6  13   12
75.67/75.77	c s   75.8    17721    2551     57     8    319  342579  57861   87.4  18   10
92.27/92.36	c B   92.3    18125    2551     57     8    319  384099  57845   86.3  17   14
92.46/92.52	c s   92.5    18126    2551     57     8    319  384168  57817   86.3  17   10
96.17/96.22	c +   96.2    18137    2551     57     8    319  393550  63605   87.1  18   13
110.66/110.78	c s  110.8    18243    2551     57     8    319  423857  63640   85.6  20   12
127.76/127.87	c R  127.8    18248    2551     57     8    319  461648  63672   88.7  19   15
129.06/129.12	c s  129.1    18265    2551     57     8    319  464616  63614   88.5  17   12
140.16/140.26	c +  140.2    18525    2551     57     8    319  491935  69965   86.5  20   14
146.05/146.15	c s  146.1    18597    2551     57     8    319  503616  70011   85.5  19   12
167.15/167.27	c s  167.2    18973    2551     57     8    319  550579  69996   83.6  17   13
192.04/192.16	c s  192.1    19159    2551     57     8    319  595127  69996   82.2  19   13
205.13/205.24	c +  205.2    19169    2551     57     8    319  614916  76961   81.3  19   16
219.03/219.14	c s  219.1    19235    2551     57     8    319  635137  77015   81.3  18   14
248.82/248.90	c s  248.8    19253    2551     57     8    319  681488  77016   78.9  18   14
274.12/274.27	c
274.12/274.27	c       original/binary      fixed     eliminated      learned       agility
274.12/274.27	c   seconds        variables     equivalent    conflicts       height       MB
274.12/274.27	c
274.12/274.27	c s  274.2    19295    2551     57     8    319  723732  76985   77.9  19   13
301.51/301.62	c s  301.5    19309    2551     57     8    319  766487  77008   77.1  19   13
302.91/303.06	c +  303.0    19310    2551     57     8    319  768646  84657   77.0  18   16
331.90/332.06	c s  332.0    19641    2551     57     8    319  810127  84663   75.4  18   15
365.99/366.15	c s  366.1    19675    2551     57     8    319  854860  84673   73.9  18   15
396.39/396.54	c B  396.4    19760    2551     57     8    319  896234  84660   73.0  18   20
399.19/399.38	c s  399.3    19762    2551     57     8    319  899995  84692   72.9  17   15
434.08/434.21	c s  434.1    19816    2551     57     8    319  943397  84699   71.6  19   15
446.37/446.60	c +  446.5    19841    2551     57     8    319  960805  93122   71.1  19   18
466.77/466.93	c s  466.8    19931    2551     57     8    319  985650  93157   72.0  18   16
500.45/500.69	c R  500.6    19932    2551     57     8    319 1025878  93178   71.4  19   21
503.95/504.11	c s  504.0    19932    2551     57     8    319 1030397  93177   71.2  17   17
537.15/537.35	c s  537.2    19937    2551     57     8    319 1076722  93169   69.7  18   17
572.54/572.77	c s  572.6    19944    2551     57     8    319 1127819 102318   68.1  20   20
618.23/618.46	c s  618.3    20272    2551     57     8    319 1182088  93154   67.9  19   18
635.42/635.69	c +  635.5    20287    2551     57     8    319 1201008 102434   67.4  19   23
660.51/660.77	c s  660.6    20307    2551     57     8    319 1231288 102454   66.7  18   19
711.80/712.06	c s  711.9    20390    2551     57     8    319 1283353 102455   65.5  18   19
759.49/759.73	c s  759.5    20190    2535     57     9    334 1334171 102466   64.9  18   18
759.49/759.73	c
759.49/759.73	c       original/binary      fixed     eliminated      learned       agility
759.49/759.73	c   seconds        variables     equivalent    conflicts       height       MB
759.49/759.73	c
759.49/759.73	c -  759.5    20190    2535     57     9    334 1334171 101410   64.9  18   18
802.57/802.85	c s  802.6    20634    2534     58     9    334 1383594 101433   64.6  18   18
848.16/848.45	c s  848.2    20524    2524     58     9    344 1431633 101449   64.1  19   18
896.45/896.77	c s  896.5    20558    2523     58    10    344 1478191 101454   64.0  19   18
904.96/905.27	c +  905.0    20558    2523     58    10    344 1486248 111551   63.9  19   23
947.33/947.62	c s  947.4    20548    2519     58    10    348 1525992 111584   63.1  20   20
1002.93/1003.28	c s 1003.0    20652    2518     58    11    348 1576686 111605   62.3  19   20
1051.41/1051.76	c s 1051.5    20689    2517     58    11    349 1627287 111579   61.3  19   19
1102.40/1102.73	c s 1102.4    20706    2517     58    11    349 1679435 111604   60.4  19   20
1160.58/1160.95	c s 1160.6    20836    2517     58    11    349 1730908 111590   59.6  20   20
1214.57/1214.93	c s 1214.6    20847    2517     58    11    349 1780796 111596   59.4  19   19
1271.94/1272.34	c s 1272.0    21034    2517     58    11    349 1830545 111610   58.7  19   20
1301.34/1301.75	c + 1301.4    21037    2517     58    11    349 1857813 122706   58.4  22   25
1329.73/1330.14	c s 1329.8    21042    2517     58    11    349 1880161 122746   58.2  19   23
1405.32/1405.77	c s 1405.4    21075    2517     58    11    349 1933665 122748   57.6  19   22
1478.39/1478.89	c s 1478.5    21101    2517     58    11    349 1987040 122749   57.4  19   22
1552.27/1552.74	c s 1552.3    21106    2517     58    11    349 2039981 122760   56.9  19   22
1565.07/1565.51	c B 1565.1    21106    2517     58    11    349 2048447 122736   56.8  19   28
1620.25/1620.77	c s 1620.3    21110    2517     58    11    349 2091794 122731   56.4  20   21
1719.02/1719.56	c
1719.02/1719.56	c       original/binary      fixed     eliminated      learned       agility
1719.02/1719.56	c   seconds        variables     equivalent    conflicts       height       MB
1719.02/1719.56	c
1719.02/1719.56	c s 1719.1    21111    2517     58    11    349 2184392 122727   55.4  19   22
1776.21/1776.70	c s 1776.2    21129    2517     58    11    349 2237772 122739   55.0  18   23
1796.80/1797.34	c R 1796.9    21130    2517     58    11    349 2256607 122752   54.9  19   27
1831.60/1832.12	c s 1831.6    21145    2517     58    11    349 2292374 122730   54.5  19   23
1862.99/1863.52	c + 1863.0    21145    2517     58    11    349 2322266 134976   54.6  19   28
1981.06/1981.65	c s 1981.1    21146    2517     58    11    349 2419361 135030   53.5  18   24
2049.74/2050.31	c s 2049.8    21149    2517     58    11    349 2483188 135022   52.9  19   24
2131.22/2131.81	c s 2131.2    21164    2517     58    11    349 2546823 134997   52.4  19   26
2210.89/2211.53	c s 2210.9    21178    2517     58    11    349 2608277 135015   51.8  20   25
2297.47/2298.19	c s 2297.6    21347    2517     58    11    349 2667715 135008   51.5  19   25
2379.55/2380.25	c s 2379.6    21360    2517     58    11    349 2726305 135006   51.1  18   25
2461.73/2462.42	c s 2461.8    21362    2517     58    11    349 2785873 135009   50.7  19   25
2544.30/2545.07	c s 2544.4    21370    2517     58    11    349 2844363 135008   50.3  19   24
2619.79/2620.55	c + 2619.9    21371    2517     58    11    349 2902830 148473   49.8  19   32
2620.49/2621.28	c s 2620.6    21371    2517     58    11    349 2903170 135365   49.8  19   23
2707.16/2707.91	c s 2707.2    21372    2517     58    11    349 2974350 148532   49.3  18   26
2799.64/2800.44	c s 2799.7    21383    2517     58    11    349 3037172 148503   48.9  19   27
2893.31/2894.19	c s 2893.4    21387    2517     58    11    349 3099652 148499   48.6  19   26
2992.28/2993.17	c s 2992.4    21499    2517     58    11    349 3160481 148515   48.3  18   27
3090.35/3091.23	c
3090.35/3091.23	c       original/binary      fixed     eliminated      learned       agility
3090.35/3091.23	c   seconds        variables     equivalent    conflicts       height       MB
3090.35/3091.23	c
3090.35/3091.23	c s 3090.4    21506    2517     58    11    349 3220715 148495   48.2  19   27
3196.92/3197.84	c s 3197.0    21507    2517     58    11    349 3280756 148503   48.0  18   27
3301.39/3302.35	c s 3301.5    21508    2517     58    11    349 3346405 148506   47.7  20   27
3399.17/3400.16	c s 3399.2    21510    2517     58    11    349 3410510 148522   47.4  21   26
3477.34/3478.33	c s 3477.4    21513    2517     58    11    349 3472622 148499   47.1  20   25
3627.60/3628.61	c s 3627.6    21514    2517     58    11    349 3589715 148524   46.3  19   25
3682.39/3683.42	c + 3682.4    21669    2517     58    11    349 3628535 163320   46.1  20   33
3718.68/3719.79	c s 3718.8    21949    2517     58    11    349 3653912 163356   46.0  19   29
3838.54/3839.63	c s 3838.6    21950    2517     58    11    349 3720496 163341   45.8  19   31
3957.41/3958.56	c s 3957.5    21959    2517     58    11    349 3786535 163362   45.6  20   30
4062.38/4063.53	c s 4062.4    22114    2517     58    11    349 3854697 163347   45.3  19   29
4174.05/4175.24	c s 4174.1    22115    2517     58    11    349 3920788 163359   45.0  18   29
4296.12/4297.32	c s 4296.2    22122    2517     58    11    349 3986523 163356   44.8  20   29
4398.99/4400.25	c s 4399.1    22123    2517     58    11    349 4053653 163374   44.5  19   28
4501.17/4502.41	c s 4501.2    22127    2517     58    11    349 4119545 163352   44.1  19   27
4646.32/4647.65	c s 4646.4    22128    2517     58    11    349 4205339 163374   44.0  19   30
4771.50/4772.88	c s 4771.6    22147    2517     58    11    349 4269933 163324   43.8  17   30
4882.96/4884.35	c s 4883.0    22149    2517     58    11    349 4334837 163353   43.7  19   29
5000.04/5001.40	c
5000.04/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.04/5001.40	c
5000.04/5001.40	c 4397183 conflicts, 5811347 decisions, 12 random
5000.04/5001.40	c 0 iterations, 7865 restarts, 0 skipped
5000.04/5001.40	c 26 enlarged, 1724 shrunken, 42987 rescored, 1021 rebiased
5000.04/5001.40	c 80 simplifications, 0 reductions
5000.04/5001.40	c
5000.04/5001.40	c vars: 58 fixed, 11 equiv, 349 elim, 18 merged
5000.04/5001.40	c elim: 748664 resolutions, 7 phases, 7 rounds
5000.04/5001.40	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.04/5001.40	c arty: 0.00 and 0.00 xor average arity
5000.04/5001.40	c prbe: 1574200 probed, 309 phases, 311 rounds
5000.04/5001.40	c prbe: 2 failed, 0 lifted, 1 merged
5000.04/5001.40	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.04/5001.40	c hash: 0 units, 17 merged
5000.04/5001.40	c mins: 178756966 learned, 37% deleted, 306 strong, 29 depth
5000.04/5001.40	c subs: 3695 forward, 3878 backward, 8467 doms
5000.04/5001.40	c strs: 3936 forward, 2553 backward
5000.04/5001.40	c doms: 8467 dominators, 6908 high, 14 low
5000.04/5001.40	c prps: 437661032 propagations, 0.09 megaprops
5000.04/5001.40	c
5000.04/5001.40	c 5000.0 seconds, 42 MB max, 760 MB recycled
5000.04/5001.40	c
5000.04/5001.40	c *** CAUGHT SIGNAL 15 ***
5000.04/5001.40	c

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783710-1241874774/watcher-1783710-1241874774 -o /tmp/evaluation-result-1783710-1241874774/solver-1783710-1241874774 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783710-1241874774.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.99 0.97 0.91 3/64 27408
/proc/meminfo: memFree=970496/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=1072 CPUtime=0
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 189 0 0 0 0 0 0 0 18 0 1 0 215511046 1097728 174 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 268 175 64 155 0 111 0

[startup+0.0928991 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27408
/proc/meminfo: memFree=970496/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=3572 CPUtime=0.08
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 859 0 0 0 8 0 0 0 18 0 1 0 215511046 3657728 814 1992294400 134512640 135151029 4294956240 18446744073709551615 134519587 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 893 814 79 155 0 736 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3572

[startup+0.101899 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27408
/proc/meminfo: memFree=970496/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=3572 CPUtime=0.09
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 859 0 0 0 9 0 0 0 18 0 1 0 215511046 3657728 814 1992294400 134512640 135151029 4294956240 18446744073709551615 134575443 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 893 814 79 155 0 736 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3572

[startup+0.301923 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27408
/proc/meminfo: memFree=970496/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=3704 CPUtime=0.29
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 883 0 0 0 29 0 0 0 19 0 1 0 215511046 3792896 838 1992294400 134512640 135151029 4294956240 18446744073709551615 134554562 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 926 838 79 155 0 769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3704

[startup+0.701969 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 27408
/proc/meminfo: memFree=970496/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=4364 CPUtime=0.69
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 1050 0 0 0 69 0 0 0 22 0 1 0 215511046 4468736 1005 1992294400 134512640 135151029 4294956240 18446744073709551615 134555080 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 1091 1005 79 155 0 934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4364

[startup+1.50106 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=965872/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=5684 CPUtime=1.49
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 1381 0 0 0 149 0 0 0 25 0 1 0 215511046 5820416 1336 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 1421 1336 79 155 0 1264 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5684

[startup+3.10125 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=964656/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=7148 CPUtime=3.09
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 1743 0 0 0 309 0 0 0 25 0 1 0 215511046 7319552 1698 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 1787 1698 79 155 0 1630 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7148

[startup+6.30262 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=962872/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=8328 CPUtime=6.29
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 2049 0 0 0 629 0 0 0 25 0 1 0 215511046 8527872 1994 1992294400 134512640 135151029 4294956240 18446744073709551615 134578258 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 2082 1994 79 155 0 1925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8328

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=961152/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=9916 CPUtime=12.69
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 2452 0 0 0 1268 1 0 0 25 0 1 0 215511046 10153984 2397 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 2479 2397 79 155 0 2322 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9916

[startup+25.5019 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=958272/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=12588 CPUtime=25.48
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 3238 0 0 0 2546 2 0 0 25 0 1 0 215511046 12890112 3036 1992294400 134512640 135151029 4294956240 18446744073709551615 134574623 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 3147 3036 79 155 0 2990 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12588

[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=957440/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=13716 CPUtime=51.08
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 3859 0 0 0 5105 3 0 0 25 0 1 0 215511046 14045184 3293 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 3429 3293 79 155 0 3272 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13716

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=954240/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=16880 CPUtime=102.27
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 5560 0 0 0 10222 5 0 0 25 0 1 0 215511046 17285120 4057 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 4220 4057 79 155 0 4063 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16880

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=952064/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=19012 CPUtime=162.25
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 6502 0 0 0 16218 7 0 0 25 0 1 0 215511046 19468288 4584 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 4753 4584 79 155 0 4596 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19012

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=950400/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=20572 CPUtime=222.23
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 7560 0 0 0 22215 8 0 0 25 0 1 0 215511046 21065728 5028 1992294400 134512640 135151029 4294956240 18446744073709551615 134573909 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 5143 5028 79 155 0 4986 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20572

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=950208/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=20252 CPUtime=282.21
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 8186 0 0 0 28213 8 0 0 25 0 1 0 215511046 20738048 4986 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 5063 4986 79 155 0 4906 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 20252

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=948416/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=22628 CPUtime=342.2
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 9242 0 0 0 34210 10 0 0 25 0 1 0 215511046 23171072 5481 1992294400 134512640 135151029 4294956240 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 5657 5481 79 155 0 5500 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 22628

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=949824/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=21332 CPUtime=402.18
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 10255 0 0 0 40207 11 0 0 25 0 1 0 215511046 21843968 5224 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 5333 5224 79 155 0 5176 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 21332

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=947776/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=23348 CPUtime=462.17
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 11291 0 0 0 46204 13 0 0 25 0 1 0 215511046 23908352 5616 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 5837 5616 79 155 0 5680 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 23348

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=947584/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=23176 CPUtime=522.15
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 11959 0 0 0 52201 14 0 0 25 0 1 0 215511046 23732224 5664 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 5794 5664 79 155 0 5637 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 23176

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=941632/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=29576 CPUtime=582.13
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 14118 0 0 0 58198 15 0 0 25 0 1 0 215511046 30285824 7169 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 7394 7169 79 155 0 7237 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 29576

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27409
/proc/meminfo: memFree=941760/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=29368 CPUtime=642.12
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 14752 0 0 0 64196 16 0 0 25 0 1 0 215511046 30072832 7118 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 7342 7118 79 155 0 7185 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 29368

[startup+702.302 s]

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

[startup+4002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924544/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45016 CPUtime=4001.2
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45367 0 0 0 400068 52 0 0 25 0 1 0 215511046 46096384 11148 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11254 11148 79 155 0 11097 0
Current children cumulated CPU time (s) 4001.2
Current children cumulated vsize (KiB) 45016

[startup+4062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=923584/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=46548 CPUtime=4061.19
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45613 0 0 0 406067 52 0 0 25 0 1 0 215511046 47665152 11394 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11637 11394 79 155 0 11480 0
Current children cumulated CPU time (s) 4061.19
Current children cumulated vsize (KiB) 46548

[startup+4122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924288/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45012 CPUtime=4121.17
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45625 0 0 0 412065 52 0 0 25 0 1 0 215511046 46092288 11171 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11253 11171 79 155 0 11096 0
Current children cumulated CPU time (s) 4121.17
Current children cumulated vsize (KiB) 45012

[startup+4182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924288/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45264 CPUtime=4181.15
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45663 0 0 0 418063 52 0 0 25 0 1 0 215511046 46350336 11209 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11316 11209 79 155 0 11159 0
Current children cumulated CPU time (s) 4181.15
Current children cumulated vsize (KiB) 45264

[startup+4242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924288/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45264 CPUtime=4241.13
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45663 0 0 0 424061 52 0 0 25 0 1 0 215511046 46350336 11209 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11316 11209 79 155 0 11159 0
Current children cumulated CPU time (s) 4241.13
Current children cumulated vsize (KiB) 45264

[startup+4302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924224/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45008 CPUtime=4301.12
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45841 0 0 0 430059 53 0 0 25 0 1 0 215511046 46088192 11171 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11252 11171 79 155 0 11095 0
Current children cumulated CPU time (s) 4301.12
Current children cumulated vsize (KiB) 45008

[startup+4362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924224/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45008 CPUtime=4361.1
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45841 0 0 0 436057 53 0 0 25 0 1 0 215511046 46088192 11171 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11252 11171 79 155 0 11095 0
Current children cumulated CPU time (s) 4361.1
Current children cumulated vsize (KiB) 45008

[startup+4422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924224/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45264 CPUtime=4421.09
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45847 0 0 0 442056 53 0 0 25 0 1 0 215511046 46350336 11177 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11316 11177 79 155 0 11159 0
Current children cumulated CPU time (s) 4421.09
Current children cumulated vsize (KiB) 45264

[startup+4482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924224/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45264 CPUtime=4481.07
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45847 0 0 0 448054 53 0 0 25 0 1 0 215511046 46350336 11177 1992294400 134512640 135151029 4294956240 18446744073709551615 134555139 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11316 11177 79 155 0 11159 0
Current children cumulated CPU time (s) 4481.07
Current children cumulated vsize (KiB) 45264

[startup+4542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924224/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45264 CPUtime=4541.05
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45847 0 0 0 454052 53 0 0 25 0 1 0 215511046 46350336 11177 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11316 11177 79 155 0 11159 0
Current children cumulated CPU time (s) 4541.05
Current children cumulated vsize (KiB) 45264

[startup+4602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924224/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45264 CPUtime=4601.04
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45848 0 0 0 460051 53 0 0 25 0 1 0 215511046 46350336 11178 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11316 11178 79 155 0 11159 0
Current children cumulated CPU time (s) 4601.04
Current children cumulated vsize (KiB) 45264

[startup+4662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924224/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45264 CPUtime=4661.03
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45849 0 0 0 466049 54 0 0 25 0 1 0 215511046 46350336 11179 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11316 11179 79 155 0 11159 0
Current children cumulated CPU time (s) 4661.03
Current children cumulated vsize (KiB) 45264

[startup+4722.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=923776/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45900 CPUtime=4721.01
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 45979 0 0 0 472047 54 0 0 25 0 1 0 215511046 47001600 11309 1992294400 134512640 135151029 4294956240 18446744073709551615 134554805 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11475 11309 79 155 0 11318 0
Current children cumulated CPU time (s) 4721.01
Current children cumulated vsize (KiB) 45900

[startup+4782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924096/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45004 CPUtime=4780.99
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 46107 0 0 0 478045 54 0 0 25 0 1 0 215511046 46084096 11172 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11251 11172 79 155 0 11094 0
Current children cumulated CPU time (s) 4780.99
Current children cumulated vsize (KiB) 45004

[startup+4842.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=924096/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45260 CPUtime=4840.97
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 46126 0 0 0 484043 54 0 0 25 0 1 0 215511046 46346240 11191 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11315 11191 79 155 0 11158 0
Current children cumulated CPU time (s) 4840.97
Current children cumulated vsize (KiB) 45260

[startup+4902.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=923968/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45132 CPUtime=4900.96
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 46286 0 0 0 490041 55 0 0 25 0 1 0 215511046 46215168 11203 1992294400 134512640 135151029 4294956240 18446744073709551615 134552096 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11283 11203 79 155 0 11126 0
Current children cumulated CPU time (s) 4900.96
Current children cumulated vsize (KiB) 45132

[startup+4962.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=923968/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=45132 CPUtime=4960.95
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 46286 0 0 0 496040 55 0 0 25 0 1 0 215511046 46215168 11203 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11283 11203 79 155 0 11126 0
Current children cumulated CPU time (s) 4960.95
Current children cumulated vsize (KiB) 45132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 27417
/proc/meminfo: memFree=923456/2055920 swapFree=4182092/4192956
[pid=27408] ppid=27406 vsize=46412 CPUtime=5000.04
/proc/27408/stat : 27408 (precosat) R 27406 27408 27344 0 -1 4194304 46458 0 0 0 499949 55 0 0 25 0 1 0 215511046 47525888 11375 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/27408/statm: 11603 11375 79 155 0 11446 0
Current children cumulated CPU time (s) 5000.04
Current children cumulated vsize (KiB) 46412

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.41
CPU time (s): 5000.06
CPU user time (s): 4999.49
CPU system time (s): 0.560914
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 48152

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

runsolver used 3.52446 second user time and 10.6614 second system time

The end

Launcher Data 

Begin job on node11 at 2009-05-09 15:12:54
IDJOB=1783710
IDBENCH=24644
IDSOLVER=607
FILE ID=node11/1783710-1241874774
PBS_JOBID= 9264640
Free space on /tmp= 66216 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest05/QG/QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783710-1241874774/watcher-1783710-1241874774 -o /tmp/evaluation-result-1783710-1241874774/solver-1783710-1241874774 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1783710-1241874774.cnf

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

MD5SUM BENCH= cd51741c2df34af4fdb8becaf8b3fc51
RANDOM SEED=1495616113

node11.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.214
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.214
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:        970912 kB
Buffers:         51076 kB
Cached:         941844 kB
SwapCached:       4708 kB
Active:         170228 kB
Inactive:       830532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        970912 kB
SwapTotal:     4192956 kB
SwapFree:      4182092 kB
Dirty:            1416 kB
Writeback:           0 kB
Mapped:          14380 kB
Slab:            70192 kB
Committed_AS:   732600 kB
PageTables:       1448 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= 66216 MiB
End job on node11 at 2009-05-09 16:36:17