Trace number 1784102

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
precosat 236? (TO) 5000.06 5001.76

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_9_3_5_fbc.cnf
MD5SUM31a3aedc721d03e1d956a240f176ac5e
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 clauses59728
Sum of the clauses size174559
Maximum clause length49
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 224387
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-1784102-1241914829.cnf
0.00/0.00	c found header 'p cnf 3857 59728'
0.05/0.06	c finished parsing
0.05/0.06	c
0.05/0.06	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.05/0.06	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.05/0.06	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.05/0.06	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.05/0.06	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.05/0.06	c --random=1 --spread=2000 --seed=0 --skip=25
0.05/0.06	c
0.05/0.06	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.05/0.06	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.05/0.06	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.05/0.06	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.05/0.06	c
0.05/0.06	c starting search after 0.1 seconds
0.05/0.06	c no decision limit
0.05/0.06	c
0.05/0.06	c       original/binary      fixed     eliminated      learned       agility
0.05/0.06	c   seconds        variables     equivalent    conflicts       height       MB
0.05/0.06	c
0.05/0.06	c *    0.1    59728    3857      0     0      0       0      0    0.0   0    4
0.69/0.70	c s    0.7   112605    3704    124    24      5       0      0    0.0   0    8
0.69/0.70	c l    0.7   112605    3704    124    24      5       0  35141    0.0   0    8
0.69/0.71	c R    0.7   112605    3704    124    24      5     102    102  686.8   7    8
0.69/0.72	c R    0.7   112611    3704    124    24      5     202    202  543.9   6    8
0.69/0.79	c R    0.8   112626    3704    124    24      5     807    804  484.1   4    8
0.79/0.82	c B    0.8   112630    3704    124    24      5    1000    996  505.1   5    8
0.89/0.97	c B    1.0   112655    3704    124    24      5    2003   1990  515.1   6    9
1.00/1.03	c R    1.0   112660    3704    124    24      5    2408   2394  516.9   3    9
1.49/1.53	c R    1.5   112758    3704    124    24      5    6416   6397  461.1   5   11
1.59/1.68	c B    1.7   112759    3704    124    24      5    8005   7985  452.6   6   12
3.09/3.16	c R    3.2   113351    3704    124    24      5   16033  15988  461.0   5   16
4.19/4.20	c s    4.2   113434    3704    124    24      5   21467  21408  448.9   6   17
4.59/4.67	c B    4.7   113455    3704    124    24      5   24011  23952  446.3   5   20
7.28/7.37	c +    7.4   113914    3704    124    24      5   35141  38655  450.0   7   27
7.99/8.02	c R    8.0   113935    3704    124    24      5   38479  38396  445.9   6   29
8.99/9.08	c +    9.1   113985    3704    124    24      5   43926  42520  440.3   7   29
10.78/10.89	c s   10.9   114073    3704    124    24      5   49059  42561  436.4   7   26
12.99/13.08	c +   13.1   114306    3704    124    24      5   54905  46772  434.8   5   30
15.69/15.75	c
15.69/15.75	c       original/binary      fixed     eliminated      learned       agility
15.69/15.75	c   seconds        variables     equivalent    conflicts       height       MB
15.69/15.75	c
15.69/15.75	c B   15.7   114536    3704    124    24      5   64027  46844  434.9   8   33
17.18/17.24	c +   17.2   114704    3704    124    24      5   68634  51449  435.9   7   33
20.59/20.64	c s   20.6   114923    3704    124    24      5   77026  51560  435.9   7   30
23.59/23.66	c +   23.7   115313    3704    124    24      5   85792  56593  432.2   6   33
24.19/24.29	c R   24.3   115316    3704    124    24      5   89777  55444  430.2   6   35
28.68/28.78	c +   28.8   115408    3704    124    24      5  107240  62252  425.3   4   37
30.48/30.57	c s   30.6   115504    3704    124    24      5  111015  60422  426.9   6   32
40.07/40.19	c +   40.2   116077    3704    124    24      5  134050  68477  421.4   6   39
42.97/43.06	c s   43.0   116210    3704    124    24      5  141633  68598  420.8   6   35
50.48/50.52	c B   50.5   116518    3704    124    24      5  160059  68553  423.4   5   44
53.37/53.40	c +   53.4   116670    3704    124    24      5  167561  75324  424.9   6   45
57.47/57.58	c s   57.6   116855    3704    124    24      5  175530  75465  426.0   6   42
67.97/68.08	c R   68.1   117132    3704    124    24      5  205164  75342  425.2   5   48
69.37/69.40	c +   69.4   117186    3704    124    24      5  209450  82856  424.2   6   47
71.06/71.17	c s   71.1   117236    3704    124    24      5  214637  80516  423.0   6   41
86.56/86.62	c s   86.6   117441    3704    124    24      5  254773  82929  420.5   3   38
89.96/90.01	c +   90.0   117494    3704    124    24      5  261811  91141  420.5   6   43
103.65/103.76	c s  103.7   117711    3704    124    24      5  292587  91281  418.7   4   44
119.05/119.15	c +  119.1   117948    3704    124    24      5  327260 100255  416.5   5   53
122.15/122.27	c
122.15/122.27	c       original/binary      fixed     eliminated      learned       agility
122.15/122.27	c   seconds        variables     equivalent    conflicts       height       MB
122.15/122.27	c
122.15/122.27	c s  122.2   117969    3704    124    24      5  335013  98899  415.3   5   47
143.54/143.66	c s  143.6   118248    3704    124    24      5  374691 100364  417.8   6   49
149.44/149.53	c B  149.5   118331    3704    124    24      5  384106 100341  418.8   8   56
163.14/163.26	c +  163.2   118493    3704    124    24      5  409075 110280  418.9   6   62
165.33/165.50	c s  165.4   118508    3704    124    24      5  412211 103535  419.1   7   54
186.52/186.67	c s  186.6   118760    3704    124    24      5  453594 110430  422.7   5   63
189.92/190.03	c R  190.0   118835    3704    124    24      5  461524 110293  421.9   6   65
207.32/207.41	c s  207.3   118835    3704    124    24      5  510727 110286  416.7   6   52
208.42/208.50	c +  208.4   118835    3704    124    24      5  511340 121308  416.6   6   55
233.31/233.48	c s  233.4   119035    3704    124    24      5  549229 121351  416.5   9   57
259.41/259.56	c s  259.5   119228    3704    124    24      5  589440 121467  417.6   6   63
285.79/285.99	c s  285.9   119389    3704    124    24      5  630527 121561  420.4   8   70
292.69/292.81	c +  292.7   119435    3704    124    24      5  639175 133438  420.5   6   79
315.98/316.16	c s  316.1   119517    3704    124    24      5  673235 133577  419.8   4   72
347.07/347.28	c s  347.2   119710    3704    124    24      5  718195 133667  418.5   7   70
376.57/376.76	c s  376.6   119782    3704    124    24      5  768494 133556  417.2   4   69
400.16/400.31	c +  400.2   119849    3704    124    24      5  798965 146781  418.4   7   83
409.26/409.48	c s  409.3   119885    3704    124    24      5  809358 144040  418.8   6   79
440.84/441.05	c s  440.9   119983    3704    124    24      5  855817 146865  419.0   6   85
470.13/470.35	c
470.13/470.35	c       original/binary      fixed     eliminated      learned       agility
470.13/470.35	c   seconds        variables     equivalent    conflicts       height       MB
470.13/470.35	c
470.13/470.35	c B  470.2   120067    3704    124    24      5  896182 147035  419.5   8   99
476.93/477.16	c s  477.0   120083    3704    124    24      5  903196 146984  419.8   6   85
511.42/511.62	c s  511.5   120167    3704    124    24      5  950712 146987  420.9   6   86
540.81/541.07	c +  540.9   120211    3704    124    24      5  998705 161459  423.0   6  101
541.91/542.19	c s  542.0   120211    3704    124    24      5  999369 147509  423.0   8   88
560.20/560.44	c R  560.3   120275    3704    124    24      5 1025500 161675  423.9   6  113
572.90/573.16	c s  573.0   120301    3704    124    24      5 1052325 161462  422.5   5   92
616.78/617.01	c s  616.8   120302    3704    124    24      5 1128525 161619  418.2   4   72
654.27/654.55	c s  654.3   120403    3704    124    24      5 1176039 161624  418.0   5   73
690.46/690.74	c s  690.5   120488    3704    124    24      5 1224652 161470  418.8   6   85
708.85/709.15	c +  708.9   120505    3704    124    24      5 1248382 177604  418.5   9  101
733.84/734.11	c s  733.9   120542    3704    124    24      5 1276320 177825  417.8   7  101
783.42/783.71	c s  783.5   120609    3704    124    24      5 1324928 177782  417.4   5  104
828.91/829.21	c s  828.9   120702    3704    124    24      5 1376308 177841  417.3   6  112
876.80/877.10	c s  876.8   120742    3704    124    24      5 1426445 177761  418.1   6  113
922.28/922.67	c s  922.4   120783    3704    124    24      5 1480089 177863  418.7   6  107
976.36/976.76	c s  976.4   120851    3704    124    24      5 1524907 177861  418.7   6  111
1006.35/1006.71	c + 1006.4   120885    3704    124    24      5 1560475 195364  418.4   7  126
1017.75/1018.18	c s 1017.8   120885    3704    124    24      5 1584596 195380  417.5   6  115
1066.83/1067.29	c
1066.83/1067.29	c       original/binary      fixed     eliminated      learned       agility
1066.83/1067.29	c   seconds        variables     equivalent    conflicts       height       MB
1066.83/1067.29	c
1066.83/1067.29	c s 1066.9   120900    3704    124    24      5 1654132 195590  415.6   6  100
1125.41/1125.86	c s 1125.5   120944    3704    124    24      5 1705036 195526  415.5   5  101
1181.89/1182.38	c s 1182.0   120984    3704    124    24      5 1758102 195609  416.1   6  117
1238.37/1238.84	c s 1238.4   121011    3704    124    24      5 1812419 195400  415.7   7  121
1288.16/1288.63	c s 1288.2   121033    3704    124    24      5 1865213 195621  416.3   5  125
1344.84/1345.35	c s 1344.9   121074    3704    124    24      5 1914818 195535  417.5   7  128
1385.43/1385.90	c + 1385.4   121085    3704    124    24      5 1950591 214900  418.1   6  155
1400.41/1400.96	c s 1400.5   121085    3704    124    24      5 1964571 209585  418.7   6  152
1462.79/1463.39	c s 1462.9   121101    3704    124    24      5 2018710 215235  419.7   6  157
1498.88/1499.43	c B 1498.9   121127    3704    124    24      5 2048429 215204  420.1   8  172
1526.97/1527.56	c s 1527.0   121148    3704    124    24      5 2071325 215154  421.0   5  155
1579.45/1580.08	c s 1579.5   121164    3704    124    24      5 2127797 215192  423.0   7  162
1629.84/1630.49	c s 1629.9   121175    3704    124    24      5 2189693 215121  425.2   7  170
1676.92/1677.54	c s 1677.0   121181    3704    124    24      5 2248055 214947  426.0   5  171
1684.72/1685.35	c R 1684.8   121186    3704    124    24      5 2255952 215227  426.3   8  178
1726.71/1727.36	c s 1726.8   121194    3704    124    24      5 2313832 214964  427.1   6  167
1770.99/1771.61	c s 1771.0   121201    3704    124    24      5 2395086 214908  424.7   5  118
1798.28/1798.97	c + 1798.4   121201    3704    124    24      5 2438235 236390  423.5   6  119
1822.97/1823.61	c s 1823.0   121202    3704    124    24      5 2465990 236611  422.9   5  120
1892.65/1893.33	c
1892.65/1893.33	c       original/binary      fixed     eliminated      learned       agility
1892.65/1893.33	c   seconds        variables     equivalent    conflicts       height       MB
1892.65/1893.33	c
1892.65/1893.33	c s 1892.7   121253    3704    124    24      5 2522664 236524  422.9   6  115
1964.13/1964.82	c s 1964.2   121276    3704    124    24      5 2585482 236604  422.4   6  130
2044.00/2044.72	c s 2044.0   121308    3704    124    24      5 2645071 236614  421.8   9  147
2109.08/2109.86	c s 2109.1   121329    3704    124    24      5 2704547 236650  423.4   6  159
2186.35/2187.12	c s 2186.4   121359    3704    124    24      5 2763720 236699  424.1   7  165
2263.52/2264.36	c s 2263.6   121397    3704    124    24      5 2819030 236785  423.6   5  180
2343.89/2344.72	c s 2343.9   121438    3704    124    24      5 2874658 236738  423.2   6  174
2396.38/2397.27	c s 2396.5   121450    3704    124    24      5 2951196 236728  422.1   5  150
2466.96/2467.89	c s 2467.1   121479    3704    124    24      5 3004519 236751  421.1   6  157
2525.94/2526.88	c + 2526.0   121493    3704    124    24      5 3047790 260029  421.3   6  177
2543.13/2544.05	c s 2543.2   121497    3704    124    24      5 3058660 247486  421.3   6  168
2624.60/2625.51	c s 2624.6   121504    3704    124    24      5 3114824 260406  421.4   7  205
2710.37/2711.38	c s 2710.5   121541    3704    124    24      5 3176225 260319  422.2   7  205
2792.25/2793.21	c s 2792.3   121550    3704    124    24      5 3236950 260284  423.1   5  210
2876.22/2877.21	c s 2876.2   121564    3704    124    24      5 3303003 260389  423.8   6  199
2968.48/2969.56	c s 2968.6   121585    3704    124    24      5 3364316 260352  423.8   8  194
3053.66/3054.71	c s 3053.7   121602    3704    124    24      5 3421614 260312  423.7   7  202
3124.43/3125.50	c s 3124.4   121643    3704    124    24      5 3471675 260381  422.4   6  226
3194.50/3195.60	c s 3194.5   121684    3704    124    24      5 3533395 260241  423.3   6  247
3264.58/3265.77	c
3264.58/3265.77	c       original/binary      fixed     eliminated      learned       agility
3264.58/3265.77	c   seconds        variables     equivalent    conflicts       height       MB
3264.58/3265.77	c
3264.58/3265.77	c s 3264.7   121690    3704    124    24      5 3612040 260416  422.1   5  211
3354.85/3356.05	c s 3354.9   121712    3704    124    24      5 3671018 260405  422.2   7  189
3434.13/3435.35	c s 3434.2   121729    3704    124    24      5 3733157 260385  422.3   6  181
3514.09/3515.34	c s 3514.2   121748    3704    124    24      5 3800528 260037  422.2   6  195
3526.99/3528.22	c + 3527.0   121749    3704    124    24      5 3809735 286031  422.2   7  209
3606.46/3607.73	c s 3606.5   121804    3704    124    24      5 3858883 286361  422.2   6  228
3701.63/3702.99	c s 3701.7   121809    3704    124    24      5 3929179 286337  421.4   5  210
3804.20/3805.54	c s 3804.3   121828    3704    124    24      5 3994690 286426  421.5   6  212
3874.78/3876.12	c s 3874.8   121829    3704    124    24      5 4083122 286044  420.0   6  164
3976.05/3977.47	c s 3976.1   121838    3704    124    24      5 4152098 286389  419.8   7  175
4078.01/4079.48	c s 4078.1   121858    3704    124    24      5 4216426 286434  420.3   7  180
4183.57/4185.02	c s 4183.6   121876    3704    124    24      5 4284942 286459  420.7   7  216
4283.94/4285.49	c s 4284.0   121884    3704    124    24      5 4352702 286353  421.9   8  230
4389.61/4391.14	c s 4389.7   121889    3704    124    24      5 4416576 286499  422.3   7  226
4487.77/4489.33	c s 4487.8   121902    3704    124    24      5 4484667 286407  422.7   7  228
4584.34/4585.99	c s 4584.4   121907    3704    124    24      5 4551141 286218  423.6   6  234
4657.42/4659.01	c B 4657.4   121909    3704    124    24      5 4608881 286386  424.4   9  273
4665.11/4666.72	c s 4665.1   121909    3704    124    24      5 4613836 286369  424.4   8  253
4738.89/4740.57	c s 4739.0   121912    3704    124    24      5 4707750 286455  424.8   9  223
4804.86/4806.53	c
4804.86/4806.53	c       original/binary      fixed     eliminated      learned       agility
4804.86/4806.53	c   seconds        variables     equivalent    conflicts       height       MB
4804.86/4806.53	c
4804.86/4806.53	c + 4804.9   121916    3704    124    24      5 4762166 314634  425.5   9  265
4816.66/4818.32	c s 4816.7   121916    3704    124    24      5 4770998 295220  425.7   7  256
4900.33/4902.01	c s 4900.4   121921    3704    124    24      5 4840461 315041  427.1   7  277
5000.00/5001.71	c
5000.00/5001.71	c *** CAUGHT SIGNAL 15 ***
5000.00/5001.71	c
5000.00/5001.71	c 4920325 conflicts, 28174354 decisions, 13982 random
5000.00/5001.71	c 0 iterations, 8189 restarts, 0 skipped
5000.00/5001.71	c 23 enlarged, 284 shrunken, 48151 rescored, 1022 rebiased
5000.00/5001.71	c 89 simplifications, 0 reductions
5000.00/5001.71	c
5000.00/5001.71	c vars: 124 fixed, 24 equiv, 5 elim, 24 merged
5000.00/5001.71	c elim: 177992 resolutions, 1 phases, 1 rounds
5000.00/5001.71	c sbst: 40% substituted, 0.0% nots, 100.0% ands, 0.0% xors, 0.0% ites
5000.00/5001.71	c arty: 2.00 and 0.00 xor average arity
5000.00/5001.71	c prbe: 1903926 probed, 767 phases, 257 rounds
5000.00/5001.71	c prbe: 12 failed, 0 lifted, 4 merged
5000.00/5001.71	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.00/5001.71	c hash: 0 units, 20 merged
5000.00/5001.71	c mins: 975997079 learned, 16% deleted, 277 strong, 45 depth
5000.00/5001.71	c subs: 198 forward, 196 backward, 939 doms
5000.00/5001.71	c strs: 3 forward, 0 backward
5000.00/5001.71	c doms: 1011 dominators, 671 high, 1 low
5000.00/5001.71	c prps: 1128148303 propagations, 0.23 megaprops
5000.00/5001.71	c
5000.00/5001.71	c 5000.0 seconds, 323 MB max, 3554 MB recycled
5000.00/5001.71	c
5000.00/5001.71	c *** CAUGHT SIGNAL 15 ***
5000.00/5001.71	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-1784102-1241914829/watcher-1784102-1241914829 -o /tmp/evaluation-result-1784102-1241914829/solver-1784102-1241914829 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1784102-1241914829.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.01 1.00 1.00 2/65 12619
/proc/meminfo: memFree=1856104/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=1212 CPUtime=0
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 214 0 0 0 0 0 0 0 18 0 1 0 219512189 1241088 199 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 303 200 63 155 0 146 0

