Trace number 1772681

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.6

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
MD5SUM4bb23e70b97827425fcf5759bf0a79a2
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 variables184196
Number of clauses833889
Sum of the clauses size1904914
Maximum clause length10
Minimum clause length1
Number of clauses of size 113964
Number of clauses of size 2672565
Number of clauses of size 3112780
Number of clauses of size 43840
Number of clauses of size 515360
Number of clauses of size over 515380

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-1772681-1241185382.cnf
0.00/0.00	c found header 'p cnf 184196 833889'
1.79/1.86	c finished parsing
1.79/1.86	c
1.79/1.86	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.79/1.86	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.79/1.86	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.79/1.86	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.79/1.86	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.79/1.86	c --random=1 --spread=2000 --seed=0 --skip=25
1.79/1.86	c
1.79/1.86	c sizeof     vars[0] = 16   alignment = 0       3 MB
1.79/1.86	c sizeof     orgs[0] =  8   alignment = 0       1 MB
1.79/1.86	c sizeof     occs[0] =  8   alignment = 0       1 MB
1.79/1.86	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
1.79/1.86	c
1.79/1.86	c starting search after 1.9 seconds
1.79/1.86	c no decision limit
1.89/1.91	c
1.89/1.91	c       original/binary      fixed     eliminated      learned       agility
1.89/1.91	c   seconds        variables     equivalent    conflicts       height       MB
1.89/1.91	c
1.89/1.91	c *    1.9   819017  133990   6998 43208      0       0      0    0.0   0   66
6.88/6.98	c s    7.0   414573   63942  43046 42308  34900       0      0    0.0   0   43
6.88/6.98	c l    7.0   414573   63942  43046 42308  34900       0 174556    0.0   0   43
7.38/7.45	c R    7.5   421425   59719  47234 42343  34900     233    211   98.3   3   45
18.38/18.48	c s   18.5   697528   51142  53471 42585  36998     409    357  186.2   7   64
18.38/18.48	c -   18.5   697528   51142  53471 42585  36998     409 137900  186.2   7   64
20.18/20.30	c B   20.3   717594   49757  54852 42589  36998    1000    928  200.9   6   66
22.68/22.72	c R   22.7   757470   49456  55151 42591  36998    1566   1484  193.7   2   69
24.08/24.18	c B   24.2   771516   49047  55543 42608  36998    2000   1902  229.9   2   70
41.47/41.56	c s   41.6   776022   44604  59335 42768  37489    5566   3991  286.9   1   71
41.47/41.56	c -   41.6   776022   44604  59335 42768  37489    5566 118594  286.9   1   71
48.37/48.46	c B   48.4   869222   42318  61428 42961  37489    8002   6382  303.7   1   79
55.47/55.55	c R   55.5  1028219   40139  63488 43080  37489   10255   8599  312.9   1   90
71.37/71.42	c s   71.4   961668   38422  64136 43514  38124   13907   8827  329.1   1   84
71.37/71.42	c -   71.4   961668   38422  64136 43514  38124   13907 101991  329.1   1   84
94.46/94.51	c R   94.5  1197773   37091  65122 43859  38124   21173  16040  352.5   4  117
102.85/102.99	c B  103.0  1274625   36704  65360 44008  38124   24009  18866  365.9   2  126
111.45/111.55	c s  111.5  1197240   36526  65386 44064  38220   24827  17407  367.1   2  116
111.45/111.55	c -  111.5  1197240   36526  65386 44064  38220   24827  97912  367.1   2  116
163.24/163.30	c
163.24/163.30	c       original/binary      fixed     eliminated      learned       agility
163.24/163.30	c   seconds        variables     equivalent    conflicts       height       MB
163.24/163.30	c
163.24/163.30	c s  163.2  1313587   33351  66805 44424  39616   39029  13090  368.1   3  112
163.24/163.30	c -  163.2  1313587   33351  66805 44424  39616   39029  93996  368.1   3  112
217.82/217.94	c s  217.9  1444315   28651  69860 45599  40086   56599  12490  369.8   3  118
217.82/217.94	c -  217.9  1444315   28651  69860 45599  40086   56599  85537  369.8   3  118
235.91/236.07	c B  236.0  1565255   28367  69989 45754  40086   64022  19903  369.4   3  137
282.69/282.83	c s  282.7  1674870   27883  70210 46017  40086   80319  35884  370.3   1  166
282.69/282.83	c -  282.7  1674870   27883  70210 46017  40086   80319  83827  370.3   1  166
291.89/292.08	c +  292.0  1689783   27836  70229 46045  40086   83827  92209  368.4   3  175
345.07/345.26	c +  345.1  1790411   27662  70320 46128  40086  104781 101429  364.6   2  218
345.47/345.60	c R  345.5  1791165   27661  70321 46128  40086  104859  60394  364.5   2  218
374.66/374.81	c s  374.7  1592790   25639  70356 46163  42038  112706   9850  364.6   2  123
374.66/374.81	c -  374.7  1592790   25639  70356 46163  42038  112706  99401  364.6   2  123
404.75/404.92	c +  404.8  1694394   25233  70641 46284  42038  128356 109341  359.3   8  152
453.84/454.04	c s  453.9  1615415   24917  70780 46364  42135  149270  27429  357.1   7  139
453.84/454.04	c -  453.9  1615415   24917  70780 46364  42135  149270 104968  357.1   7  139
463.03/463.28	c +  463.1  1645192   24857  70835 46369  42135  154028 115464  355.6   3  151
475.13/475.34	c B  475.2  1675693   24422  71245 46394  42135  160051  38206  355.0   6  162
538.51/538.76	c s  538.6  1421098   23472  71379 46590  42755  187272  15642  353.2   5  116
538.51/538.76	c -  538.6  1421098   23472  71379 46590  42755  187272 110846  353.2   5  116
538.51/538.76	c
538.51/538.76	c       original/binary      fixed     eliminated      learned       agility
538.51/538.76	c   seconds        variables     equivalent    conflicts       height       MB
538.51/538.76	c
538.51/538.76	c +  538.6  1421098   23472  71379 46590  42755  187272 121930  353.2   5  116
601.49/601.77	c R  601.6  1496172   23290  71500 46651  42755  220191  48541  345.1   4  167
610.29/610.57	c s  610.4  1462634   23269  71507 46654  42766  221028  41933  345.0   8  150
636.17/636.49	c +  636.3  1483102   23202  71556 46672  42766  234090 134123  341.8   7  172
655.27/655.53	c R  655.3  1495356   23185  71569 46676  42766  242666  63567  339.8   2  186
694.46/694.71	c s  694.5  1481793   23020  71578 46682  42916  257220  35697  337.8   3  134
767.93/768.26	c +  768.0  1506537   22929  71625 46726  42916  292614 147535  333.0   7  192
778.23/778.56	c s  778.3  1500761   22918  71627 46728  42923  294115  68520  332.8   4  180
874.79/875.18	c s  874.9  1523710   22642  71664 46821  43069  331145  55909  328.6   7  152
948.88/949.28	c +  949.0  1617119   22552  71731 46844  43069  365767 162288  327.9   3  214
961.77/962.18	c s  961.9  1553858   22544  71737 46844  43071  367620  82214  327.9   5  187
961.77/962.18	c -  961.9  1553858   22544  71737 46844  43071  367620 160666  327.9   5  187
999.75/1000.18	c B  999.8  1588187   22509  71769 46847  43071  384109  98703  326.4   6  217
1058.13/1058.56	c s 1058.2  1554957   22400  71787 46847  43162  406475  71669  325.1   4  164
1061.13/1061.54	c R 1061.2  1558610   22398  71789 46847  43162  408376  73570  325.2   5  169
1151.40/1151.87	c s 1151.5  1573861   22352  71835 46847  43162  446126 111302  323.6   4  222
1168.59/1169.00	c + 1168.6  1576979   22350  71837 46847  43162  452633 176732  322.9  10  237
1272.55/1273.03	c s 1272.6  1577746   22277  71851 46852  43216  488884 107471  319.3   7  203
1384.51/1385.02	c s 1384.5  1581464   22271  71856 46853  43216  530412 148963  316.1   7  263
1482.48/1483.01	c
1482.48/1483.01	c       original/binary      fixed     eliminated      learned       agility
1482.48/1483.01	c   seconds        variables     equivalent    conflicts       height       MB
1482.48/1483.01	c
1482.48/1483.01	c + 1482.5  1608244   22238  71878 46864  43216  565794 194405  314.1  11  325
1518.47/1519.01	c s 1518.5  1567088   22136  71886 46869  43305  573241 124476  313.7   6  220
1635.23/1635.82	c s 1635.3  1589232   22103  71914 46874  43305  614954 166163  311.0  10  280
1768.99/1769.62	c s 1769.0  1599533   22052  71919 46875  43350  657619 111089  309.3   4  197
1887.85/1888.57	c s 1887.9  1612198   22050  71921 46875  43350  700899 154363  306.7   8  261
1904.44/1905.13	c + 1904.5  1612721   22050  71921 46875  43350  707240 213845  306.4   3  276
2023.30/2024.09	c s 2023.4  1573797   21786  72104 46900  43406  744877 189644  304.5   4  304
2142.95/2143.77	c R 2143.0  1607307   21774  72110 46906  43406  785873 214059  303.0   3  369
2168.65/2169.47	c s 2168.7  1600737   21759  72110 46921  43406  790445 213888  303.2   4  359
2311.80/2312.66	c s 2311.9  1609923   21715  72125 46925  43431  836380 188173  303.1   4  339
2452.45/2453.34	c s 2452.5  1610215   21539  72141 47006  43510  882156 189002  302.2   4  329
2457.95/2458.81	c + 2458.0  1611430   21538  72142 47006  43510  884050 235229  302.0   3  336
2493.64/2494.50	c B 2493.7  1616446   21537  72143 47006  43510  896269 203115  301.8  10  359
2594.80/2595.70	c s 2594.8  1612744   21502  72145 47017  43532  926562 184535  301.1   8  311
2736.06/2737.09	c s 2736.2  1614009   21497  72148 47019  43532  972753 230689  301.2   5  383
2886.90/2887.93	c s 2887.0  1618740   21461  72151 47019  43565 1017645 206718  300.0   2  351
3057.95/3059.10	c s 3058.1  1628730   21448  72163 47020  43565 1065797 235402  298.4   8  403
3177.30/3178.42	c + 3177.3  1638683   21436  72171 47024  43565 1105063 258751  297.5   9  434
3237.79/3238.95	c s 3237.9  1621457   21408  72171 47024  43593 1117218 207874  297.2  11  362
3414.93/3416.14	c
3414.93/3416.14	c       original/binary      fixed     eliminated      learned       agility
3414.93/3416.14	c   seconds        variables     equivalent    conflicts       height       MB
3414.93/3416.14	c
3414.93/3416.14	c s 3415.0  1623464   21408  72171 47024  43593 1164511 255164  296.0   9  434
3571.88/3573.11	c s 3571.9  1634033   21408  72171 47024  43593 1214648 258870  295.9   4  449
3763.82/3765.17	c s 3763.9  1643851   21385  72174 47024  43613 1261614 203691  294.4  14  349
3938.05/3939.47	c s 3938.1  1659037   21383  72176 47024  43613 1311007 253082  293.2   3  426
4132.78/4134.22	c s 4132.8  1660032   21361  72176 47025  43634 1366927 234767  292.1   4  403
4170.58/4172.09	c + 4170.7  1660333   21354  72181 47027  43634 1381326 284626  291.9   9  435
4302.83/4304.30	c s 4302.8  1643303   21308  72193 47061  43634 1420035 284857  291.5   7  479
4474.97/4476.59	c s 4475.1  1645040   21252  72201 47070  43673 1470897 270017  292.4   7  460
4681.90/4683.50	c s 4681.9  1647946   21239  72211 47072  43674 1520437 284834  291.3   5  491
4877.53/4879.26	c s 4877.6  1651801   21239  72211 47072  43674 1572262 284781  290.4   5  494
5081.06/5082.88	c s 5081.2  1649289   21220  72217 47072  43687 1621871 266671  289.4   9  457
5266.89/5268.71	c s 5266.9  1664187   21219  72218 47072  43687 1674490 284733  288.9   8  486
5333.58/5335.46	c R 5333.6  1674062   21219  72218 47072  43687 1694287 284924  288.4   7  502
5447.03/5448.96	c + 5447.1  1710180   21218  72219 47072  43687 1726657 313088  287.9   6  513
5475.62/5477.52	c s 5475.7  1703001   21202  72219 47072  43703 1731073 237238  287.9   6  401
5680.76/5682.78	c s 5680.8  1721707   21202  72219 47072  43703 1786394 292557  287.2   6  486
5878.69/5880.76	c s 5878.8  1725433   21202  72219 47072  43703 1840724 313280  286.8   5  521
6075.63/6077.76	c s 6075.7  1744228   21187  72221 47072  43716 1897689 265125  286.7   6  436
6264.27/6266.47	c s 6264.3  1759951   21187  72221 47072  43716 1952614 313228  286.6   5  508
6463.30/6465.55	c
6463.30/6465.55	c       original/binary      fixed     eliminated      learned       agility
6463.30/6465.55	c   seconds        variables     equivalent    conflicts       height       MB
6463.30/6465.55	c
6463.30/6465.55	c s 6463.4  1765866   21180  72223 47073  43720 2007111 308641  286.5   6  504
6603.35/6605.66	c B 6603.4  1767668   21180  72223 47073  43720 2048542 313214  286.5   9  537
6667.63/6669.97	c s 6667.7  1767949   21180  72223 47073  43720 2062068 313257  286.4   5  516
6860.96/6863.30	c s 6861.0  1774247   21180  72223 47073  43720 2117791 313303  286.3   6  520
7005.51/7008.00	c + 7005.6  1788852   21180  72223 47073  43720 2158321 344396  286.2   7  544
7067.09/7069.58	c s 7067.2  1787188   21167  72225 47073  43731 2173269 303610  286.3   4  500
7269.02/7271.52	c s 7269.1  1795139   21167  72225 47073  43731 2228806 344624  286.9   4  562
7371.49/7374.08	c R 7371.6  1796521   21167  72225 47073  43731 2258615 344581  287.2   7  585
7472.35/7474.91	c s 7472.4  1797657   21167  72225 47073  43731 2286005 344560  287.4   8  566
7711.87/7714.52	c s 7711.9  1797726   21167  72225 47073  43731 2350456 344591  286.2   4  573
7957.79/7960.56	c s 7957.9  1804792   21167  72225 47073  43731 2409304 344579  285.4   8  580
8202.60/8205.49	c s 8202.7  1799473   21147  72226 47073  43750 2467262 276938  284.9   7  460
8427.02/8429.95	c s 8427.1  1799375   21146  72227 47073  43750 2522681 332357  284.3   5  544
8653.44/8656.47	c s 8653.5  1800048   21146  72227 47073  43750 2578433 344498  283.9   6  566
8912.66/8915.78	c s 8912.8  1811175   21146  72227 47073  43750 2640910 344497  282.7   8  574
9108.49/9111.62	c + 9108.5  1815403   21144  72229 47073  43750 2697900 378835  282.3  12  601
9133.98/9137.11	c s 9134.0  1811276   21132  72229 47073  43762 2699615 302480  282.3   5  487
9352.40/9355.69	c s 9352.5  1813840   21130  72230 47074  43762 2756129 358992  281.9   3  570
9619.82/9623.18	c s 9619.9  1814440   21130  72230 47074  43762 2815832 379018  281.4   6  609
9862.43/9865.87	c
9862.43/9865.87	c       original/binary      fixed     eliminated      learned       agility
9862.43/9865.87	c   seconds        variables     equivalent    conflicts       height       MB
9862.43/9865.87	c
9862.43/9865.87	c s 9862.5  1814642   21130  72230 47074  43762 2879221 379046  280.8   8  620
10000.09/10003.50	c
10000.09/10003.50	c *** CAUGHT SIGNAL 15 ***
10000.09/10003.50	c
10000.09/10003.50	c 2913207 conflicts, 10686246 decisions, 4975 random
10000.09/10003.50	c 168 iterations, 6969 restarts, 0 skipped
10000.09/10003.50	c 17 enlarged, 25365 shrunken, 28487 rescored, 700 rebiased
10000.09/10003.50	c 65 simplifications, 0 reductions
10000.09/10003.50	c
10000.09/10003.50	c vars: 72230 fixed, 47074 equiv, 43762 elim, 48570 merged
10000.09/10003.50	c elim: 15290031 resolutions, 54 phases, 26 rounds
10000.09/10003.50	c sbst: 62% substituted, 17.5% nots, 82.5% ands, 0.0% xors, 0.0% ites
10000.09/10003.50	c arty: 3.22 and 0.00 xor average arity
10000.09/10003.50	c prbe: 589192 probed, 3973 phases, 13 rounds
10000.09/10003.50	c prbe: 3942 failed, 6474 lifted, 1078 merged
10000.09/10003.50	c sccs: 413 non trivial, 0 fixed, 769 merged
10000.09/10003.50	c hash: 296 units, 46723 merged
10000.09/10003.50	c mins: 1120105476 learned, 27% deleted, 52 strong, 253 depth
10000.09/10003.50	c subs: 97544 forward, 87667 backward, 160906 doms
10000.09/10003.50	c strs: 34422 forward, 258 backward
10000.09/10003.50	c doms: 479176 dominators, 171268 high, 957 low
10000.09/10003.50	c prps: 4606347142 propagations, 0.46 megaprops
10000.09/10003.50	c
10000.09/10003.50	c 10000.1 seconds, 644 MB max, 3973 MB recycled
10000.09/10003.50	c
10000.09/10003.50	c *** CAUGHT SIGNAL 15 ***
10000.09/10003.50	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-1772681-1241185382/watcher-1772681-1241185382 -o /tmp/evaluation-result-1772681-1241185382/solver-1772681-1241185382 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772681-1241185382.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.92 0.98 0.95 2/64 23274
/proc/meminfo: memFree=1092832/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=5108 CPUtime=0
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 872 0 0 0 0 0 0 0 18 0 1 0 146571276 5230592 857 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/23274/statm: 1277 864 58 155 0 1120 0

