Trace number 1784022

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.07 4999.56

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_9_3_5_cmp.cnf
MD5SUMb2b9255b6dd854658cbd4bd594382e55
Bench CategoryCRAFTED (crafted 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 variables3857
Number of clauses39932
Sum of the clauses size134967
Maximum clause length49
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24591
Number of clauses of size 326002
Number of clauses of size 44516
Number of clauses of size 54669
Number of clauses of size over 5154

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-1784022-1241909645.cnf
0.00/0.00	c found header 'p cnf 3857 39932'
0.00/0.04	c finished parsing
0.00/0.04	c
0.00/0.04	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.04	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.04	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.04	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.04	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.04	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.04	c
0.00/0.04	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.04	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.04	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.04	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.04	c
0.00/0.04	c starting search after 0.0 seconds
0.00/0.04	c no decision limit
0.00/0.04	c
0.00/0.04	c       original/binary      fixed     eliminated      learned       agility
0.00/0.04	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.04	c
0.00/0.04	c *    0.0    39932    3857      0     0      0       0      0    0.0   0    3
0.29/0.30	c s    0.3    40381    3704    124    24      5       0      0    0.0   0    3
0.29/0.30	c l    0.3    40381    3704    124    24      5       0  33988    0.0   0    3
0.29/0.31	c R    0.3    40387    3704    124    24      5     101    101  290.2   2    3
0.29/0.33	c R    0.3    40402    3704    124    24      5     201    201  346.0   1    3
0.39/0.40	c R    0.4    40442    3704    124    24      5     802    794  479.9   3    3
0.39/0.42	c B    0.4    40451    3704    124    24      5    1001    992  468.6  10    3
0.49/0.50	c B    0.5    40481    3704    124    24      5    2002   1992  446.6  10    4
0.49/0.54	c R    0.5    40482    3704    124    24      5    2406   2396  441.8  11    4
1.00/1.07	c R    1.1    40844    3704    124    24      5    6420   6377  444.3  10    6
1.19/1.29	c B    1.3    41522    3704    124    24      5    8009   7966  439.0   7    7
1.49/1.58	c s    1.6    41632    3704    124    24      5    9531   9470  426.7   7    6
2.60/2.70	c R    2.7    42850    3704    124    24      5   16039  15942  423.0   9   10
4.09/4.14	c s    4.1    43525    3704    124    24      5   22552  22419  416.9   3   12
4.39/4.48	c B    4.5    43702    3704    124    24      5   24017  23871  414.5   3   14
7.39/7.46	c +    7.5    47637    3704    124    24      5   33989  37386  416.5   7   19
7.70/7.76	c s    7.8    47637    3704    124    24      5   35046  34802  415.8   8   15
8.49/8.52	c R    8.5    47804    3704    124    24      5   38485  37421  413.3   7   19
9.09/9.11	c +    9.1    47816    3704    124    24      5   42485  41124  410.7   7   19
12.19/12.21	c
12.19/12.21	c       original/binary      fixed     eliminated      learned       agility
12.19/12.21	c   seconds        variables     equivalent    conflicts       height       MB
12.19/12.21	c
12.19/12.21	c +   12.2    49232    3704    124    24      5   53105  45236  405.4   6   22
12.89/12.93	c s   12.9    49519    3704    124    24      5   54908  42932  404.7   7   18
15.59/15.68	c B   15.7    51827    3704    124    24      5   64031  45394  404.5  10   22
16.29/16.40	c +   16.4    52115    3704    124    24      5   66380  49759  402.7   4   23
19.29/19.33	c s   19.3    54664    3704    124    24      5   73556  49834  403.0   3   20
22.09/22.14	c +   22.1    56549    3704    124    24      5   82976  54734  401.8   6   24
23.29/23.36	c R   23.4    56955    3704    124    24      5   89768  54747  399.7   7   26
26.79/26.88	c s   26.9    57171    3704    124    24      5  103010  54832  395.0   3   21
27.09/27.17	c +   27.2    57201    3704    124    24      5  103720  60207  394.7   5   23
35.39/35.48	c s   35.5    60777    3704    124    24      5  125737  60301  392.4   7   23
36.59/36.67	c +   36.7    60913    3704    124    24      5  129652  66227  392.7   7   27
45.19/45.29	c s   45.3    63596    3704    124    24      5  151230  66239  391.5   7   25
48.89/48.96	c B   49.0    64947    3704    124    24      5  160053  66353  391.7   4   31
49.59/49.62	c +   49.6    65038    3704    124    24      5  162065  72849  391.4   4   31
56.59/56.60	c s   56.6    67294    3704    124    24      5  178408  72965  392.1   5   28
65.10/65.18	c +   65.2    68926    3704    124    24      5  202584  80133  390.4   7   37
65.69/65.72	c R   65.7    68927    3704    124    24      5  205150  75432  390.0   7   38
67.49/67.56	c s   67.6    68929    3704    124    24      5  211638  80125  388.9   6   33
83.09/83.11	c s   83.1    70111    3704    124    24      5  245593  80272  384.7   9   36
85.99/86.03	c
85.99/86.03	c       original/binary      fixed     eliminated      learned       agility
85.99/86.03	c   seconds        variables     equivalent    conflicts       height       MB
85.99/86.03	c
85.99/86.03	c +   86.0    70920    3704    124    24      5  253231  88146  385.5   8   43
99.40/99.41	c s   99.4    73132    3704    124    24      5  277756  88162  386.0   5   39
118.00/118.02	c s  118.0    76474    3704    124    24      5  310925  88138  384.4   7   37
120.60/120.61	c +  120.6    77390    3704    124    24      5  316535  96960  384.5   7   42
134.90/134.95	c s  135.0    78758    3704    124    24      5  347572  97032  382.7   7   39
154.30/154.39	c s  154.4    82713    3704    124    24      5  381891  96950  382.3   7   38
155.70/155.79	c B  155.8    83516    3704    124    24      5  384099  97104  382.3   7   43
161.71/161.75	c +  161.8    84746    3704    124    24      5  395665 106656  382.3   8   47
174.70/174.76	c s  174.8    87216    3704    124    24      5  417133 106748  382.6   4   43
195.20/195.29	c s  195.3    88488    3704    124    24      5  459870 112828  383.5   6   48
197.00/197.04	c R  197.1    88568    3704    124    24      5  461500 106666  383.3   7   47
207.91/207.96	c +  208.0    88897    3704    124    24      5  494582 117321  380.5   7   53
214.11/214.17	c s  214.2    88897    3704    124    24      5  509170 117334  379.3   7   51
244.90/244.99	c s  245.0    92215    3704    124    24      5  546741 117455  379.4   6   50
273.41/273.45	c s  273.5    95195    3704    124    24      5  587930 117442  378.9   9   49
291.42/291.47	c +  291.5    97126    3704    124    24      5  618225 129053  380.5   7   62
298.52/298.57	c s  298.6    98523    3704    124    24      5  626778 125934  380.6   7   55
329.82/329.86	c s  329.9   101449    3704    124    24      5  670782 129172  380.4   5   55
359.22/359.23	c s  359.3   103326    3704    124    24      5  715315 129236  381.1   6   55
390.13/390.14	c
390.13/390.14	c       original/binary      fixed     eliminated      learned       agility
390.13/390.14	c   seconds        variables     equivalent    conflicts       height       MB
390.13/390.14	c
390.13/390.14	c s  390.2   104802    3704    124    24      5  764849 129176  380.2   5   55
395.63/395.63	c +  395.7   104974    3704    124    24      5  772780 141958  380.0   6   64
422.52/422.52	c s  422.6   106328    3704    124    24      5  809932 142111  380.0   6   62
456.92/456.95	c s  457.0   108153    3704    124    24      5  856317 142199  381.9   7   65
490.53/490.51	c B  490.6   109713    3704    124    24      5  896232 142165  383.0   6   81
494.83/494.87	c s  494.9   109892    3704    124    24      5  901612 142089  383.3   6   66
530.93/530.98	c s  531.0   111447    3704    124    24      5  945479 142141  386.2   4   68
541.33/541.30	c +  541.3   111544    3704    124    24      5  965977 156153  386.7  10   79
563.03/563.04	c s  563.1   112283    3704    124    24      5  998470 156409  387.3   9   79
582.94/582.99	c R  583.0   112856    3704    124    24      5 1025427 156262  388.4   7   93
596.24/596.24	c s  596.3   113182    3704    124    24      5 1055561 156153  386.9   5   74
627.65/627.63	c s  627.7   113334    3704    124    24      5 1117861 156253  384.2   5   68
671.95/671.97	c s  672.0   114448    3704    124    24      5 1168433 156239  384.1   6   66
702.55/702.58	c +  702.6   115426    3704    124    24      5 1207471 171768  384.8   8   87
711.25/711.26	c s  711.3   115619    3704    124    24      5 1218564 167369  385.1   5   79
759.15/759.15	c s  759.2   116325    3704    124    24      5 1273362 171830  384.4   6   81
806.76/806.72	c s  806.8   117180    3704    124    24      5 1328097 171773  384.3   6   78
853.97/853.99	c s  854.1   117643    3704    124    24      5 1385892 171992  383.6   4   75
901.97/901.91	c s  902.0   118409    3704    124    24      5 1436776 171955  385.3   5   77
950.18/950.18	c
950.18/950.18	c       original/binary      fixed     eliminated      learned       agility
950.18/950.18	c   seconds        variables     equivalent    conflicts       height       MB
950.18/950.18	c
950.18/950.18	c s  950.3   119139    3704    124    24      5 1489024 171899  386.0   8   92
972.78/972.75	c +  972.8   119481    3704    124    24      5 1509336 188944  386.2   9  105
1006.88/1006.88	c s 1007.0   120046    3704    124    24      5 1536576 189197  386.2   6  103
1049.98/1049.90	c s 1050.0   120299    3704    124    24      5 1604454 188949  385.0   6   92
1100.49/1100.41	c s 1100.5   120622    3704    124    24      5 1667110 189213  384.6   5   87
1163.40/1163.34	c s 1163.5   121136    3704    124    24      5 1720617 189165  384.9   6   86
1221.01/1220.95	c s 1221.1   121684    3704    124    24      5 1775029 189212  385.4   6   97
1279.81/1279.75	c s 1279.9   122146    3704    124    24      5 1832554 189094  385.5   7  100
1333.22/1333.11	c + 1333.2   122510    3704    124    24      5 1886672 207838  386.8   7  123
1336.22/1336.14	c s 1336.3   122516    3704    124    24      5 1889100 191614  386.9   7  106
1402.33/1402.23	c s 1402.4   123130    3704    124    24      5 1940714 208210  388.2   8  118
1468.03/1467.90	c s 1468.0   123512    3704    124    24      5 1997373 208100  389.5   6  124
1528.44/1528.36	c B 1528.5   123892    3704    124    24      5 2048447 208230  390.3   7  143
1536.94/1536.82	c s 1537.0   123909    3704    124    24      5 2053418 208141  390.4   7  123
1593.25/1593.17	c s 1593.3   124177    3704    124    24      5 2118720 207925  392.2   8  121
1647.05/1646.91	c s 1647.1   124312    3704    124    24      5 2186901 208217  393.5   9  122
1700.56/1700.42	c s 1700.6   124498    3704    124    24      5 2247420 208298  396.2   8  131
1711.86/1711.77	c R 1711.9   124626    3704    124    24      5 2255944 208130  396.4   7  144
1754.87/1754.74	c s 1754.9   124858    3704    124    24      5 2313046 208283  397.7   9  148
1804.96/1804.81	c
1804.96/1804.81	c       original/binary      fixed     eliminated      learned       agility
1804.96/1804.81	c   seconds        variables     equivalent    conflicts       height       MB
1804.96/1804.81	c
1804.96/1804.81	c + 1805.0   125362    3704    124    24      5 2358341 228621  396.8   5  192
1807.87/1807.79	c s 1808.0   125367    3704    124    24      5 2359750 209557  396.7   5  181
1862.78/1862.65	c s 1862.8   125644    3704    124    24      5 2418846 228727  396.7   5  187
1927.88/1927.79	c s 1928.0   125970    3704    124    24      5 2484857 228925  396.7   5  177
2003.79/2003.63	c s 2003.8   126121    3704    124    24      5 2548137 228633  396.7   5  129
2079.70/2079.50	c s 2079.7   126365    3704    124    24      5 2610479 228919  396.8   6  134
2155.91/2155.78	c s 2156.0   126494    3704    124    24      5 2668887 229014  397.4   8  138
2230.92/2230.71	c s 2230.9   126651    3704    124    24      5 2724533 228965  398.6   7  154
2308.23/2308.07	c s 2308.3   126767    3704    124    24      5 2787938 228630  398.8   5  155
2387.33/2387.19	c s 2387.4   126909    3704    124    24      5 2843117 228981  398.9   5  149
2466.74/2466.55	c s 2466.8   127027    3704    124    24      5 2899505 228928  398.8   6  156
2515.85/2515.68	c + 2515.9   127084    3704    124    24      5 2947926 251483  400.2   8  181
2533.05/2532.88	c s 2533.1   127084    3704    124    24      5 2971485 251663  400.3   7  175
2629.96/2629.79	c s 2630.1   127225    3704    124    24      5 3032416 251694  400.5   7  171
2721.17/2720.93	c s 2721.2   127291    3704    124    24      5 3099763 251827  400.3   7  150
2814.97/2814.80	c s 2815.1   127365    3704    124    24      5 3161502 251926  401.1   8  164
2900.08/2899.81	c s 2900.1   127435    3704    124    24      5 3225471 251765  402.7   5  173
2993.80/2993.58	c s 2993.9   127513    3704    124    24      5 3288426 251861  403.3   7  183
3086.40/3086.10	c s 3086.4   127613    3704    124    24      5 3348983 251837  403.9   5  183
3179.41/3179.12	c
3179.41/3179.12	c       original/binary      fixed     eliminated      learned       agility
3179.41/3179.12	c   seconds        variables     equivalent    conflicts       height       MB
3179.41/3179.12	c
3179.41/3179.12	c s 3179.4   127663    3704    124    24      5 3409982 251603  404.4   3  187
3233.72/3233.41	c s 3233.7   127667    3704    124    24      5 3494874 251490  402.8   6  149
3310.83/3310.54	c s 3310.9   127689    3704    124    24      5 3554686 251831  402.9   5  171
3391.54/3391.27	c s 3391.6   127845    3704    124    24      5 3612966 251485  402.1   4  182
3487.75/3487.43	c s 3487.8   127930    3704    124    24      5 3672745 251795  402.4   6  208
3502.45/3502.20	c + 3502.6   127945    3704    124    24      5 3684908 276631  402.5   7  226
3578.15/3577.84	c s 3578.2   128036    3704    124    24      5 3733122 276841  403.2   6  241
3676.17/3675.81	c s 3676.2   128100    3704    124    24      5 3798853 276639  403.6   6  212
3787.58/3787.29	c s 3787.7   128159    3704    124    24      5 3862858 277036  403.6   7  213
3899.09/3898.80	c s 3899.2   128232    3704    124    24      5 3926196 276961  403.5   6  208
4009.10/4008.74	c s 4009.2   128271    3704    124    24      5 3990149 276910  403.8   4  205
4085.50/4085.15	c s 4085.6   128303    3704    124    24      5 4071422 276645  402.7   5  176
4183.11/4182.70	c s 4183.1   128323    3704    124    24      5 4146558 276729  402.5   7  162
4284.32/4283.96	c s 4284.4   128363    3704    124    24      5 4211838 277042  403.5   7  159
4386.93/4386.58	c s 4387.0   128453    3704    124    24      5 4276346 277099  404.1   7  198
4487.65/4487.24	c s 4487.7   128466    3704    124    24      5 4341488 277011  405.2   7  220
4594.95/4594.59	c s 4595.1   128499    3704    124    24      5 4405626 276989  406.0   6  223
4699.47/4699.02	c s 4699.5   128560    3704    124    24      5 4471707 277020  406.5   8  217
4800.78/4800.39	c s 4800.9   128573    3704    124    24      5 4541330 277054  407.2   9  207
4886.59/4886.12	c
4886.59/4886.12	c       original/binary      fixed     eliminated      learned       agility
4886.59/4886.12	c   seconds        variables     equivalent    conflicts       height       MB
4886.59/4886.12	c
4886.59/4886.12	c s 4886.6   128615    3704    124    24      5 4602285 277040  408.3   6  233
4895.59/4895.19	c + 4895.7   128618    3704    124    24      5 4606135 304294  408.4   8  244
4899.39/4898.95	c B 4899.4   128618    3704    124    24      5 4608900 279787  408.5   9  248
4978.70/4978.26	c s 4978.8   128621    3704    124    24      5 4669963 304745  409.2  10  272
5000.01/4999.50	c
5000.01/4999.50	c *** CAUGHT SIGNAL 15 ***
5000.01/4999.50	c
5000.01/4999.50	c 4684675 conflicts, 29130044 decisions, 14444 random
5000.01/4999.50	c 0 iterations, 8188 restarts, 0 skipped
5000.01/4999.50	c 23 enlarged, 1438 shrunken, 45846 rescored, 1022 rebiased
5000.01/4999.50	c 90 simplifications, 0 reductions
5000.01/4999.50	c
5000.01/4999.50	c vars: 124 fixed, 24 equiv, 5 elim, 24 merged
5000.01/4999.50	c elim: 134941 resolutions, 1 phases, 1 rounds
5000.01/4999.50	c sbst: 40% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.01/4999.50	c arty: 2.00 and 0.00 xor average arity
5000.01/4999.50	c prbe: 1940976 probed, 735 phases, 262 rounds
5000.01/4999.50	c prbe: 12 failed, 0 lifted, 4 merged
5000.01/4999.50	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.01/4999.50	c hash: 0 units, 20 merged
5000.01/4999.50	c mins: 831528949 learned, 16% deleted, 466 strong, 38 depth
5000.01/4999.50	c subs: 1351 forward, 1349 backward, 7841 doms
5000.01/4999.50	c strs: 3 forward, 0 backward
5000.01/4999.50	c doms: 11687 dominators, 8720 high, 8 low
5000.01/4999.50	c prps: 1041482935 propagations, 0.21 megaprops
5000.01/4999.50	c
5000.01/4999.50	c 5000.0 seconds, 295 MB max, 3019 MB recycled
5000.01/4999.50	c
5000.01/4999.50	c *** CAUGHT SIGNAL 15 ***
5000.01/4999.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-1784022-1241909645/watcher-1784022-1241909645 -o /tmp/evaluation-result-1784022-1241909645/solver-1784022-1241909645 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784022-1241909645.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: 1.00 1.00 1.00 3/64 24966
/proc/meminfo: memFree=1845112/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=1212 CPUtime=0
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 209 0 0 0 0 0 0 0 18 0 1 0 218997927 1241088 194 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 303 195 63 155 0 146 0

[startup+0.0786959 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24966
/proc/meminfo: memFree=1845112/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=4244 CPUtime=0.06
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 991 0 0 0 6 0 0 0 18 0 1 0 218997927 4345856 975 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 1061 975 79 155 0 904 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4244

[startup+0.101688 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24966
/proc/meminfo: memFree=1845112/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=4376 CPUtime=0.09
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 1003 0 0 0 9 0 0 0 18 0 1 0 218997927 4481024 987 1992294400 134512640 135151029 4294956240 18446744073709551615 134554386 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 1094 987 79 155 0 937 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4376

[startup+0.301631 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24966
/proc/meminfo: memFree=1845112/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=5196 CPUtime=0.29
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 1259 0 0 0 29 0 0 0 19 0 1 0 218997927 5320704 1199 1992294400 134512640 135151029 4294956240 18446744073709551615 134673144 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 1299 1199 79 155 0 1142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5196

[startup+0.701518 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 24966
/proc/meminfo: memFree=1845112/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=5592 CPUtime=0.69
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 1377 0 0 0 69 0 0 0 22 0 1 0 218997927 5726208 1317 1992294400 134512640 135151029 4294956240 18446744073709551615 134567670 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 1398 1317 79 155 0 1241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5592

[startup+1.5023 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1839216/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=8628 CPUtime=1.49
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 2136 0 0 0 148 1 0 0 25 0 1 0 218997927 8835072 2076 1992294400 134512640 135151029 4294956240 18446744073709551615 134554668 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 2157 2076 79 155 0 2000 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8628

[startup+3.10184 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1835952/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=13916 CPUtime=3.09
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 3454 0 0 0 307 2 0 0 25 0 1 0 218997927 14249984 3394 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 3479 3394 79 155 0 3322 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13916

[startup+6.30193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1828600/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=18820 CPUtime=6.29
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 4702 0 0 0 627 2 0 0 25 0 1 0 218997927 19271680 4609 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 4705 4609 79 155 0 4548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18820

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1821816/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=24484 CPUtime=12.69
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 6067 0 0 0 1265 4 0 0 25 0 1 0 218997927 25071616 5975 1992294400 134512640 135151029 4294956240 18446744073709551615 134682423 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 6121 5975 79 155 0 5964 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24484

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1816504/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=29108 CPUtime=25.49
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 7271 0 0 0 2544 5 0 0 25 0 1 0 218997927 29806592 7178 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 7277 7178 79 155 0 7120 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29108

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1810040/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=36896 CPUtime=51.09
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 9462 0 0 0 5102 7 0 0 25 0 1 0 218997927 37781504 9132 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 9224 9132 79 155 0 9067 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36896

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1792568/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=53068 CPUtime=102.3
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 13648 0 0 0 10220 10 0 0 25 0 1 0 218997927 54341632 13108 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 13267 13108 79 155 0 13110 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 53068

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1791672/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=53664 CPUtime=162.3
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 14029 0 0 0 16220 10 0 0 25 0 1 0 218997927 54951936 13334 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 13416 13334 79 155 0 13259 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 53664

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1778552/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=67800 CPUtime=222.31
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 17961 0 0 0 22218 13 0 0 25 0 1 0 218997927 69427200 16640 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 16950 16640 79 155 0 16793 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 67800

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1778104/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=67016 CPUtime=282.31
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 18902 0 0 0 28217 14 0 0 25 0 1 0 218997927 68624384 16666 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 16754 16666 79 155 0 16597 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 67016

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24967
/proc/meminfo: memFree=1772728/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=72488 CPUtime=342.32
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 20782 0 0 0 34215 17 0 0 25 0 1 0 218997927 74227712 18037 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 18122 18037 79 155 0 17965 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 72488

[startup+402.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 24967
/proc/meminfo: memFree=1770552/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=75756 CPUtime=402.33
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 22585 0 0 0 40215 18 0 0 25 0 1 0 218997927 77574144 18830 1992294400 134512640 135151029 4294956240 18446744073709551615 134554575 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 18939 18830 79 155 0 18782 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 75756

[startup+462.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 24973
/proc/meminfo: memFree=1759608/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=85604 CPUtime=462.32
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 25800 0 0 0 46212 20 0 0 25 0 1 0 218997927 87658496 21248 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 21401 21248 79 155 0 21244 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 85604

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24973
/proc/meminfo: memFree=1756856/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=88456 CPUtime=522.34
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 26937 0 0 0 52212 22 0 0 25 0 1 0 218997927 90578944 21999 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 22114 21999 79 155 0 21957 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 88456

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24973
/proc/meminfo: memFree=1744568/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=100760 CPUtime=582.34
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 30777 0 0 0 58209 25 0 0 25 0 1 0 218997927 103178240 25067 1992294400 134512640 135151029 4294956240 18446744073709551615 134553409 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 25190 25067 79 155 0 25033 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 100760

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24973
/proc/meminfo: memFree=1743992/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=100836 CPUtime=642.35
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 31764 0 0 0 64209 26 0 0 25 0 1 0 218997927 103256064 25126 1992294400 134512640 135151029 4294956240 18446744073709551615 134554794 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 25209 25126 79 155 0 25052 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 100836

[startup+702.301 s]

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

[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561584/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4062.71
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 86404 0 0 0 406185 86 0 0 25 0 1 0 218997927 287887360 70137 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70137 79 155 0 70128 0
Current children cumulated CPU time (s) 4062.71
Current children cumulated vsize (KiB) 281140

[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561328/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4122.7
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 86791 0 0 0 412184 86 0 0 25 0 1 0 218997927 287887360 70138 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70138 79 155 0 70128 0
Current children cumulated CPU time (s) 4122.7
Current children cumulated vsize (KiB) 281140

[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1562352/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4182.71
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 87051 0 0 0 418185 86 0 0 25 0 1 0 218997927 287887360 70141 1992294400 134512640 135151029 4294956240 18446744073709551615 134578554 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70141 79 155 0 70128 0
Current children cumulated CPU time (s) 4182.71
Current children cumulated vsize (KiB) 281140

[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561456/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4242.72
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 87051 0 0 0 424185 87 0 0 25 0 1 0 218997927 287887360 70141 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70141 79 155 0 70128 0
Current children cumulated CPU time (s) 4242.72
Current children cumulated vsize (KiB) 281140

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561456/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4302.73
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 87308 0 0 0 430186 87 0 0 25 0 1 0 218997927 287887360 70141 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70141 79 155 0 70128 0
Current children cumulated CPU time (s) 4302.73
Current children cumulated vsize (KiB) 281140

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561400/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4362.73
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 87308 0 0 0 436186 87 0 0 25 0 1 0 218997927 287887360 70141 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70141 79 155 0 70128 0
Current children cumulated CPU time (s) 4362.73
Current children cumulated vsize (KiB) 281140

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561336/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4422.74
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 87567 0 0 0 442186 88 0 0 25 0 1 0 218997927 287887360 70143 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70143 79 155 0 70128 0
Current children cumulated CPU time (s) 4422.74
Current children cumulated vsize (KiB) 281140

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561208/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4482.75
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 87596 0 0 0 448187 88 0 0 25 0 1 0 218997927 287887360 70172 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70172 79 155 0 70128 0
Current children cumulated CPU time (s) 4482.75
Current children cumulated vsize (KiB) 281140

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561208/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4542.75
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 87853 0 0 0 454187 88 0 0 25 0 1 0 218997927 287887360 70172 1992294400 134512640 135151029 4294956240 18446744073709551615 134554929 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70172 79 155 0 70128 0
Current children cumulated CPU time (s) 4542.75
Current children cumulated vsize (KiB) 281140

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1561080/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4602.76
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 88125 0 0 0 460188 88 0 0 25 0 1 0 218997927 287887360 70187 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70187 79 155 0 70128 0
Current children cumulated CPU time (s) 4602.76
Current children cumulated vsize (KiB) 281140

[startup+4662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 24981
/proc/meminfo: memFree=1561080/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4662.76
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 88125 0 0 0 466188 88 0 0 25 0 1 0 218997927 287887360 70187 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70187 79 155 0 70128 0
Current children cumulated CPU time (s) 4662.76
Current children cumulated vsize (KiB) 281140

[startup+4722.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 24981
/proc/meminfo: memFree=1561016/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4722.78
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 88382 0 0 0 472189 89 0 0 25 0 1 0 218997927 287887360 70187 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70187 79 155 0 70128 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 281140

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1560952/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4782.78
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 88382 0 0 0 478189 89 0 0 25 0 1 0 218997927 287887360 70187 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70187 79 155 0 70128 0
Current children cumulated CPU time (s) 4782.78
Current children cumulated vsize (KiB) 281140

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1560952/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4842.78
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 88639 0 0 0 484189 89 0 0 25 0 1 0 218997927 287887360 70187 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70187 79 155 0 70128 0
Current children cumulated CPU time (s) 4842.78
Current children cumulated vsize (KiB) 281140

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1560824/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=281140 CPUtime=4902.79
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 88903 0 0 0 490189 90 0 0 25 0 1 0 218997927 287887360 70194 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 70285 70194 79 155 0 70128 0
Current children cumulated CPU time (s) 4902.79
Current children cumulated vsize (KiB) 281140

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1535352/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=307144 CPUtime=4962.79
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 95252 0 0 0 496183 96 0 0 25 0 1 0 218997927 314515456 76543 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 76786 76543 79 155 0 76629 0
Current children cumulated CPU time (s) 4962.79
Current children cumulated vsize (KiB) 307144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1531192/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=311032 CPUtime=5000.01
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 96556 0 0 0 499903 98 0 0 25 0 1 0 218997927 318496768 77590 1992294400 134512640 135151029 4294956240 18446744073709551615 134552028 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 77758 77590 79 155 0 77601 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 311032

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

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

[startup+4999.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 24981
/proc/meminfo: memFree=1531192/2055920 swapFree=4180112/4192956
[pid=24966] ppid=24964 vsize=311032 CPUtime=5000.01
/proc/24966/stat : 24966 (precosat) R 24964 24966 24861 0 -1 4194304 96556 0 0 0 499903 98 0 0 25 0 1 0 218997927 318496768 77590 1992294400 134512640 135151029 4294956240 18446744073709551615 134552028 0 0 4096 17442 0 0 0 17 1 0 0
/proc/24966/statm: 77758 77590 79 155 0 77601 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 311032

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.56
CPU time (s): 5000.07
CPU user time (s): 4999.03
CPU system time (s): 1.03284
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 311032

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

runsolver used 3.58245 second user time and 10.4024 second system time

The end

Launcher Data 

Begin job on node16 at 2009-05-10 00:54:05
IDJOB=1784022
IDBENCH=70909
IDSOLVER=607
FILE ID=node16/1784022-1241909645
PBS_JOBID= 9264823
Free space on /tmp= 66056 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_9_3_5_cmp.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1784022-1241909645/watcher-1784022-1241909645 -o /tmp/evaluation-result-1784022-1241909645/solver-1784022-1241909645 -C 5000 -W 6000 -M 1800  HOME/precosat HOME/instance-1784022-1241909645.cnf

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

MD5SUM BENCH= b2b9255b6dd854658cbd4bd594382e55
RANDOM SEED=701113395

node16.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.234
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.234
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:       1845592 kB
Buffers:         42124 kB
Cached:         122164 kB
SwapCached:       7140 kB
Active:          86684 kB
Inactive:        86036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845592 kB
SwapTotal:     4192956 kB
SwapFree:      4180112 kB
Dirty:            1512 kB
Writeback:           0 kB
Mapped:          13528 kB
Slab:            23584 kB
Committed_AS:   742396 kB
PageTables:       1436 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= 66056 MiB
End job on node16 at 2009-05-10 02:17:27