Trace number 1775391

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 10002.8

General information on the benchmark

Namemizh-sha0-36-2.cnf
MD5SUM82bf685774b76ba263c886940c3aa94d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark279.243
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210239
Sum of the clauses size628391
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286996
Number of clauses of size 338042
Number of clauses of size 485024
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-1775391-1241202136.cnf
0.00/0.00	c found header 'p cnf 50073 210239'
0.19/0.29	c finished parsing
0.19/0.29	c
0.19/0.29	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.19/0.29	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.19/0.29	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.19/0.29	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.19/0.29	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.19/0.29	c --random=1 --spread=2000 --seed=0 --skip=25
0.19/0.29	c
0.19/0.29	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.19/0.29	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.19/0.29	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.19/0.29	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.19/0.29	c
0.19/0.29	c starting search after 0.3 seconds
0.19/0.29	c no decision limit
0.29/0.31	c
0.29/0.31	c       original/binary      fixed     eliminated      learned       agility
0.29/0.31	c   seconds        variables     equivalent    conflicts       height       MB
0.29/0.31	c
0.29/0.31	c *    0.3   180234   39184   4496  6393      0       0      0    0.0   0   15
1.79/1.86	c s    1.9   118028   17249   4814  8121  19889       0      0    0.0   0   12
1.79/1.86	c l    1.9   118028   17249   4814  8121  19889       0 111437    0.0   0   12
1.79/1.86	c R    1.9   118036   17248   4814  8122  19889     100     99   38.6  11   12
1.79/1.87	c R    1.9   118042   17247   4814  8123  19889     201    199   41.8  18   12
1.79/1.89	c N    1.9   118101   17241   4814  8129  19889     806    793   41.7  26   12
1.89/1.91	c B    1.9   118101   17241   4814  8129  19889    1001    988   43.4  32   12
1.89/1.97	c B    2.0   118180   17234   4815  8135  19889    2002   1981   66.8  21   12
2.29/2.34	c B    2.3   120073   17165   4844  8175  19889    8005   7896  103.7  28   13
2.39/2.42	c N    2.4   120521   17160   4846  8178  19889    9875   9760   98.5  26   13
3.49/3.53	c B    3.5   135694   16833   5036  8315  19889   24011  23725   92.4  28   16
8.49/8.56	c s    8.6   165794   15704   5553  8927  19889   60985  29862  106.4  23   17
8.49/8.56	c -    8.6   165794   15704   5553  8927  19889   60985 103637  106.4  23   17
8.99/9.00	c B    9.0   167007   15675   5561  8948  19889   64020  32863  109.5  27   18
16.28/16.36	c R   16.4   204131   15242   5701  9241  19889  100375  68929  136.8  21   25
17.08/17.17	c +   17.2   209366   15233   5705  9246  19889  103637 114000  140.6  14   26
20.89/20.97	c s   21.0   120231   14877   5713  9289  20194  112820  53034  147.7  18   17
20.89/20.97	c -   21.0   120231   14877   5713  9289  20194  112820 109440  147.7  18   17
27.18/27.21	c +   27.2   121538   14843   5722  9314  20194  124364 120384  154.0  26   25
30.38/30.46	c
30.38/30.46	c       original/binary      fixed     eliminated      learned       agility
30.38/30.46	c   seconds        variables     equivalent    conflicts       height       MB
30.38/30.46	c
30.38/30.46	c s   30.5   123057   14811   5730  9338  20194  130603  65100  157.8  37   23
34.88/34.92	c N   34.9   124468   14795   5733  9351  20194  141337  75799  165.4  30   28
41.38/41.41	c s   41.4   119817   14751   5734  9363  20225  152057  82552  169.4  20   27
43.18/43.24	c +   43.2   119837   14748   5734  9366  20225  155456 132422  171.0  26   31
46.88/46.97	c B   47.0   119840   14748   5734  9366  20225  160032  90520  172.3  41   34
48.48/48.53	c N   48.5   119872   14735   5734  9379  20225  163783  94239  173.2  28   36
52.27/52.39	c s   52.4   119840   14735   5734  9379  20225  167454  97853  174.1  30   35
66.77/66.84	c s   66.8   119491   14682   5745  9415  20231  183454 107760  179.4  22   38
77.47/77.58	c +   77.6   119494   14681   5745  9416  20231  194322 145664  182.0  20   50
82.57/82.63	c s   82.6   119524   14674   5746  9422  20231  198157 122089  183.1  31   48
101.86/101.95	c s  101.9   119440   14636   5753  9443  20241  220152 137974  190.0  31   53
121.06/121.14	c s  121.1   119442   14632   5753  9447  20241  237266 153084  194.1  36   66
127.16/127.21	c +  127.2   119447   14632   5753  9447  20241  242900 160230  195.0  34   72
142.85/142.92	c s  142.9   119415   14631   5753  9448  20241  257723 161259  197.5  32   75
166.05/166.13	c s  166.1   119369   14624   5754  9454  20241  278589 160905  200.0  26   84
188.14/188.28	c s  188.2   119205   14609   5755  9460  20249  302129 158470  202.7  37   83
189.44/189.52	c +  189.5   119207   14609   5755  9460  20249  303626 176253  202.9  32   87
213.64/213.77	c s  213.7   119230   14608   5755  9461  20249  324839 177181  205.3  30   93
237.13/237.23	c s  237.2   119191   14604   5756  9463  20250  344567 176543  207.0  37   96
261.12/261.24	c
261.12/261.24	c       original/binary      fixed     eliminated      learned       agility
261.12/261.24	c   seconds        variables     equivalent    conflicts       height       MB
261.12/261.24	c
261.12/261.24	c s  261.2   119193   14603   5756  9464  20250  366033 177281  209.4  32  102
276.22/276.37	c +  276.3   119197   14602   5756  9465  20250  379533 193878  210.8  37  111
282.52/282.64	c B  282.6   119197   14602   5756  9465  20250  384082 186118  211.0  33  115
286.32/286.44	c s  286.4   119158   14602   5756  9465  20250  384630 186666  211.1  32  110
312.90/313.03	c s  313.0   119163   14601   5756  9466  20250  406081 196294  213.2  39  118
320.70/320.84	c R  320.8   119168   14600   5756  9467  20250  414728 194941  214.1  22  123
341.00/341.10	c s  341.0   119145   14599   5756  9468  20250  427452 197373  215.2  38  123
415.08/415.26	c +  415.2   119145   14599   5756  9468  20250  474416 213265  219.2  37  156
528.15/528.30	c s  528.2   119146   14599   5756  9468  20250  519438 267972  222.9  32  199
539.86/540.09	c N  540.0   119147   14599   5756  9468  20250  530087 249301  223.6  32  196
568.55/568.79	c s  568.6   119048   14587   5760  9473  20253  545263 241167  224.7  34  183
607.33/607.55	c s  607.4   119977   14581   5761  9478  20253  570949 214163  225.8  34  164
629.72/629.98	c +  629.8   119978   14580   5761  9479  20253  593020 234591  227.0  36  168
639.22/639.44	c s  639.3   119005   14580   5761  9479  20253  599451 220820  227.4  25  165
674.82/675.07	c s  674.9   119008   14579   5761  9480  20253  622857 235786  228.0  39  175
711.41/711.68	c s  711.5   119009   14579   5761  9480  20253  648098 235683  229.6  35  171
751.49/751.74	c s  751.5   118997   14572   5762  9484  20255  676596 235498  231.3  35  156
787.89/788.12	c s  787.9   118997   14569   5762  9487  20255  701664 235796  232.1  35  146
820.98/821.22	c s  821.0   118999   14569   5762  9487  20255  725226 235622  232.7  30  143
843.97/844.26	c
843.97/844.26	c       original/binary      fixed     eliminated      learned       agility
843.97/844.26	c   seconds        variables     equivalent    conflicts       height       MB
843.97/844.26	c
843.97/844.26	c +  844.0   119001   14569   5762  9487  20255  741275 258050  233.3  29  150
859.26/859.59	c s  859.4   118980   14568   5762  9488  20255  748632 243009  233.7  36  148
898.75/899.10	c s  898.9   118981   14568   5762  9488  20255  773321 259104  234.6  25  157
938.94/939.20	c s  939.0   118986   14568   5762  9488  20255  800830 270386  235.2  38  166
978.84/979.10	c s  978.8   118988   14568   5762  9488  20255  824928 259190  235.8  29  161
1084.50/1084.86	c B 1084.6   118988   14568   5762  9488  20255  896175 300631  238.9  35  213
1134.79/1135.12	c + 1134.8   118988   14568   5762  9488  20255  926590 283855  240.1  35  225
1149.99/1150.39	c s 1150.1   118989   14568   5762  9488  20255  936015 316810  240.5  22  222
1190.17/1190.54	c s 1190.2   118983   14566   5762  9490  20255  970831 290655  242.4  36  208
1340.74/1341.15	c s 1340.8   118984   14566   5762  9490  20255 1057221 291859  245.2  19  230
1395.82/1396.27	c s 1395.9   118978   14565   5762  9491  20255 1083061 285142  245.6  29  226
1445.21/1445.62	c s 1445.2   118983   14565   5762  9491  20255 1110066 285045  246.7  27  221
1487.70/1488.18	c N 1487.8   118985   14565   5762  9491  20255 1135893 285104  247.1  41  224
1491.50/1491.94	c s 1491.5   118985   14565   5762  9491  20255 1136287 285090  247.1  35  216
1530.48/1530.93	c + 1530.5   118986   14564   5762  9492  20255 1158235 312240  247.5  33  223
1543.29/1543.71	c s 1543.3   118973   14564   5762  9492  20255 1162502 289200  247.5  36  217
1586.07/1586.58	c s 1586.2   118979   14564   5762  9492  20255 1188851 313318  246.9  39  234
1635.95/1636.47	c s 1636.0   118980   14564   5762  9492  20255 1218174 313480  247.8  32  238
1695.74/1696.27	c s 1695.8   118990   14563   5762  9493  20255 1249822 313375  248.2  37  238
1807.31/1807.90	c
1807.31/1807.90	c       original/binary      fixed     eliminated      learned       agility
1807.31/1807.90	c   seconds        variables     equivalent    conflicts       height       MB
1807.31/1807.90	c
1807.31/1807.90	c s 1807.4   118991   14563   5762  9493  20255 1299736 316589  248.9  16  241
1865.80/1866.35	c s 1865.9   118998   14563   5762  9493  20255 1334675 313368  249.5  25  222
1921.88/1922.49	c s 1922.0   118926   14553   5764  9501  20255 1363779 312464  250.0  36  218
1975.17/1975.75	c s 1975.2   118930   14552   5764  9502  20255 1388141 322167  250.6  34  231
2023.96/2024.50	c s 2024.0   118909   14550   5764  9504  20255 1416135 313336  250.9  36  222
2070.44/2071.07	c s 2070.5   118929   14550   5764  9504  20255 1444853 313419  251.6  40  225
2074.24/2074.82	c + 2074.3   118930   14549   5764  9505  20255 1447791 343464  251.6  34  229
2109.73/2110.35	c s 2109.8   118936   14549   5764  9505  20255 1472677 338277  252.1  33  242
2174.91/2175.50	c s 2174.9   118938   14549   5764  9505  20255 1509994 344666  252.8  32  246
2230.01/2230.68	c s 2230.1   118939   14549   5764  9505  20255 1539762 344678  252.9  37  246
2289.69/2290.37	c s 2289.8   118927   14548   5764  9506  20255 1569740 344787  253.4  32  243
2342.07/2342.72	c s 2342.1   118940   14547   5764  9507  20255 1599982 344570  253.4  24  240
2446.64/2447.34	c s 2446.7   118941   14547   5764  9507  20255 1668947 354983  254.9  35  257
2497.33/2498.08	c s 2497.4   118946   14547   5764  9507  20255 1692507 347648  255.0  39  253
2549.81/2550.58	c s 2549.9   118948   14547   5764  9507  20255 1717971 355419  255.0  32  258
2612.10/2612.90	c s 2612.2   118944   14546   5764  9508  20255 1756008 344796  255.5  35  244
2703.87/2704.60	c + 2703.9   118944   14546   5764  9508  20255 1809735 377810  256.6  35  262
2752.76/2753.53	c s 2752.8   118943   14545   5764  9509  20255 1836675 374940  257.0  35  275
2798.94/2799.70	c s 2799.0   118945   14545   5764  9509  20255 1867191 389142  257.6  36  286
2852.74/2853.56	c
2852.74/2853.56	c       original/binary      fixed     eliminated      learned       agility
2852.74/2853.56	c   seconds        variables     equivalent    conflicts       height       MB
2852.74/2853.56	c
2852.74/2853.56	c s 2852.8   118946   14545   5764  9509  20255 1902719 382742  258.0  27  283
2907.52/2908.38	c s 2907.6   118948   14545   5764  9509  20255 1932171 383975  258.3  39  287
2965.60/2966.48	c s 2965.7   118942   14544   5764  9510  20255 1965967 379091  258.7  30  276
3023.59/3024.45	c s 3023.7   118946   14544   5764  9510  20255 2001194 379404  259.0  30  276
3074.17/3075.05	c s 3074.2   118951   14544   5764  9510  20255 2034222 379073  259.3  34  268
3093.07/3093.94	c B 3093.1   118951   14544   5764  9510  20255 2048348 378822  259.4  35  272
3324.71/3325.67	c s 3324.8   118952   14544   5764  9510  20255 2189717 378651  260.6  21  268
3450.97/3451.99	c + 3451.1   118952   14544   5764  9510  20255 2262166 415591  260.8  34  321
3859.97/3861.06	c N 3860.0   118952   14544   5764  9510  20255 2388295 540721  261.0  40  476
3993.24/3994.37	c s 3993.3   118953   14544   5764  9510  20255 2415928 568353  261.0  34  505
4099.31/4100.44	c s 4099.4   118954   14544   5764  9510  20255 2459385 598375  261.2  35  535
4189.28/4190.43	c s 4189.3   119152   14544   5764  9510  20255 2497941 575720  261.5  35  529
4311.35/4312.59	c s 4311.5   119137   14543   5764  9511  20255 2540077 589293  261.6  41  549
4433.01/4434.26	c s 4433.1   119141   14542   5764  9512  20255 2586095 529500  261.6  33  508
4550.59/4551.81	c s 4550.6   119142   14542   5764  9512  20255 2630300 513859  261.5  42  487
5095.34/5096.71	c + 5095.4   119142   14542   5764  9512  20255 2827705 457150  262.7  32  423
6124.17/6125.81	c s 6124.2   119143   14542   5764  9512  20255 3052114 346595  263.9  11  353
6232.44/6234.16	c s 6232.5   119153   14535   5764  9519  20255 3088616 383075  263.5  37  370
6315.62/6317.39	c s 6315.7   119158   14534   5764  9520  20255 3120468 414920  263.6  34  393
7737.34/7739.47	c
7737.34/7739.47	c       original/binary      fixed     eliminated      learned       agility
7737.34/7739.47	c   seconds        variables     equivalent    conflicts       height       MB
7737.34/7739.47	c
7737.34/7739.47	c + 7737.4   119158   14534   5764  9520  20255 3534631 502865  266.1  38  473
8152.73/8154.94	c N 8152.8   119158   14534   5764  9520  20255 3618536 589243  266.5  39  564
8441.26/8443.58	c s 8441.4   119162   14534   5764  9520  20255 3681047 641729  267.0  37  591
8842.96/8845.33	c s 8843.0   119163   14534   5764  9520  20255 3797591 725704  267.4  15  676
9081.00/9083.47	c s 9081.1   119159   14532   5764  9522  20255 3858707 662455  267.7  38  595
9257.65/9260.19	c s 9257.8   119148   14529   5764  9525  20255 3914814 503831  267.5  29  420
9358.02/9360.54	c s 9358.1   119514   14526   5764  9528  20255 3965344 503430  267.7  19  393
10000.06/10002.70	c
10000.06/10002.70	c *** CAUGHT SIGNAL 15 ***
10000.06/10002.70	c
10000.06/10002.70	c 4180974 conflicts, 7321497 decisions, 23 random
10000.06/10002.70	c 111 iterations, 1034 restarts, 7672 skipped
10000.06/10002.70	c 17 enlarged, 8809 shrunken, 40906 rescored, 1019 rebiased
10000.06/10002.70	c 79 simplifications, 1 reductions
10000.06/10002.70	c
10000.06/10002.70	c vars: 5764 fixed, 9528 equiv, 20255 elim, 9925 merged
10000.06/10002.70	c elim: 11437205 resolutions, 54 phases, 27 rounds
10000.06/10002.70	c sbst: 100% substituted, 0.2% nots, 95.8% ands, 4.0% xors, 0.0% ites
10000.06/10002.70	c arty: 2.00 and 2.01 xor average arity
10000.06/10002.70	c prbe: 7184811 probed, 237 phases, 244 rounds
10000.06/10002.70	c prbe: 57 failed, 121 lifted, 202 merged
10000.06/10002.70	c sccs: 40 non trivial, 0 fixed, 68 merged
10000.06/10002.70	c hash: 51 units, 9655 merged
10000.06/10002.70	c mins: 858130564 learned, 18% deleted, 2143 strong, 80 depth
10000.06/10002.70	c subs: 14926 forward, 89153 backward, 194750 doms
10000.06/10002.70	c strs: 12654 forward, 126 backward
10000.06/10002.70	c doms: 196006 dominators, 186623 high, 130 low
10000.06/10002.70	c prps: 2559598480 propagations, 0.26 megaprops
10000.06/10002.70	c
10000.06/10002.70	c 10000.1 seconds, 716 MB max, 2981 MB recycled
10000.06/10002.70	c
10000.06/10002.70	c *** CAUGHT SIGNAL 15 ***
10000.06/10002.70	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-1775391-1241202136/watcher-1775391-1241202136 -o /tmp/evaluation-result-1775391-1241202136/solver-1775391-1241202136 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1775391-1241202136.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.85 0.97 0.98 3/64 31620
/proc/meminfo: memFree=1260760/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=3008 CPUtime=0
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 612 0 0 0 0 0 0 0 18 0 1 0 148247625 3080192 598 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/31620/statm: 752 598 59 155 0 595 0