[startup+0.084097 s]
/proc/loadavg: 0.92 0.98 0.95 2/64 23274
/proc/meminfo: memFree=1092832/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=18464 CPUtime=0.07
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 4486 0 0 0 6 1 0 0 18 0 1 0 146571276 18907136 4438 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 4616 4438 63 155 0 4459 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18464

[startup+0.101099 s]
/proc/loadavg: 0.92 0.98 0.95 2/64 23274
/proc/meminfo: memFree=1092832/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=19772 CPUtime=0.09
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 4817 0 0 0 8 1 0 0 18 0 1 0 146571276 20246528 4769 1992294400 134512640 135151029 4294956240 18446744073709551615 134572540 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 4943 4769 63 155 0 4786 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19772

[startup+0.30113 s]
/proc/loadavg: 0.92 0.98 0.95 2/64 23274
/proc/meminfo: memFree=1092832/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=28176 CPUtime=0.29
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 7358 0 0 0 27 2 0 0 19 0 1 0 146571276 28852224 6859 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 7044 6859 63 155 0 6887 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28176

[startup+0.701194 s]
/proc/loadavg: 0.92 0.98 0.95 2/64 23274
/proc/meminfo: memFree=1092832/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=40916 CPUtime=0.69
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 11061 0 0 0 65 4 0 0 22 0 1 0 146571276 41897984 10049 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 10229 10050 63 155 0 10072 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40916

