Trace number 1774151

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
precosat 236? (TO) 10000.1 10002.9

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-25-s100.cnf
MD5SUMc4b5df05f50ec97b624a18161f6d43b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark362.402
Satisfiable
(Un)Satisfiability was proved
Number of variables31931
Number of clauses96111
Sum of the clauses size226723
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261482
Number of clauses of size 334565
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-1774151-1241195879.cnf
0.00/0.00	c found header 'p cnf 31931 96111'
0.09/0.14	c finished parsing
0.09/0.14	c
0.09/0.14	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.14	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.14	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.14	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.14	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.14	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.14	c
0.09/0.14	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.09/0.14	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.14	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.14	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.14	c
0.09/0.14	c starting search after 0.1 seconds
0.09/0.14	c no decision limit
0.09/0.15	c
0.09/0.15	c       original/binary      fixed     eliminated      learned       agility
0.09/0.15	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.15	c
0.09/0.15	c *    0.2    95911   30990     95   846      0       0      0    0.0   0    8
1.69/1.73	c s    1.7    58264    9345    869   960  20757       0      0    0.0   0    7
1.69/1.73	c l    1.7    58264    9345    869   960  20757       0  20196    0.0   0    7
1.79/1.85	c R    1.9    58757    9331    880   963  20757     125    107   25.1  18    8
1.79/1.90	c R    1.9    58898    9329    880   965  20757     227    209   26.2  15    8
2.39/2.43	c R    2.4    59498    9327    880   967  20757     828    803   25.9  14    8
2.89/2.92	c B    2.9    68929    9294    904   976  20757    1000    974   25.3  13    9
3.39/3.48	c s    3.5    68058    9290    904   980  20757    1418   1384   25.0  15    8
4.39/4.45	c B    4.5    80591    9268    918   988  20757    2003   1967   24.7  16    9
5.49/5.54	c s    5.5    80520    9266    919   989  20757    2605   2566   24.7  16    9
6.78/6.85	c R    6.8    80602    9265    920   989  20757    3305   3266   24.5  17   10
8.59/8.62	c s    8.6    79987    9184    923   991  20833    3790   3371   24.4  14    9
8.59/8.62	c -    8.6    79987    9184    923   991  20833    3790  19995   24.4  14    9
11.19/11.25	c s   11.3    80325    9177    928   993  20833    5256   4837   24.3  15    9
14.49/14.50	c s   14.5    80339    9150    929   993  20859    6064   5410   24.1  15    9
17.09/17.19	c s   17.2    80344    9147    930   995  20859    6836   6180   23.9  16   10
18.09/18.10	c R   18.1    80348    9147    930   995  20859    7315   6659   24.0  15   10
20.39/20.40	c s   20.4    80301    9141    930   995  20865    7848   6982   24.0  16   10
20.79/20.86	c B   20.9    80301    9141    930   995  20865    8003   7137   24.0  16   10
23.19/23.22	c
23.19/23.22	c       original/binary      fixed     eliminated      learned       agility
23.19/23.22	c   seconds        variables     equivalent    conflicts       height       MB
23.19/23.22	c
23.19/23.22	c s   23.2    80307    9141    930   995  20865    8701   7833   23.9  17   10
25.99/26.09	c s   26.1    80313    9141    930   995  20865    9848   8978   23.8  17   10
33.18/33.28	c s   33.3    80316    9141    930   995  20865   12125  11255   23.5  17   10
38.88/38.95	c s   38.9    80276    9136    930   996  20869   13933  13036   23.4  14   11
41.98/42.03	c s   42.0    80343    9136    930   996  20869   14722  13825   23.3  17   11
45.08/45.12	c s   45.1    80344    9136    930   996  20869   16461  15564   23.7  14   11
47.07/47.20	c R   47.2    80345    9135    930   997  20869   16934  16037   23.6  15   12
48.77/48.84	c s   48.8    80315    9132    930   997  20872   17175  16266   23.6  18   11
51.97/52.08	c s   52.1    80344    9132    930   997  20872   18130  17221   23.5  16   12
58.47/58.59	c +   58.6    80344    9132    930   997  20872   19996  21994   23.4  17   13
59.27/59.32	c s   59.3    80345    9132    930   997  20872   20135  19225   23.3  16   12
63.17/63.29	c s   63.3    80346    9132    930   997  20872   21249  20338   23.2  16   12
66.66/66.75	c s   66.7    80356    9132    930   997  20872   22400  21488   23.2  16   12
70.27/70.30	c s   70.3    80359    9132    930   997  20872   23779  22005   23.2  16   12
70.86/70.90	c B   70.9    80359    9132    930   997  20872   24011  22005   23.2  14   13
73.77/73.86	c s   73.8    80376    9132    930   997  20872   24943  22016   23.2  17   12
74.07/74.12	c +   74.1    80376    9132    930   997  20872   24995  24193   23.2  17   13
80.57/80.65	c s   80.6    80380    9132    930   997  20872   28259  24252   23.4  16   13
84.77/84.81	c s   84.8    80276    9130    930   998  20873   29276  24173   23.4  16   13
88.37/88.42	c
88.37/88.42	c       original/binary      fixed     eliminated      learned       agility
88.37/88.42	c   seconds        variables     equivalent    conflicts       height       MB
88.37/88.42	c
88.37/88.42	c s   88.4    80289    9130    930   998  20873   30359  24221   23.4  17   13
89.87/89.93	c +   89.9    80290    9130    930   998  20873   31241  26612   23.5  16   14
91.97/92.06	c s   92.0    80292    9130    930   998  20873   31946  24908   23.5  15   13
113.46/113.54	c s  113.5    80293    9130    930   998  20873   38746  26640   23.2  17   13
114.56/114.66	c +  114.6    80293    9130    930   998  20873   39050  29273   23.2  16   14
115.66/115.77	c R  115.7    80293    9130    930   998  20873   39377  26966   23.2  17   14
121.55/121.64	c s  121.6    80263    9126    930   999  20876   41282  28870   23.2  17   13
125.25/125.37	c s  125.3    80260    9125    930  1000  20876   42497  29298   23.2  18   14
129.75/129.81	c s  129.8    80251    9125    930  1000  20876   43546  29311   23.2  17   14
133.65/133.78	c s  133.7    80261    9125    930  1000  20876   45139  29298   23.2  16   14
137.46/137.60	c s  137.6    80267    9125    930  1000  20876   46337  29296   23.1  16   14
141.45/141.54	c s  141.5    80271    9125    930  1000  20876   47731  29307   23.1  18   14
146.05/146.12	c +  146.1    80271    9125    930  1000  20876   48810  32200   23.1  17   15
156.15/156.27	c s  156.2    80272    9125    930  1000  20876   51788  32213   23.0  16   14
179.94/180.08	c s  180.0    80273    9125    930  1000  20876   56787  32240   23.0  17   14
198.83/198.96	c +  198.9    80273    9125    930  1000  20876   61012  35420   23.0  17   15
207.83/207.97	c B  207.9    80273    9125    930  1000  20876   64025  35226   23.1  16   16
210.72/210.81	c s  210.7    80253    9122    930  1001  20878   64938  35295   23.1  16   14
216.03/216.14	c s  216.1    80257    9122    930  1001  20878   65983  35482   23.1  18   14
220.23/220.30	c
220.23/220.30	c       original/binary      fixed     eliminated      learned       agility
220.23/220.30	c   seconds        variables     equivalent    conflicts       height       MB
220.23/220.30	c
220.23/220.30	c s  220.2    80258    9122    930  1001  20878   66915  35445   23.1  16   14
226.53/226.68	c s  226.6    80260    9122    930  1001  20878   68223  35437   23.1  16   14
230.93/231.00	c s  230.9    80262    9122    930  1001  20878   69062  35456   23.2  17   14
234.92/235.09	c s  235.0    80263    9122    930  1001  20878   69975  35454   23.1  17   14
252.22/252.34	c s  252.3    80264    9122    930  1001  20878   74502  35427   23.2  18   14
256.52/256.62	c s  256.5    80283    9122    930  1001  20878   75327  35443   23.2  16   14
261.02/261.18	c +  261.1    80283    9122    930  1001  20878   76266  38962   23.2  16   15
261.62/261.70	c s  261.6    80284    9122    930  1001  20878   76366  35535   23.2  17   14
265.91/266.03	c s  266.0    80293    9122    930  1001  20878   77129  36298   23.2  17   14
270.11/270.28	c s  270.2    80294    9122    930  1001  20878   77903  37071   23.2  18   14
326.69/326.88	c R  326.8    80294    9122    930  1001  20878   90644  38994   23.3  17   17
336.90/337.01	c s  336.9    80295    9122    930  1001  20878   93844  38985   23.4  16   15
344.29/344.48	c +  344.4    80295    9122    930  1001  20878   95330  42858   23.3  17   16
436.27/436.43	c s  436.3    80296    9122    930  1001  20878  114526  42895   23.1  17   15
446.97/447.16	c s  447.0    80297    9122    930  1001  20878  116632  42913   23.2  16   15
459.26/459.48	c +  459.4    80297    9122    930  1001  20878  119161  47143   23.1  18   17
501.15/501.37	c s  501.2    80298    9122    930  1001  20878  127867  47176   23.1  17   16
520.24/520.44	c s  520.3    80300    9122    930  1001  20878  131658  47186   23.1  18   16
600.02/600.21	c s  600.0    80302    9122    930  1001  20878  148856  47172   23.1  18   16
600.43/600.69	c
600.43/600.69	c       original/binary      fixed     eliminated      learned       agility
600.43/600.69	c   seconds        variables     equivalent    conflicts       height       MB
600.43/600.69	c
600.43/600.69	c +  600.5    80302    9122    930  1001  20878  148950  51857   23.1  17   16
655.21/655.46	c B  655.3    80302    9122    930  1001  20878  160037  51920   23.1  19   19
680.90/681.10	c s  680.9    80303    9122    930  1001  20878  165851  51889   23.3  18   16
690.60/690.87	c s  690.7    80307    9122    930  1001  20878  167553  51903   23.3  17   16
695.59/695.89	c s  695.7    80308    9122    930  1001  20878  168413  51915   23.3  17   16
709.39/709.69	c s  709.5    80309    9122    930  1001  20878  171167  51888   23.3  18   16
714.39/714.65	c s  714.5    80310    9122    930  1001  20878  172185  51902   23.3  16   16
742.09/742.33	c s  742.1    80311    9122    930  1001  20878  177631  51908   23.2  17   17
747.38/747.60	c s  747.4    80313    9122    930  1001  20878  179085  51894   23.2  18   17
770.78/771.01	c s  770.8    80314    9122    930  1001  20878  183410  51893   23.3  16   17
785.47/785.77	c +  785.6    80314    9122    930  1001  20878  186186  57042   23.3  18   18
872.55/872.84	c R  872.6    80314    9122    930  1001  20878  205992  57083   23.2  16   21
1000.91/1001.23	c s 1001.0    80315    9122    930  1001  20878  231793  57095   23.1  12   17
1005.11/1005.45	c + 1005.2    80316    9122    930  1001  20878  232730  62746   23.1  16   20
1006.61/1006.97	c s 1006.7    80317    9122    930  1001  20878  233006  57361   23.1  18   18
1036.30/1036.65	c s 1036.4    80318    9122    930  1001  20878  240031  62803   23.1  17   19
1042.00/1042.39	c s 1042.1    80321    9122    930  1001  20878  240979  62785   23.1  17   19
1048.09/1048.46	c s 1048.2    80322    9122    930  1001  20878  242031  62783   23.1  17   19
1169.97/1170.31	c s 1170.0    80323    9122    930  1001  20878  266160  62774   23.1  18   19
1298.13/1298.53	c
1298.13/1298.53	c       original/binary      fixed     eliminated      learned       agility
1298.13/1298.53	c   seconds        variables     equivalent    conflicts       height       MB
1298.13/1298.53	c
1298.13/1298.53	c + 1298.2    80323    9122    930  1001  20878  290910  69020   23.1  17   23
1478.08/1478.53	c s 1478.1    80324    9122    930  1001  20878  329452  69083   23.3  17   20
1643.62/1644.19	c + 1643.7    80324    9122    930  1001  20878  363636  75922   23.3  17   25
1743.50/1744.09	c B 1743.6    80324    9122    930  1001  20878  384081  75971   23.3  17   26
1776.19/1776.79	c s 1776.3    80325    9122    930  1001  20878  390491  75944   23.4  17   21
2019.53/2020.18	c s 2019.6    80326    9122    930  1001  20878  437078  76019   23.2  17   20
2109.00/2109.63	c + 2109.0    80326    9122    930  1001  20878  454546  83514   23.2  18   22
2146.59/2147.22	c R 2146.6    80326    9122    930  1001  20878  462280  83553   23.1  18   24
2399.12/2399.82	c s 2399.2    80330    9122    930  1001  20878  513849  83550   22.7  17   22
2406.02/2406.78	c s 2406.1    80335    9122    930  1001  20878  515071  83561   22.7  16   22
2413.41/2414.18	c s 2413.5    80337    9122    930  1001  20878  516519  83548   22.7  17   22
2536.18/2536.95	c s 2536.2    80338    9122    930  1001  20878  539477  83555   22.7  18   22
2685.94/2686.78	c + 2686.0    80338    9122    930  1001  20878  568181  91865   22.8  17   27
2940.77/2941.63	c s 2940.8    80339    9122    930  1001  20878  617283  91937   22.8  17   23
2969.87/2970.72	c s 2969.9    80341    9122    930  1001  20878  622222  91890   22.8  18   23
3023.45/3024.35	c s 3023.5    80344    9122    930  1001  20878  632437  91926   22.8  16   23
3033.25/3034.18	c s 3033.3    80345    9122    930  1001  20878  634316  91912   22.8  16   23
3050.74/3051.65	c s 3050.8    80346    9122    930  1001  20878  637424  91893   22.8  16   23
3058.64/3059.52	c s 3058.7    80378    9122    930  1001  20878  638664  91900   22.8  17   23
3066.14/3067.07	c
3066.14/3067.07	c       original/binary      fixed     eliminated      learned       agility
3066.14/3067.07	c   seconds        variables     equivalent    conflicts       height       MB
3066.14/3067.07	c
3066.14/3067.07	c s 3066.2    80386    9122    930  1001  20878  639888  91913   22.8  16   23
3323.77/3324.77	c s 3323.9    80387    9122    930  1001  20878  686792  91921   22.8  18   23
3334.27/3335.22	c s 3334.3    80390    9122    930  1001  20878  688540  91934   22.8  16   23
3341.87/3342.88	c s 3342.0    80393    9122    930  1001  20878  689746  91912   22.8  17   23
3443.63/3444.64	c + 3443.7    80393    9122    930  1001  20878  710226 101051   22.8  17   27
3476.62/3477.65	c s 3476.7    80394    9122    930  1001  20878  716913  98617   22.8  16   24
3880.91/3882.05	c s 3881.0    80395    9122    930  1001  20878  789905 101065   22.7  18   24
4207.72/4208.92	c s 4207.7    80396    9122    930  1001  20878  849524 101116   22.6  17   24
4425.25/4426.50	c + 4425.3    80396    9122    930  1001  20878  887781 111156   22.6  17   31
4474.14/4475.46	c B 4474.2    80396    9122    930  1001  20878  896169 109501   22.6  17   33
4503.33/4504.61	c s 4503.4    80397    9122    930  1001  20878  900868 111204   22.6  17   26
4512.04/4513.38	c s 4512.1    80409    9122    930  1001  20878  902297 111173   22.6  18   26
4563.62/4564.99	c s 4563.7    80410    9122    930  1001  20878  912342 111226   22.6  18   26
4590.61/4591.95	c s 4590.7    80412    9122    930  1001  20878  916680 111230   22.6  17   26
4890.52/4891.97	c s 4890.6    80414    9122    930  1001  20878  975556 111204   22.5  18   26
5162.53/5164.08	c R 5162.6    80414    9122    930  1001  20878 1026136 111227   22.4  18   31
5629.01/5630.60	c + 5629.0    80414    9122    930  1001  20878 1109727 122271   22.1  17   33
5961.62/5963.31	c s 5961.6    80415    9122    930  1001  20878 1165130 122341   22.1  18   27
6745.50/6747.47	c s 6745.6    80420    9122    930  1001  20878 1299219 122336   22.2  17   28
7239.77/7241.88	c
7239.77/7241.88	c       original/binary      fixed     eliminated      learned       agility
7239.77/7241.88	c   seconds        variables     equivalent    conflicts       height       MB
7239.77/7241.88	c
7239.77/7241.88	c + 7239.9    80420    9122    930  1001  20878 1387156 134498   22.1  17   37
8732.04/8734.52	c s 8732.1    80421    9122    930  1001  20878 1642470 134561   22.1  18   29
8819.72/8822.24	c s 8819.8    80422    9122    930  1001  20878 1656367 134543   22.1  15   29
8833.31/8835.82	c s 8833.3    80452    9122    930  1001  20878 1658733 134536   22.1  16   29
9301.19/9303.80	c + 9301.2    80452    9122    930  1001  20878 1733945 147947   22.1  18   39
9687.48/9690.20	c s 9687.5    80453    9122    930  1001  20878 1794616 148003   22.1  18   33
9842.53/9845.31	c s 9842.6    80454    9122    930  1001  20878 1820181 147987   22.1  18   33
10000.09/10002.90	c
10000.09/10002.90	c *** CAUGHT SIGNAL 15 ***
10000.09/10002.90	c
10000.09/10002.90	c 1846892 conflicts, 2259491 decisions, 2 random
10000.09/10002.90	c 5 iterations, 3586 restarts, 0 skipped
10000.09/10002.90	c 21 enlarged, 627 shrunken, 18032 rescored, 507 rebiased
10000.09/10002.90	c 97 simplifications, 0 reductions
10000.09/10002.90	c
10000.09/10002.90	c vars: 930 fixed, 1001 equiv, 20878 elim, 1017 merged
10000.09/10002.90	c elim: 2687284 resolutions, 10 phases, 10 rounds
10000.09/10002.90	c sbst: 92% substituted, 0.9% nots, 98.1% ands, 0.9% xors, 0.1% ites
10000.09/10002.90	c arty: 2.26 and 2.03 xor average arity
10000.09/10002.90	c prbe: 7723829 probed, 4644 phases, 423 rounds
10000.09/10002.90	c prbe: 40 failed, 130 lifted, 43 merged
10000.09/10002.90	c sccs: 23 non trivial, 0 fixed, 30 merged
10000.09/10002.90	c hash: 52 units, 944 merged
10000.09/10002.90	c mins: 62506035 learned, 92% deleted, 28 strong, 45 depth
10000.09/10002.90	c subs: 2473 forward, 951 backward, 1303 doms
10000.09/10002.90	c strs: 7253 forward, 1183 backward
10000.09/10002.90	c doms: 5634 dominators, 1266 high, 8 low
10000.09/10002.90	c prps: 9253914288 propagations, 0.93 megaprops
10000.09/10002.90	c
10000.09/10002.90	c 10000.1 seconds, 44 MB max, 267 MB recycled
10000.09/10002.90	c
10000.09/10002.90	c *** CAUGHT SIGNAL 15 ***
10000.09/10002.90	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-1774151-1241195879/watcher-1774151-1241195879 -o /tmp/evaluation-result-1774151-1241195879/solver-1774151-1241195879 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774151-1241195879.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 30309
/proc/meminfo: memFree=1303608/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=2044 CPUtime=0
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 147621897 2093056 382 1992294400 134512640 135151029 4294956240 18446744073709551615 134534376 0 0 4096 0 0 0 0 17 1 0 0
/proc/30309/statm: 511 382 59 155 0 354 0