[startup+0.0329661 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 31620
/proc/meminfo: memFree=1260760/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=5892 CPUtime=0.02
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 1373 0 0 0 2 0 0 0 18 0 1 0 148247625 6033408 1358 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 1473 1359 64 155 0 1316 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5892

[startup+0.101972 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 31620
/proc/meminfo: memFree=1260760/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=9188 CPUtime=0.09
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 2236 0 0 0 8 1 0 0 18 0 1 0 148247625 9408512 2188 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 2297 2189 64 155 0 2140 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9188

[startup+0.301989 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 31620
/proc/meminfo: memFree=1260760/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=17892 CPUtime=0.29
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 4611 0 0 0 27 2 0 0 20 0 1 0 148247625 18321408 4368 1992294400 134512640 135151029 4294956240 18446744073709551615 134520115 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 4473 4368 74 155 0 4316 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17892

[startup+0.702021 s]
/proc/loadavg: 0.85 0.97 0.98 3/64 31620
/proc/meminfo: memFree=1260760/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=19992 CPUtime=0.69
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 5557 0 0 0 66 3 0 0 23 0 1 0 148247625 20471808 4861 1992294400 134512640 135151029 4294956240 18446744073709551615 134578505 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 4998 4861 79 155 0 4841 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19992

[startup+1.50109 s]
/proc/loadavg: 0.85 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1239184/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=25820 CPUtime=1.49
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 7341 0 0 0 146 3 0 0 25 0 1 0 148247625 26439680 6259 1992294400 134512640 135151029 4294956240 18446744073709551615 134517572 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 6455 6259 79 155 0 6298 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25820

[startup+3.10122 s]
/proc/loadavg: 0.86 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1240080/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=22952 CPUtime=3.09
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 7343 0 0 0 306 3 0 0 25 0 1 0 148247625 23502848 5544 1992294400 134512640 135151029 4294956240 18446744073709551615 134551282 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 5738 5544 79 155 0 5581 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22952

[startup+6.30148 s]
/proc/loadavg: 0.86 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1239952/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=24800 CPUtime=6.29
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 7836 0 0 0 625 4 0 0 25 0 1 0 148247625 25395200 6037 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 6200 6037 79 155 0 6043 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24800

[startup+12.702 s]
/proc/loadavg: 0.88 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1234384/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=28448 CPUtime=12.69
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 8933 0 0 0 1264 5 0 0 25 0 1 0 148247625 29130752 6938 1992294400 134512640 135151029 4294956240 18446744073709551615 134520217 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 7112 6938 79 155 0 6955 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28448

[startup+25.501 s]
/proc/loadavg: 0.90 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1230864/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=31940 CPUtime=25.48
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 10570 0 0 0 2542 6 0 0 25 0 1 0 148247625 32706560 7824 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 7985 7824 79 155 0 7828 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31940

[startup+51.1011 s]
/proc/loadavg: 0.93 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1221008/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=42648 CPUtime=51.08
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 14735 0 0 0 5098 10 0 0 25 0 1 0 148247625 43671552 10487 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 10662 10487 79 155 0 10505 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42648

[startup+102.304 s]
/proc/loadavg: 0.97 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1196112/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=66648 CPUtime=102.26
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 23751 0 0 0 10208 18 0 0 25 0 1 0 148247625 68247552 16496 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 16662 16496 79 155 0 16505 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66648

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1164944/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=98464 CPUtime=162.25
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 33186 0 0 0 16196 29 0 0 25 0 1 0 148247625 100827136 24428 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 24616 24428 79 155 0 24459 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 98464

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1155664/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=107212 CPUtime=222.23
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 37639 0 0 0 22189 34 0 0 25 0 1 0 148247625 109785088 26626 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 26803 26626 79 155 0 26646 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 107212

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1141200/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=122076 CPUtime=282.21
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 42866 0 0 0 28182 39 0 0 25 0 1 0 148247625 125005824 30350 1992294400 134512640 135151029 4294956240 18446744073709551615 134574302 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 30519 30350 79 155 0 30362 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 122076

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1125520/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=136932 CPUtime=342.2
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 48843 0 0 0 34176 44 0 0 25 0 1 0 148247625 140218368 34072 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 34233 34072 79 155 0 34076 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 136932

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1105168/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=158064 CPUtime=402.18
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 54080 0 0 0 40168 50 0 0 25 0 1 0 148247625 161857536 39309 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 39516 39309 79 155 0 39359 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 158064

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1075472/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=187688 CPUtime=462.17
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 61452 0 0 0 46158 59 0 0 25 0 1 0 148247625 192192512 46681 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 46922 46681 79 155 0 46765 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 187688

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1048656/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=214788 CPUtime=522.16
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 68182 0 0 0 52148 68 0 0 25 0 1 0 148247625 219942912 53411 1992294400 134512640 135151029 4294956240 18446744073709551615 134574845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 53697 53411 79 155 0 53540 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 214788

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1045520/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=216940 CPUtime=582.14
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 70319 0 0 0 58144 70 0 0 25 0 1 0 148247625 222146560 54044 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 54235 54044 79 155 0 54078 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 216940

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 31621
/proc/meminfo: memFree=1045520/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=216940 CPUtime=642.12
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 70913 0 0 0 64142 70 0 0 25 0 1 0 148247625 222146560 54050 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 54235 54050 79 155 0 54078 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 216940

[startup+702.301 s]

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

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31639
/proc/meminfo: memFree=521104/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9099.89
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 216712 0 0 0 909718 271 0 0 25 0 1 0 148247625 757899264 184740 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184740 79 155 0 184877 0
Current children cumulated CPU time (s) 9099.89
Current children cumulated vsize (KiB) 740136

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31639
/proc/meminfo: memFree=521104/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9159.87
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 216717 0 0 0 915716 271 0 0 25 0 1 0 148247625 757899264 184745 1992294400 134512640 135151029 4294956240 18446744073709551615 134554726 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184745 79 155 0 184877 0
Current children cumulated CPU time (s) 9159.87
Current children cumulated vsize (KiB) 740136

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31639
/proc/meminfo: memFree=521104/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9219.87
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 216719 0 0 0 921715 272 0 0 25 0 1 0 148247625 757899264 184747 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184747 79 155 0 184877 0
Current children cumulated CPU time (s) 9219.87
Current children cumulated vsize (KiB) 740136

[startup+9282.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 31639
/proc/meminfo: memFree=520912/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9279.85
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 216915 0 0 0 927713 272 0 0 25 0 1 0 148247625 757899264 184747 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184747 79 155 0 184877 0
Current children cumulated CPU time (s) 9279.85
Current children cumulated vsize (KiB) 740136

[startup+9342.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 31639
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9339.83
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 216915 0 0 0 933711 272 0 0 25 0 1 0 148247625 757899264 184747 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184747 79 155 0 184877 0
Current children cumulated CPU time (s) 9339.83
Current children cumulated vsize (KiB) 740136

[startup+9402.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 31639
/proc/meminfo: memFree=520912/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9399.82
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 939709 273 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9399.82
Current children cumulated vsize (KiB) 740136

[startup+9462.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 31639
/proc/meminfo: memFree=520912/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9459.8
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 945707 273 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134520451 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9459.8
Current children cumulated vsize (KiB) 740136

[startup+9522.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 31639
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9519.78
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 951705 273 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9519.78
Current children cumulated vsize (KiB) 740136

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520912/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9579.76
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 957703 273 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9579.76
Current children cumulated vsize (KiB) 740136

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520912/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9639.75
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 963701 274 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9639.75
Current children cumulated vsize (KiB) 740136

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9699.73
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 969699 274 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9699.73
Current children cumulated vsize (KiB) 740136

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9759.71
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 975697 274 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9759.71
Current children cumulated vsize (KiB) 740136

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9819.7
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 981696 274 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134520434 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9819.7
Current children cumulated vsize (KiB) 740136

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9879.69
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217117 0 0 0 987695 274 0 0 25 0 1 0 148247625 757899264 184753 1992294400 134512640 135151029 4294956240 18446744073709551615 134554789 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184753 79 155 0 184877 0
Current children cumulated CPU time (s) 9879.69
Current children cumulated vsize (KiB) 740136

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520912/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9939.66
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217119 0 0 0 993692 274 0 0 25 0 1 0 148247625 757899264 184755 1992294400 134512640 135151029 4294956240 18446744073709551615 134554668 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184755 79 155 0 184877 0
Current children cumulated CPU time (s) 9939.66
Current children cumulated vsize (KiB) 740136

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=9999.66
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217121 0 0 0 999691 275 0 0 25 0 1 0 148247625 757899264 184757 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184757 79 155 0 184877 0
Current children cumulated CPU time (s) 9999.66
Current children cumulated vsize (KiB) 740136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=740136 CPUtime=10000.1
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4194304 217121 0 0 0 999731 275 0 0 25 0 1 0 148247625 757899264 184757 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/31620/statm: 185034 184757 79 155 0 184877 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 740136

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

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

[startup+10002.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31645
/proc/meminfo: memFree=520976/2055920 swapFree=4191900/4192956
[pid=31620] ppid=31618 vsize=0 CPUtime=10000.2
/proc/31620/stat : 31620 (precosat) R 31618 31620 31583 0 -1 4195332 217121 0 0 0 999731 285 0 0 25 0 1 0 148247625 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/31620/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): 10002.8
CPU time (s): 10000.2
CPU user time (s): 9997.31
CPU system time (s): 2.87156
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 746616

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

runsolver used 8.25474 second user time and 19.3031 second system time

The end

Launcher Data 

Begin job on node3 at 2009-05-01 20:22:16
IDJOB=1775391
IDBENCH=71748
IDSOLVER=607
FILE ID=node3/1775391-1241202136
PBS_JOBID= 9224680
Free space on /tmp= 66264 MiB

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

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

MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED=1314252108

node3.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.212
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.212
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:       1262840 kB
Buffers:         80768 kB
Cached:         594736 kB
SwapCached:        416 kB
Active:          38876 kB
Inactive:       650440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1262840 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            5036 kB
Writeback:           0 kB
Mapped:          22196 kB
Slab:            89832 kB
Committed_AS:   745964 kB
PageTables:       1372 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= 66260 MiB
End job on node3 at 2009-05-01 23:09:01