[startup+1.50132 s]
/proc/loadavg: 0.92 0.98 0.95 2/65 23275
/proc/meminfo: memFree=1042584/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=65208 CPUtime=1.49
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 18146 0 0 0 141 8 0 0 25 0 1 0 146571276 66772992 16109 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 16302 16109 64 155 0 16145 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65208

[startup+3.10258 s]
/proc/loadavg: 0.92 0.98 0.95 2/65 23275
/proc/meminfo: memFree=1010904/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=72252 CPUtime=3.09
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 24264 0 0 0 298 11 0 0 25 0 1 0 146571276 73986048 17790 1992294400 134512640 135151029 4294956240 18446744073709551615 134673033 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 18063 17790 79 155 0 17906 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72252

[startup+6.30109 s]
/proc/loadavg: 0.93 0.98 0.95 2/65 23275
/proc/meminfo: memFree=1009368/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=85604 CPUtime=6.29
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 28130 0 0 0 615 14 0 0 25 0 1 0 146571276 87658496 20886 1992294400 134512640 135151029 4294956240 18446744073709551615 134678810 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 21401 20886 79 155 0 21244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85604

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.95 2/65 23275
/proc/meminfo: memFree=1016360/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=82508 CPUtime=12.68
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 31986 0 0 0 1252 16 0 0 25 0 1 0 146571276 84488192 20122 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 20627 20122 79 155 0 20470 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82508

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.95 2/65 23275
/proc/meminfo: memFree=1007400/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=87348 CPUtime=25.48
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 45092 0 0 0 2525 23 0 0 25 0 1 0 146571276 89444352 21343 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 21837 21343 79 155 0 21680 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87348

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.95 2/65 23275
/proc/meminfo: memFree=990632/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=104280 CPUtime=51.07
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 61106 0 0 0 5075 32 0 0 25 0 1 0 146571276 106782720 25552 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 26070 25552 79 155 0 25913 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104280

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.95 2/65 23275
/proc/meminfo: memFree=953832/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=141132 CPUtime=102.25
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 88457 0 0 0 10178 47 0 0 25 0 1 0 146571276 144519168 34792 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 35283 34792 79 155 0 35126 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 141132

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 23275
/proc/meminfo: memFree=928488/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=173536 CPUtime=162.24
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 133574 0 0 0 16149 75 0 0 25 0 1 0 146571276 177700864 42906 1992294400 134512640 135151029 4294956240 18446744073709551615 134572727 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 43384 42906 79 155 0 43227 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 173536

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 23275
/proc/meminfo: memFree=912424/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=181984 CPUtime=222.21
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 157134 0 0 0 22134 87 0 0 25 0 1 0 146571276 186351616 45011 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 45496 45011 79 155 0 45339 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 181984

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 23275
/proc/meminfo: memFree=906216/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=196428 CPUtime=282.19
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 180125 0 0 0 28118 101 0 0 25 0 1 0 146571276 201142272 48596 1992294400 134512640 135151029 4294956240 18446744073709551615 134578356 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 49107 48596 79 155 0 48950 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 196428

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 23275
/proc/meminfo: memFree=856872/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=237852 CPUtime=342.17
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 190472 0 0 0 34104 113 0 0 25 0 1 0 146571276 243560448 58943 1992294400 134512640 135151029 4294956240 18446744073709551615 134553822 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 59463 58943 79 155 0 59306 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 237852

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 23275
/proc/meminfo: memFree=835688/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=258656 CPUtime=402.15
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 214948 0 0 0 40087 128 0 0 25 0 1 0 146571276 264863744 64142 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 64664 64142 79 155 0 64507 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 258656