[startup+0.00961509 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 30309
/proc/meminfo: memFree=1303608/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=3488 CPUtime=0
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 774 0 0 0 0 0 0 0 18 0 1 0 147621897 3571712 759 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 872 759 64 155 0 715 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3488

[startup+0.101624 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 30309
/proc/meminfo: memFree=1303608/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=8020 CPUtime=0.09
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 2009 0 0 0 9 0 0 0 18 0 1 0 147621897 8212480 1896 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 2005 1897 64 155 0 1848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8020

[startup+0.301642 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 30309
/proc/meminfo: memFree=1303608/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=13244 CPUtime=0.29
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 3445 0 0 0 28 1 0 0 19 0 1 0 147621897 13561856 3202 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 3311 3203 78 155 0 3154 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13244

[startup+0.701682 s]
/proc/loadavg: 0.93 0.98 0.98 3/64 30309
/proc/meminfo: memFree=1303608/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=15832 CPUtime=0.69
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 4884 0 0 0 67 2 0 0 23 0 1 0 147621897 16211968 3873 1992294400 134512640 135151029 4294956240 18446744073709551615 134519079 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 3958 3873 78 155 0 3801 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15832

[startup+1.50176 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 30310
/proc/meminfo: memFree=1286960/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=18320 CPUtime=1.49
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 5620 0 0 0 147 2 0 0 25 0 1 0 147621897 18759680 4480 1992294400 134512640 135151029 4294956240 18446744073709551615 134548584 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4580 4480 78 155 0 4423 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18320

[startup+3.10192 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 30310
/proc/meminfo: memFree=1286640/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=17424 CPUtime=3.09
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 5636 0 0 0 307 2 0 0 25 0 1 0 147621897 17842176 4239 1992294400 134512640 135151029 4294956240 18446744073709551615 134574660 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4356 4239 79 155 0 4199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17424

[startup+6.30225 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 30310
/proc/meminfo: memFree=1286592/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=17428 CPUtime=6.29
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 5637 0 0 0 627 2 0 0 25 0 1 0 147621897 17846272 4240 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4357 4240 79 155 0 4200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17428

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.98 2/65 30310
/proc/meminfo: memFree=1286336/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=17676 CPUtime=12.69
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 5827 0 0 0 1266 3 0 0 25 0 1 0 147621897 18100224 4301 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4419 4301 79 155 0 4262 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17676

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.98 2/65 30310
/proc/meminfo: memFree=1286336/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=17676 CPUtime=25.49
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 6085 0 0 0 2546 3 0 0 25 0 1 0 147621897 18100224 4301 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4419 4301 79 155 0 4262 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17676

[startup+51.1017 s]
/proc/loadavg: 0.97 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1286336/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=17676 CPUtime=51.07
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 6343 0 0 0 5104 3 0 0 25 0 1 0 147621897 18100224 4301 1992294400 134512640 135151029 4294956240 18446744073709551615 134578560 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4419 4301 79 155 0 4262 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17676

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1286208/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=17676 CPUtime=102.26
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 6504 0 0 0 10222 4 0 0 25 0 1 0 147621897 18100224 4333 1992294400 134512640 135151029 4294956240 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4419 4333 79 155 0 4262 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17676

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1285120/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=19052 CPUtime=162.24
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 8340 0 0 0 16219 5 0 0 25 0 1 0 147621897 19509248 4645 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4763 4645 79 155 0 4606 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19052

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1284544/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=19568 CPUtime=222.23
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 9740 0 0 0 22217 6 0 0 25 0 1 0 147621897 20037632 4773 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4892 4773 79 155 0 4735 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19568

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1284608/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=19568 CPUtime=282.21
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 10773 0 0 0 28214 7 0 0 25 0 1 0 147621897 20037632 4774 1992294400 134512640 135151029 4294956240 18446744073709551615 134574547 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4892 4774 79 155 0 4735 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 19568

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1284288/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=19932 CPUtime=342.19
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 11204 0 0 0 34211 8 0 0 25 0 1 0 147621897 20410368 4863 1992294400 134512640 135151029 4294956240 18446744073709551615 134573883 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 4983 4863 79 155 0 4826 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 19932

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1283456/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=20852 CPUtime=402.17
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 11409 0 0 0 40209 8 0 0 25 0 1 0 147621897 21352448 5068 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 5213 5068 79 155 0 5056 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 20852

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1283520/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=20436 CPUtime=462.16
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 11871 0 0 0 46207 9 0 0 25 0 1 0 147621897 20926464 4992 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 5109 4992 79 155 0 4952 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 20436

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1282304/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=21868 CPUtime=522.14
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 12440 0 0 0 52204 10 0 0 25 0 1 0 147621897 22392832 5341 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 5467 5341 79 155 0 5310 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 21868

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1282048/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=22040 CPUtime=582.12
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 12492 0 0 0 58202 10 0 0 25 0 1 0 147621897 22568960 5393 1992294400 134512640 135151029 4294956240 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 5510 5393 79 155 0 5353 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 22040

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 30312
/proc/meminfo: memFree=1282112/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=22016 CPUtime=642.11
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 12654 0 0 0 64200 11 0 0 25 0 1 0 147621897 22544384 5378 1992294400 134512640 135151029 4294956240 18446744073709551615 134552196 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 5504 5378 79 155 0 5347 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 22016

[startup+702.301 s]

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

[startup+9102.3 s]
/proc/loadavg: 1.11 1.04 1.00 2/65 30334
/proc/meminfo: memFree=1259200/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=43956 CPUtime=9099.74
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 21463 0 0 0 909924 50 0 0 25 0 1 0 147621897 45010944 10875 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 10989 10875 79 155 0 10832 0
Current children cumulated CPU time (s) 9099.74
Current children cumulated vsize (KiB) 43956

[startup+9162.3 s]
/proc/loadavg: 1.14 1.06 1.01 2/65 30334
/proc/meminfo: memFree=1259136/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=43956 CPUtime=9159.72
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 21467 0 0 0 915922 50 0 0 25 0 1 0 147621897 45010944 10879 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 10989 10879 79 155 0 10832 0
Current children cumulated CPU time (s) 9159.72
Current children cumulated vsize (KiB) 43956

[startup+9222.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/65 30334
/proc/meminfo: memFree=1259136/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=43956 CPUtime=9219.71
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 21472 0 0 0 921920 51 0 0 25 0 1 0 147621897 45010944 10884 1992294400 134512640 135151029 4294956240 18446744073709551615 134581791 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 10989 10884 79 155 0 10832 0
Current children cumulated CPU time (s) 9219.71
Current children cumulated vsize (KiB) 43956

[startup+9282.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 30334
/proc/meminfo: memFree=1259136/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=43956 CPUtime=9279.69
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 21474 0 0 0 927918 51 0 0 25 0 1 0 147621897 45010944 10886 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 10989 10886 79 155 0 10832 0
Current children cumulated CPU time (s) 9279.69
Current children cumulated vsize (KiB) 43956

[startup+9342.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 30334
/proc/meminfo: memFree=1258176/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=44992 CPUtime=9339.68
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 21689 0 0 0 933916 52 0 0 25 0 1 0 147621897 46071808 11101 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11248 11101 79 155 0 11091 0
Current children cumulated CPU time (s) 9339.68
Current children cumulated vsize (KiB) 44992

[startup+9402.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 30334
/proc/meminfo: memFree=1256512/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47260 CPUtime=9399.66
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22120 0 0 0 939913 53 0 0 25 0 1 0 147621897 48394240 11532 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11815 11532 79 155 0 11658 0
Current children cumulated CPU time (s) 9399.66
Current children cumulated vsize (KiB) 47260

[startup+9462.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30334
/proc/meminfo: memFree=1255744/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=48184 CPUtime=9459.63
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22310 0 0 0 945910 53 0 0 25 0 1 0 147621897 49340416 11722 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 12046 11722 79 155 0 11889 0
Current children cumulated CPU time (s) 9459.63
Current children cumulated vsize (KiB) 48184

[startup+9522.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 30334
/proc/meminfo: memFree=1255360/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=48696 CPUtime=9519.63
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22389 0 0 0 951909 54 0 0 25 0 1 0 147621897 49864704 11801 1992294400 134512640 135151029 4294956240 18446744073709551615 134552590 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 12174 11801 79 155 0 12017 0
Current children cumulated CPU time (s) 9519.63
Current children cumulated vsize (KiB) 48696

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255040/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=49208 CPUtime=9579.61
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22476 0 0 0 957907 54 0 0 25 0 1 0 147621897 50388992 11888 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 12302 11888 79 155 0 12145 0
Current children cumulated CPU time (s) 9579.61
Current children cumulated vsize (KiB) 49208

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1254912/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=49208 CPUtime=9639.59
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22490 0 0 0 963905 54 0 0 25 0 1 0 147621897 50388992 11902 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 12302 11902 79 155 0 12145 0
Current children cumulated CPU time (s) 9639.59
Current children cumulated vsize (KiB) 49208

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255488/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=9699.58
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22709 0 0 0 969903 55 0 0 25 0 1 0 147621897 48947200 11756 1992294400 134512640 135151029 4294956240 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11756 79 155 0 11793 0
Current children cumulated CPU time (s) 9699.58
Current children cumulated vsize (KiB) 47800

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255424/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=9759.56
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22729 0 0 0 975901 55 0 0 25 0 1 0 147621897 48947200 11776 1992294400 134512640 135151029 4294956240 18446744073709551615 134554520 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11776 79 155 0 11793 0
Current children cumulated CPU time (s) 9759.56
Current children cumulated vsize (KiB) 47800

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255488/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=9819.54
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22737 0 0 0 981899 55 0 0 25 0 1 0 147621897 48947200 11784 1992294400 134512640 135151029 4294956240 18446744073709551615 134552245 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11784 79 155 0 11793 0
Current children cumulated CPU time (s) 9819.54
Current children cumulated vsize (KiB) 47800

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255424/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=9879.52
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22738 0 0 0 987897 55 0 0 25 0 1 0 147621897 48947200 11785 1992294400 134512640 135151029 4294956240 18446744073709551615 134552590 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11785 79 155 0 11793 0
Current children cumulated CPU time (s) 9879.52
Current children cumulated vsize (KiB) 47800

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255424/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=9939.51
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22748 0 0 0 993895 56 0 0 25 0 1 0 147621897 48947200 11795 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11795 79 155 0 11793 0
Current children cumulated CPU time (s) 9939.51
Current children cumulated vsize (KiB) 47800

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255488/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=9999.49
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22748 0 0 0 999893 56 0 0 25 0 1 0 147621897 48947200 11795 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11795 79 155 0 11793 0
Current children cumulated CPU time (s) 9999.49
Current children cumulated vsize (KiB) 47800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255488/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=10000.1
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22748 0 0 0 999953 56 0 0 25 0 1 0 147621897 48947200 11795 1992294400 134512640 135151029 4294956240 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11795 79 155 0 11793 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 47800

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

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

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 30334
/proc/meminfo: memFree=1255488/2055920 swapFree=4175308/4192956
[pid=30309] ppid=30307 vsize=47800 CPUtime=10000.1
/proc/30309/stat : 30309 (precosat) R 30307 30309 30272 0 -1 4194304 22748 0 0 0 999953 56 0 0 25 0 1 0 147621897 48947200 11795 1992294400 134512640 135151029 4294956240 18446744073709551615 134574638 0 0 4096 17442 0 0 0 17 1 0 0
/proc/30309/statm: 11950 11795 79 155 0 11793 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 47800

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.9
CPU time (s): 10000.1
CPU user time (s): 9999.54
CPU system time (s): 0.575912
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 49464

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

runsolver used 7.48586 second user time and 20.8798 second system time

The end

Launcher Data 

Begin job on node12 at 2009-05-01 18:37:59
IDJOB=1774151
IDBENCH=70878
IDSOLVER=607
FILE ID=node12/1774151-1241195879
PBS_JOBID= 9224650
Free space on /tmp= 66468 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-25-s100.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774151-1241195879/watcher-1774151-1241195879 -o /tmp/evaluation-result-1774151-1241195879/solver-1774151-1241195879 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1774151-1241195879.cnf

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

MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED=495070266

node12.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.213
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.213
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:       1304088 kB
Buffers:         75508 kB
Cached:         576040 kB
SwapCached:      11928 kB
Active:         143220 kB
Inactive:       522516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1304088 kB
SwapTotal:     4192956 kB
SwapFree:      4175308 kB
Dirty:            2416 kB
Writeback:           0 kB
Mapped:          13424 kB
Slab:            72140 kB
Committed_AS:   820952 kB
PageTables:       1376 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= 66464 MiB
End job on node12 at 2009-05-01 21:24:44