[startup+0.0597871 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 12619
/proc/meminfo: memFree=1856104/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=5040 CPUtime=0.05
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 1189 0 0 0 5 0 0 0 18 0 1 0 219512189 5160960 1141 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 1260 1142 63 155 0 1103 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5040

[startup+0.102795 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 12619
/proc/meminfo: memFree=1856104/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=6344 CPUtime=0.09
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 1547 0 0 0 9 0 0 0 18 0 1 0 219512189 6496256 1498 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 1586 1498 79 155 0 1429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6344

[startup+0.302832 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 12619
/proc/meminfo: memFree=1856104/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=9896 CPUtime=0.29
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 2639 0 0 0 29 0 0 0 19 0 1 0 219512189 10133504 2396 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 2474 2396 79 155 0 2317 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9896

[startup+0.701906 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 12619
/proc/meminfo: memFree=1856104/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=10080 CPUtime=0.69
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 3426 0 0 0 68 1 0 0 23 0 1 0 219512189 10321920 2411 1992294400 134512640 135151029 4294956240 18446744073709551615 134676657 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 2520 2411 79 155 0 2363 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10080

[startup+1.50106 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1845856/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=13120 CPUtime=1.49
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 4189 0 0 0 148 1 0 0 25 0 1 0 219512189 13434880 3174 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 3280 3174 79 155 0 3123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13120

[startup+3.10135 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1841184/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=18532 CPUtime=3.09
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 5545 0 0 0 307 2 0 0 25 0 1 0 219512189 18976768 4530 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 4633 4530 79 155 0 4476 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18532

[startup+6.30195 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1831968/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=26996 CPUtime=6.29
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 8054 0 0 0 626 3 0 0 25 0 1 0 219512189 27643904 6653 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 6749 6653 79 155 0 6592 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26996

[startup+12.7011 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1822176/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=34008 CPUtime=12.69
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 10284 0 0 0 1264 5 0 0 25 0 1 0 219512189 34824192 8417 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 8502 8417 79 155 0 8345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34008

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1816992/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=39304 CPUtime=25.49
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 11969 0 0 0 2543 6 0 0 25 0 1 0 219512189 40247296 9716 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 9826 9716 79 155 0 9669 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39304

[startup+51.1023 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1808160/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=48712 CPUtime=51.07
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 14977 0 0 0 5099 8 0 0 25 0 1 0 219512189 49881088 12081 1992294400 134512640 135151029 4294956240 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 12178 12081 79 155 0 12021 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48712

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1799776/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=56584 CPUtime=102.26
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 18260 0 0 0 10216 10 0 0 25 0 1 0 219512189 57942016 14045 1992294400 134512640 135151029 4294956240 18446744073709551615 134554664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 14146 14045 79 155 0 13989 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56584

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1789664/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=66852 CPUtime=162.24
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 21863 0 0 0 16211 13 0 0 25 0 1 0 219512189 68456448 16619 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 16713 16619 79 155 0 16556 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 66852

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1777248/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=78752 CPUtime=222.21
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 26360 0 0 0 22205 16 0 0 25 0 1 0 219512189 80642048 19601 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 19688 19601 79 155 0 19531 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 78752

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1768800/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=87364 CPUtime=282.19
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 29254 0 0 0 28200 19 0 0 25 0 1 0 219512189 89460736 21723 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 21841 21723 79 155 0 21684 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 87364

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1762656/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=93324 CPUtime=342.17
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 31511 0 0 0 34197 20 0 0 25 0 1 0 219512189 95563776 23221 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 23331 23221 79 155 0 23174 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 93324

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1762592/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=93324 CPUtime=402.16
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 32186 0 0 0 40195 21 0 0 25 0 1 0 219512189 95563776 23253 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 23331 23253 79 155 0 23174 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 93324

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1749024/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=106968 CPUtime=462.14
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 36207 0 0 0 46189 25 0 0 25 0 1 0 219512189 109535232 26631 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 26742 26631 79 155 0 26585 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 106968

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1747616/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=108164 CPUtime=522.11
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 37150 0 0 0 52186 25 0 0 25 0 1 0 219512189 110759936 26931 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 27041 26931 79 155 0 26884 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 108164

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1734496/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=121260 CPUtime=582.09
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 41181 0 0 0 58181 28 0 0 25 0 1 0 219512189 124170240 30225 1992294400 134512640 135151029 4294956240 18446744073709551615 134520439 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 30315 30225 79 155 0 30158 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 121260

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12620
/proc/meminfo: memFree=1734688/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=120876 CPUtime=642.07
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 41708 0 0 0 64179 28 0 0 25 0 1 0 219512189 123777024 30136 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 30219 30136 79 155 0 30062 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 120876

[startup+702.301 s]

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

[startup+4062.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 12628
/proc/meminfo: memFree=1570656/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4060.92
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94127 0 0 0 406023 69 0 0 25 0 1 0 219512189 289865728 70650 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70650 79 155 0 70611 0
Current children cumulated CPU time (s) 4060.92
Current children cumulated vsize (KiB) 283072

[startup+4122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 12628
/proc/meminfo: memFree=1570592/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4120.9
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94127 0 0 0 412021 69 0 0 25 0 1 0 219512189 289865728 70650 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70650 79 155 0 70611 0
Current children cumulated CPU time (s) 4120.9
Current children cumulated vsize (KiB) 283072

[startup+4182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12628
/proc/meminfo: memFree=1570528/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4180.88
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94127 0 0 0 418019 69 0 0 25 0 1 0 219512189 289865728 70650 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70650 79 155 0 70611 0
Current children cumulated CPU time (s) 4180.88
Current children cumulated vsize (KiB) 283072

[startup+4242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12628
/proc/meminfo: memFree=1570592/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4240.86
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94129 0 0 0 424017 69 0 0 25 0 1 0 219512189 289865728 70652 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70652 79 155 0 70611 0
Current children cumulated CPU time (s) 4240.86
Current children cumulated vsize (KiB) 283072

[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1570528/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4300.84
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94135 0 0 0 430015 69 0 0 25 0 1 0 219512189 289865728 70658 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70658 79 155 0 70611 0
Current children cumulated CPU time (s) 4300.84
Current children cumulated vsize (KiB) 283072

[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1570464/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4360.82
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94137 0 0 0 436013 69 0 0 25 0 1 0 219512189 289865728 70660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70660 79 155 0 70611 0
Current children cumulated CPU time (s) 4360.82
Current children cumulated vsize (KiB) 283072

[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1570400/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4420.79
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94137 0 0 0 442010 69 0 0 25 0 1 0 219512189 289865728 70660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554833 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70660 79 155 0 70611 0
Current children cumulated CPU time (s) 4420.79
Current children cumulated vsize (KiB) 283072

[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1570464/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4480.77
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94137 0 0 0 448008 69 0 0 25 0 1 0 219512189 289865728 70660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70660 79 155 0 70611 0
Current children cumulated CPU time (s) 4480.77
Current children cumulated vsize (KiB) 283072

[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1570400/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4540.75
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94137 0 0 0 454006 69 0 0 25 0 1 0 219512189 289865728 70660 1992294400 134512640 135151029 4294956240 18446744073709551615 134574603 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70660 79 155 0 70611 0
Current children cumulated CPU time (s) 4540.75
Current children cumulated vsize (KiB) 283072

[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1570336/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=283072 CPUtime=4600.74
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 94137 0 0 0 460005 69 0 0 25 0 1 0 219512189 289865728 70660 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 70768 70660 79 155 0 70611 0
Current children cumulated CPU time (s) 4600.74
Current children cumulated vsize (KiB) 283072

[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1560288/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=293216 CPUtime=4660.72
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 96643 0 0 0 466000 72 0 0 25 0 1 0 219512189 300253184 73166 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 73304 73166 79 155 0 73147 0
Current children cumulated CPU time (s) 4660.72
Current children cumulated vsize (KiB) 293216

[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1558944/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=294376 CPUtime=4720.7
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 96962 0 0 0 471998 72 0 0 25 0 1 0 219512189 301441024 73485 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 73594 73485 79 155 0 73437 0
Current children cumulated CPU time (s) 4720.7
Current children cumulated vsize (KiB) 294376

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1558880/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=294376 CPUtime=4780.67
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 97234 0 0 0 477995 72 0 0 25 0 1 0 219512189 301441024 73500 1992294400 134512640 135151029 4294956240 18446744073709551615 134554907 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 73594 73500 79 155 0 73437 0
Current children cumulated CPU time (s) 4780.67
Current children cumulated vsize (KiB) 294376

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12628
/proc/meminfo: memFree=1547744/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=305892 CPUtime=4840.65
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 100298 0 0 0 483991 74 0 0 25 0 1 0 219512189 313233408 76307 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 76473 76307 79 155 0 76316 0
Current children cumulated CPU time (s) 4840.65
Current children cumulated vsize (KiB) 305892

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12630
/proc/meminfo: memFree=1531680/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=321820 CPUtime=4900.63
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 104589 0 0 0 489985 78 0 0 25 0 1 0 219512189 329543680 80259 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 80455 80259 79 155 0 80298 0
Current children cumulated CPU time (s) 4900.63
Current children cumulated vsize (KiB) 321820

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12630
/proc/meminfo: memFree=1530848/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=322400 CPUtime=4960.61
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 104803 0 0 0 495983 78 0 0 25 0 1 0 219512189 330137600 80473 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 80600 80473 79 155 0 80443 0
Current children cumulated CPU time (s) 4960.61
Current children cumulated vsize (KiB) 322400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5001.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12630
/proc/meminfo: memFree=1511072/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=342792 CPUtime=5000
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 109722 0 0 0 499917 83 0 0 25 0 1 0 219512189 351019008 85392 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 85698 85392 79 155 0 85541 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 342792

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

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

[startup+5001.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12630
/proc/meminfo: memFree=1511072/2055920 swapFree=4180284/4192956
[pid=12619] ppid=12617 vsize=342792 CPUtime=5000
/proc/12619/stat : 12619 (precosat) R 12617 12619 12306 0 -1 4194304 109722 0 0 0 499917 83 0 0 25 0 1 0 219512189 351019008 85392 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/12619/statm: 85698 85392 79 155 0 85541 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 342792

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5001.76
CPU time (s): 5000.06
CPU user time (s): 4999.18
CPU system time (s): 0.883865
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 342792

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

runsolver used 5.61215 second user time and 12.0982 second system time

The end

Launcher Data 

Begin job on node82 at 2009-05-10 02:20:29
IDJOB=1784102
IDBENCH=70931
IDSOLVER=607
FILE ID=node82/1784102-1241914829
PBS_JOBID= 9264827
Free space on /tmp= 66124 MiB

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

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

MD5SUM BENCH= 31a3aedc721d03e1d956a240f176ac5e
RANDOM SEED=1023489107

node82.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.259
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.259
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1856584 kB
Buffers:         38980 kB
Cached:         111924 kB
SwapCached:       6720 kB
Active:          26396 kB
Inactive:       133344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856584 kB
SwapTotal:     4192956 kB
SwapFree:      4180284 kB
Dirty:            1764 kB
Writeback:           0 kB
Mapped:          13828 kB
Slab:            25600 kB
Committed_AS:   605840 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66120 MiB
End job on node82 at 2009-05-10 03:43:52