[startup+462.302 s]
/proc/loadavg: 1.11 1.02 0.96 2/65 23275
/proc/meminfo: memFree=835496/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=258656 CPUtime=462.13
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 233994 0 0 0 46075 138 0 0 25 0 1 0 146571276 264863744 64169 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 64664 64169 79 155 0 64507 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 258656

[startup+522.301 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 23275
/proc/meminfo: memFree=835496/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=258656 CPUtime=522.11
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 234002 0 0 0 52073 138 0 0 25 0 1 0 146571276 264863744 64177 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 64664 64177 79 155 0 64507 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 258656

[startup+582.303 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 23275
/proc/meminfo: memFree=835432/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=258656 CPUtime=582.09
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 253028 0 0 0 58060 149 0 0 25 0 1 0 146571276 264863744 64184 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 64664 64184 79 155 0 64507 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 258656

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 23275
/proc/meminfo: memFree=835368/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=258656 CPUtime=642.08
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 272047 0 0 0 64049 159 0 0 25 0 1 0 146571276 264863744 64184 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 64664 64184 79 155 0 64507 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 258656

[startup+702.301 s]

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

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=440680/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=650976 CPUtime=9099.19
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1221261 0 0 0 909221 698 0 0 25 0 1 0 146571276 666599424 162217 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 162744 162217 79 155 0 162587 0
Current children cumulated CPU time (s) 9099.19
Current children cumulated vsize (KiB) 650976

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=440424/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=650976 CPUtime=9159.17
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1240301 0 0 0 915210 707 0 0 25 0 1 0 146571276 666599424 162238 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 162744 162238 79 155 0 162587 0
Current children cumulated CPU time (s) 9159.17
Current children cumulated vsize (KiB) 650976

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=440488/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=650976 CPUtime=9219.15
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1240301 0 0 0 921208 707 0 0 25 0 1 0 146571276 666599424 162238 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 162744 162238 79 155 0 162587 0
Current children cumulated CPU time (s) 9219.15
Current children cumulated vsize (KiB) 650976

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=440488/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=650976 CPUtime=9279.14
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1240301 0 0 0 927206 708 0 0 25 0 1 0 146571276 666599424 162238 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 162744 162238 79 155 0 162587 0
Current children cumulated CPU time (s) 9279.14
Current children cumulated vsize (KiB) 650976

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=456744/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=634588 CPUtime=9339.11
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1241021 0 0 0 933203 708 0 0 25 0 1 0 146571276 649818112 158141 1992294400 134512640 135151029 4294956240 18446744073709551615 134679973 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 158647 158141 79 155 0 158490 0
Current children cumulated CPU time (s) 9339.11
Current children cumulated vsize (KiB) 634588

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=440424/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=650976 CPUtime=9399.1
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1259321 0 0 0 939192 718 0 0 25 0 1 0 146571276 666599424 162239 1992294400 134512640 135151029 4294956240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 162744 162239 79 155 0 162587 0
Current children cumulated CPU time (s) 9399.1
Current children cumulated vsize (KiB) 650976

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=431528/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=660356 CPUtime=9459.07
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1261592 0 0 0 945186 721 0 0 25 0 1 0 146571276 676204544 164510 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 165089 164510 79 155 0 164932 0
Current children cumulated CPU time (s) 9459.07
Current children cumulated vsize (KiB) 660356

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=421352/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=671072 CPUtime=9519.05
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1264118 0 0 0 951182 723 0 0 25 0 1 0 146571276 687177728 167036 1992294400 134512640 135151029 4294956240 18446744073709551615 134580646 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 167768 167036 79 155 0 167611 0
Current children cumulated CPU time (s) 9519.05
Current children cumulated vsize (KiB) 671072

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=416360/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=676500 CPUtime=9579.03
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1265373 0 0 0 957178 725 0 0 25 0 1 0 146571276 692736000 168291 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 169125 168291 79 155 0 168968 0
Current children cumulated CPU time (s) 9579.03
Current children cumulated vsize (KiB) 676500

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=415528/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=676860 CPUtime=9639.01
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1274478 0 0 0 963172 729 0 0 25 0 1 0 146571276 693104640 168462 1992294400 134512640 135151029 4294956240 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 169215 168462 79 155 0 169058 0
Current children cumulated CPU time (s) 9639.01
Current children cumulated vsize (KiB) 676860

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=415400/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=676860 CPUtime=9698.99
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1274521 0 0 0 969170 729 0 0 25 0 1 0 146571276 693104640 168505 1992294400 134512640 135151029 4294956240 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 169215 168505 79 155 0 169058 0
Current children cumulated CPU time (s) 9698.99
Current children cumulated vsize (KiB) 676860

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=415400/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=676860 CPUtime=9758.97
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1274529 0 0 0 975168 729 0 0 25 0 1 0 146571276 693104640 168513 1992294400 134512640 135151029 4294956240 18446744073709551615 134551895 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 169215 168513 79 155 0 169058 0
Current children cumulated CPU time (s) 9758.97
Current children cumulated vsize (KiB) 676860

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=413480/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=678048 CPUtime=9818.95
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1275028 0 0 0 981165 730 0 0 25 0 1 0 146571276 694321152 169012 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 169512 169012 79 155 0 169355 0
Current children cumulated CPU time (s) 9818.95
Current children cumulated vsize (KiB) 678048

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=407720/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=683832 CPUtime=9878.93
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1284879 0 0 0 987157 736 0 0 25 0 1 0 146571276 700243968 170379 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 170958 170379 79 155 0 170801 0
Current children cumulated CPU time (s) 9878.93
Current children cumulated vsize (KiB) 683832

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=404264/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=687840 CPUtime=9938.91
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1285779 0 0 0 993153 738 0 0 25 0 1 0 146571276 704348160 171279 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 171960 171279 79 155 0 171803 0
Current children cumulated CPU time (s) 9938.91
Current children cumulated vsize (KiB) 687840

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=402280/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=690428 CPUtime=9998.89
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1286280 0 0 0 999150 739 0 0 25 0 1 0 146571276 706998272 171780 1992294400 134512640 135151029 4294956240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 172607 171780 79 155 0 172450 0
Current children cumulated CPU time (s) 9998.89
Current children cumulated vsize (KiB) 690428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=402216/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=690428 CPUtime=10000.1
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4194304 1286291 0 0 0 999270 739 0 0 25 0 1 0 146571276 706998272 171791 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23274/statm: 172607 171791 79 155 0 172450 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 690428

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

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

[startup+10003.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23297
/proc/meminfo: memFree=402216/2055920 swapFree=4181456/4192956
[pid=23274] ppid=23272 vsize=0 CPUtime=10000.2
/proc/23274/stat : 23274 (precosat) R 23272 23274 23237 0 -1 4195332 1286291 0 0 0 999270 748 0 0 25 0 1 0 146571276 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23274/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.6
CPU time (s): 10000.2
CPU user time (s): 9992.71
CPU system time (s): 7.49986
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 692028

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

runsolver used 6.87995 second user time and 20.7878 second system time

The end

Launcher Data 

Begin job on node26 at 2009-05-01 15:43:03
IDJOB=1772681
IDBENCH=20370
IDSOLVER=607
FILE ID=node26/1772681-1241185382
PBS_JOBID= 9224604
Free space on /tmp= 66452 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-13-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772681-1241185382/watcher-1772681-1241185382 -o /tmp/evaluation-result-1772681-1241185382/solver-1772681-1241185382 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1772681-1241185382.cnf

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

MD5SUM BENCH= 4bb23e70b97827425fcf5759bf0a79a2
RANDOM SEED=678745793

node26.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.261
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.261
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:       1093312 kB
Buffers:         84272 kB
Cached:         767652 kB
SwapCached:       5352 kB
Active:          84348 kB
Inactive:       775440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1093312 kB
SwapTotal:     4192956 kB
SwapFree:      4181456 kB
Dirty:           15608 kB
Writeback:           0 kB
Mapped:          13484 kB
Slab:            88832 kB
Committed_AS:   634816 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66452 MiB
End job on node26 at 2009-05-01 18:29:48