Trace number 1774131

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 10003.4

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-24-s100.cnf
MD5SUM107f2922072d64498e09af3270c7b9c3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables31821
Number of clauses95735
Sum of the clauses size225739
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261338
Number of clauses of size 334333
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-1774131-1241195397.cnf
0.00/0.00	c found header 'p cnf 31821 95735'
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    95535   30868     95   858      0       0      0    0.0   0    8
1.69/1.72	c s    1.7    58005    9293    856   924  20748       0      0    0.0   0    7
1.69/1.72	c l    1.7    58005    9293    856   924  20748       0  20155    0.0   0    7
1.69/1.76	c R    1.8    58157    9291    856   926  20748     101     97   41.5  14    7
1.89/1.91	c R    1.9    58516    9291    856   926  20748     201    197   36.7  17    8
2.89/2.98	c R    3.0    67556    9284    856   933  20748     803    796   27.7  16    8
3.29/3.37	c B    3.4    67566    9284    856   933  20748    1002    995   28.4  16    9
3.49/3.51	c s    3.5    67511    9282    856   935  20748    1007    999   28.4  13    8
5.09/5.10	c B    5.1    80651    9277    857   939  20748    2003   1988   26.1  17    9
5.49/5.56	c s    5.6    80675    9277    857   939  20748    2140   2120   25.7  15    9
6.19/6.22	c R    6.2    80675    9277    857   939  20748    2408   2388   25.3  16    9
8.59/8.66	c s    8.7    80077    9189    867   940  20825    3184   3048   24.7  16    9
8.59/8.66	c -    8.7    80077    9189    867   940  20825    3184  19954   24.7  16    9
11.19/11.26	c s   11.3    80401    9186    867   943  20825    4310   4173   24.0  16    9
14.38/14.42	c s   14.4    80511    9163    868   943  20847    5368   5072   23.6  18    9
15.48/15.54	c R   15.5    80542    9162    868   944  20847    6414   6118   25.4  13   10
16.88/16.95	c s   17.0    80554    9162    868   944  20847    6774   6475   25.2  17   10
20.08/20.14	c s   20.1    80625    9159    868   944  20850    7913   7612   24.8  17   10
20.38/20.41	c B   20.4    80625    9159    868   944  20850    8008   7707   24.7  16   10
22.88/22.95	c
22.88/22.95	c       original/binary      fixed     eliminated      learned       agility
22.88/22.95	c   seconds        variables     equivalent    conflicts       height       MB
22.88/22.95	c
22.88/22.95	c s   22.9    80679    9159    868   944  20850    8935   8634   24.6  17   10
25.78/25.87	c s   25.9    80681    9159    868   944  20850    9956   9655   24.3  17   10
28.68/28.79	c s   28.8    80682    9159    868   944  20850   11005  10704   24.1  15   10
31.68/31.75	c s   31.7    80684    9159    868   944  20850   12249  11947   23.9  17   11
34.78/34.82	c s   34.8    80686    9159    868   944  20850   13264  12962   23.7  17   11
37.88/37.92	c s   37.9    80688    9159    868   944  20850   14287  13983   23.6  16   11
42.17/42.27	c R   42.3    80688    9159    868   944  20850   16028  15724   23.3  16   12
54.27/54.34	c +   54.3    80688    9159    868   944  20850   19955  21949   22.9  13   13
54.77/54.88	c s   54.9    80691    9159    868   944  20850   20123  19819   22.9  17   12
63.27/63.37	c s   63.4    80695    9159    868   944  20850   22438  21977   22.8  17   12
66.87/66.94	c s   66.9    80696    9159    868   944  20850   23351  21978   22.9  17   12
69.47/69.59	c B   69.6    80696    9159    868   944  20850   24013  21972   23.0  16   13
72.97/73.02	c +   73.0    80696    9159    868   944  20850   24940  24143   23.0  15   13
90.76/90.86	c s   90.8    80697    9159    868   944  20850   30376  24170   22.8  16   13
93.37/93.44	c +   93.4    80697    9159    868   944  20850   31176  26557   22.8  17   13
96.76/96.85	c s   96.8    80698    9159    868   944  20850   32180  25175   22.9  16   13
116.05/116.12	c R  116.1    80698    9159    868   944  20850   38464  26609   23.2  16   15
117.85/117.95	c +  117.9    80698    9159    868   944  20850   38970  29212   23.2  18   15
127.25/127.40	c s  127.4    80699    9159    868   944  20850   41336  28959   23.5  16   13
131.15/131.24	c
131.15/131.24	c       original/binary      fixed     eliminated      learned       agility
131.15/131.24	c   seconds        variables     equivalent    conflicts       height       MB
131.15/131.24	c
131.15/131.24	c s  131.2    80700    9159    868   944  20850   42114  29244   23.6  17   14
153.84/153.95	c +  153.9    80700    9159    868   944  20850   48711  32133   23.9  15   15
184.83/184.93	c s  184.9    80701    9159    868   944  20850   56250  32134   24.2  15   14
190.73/190.87	c s  190.8    80702    9159    868   944  20850   57865  32158   24.2  17   14
197.43/197.51	c s  197.4    80703    9159    868   944  20850   59494  32193   24.4  17   14
201.42/201.53	c s  201.5    80706    9159    868   944  20850   60488  32141   24.4  17   14
203.12/203.28	c +  203.2    80706    9159    868   944  20850   60885  35346   24.5  17   15
215.22/215.36	c B  215.3    80706    9159    868   944  20850   64032  35295   24.6  17   16
215.92/216.03	c s  216.0    80707    9159    868   944  20850   64166  35354   24.6  16   15
220.12/220.25	c s  220.2    80711    9159    868   944  20850   65143  35384   24.6  18   15
233.71/233.86	c s  233.8    80712    9159    868   944  20850   69095  35360   25.0  17   15
245.80/245.92	c s  245.8    80713    9159    868   944  20850   72295  35393   25.0  16   15
258.40/258.54	c s  258.5    80714    9159    868   944  20850   74959  35368   25.1  14   14
262.21/262.33	c +  262.2    80714    9159    868   944  20850   76106  38880   25.1  17   16
310.78/310.91	c R  310.8    80714    9159    868   944  20850   89736  38911   25.3  17   18
327.58/327.71	c +  327.6    80714    9159    868   944  20850   95130  42768   25.3  16   18
357.57/357.78	c s  357.7    80721    9159    868   944  20850  102536  42799   25.2  18   16
362.37/362.52	c s  362.4    80726    9159    868   944  20850  103568  42792   25.2  18   16
420.55/420.74	c +  420.6    80726    9159    868   944  20850  118910  47044   25.4  17   18
517.62/517.90	c
517.62/517.90	c       original/binary      fixed     eliminated      learned       agility
517.62/517.90	c   seconds        variables     equivalent    conflicts       height       MB
517.62/517.90	c
517.62/517.90	c s  517.7    80727    9159    868   944  20850  142279  47078   25.4  14   16
544.81/545.00	c +  544.8    80727    9159    868   944  20850  148635  51748   25.4  17   18
591.59/591.87	c B  591.7    80727    9159    868   944  20850  160047  51776   25.3  13   20
649.47/649.71	c s  649.5    80728    9159    868   944  20850  174972  51830   25.3  18   17
693.96/694.26	c +  694.0    80728    9159    868   944  20850  185791  56922   25.3  17   20
727.64/727.95	c s  727.7    80729    9159    868   944  20850  193970  56968   25.3  18   18
755.63/755.99	c s  755.7    80730    9159    868   944  20850  200484  56940   25.3  13   18
776.33/776.69	c R  776.4    80730    9159    868   944  20850  205086  56953   25.3  17   21
784.83/785.17	c s  784.9    80731    9159    868   944  20850  209362  56939   25.3  17   18
877.09/877.47	c s  877.2    80732    9159    868   944  20850  230971  56992   25.2  15   18
881.99/882.39	c +  882.1    80732    9159    868   944  20850  232236  62614   25.2  18   20
1078.83/1079.29	c s 1078.9    80733    9159    868   944  20850  279591  62648   25.2  18   19
1115.02/1115.45	c s 1115.1    80734    9159    868   944  20850  287390  62657   25.1  16   19
1124.31/1124.75	c s 1124.4    80735    9159    868   944  20850  289447  62636   25.1  16   19
1126.11/1126.56	c + 1126.2    80735    9159    868   944  20850  290298  68875   25.1  16   20
1154.00/1154.40	c s 1154.0    80737    9159    868   944  20850  297232  68915   25.1  17   20
1173.39/1173.89	c s 1173.5    80738    9159    868   944  20850  301220  68926   25.1  17   20
1192.89/1193.33	c s 1192.9    80739    9159    868   944  20850  305425  68907   25.1  18   20
1218.78/1219.24	c s 1218.8    80740    9159    868   944  20850  311245  68941   25.1  17   20
1331.34/1331.83	c
1331.34/1331.83	c       original/binary      fixed     eliminated      learned       agility
1331.34/1331.83	c   seconds        variables     equivalent    conflicts       height       MB
1331.34/1331.83	c
1331.34/1331.83	c s 1331.4    80743    9159    868   944  20850  337270  68911   25.0  17   20
1387.22/1387.73	c s 1387.3    80744    9159    868   944  20850  349736  68925   24.9  16   20
1393.42/1393.91	c s 1393.4    80745    9159    868   944  20850  350921  68915   24.9  17   20
1436.31/1436.90	c s 1436.4    80746    9159    868   944  20850  359914  68951   24.9  17   20
1447.50/1448.08	c s 1447.6    80749    9159    868   944  20850  362418  68925   24.9  17   20
1449.00/1449.58	c + 1449.1    80749    9159    868   944  20850  362871  75762   24.9  16   21
1538.87/1539.42	c B 1538.9    80749    9159    868   944  20850  384091  75832   24.9  15   25
1611.35/1611.99	c s 1611.5    80751    9159    868   944  20850  401706  75789   25.0  18   21
1623.84/1624.42	c s 1623.9    80756    9159    868   944  20850  404439  75811   24.9  17   21
1658.53/1659.17	c s 1658.6    80757    9159    868   944  20850  411988  75781   24.9  15   21
1818.28/1818.98	c + 1818.4    80757    9159    868   944  20850  453585  83338   24.7  17   25
1842.97/1843.62	c R 1843.0    80757    9159    868   944  20850  461411  83360   24.6  16   26
2088.18/2088.93	c s 2088.2    80758    9159    868   944  20850  515007  83359   24.4  16   22
2140.97/2141.73	c s 2141.0    80760    9159    868   944  20850  526561  83376   24.4  16   22
2322.59/2323.46	c + 2322.7    80760    9159    868   944  20850  566981  91671   24.3  18   28
2327.30/2328.11	c s 2327.3    80763    9159    868   944  20850  568206  84584   24.3  18   22
2350.49/2351.34	c s 2350.5    80764    9159    868   944  20850  573530  89908   24.3  16   24
2670.69/2671.60	c s 2670.7    80765    9159    868   944  20850  644587  91723   24.2  15   24
2709.57/2710.54	c s 2709.6    80766    9159    868   944  20850  653277  91709   24.2  17   24
2717.47/2718.40	c
2717.47/2718.40	c       original/binary      fixed     eliminated      learned       agility
2717.47/2718.40	c   seconds        variables     equivalent    conflicts       height       MB
2717.47/2718.40	c
2717.47/2718.40	c s 2717.5    80767    9159    868   944  20850  654963  91721   24.2  18   24
2795.84/2796.83	c s 2795.9    80768    9159    868   944  20850  672257  91725   24.3  16   24
2860.72/2861.73	c s 2860.8    80769    9159    868   944  20850  686178  91706   24.2  18   24
2889.51/2890.51	c s 2889.5    80770    9159    868   944  20850  692246  91679   24.3   9   24
2897.31/2898.35	c s 2897.4    80775    9159    868   944  20850  693723  91724   24.3  17   24
2905.50/2906.57	c s 2905.6    80777    9159    868   944  20850  695851  91696   24.3  13   24
2913.60/2914.64	c s 2913.6    80778    9159    868   944  20850  697481  91714   24.3  17   24
2957.08/2958.19	c + 2957.2    80778    9159    868   944  20850  708726 100838   24.4  16   28
3000.97/3002.08	c s 3001.1    80779    9159    868   944  20850  718694 100852   24.3  16   26
3009.57/3010.63	c s 3009.6    80808    9159    868   944  20850  720350 100869   24.3  17   26
3018.26/3019.38	c s 3018.4    80816    9159    868   944  20850  722488 100886   24.3  18   26
3027.76/3028.85	c s 3027.8    80817    9159    868   944  20850  724323 100883   24.3  17   26
3328.26/3329.42	c s 3328.3    80821    9159    868   944  20850  789474 100879   24.3  17   25
3778.61/3779.94	c + 3778.7    80821    9159    868   944  20850  885906 110921   24.1  17   33
3825.60/3826.98	c B 3825.7    80821    9159    868   944  20850  896173 111001   24.1  17   35
3995.74/3997.17	c s 3995.8    80823    9159    868   944  20850  931567 110965   24.0  18   27
4432.49/4434.03	c R 4432.5    80823    9159    868   944  20850 1025253 110972   23.9  17   34
4436.68/4438.23	c s 4436.7    80824    9159    868   944  20850 1027131 110993   23.9  16   28
4797.57/4799.23	c + 4797.6    80824    9159    868   944  20850 1107381 122013   23.6  17   32
4906.73/4908.45	c
4906.73/4908.45	c       original/binary      fixed     eliminated      learned       agility
4906.73/4908.45	c   seconds        variables     equivalent    conflicts       height       MB
4906.73/4908.45	c
4906.73/4908.45	c s 4906.8    80828    9159    868   944  20850 1128945 122095   23.6  16   27
4996.20/4997.95	c s 4996.3    80830    9159    868   944  20850 1147088 122046   23.6  17   28
5330.29/5332.12	c s 5330.3    80836    9159    868   944  20850 1211406 122041   23.5  18   29
5598.69/5600.63	c s 5598.7    80837    9159    868   944  20850 1262329 122073   23.5  18   29
5681.16/5683.10	c s 5681.2    80838    9159    868   944  20850 1279302 122037   23.5  16   29
5774.93/5776.96	c s 5775.0    80839    9159    868   944  20850 1297244 122064   23.5  17   29
5915.88/5917.92	c s 5915.9    80841    9159    868   944  20850 1327106 122062   23.5  18   29
6142.60/6144.79	c s 6142.7    80842    9159    868   944  20850 1371197 122043   23.5  13   28
6153.20/6155.30	c s 6153.2    80844    9159    868   944  20850 1373433 122081   23.5  18   29
6208.99/6211.11	c + 6209.0    80844    9159    868   944  20850 1384226 134214   23.5  17   35
6837.47/6839.87	c s 6837.6    80845    9159    868   944  20850 1505148 134318   23.4  10   31
6851.26/6853.64	c s 6851.3    80851    9151    869   946  20855 1507092 131776   23.4  16   30
6862.87/6865.21	c s 6862.9    80864    9151    869   946  20855 1508845 133529   23.4  16   31
7531.73/7534.30	c s 7531.8    80865    9151    869   946  20855 1633928 134249   23.4  17   31
7936.50/7939.20	c s 7936.5    80867    9151    869   946  20855 1710610 134237   23.4  17   31
8030.77/8033.56	c + 8030.8    80867    9151    869   946  20855 1730280 147635   23.3  16   36
8255.19/8258.07	c s 8255.3    80868    9151    869   946  20855 1771591 147665   23.3  17   33
9292.63/9295.89	c s 9292.7    80873    9151    869   946  20855 1967569 147651   23.2  15   33
9708.90/9712.29	c B 9709.0    80873    9151    869   946  20855 2048350 147710   23.1  18   42
10000.00/10003.40	c
10000.00/10003.40	c *** CAUGHT SIGNAL 15 ***
10000.00/10003.40	c
10000.00/10003.40	c 2101292 conflicts, 2638081 decisions, 3 random
10000.00/10003.40	c 1 iterations, 4215 restarts, 0 skipped
10000.00/10003.40	c 21 enlarged, 591 shrunken, 20521 rescored, 510 rebiased
10000.00/10003.40	c 89 simplifications, 0 reductions
10000.00/10003.40	c
10000.00/10003.40	c vars: 869 fixed, 946 equiv, 20855 elim, 960 merged
10000.00/10003.40	c elim: 1526915 resolutions, 5 phases, 5 rounds
10000.00/10003.40	c sbst: 92% substituted, 0.9% nots, 98.1% ands, 0.9% xors, 0.1% ites
10000.00/10003.40	c arty: 2.27 and 2.03 xor average arity
10000.00/10003.40	c prbe: 7968283 probed, 4777 phases, 435 rounds
10000.00/10003.40	c prbe: 4 failed, 123 lifted, 21 merged
10000.00/10003.40	c sccs: 18 non trivial, 0 fixed, 22 merged
10000.00/10003.40	c hash: 52 units, 917 merged
10000.00/10003.40	c mins: 76119083 learned, 86% deleted, 38 strong, 45 depth
10000.00/10003.40	c subs: 1475 forward, 1041 backward, 1046 doms
10000.00/10003.40	c strs: 6947 forward, 1172 backward
10000.00/10003.40	c doms: 5265 dominators, 1042 high, 0 low
10000.00/10003.40	c prps: 8726062274 propagations, 0.87 megaprops
10000.00/10003.40	c
10000.00/10003.40	c 10000.0 seconds, 45 MB max, 325 MB recycled
10000.00/10003.40	c
10000.00/10003.40	c *** CAUGHT SIGNAL 15 ***
10000.00/10003.40	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-1774131-1241195397/watcher-1774131-1241195397 -o /tmp/evaluation-result-1774131-1241195397/solver-1774131-1241195397 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774131-1241195397.cnf 

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


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23357
/proc/meminfo: memFree=1105064/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=2044 CPUtime=0
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 147572681 2093056 381 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/23357/statm: 511 382 59 155 0 354 0

[startup+0.033057 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23357
/proc/meminfo: memFree=1105064/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=4864 CPUtime=0.02
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 1120 0 0 0 2 0 0 0 18 0 1 0 147572681 4980736 1105 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 1216 1105 64 155 0 1059 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4864

[startup+0.101066 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23357
/proc/meminfo: memFree=1105064/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=8020 CPUtime=0.09
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 2004 0 0 0 9 0 0 0 18 0 1 0 147572681 8212480 1891 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 2005 1892 64 155 0 1848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8020

[startup+0.301098 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23357
/proc/meminfo: memFree=1105064/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=13220 CPUtime=0.29
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 3441 0 0 0 28 1 0 0 19 0 1 0 147572681 13537280 3198 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 3305 3198 78 155 0 3148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13220

[startup+0.701162 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23357
/proc/meminfo: memFree=1105064/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=15772 CPUtime=0.69
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 4873 0 0 0 68 1 0 0 22 0 1 0 147572681 16150528 3862 1992294400 134512640 135151029 4294956240 18446744073709551615 134519079 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 3943 3862 78 155 0 3786 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15772

[startup+1.50129 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1088096/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=18276 CPUtime=1.49
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 5613 0 0 0 147 2 0 0 25 0 1 0 147572681 18714624 4473 1992294400 134512640 135151029 4294956240 18446744073709551615 134526158 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4569 4473 78 155 0 4412 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18276

[startup+3.10154 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1088032/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=17380 CPUtime=3.09
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 5629 0 0 0 307 2 0 0 25 0 1 0 147572681 17797120 4232 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4345 4232 79 155 0 4188 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17380

[startup+6.30105 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1087904/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=17380 CPUtime=6.29
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 5629 0 0 0 627 2 0 0 25 0 1 0 147572681 17797120 4232 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4345 4232 79 155 0 4188 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17380

[startup+12.7011 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1087672/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=17640 CPUtime=12.69
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 5818 0 0 0 1267 2 0 0 25 0 1 0 147572681 18063360 4292 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4410 4292 79 155 0 4253 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17640

[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1087680/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=17640 CPUtime=25.48
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 6076 0 0 0 2546 2 0 0 25 0 1 0 147572681 18063360 4292 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4410 4292 79 155 0 4253 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17640

[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1087744/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=17640 CPUtime=51.07
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 6076 0 0 0 5105 2 0 0 25 0 1 0 147572681 18063360 4292 1992294400 134512640 135151029 4294956240 18446744073709551615 134581658 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4410 4292 79 155 0 4253 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17640

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1087744/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=17640 CPUtime=102.26
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 6076 0 0 0 10223 3 0 0 25 0 1 0 147572681 18063360 4292 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4410 4292 79 155 0 4253 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17640

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1087040/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=18428 CPUtime=162.23
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 6281 0 0 0 16220 3 0 0 25 0 1 0 147572681 18870272 4497 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4607 4497 79 155 0 4450 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 18428

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1085952/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=19484 CPUtime=222.22
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 6531 0 0 0 22218 4 0 0 25 0 1 0 147572681 19951616 4747 1992294400 134512640 135151029 4294956240 18446744073709551615 134554922 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 4871 4747 79 155 0 4714 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 19484

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1085312/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=20228 CPUtime=282.2
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 7274 0 0 0 28215 5 0 0 25 0 1 0 147572681 20713472 4921 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 5057 4921 79 155 0 4900 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20228

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1084672/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=20828 CPUtime=342.18
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 7426 0 0 0 34212 6 0 0 25 0 1 0 147572681 21327872 5073 1992294400 134512640 135151029 4294956240 18446744073709551615 134530844 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 5207 5073 79 155 0 5050 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 20828

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1084288/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=21192 CPUtime=402.15
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 7873 0 0 0 40209 6 0 0 25 0 1 0 147572681 21700608 5171 1992294400 134512640 135151029 4294956240 18446744073709551615 134554502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 5298 5171 79 155 0 5141 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 21192

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23358
/proc/meminfo: memFree=1083520/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=21980 CPUtime=462.14
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 8043 0 0 0 46207 7 0 0 25 0 1 0 147572681 22507520 5341 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 5495 5341 79 155 0 5338 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 21980

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23360
/proc/meminfo: memFree=1082944/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=22568 CPUtime=522.11
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 8323 0 0 0 52204 7 0 0 25 0 1 0 147572681 23109632 5492 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 5642 5492 79 155 0 5485 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 22568

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23360
/proc/meminfo: memFree=1082496/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=23016 CPUtime=582.09
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 8430 0 0 0 58202 7 0 0 25 0 1 0 147572681 23568384 5599 1992294400 134512640 135151029 4294956240 18446744073709551615 134552618 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 5754 5599 79 155 0 5597 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 23016

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 23360
/proc/meminfo: memFree=1081984/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=23752 CPUtime=642.08
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 8564 0 0 0 64200 8 0 0 25 0 1 0 147572681 24322048 5733 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 5938 5733 79 155 0 5781 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 23752

[startup+702.301 s]

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

[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23376
/proc/meminfo: memFree=1056576/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48884 CPUtime=9039.22
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22339 0 0 0 903869 53 0 0 25 0 1 0 147572681 50057216 11896 1992294400 134512640 135151029 4294956240 18446744073709551615 134552526 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12221 11896 79 155 0 12064 0
Current children cumulated CPU time (s) 9039.22
Current children cumulated vsize (KiB) 48884

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056248/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=49140 CPUtime=9099.2
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22365 0 0 0 909866 54 0 0 25 0 1 0 147572681 50319360 11922 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12285 11922 79 155 0 12128 0
Current children cumulated CPU time (s) 9099.2
Current children cumulated vsize (KiB) 49140

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056248/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=49140 CPUtime=9159.18
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22365 0 0 0 915864 54 0 0 25 0 1 0 147572681 50319360 11922 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12285 11922 79 155 0 12128 0
Current children cumulated CPU time (s) 9159.18
Current children cumulated vsize (KiB) 49140

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056248/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=49140 CPUtime=9219.17
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22365 0 0 0 921863 54 0 0 25 0 1 0 147572681 50319360 11922 1992294400 134512640 135151029 4294956240 18446744073709551615 134542691 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12285 11922 79 155 0 12128 0
Current children cumulated CPU time (s) 9219.17
Current children cumulated vsize (KiB) 49140

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056248/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=49140 CPUtime=9279.14
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22365 0 0 0 927860 54 0 0 25 0 1 0 147572681 50319360 11922 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12285 11922 79 155 0 12128 0
Current children cumulated CPU time (s) 9279.14
Current children cumulated vsize (KiB) 49140

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056696/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48212 CPUtime=9339.12
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22497 0 0 0 933858 54 0 0 25 0 1 0 147572681 49369088 11798 1992294400 134512640 135151029 4294956240 18446744073709551615 134581610 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12053 11798 79 155 0 11896 0
Current children cumulated CPU time (s) 9339.12
Current children cumulated vsize (KiB) 48212

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056768/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48212 CPUtime=9399.1
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22497 0 0 0 939855 55 0 0 25 0 1 0 147572681 49369088 11798 1992294400 134512640 135151029 4294956240 18446744073709551615 134551383 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12053 11798 79 155 0 11896 0
Current children cumulated CPU time (s) 9399.1
Current children cumulated vsize (KiB) 48212

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056768/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48212 CPUtime=9459.08
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22507 0 0 0 945853 55 0 0 25 0 1 0 147572681 49369088 11808 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12053 11808 79 155 0 11896 0
Current children cumulated CPU time (s) 9459.08
Current children cumulated vsize (KiB) 48212

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056832/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48212 CPUtime=9519.06
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22515 0 0 0 951851 55 0 0 25 0 1 0 147572681 49369088 11816 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12053 11816 79 155 0 11896 0
Current children cumulated CPU time (s) 9519.06
Current children cumulated vsize (KiB) 48212

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056640/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48212 CPUtime=9579.03
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22540 0 0 0 957848 55 0 0 25 0 1 0 147572681 49369088 11841 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12053 11841 79 155 0 11896 0
Current children cumulated CPU time (s) 9579.03
Current children cumulated vsize (KiB) 48212

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056576/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48212 CPUtime=9639.01
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22565 0 0 0 963846 55 0 0 25 0 1 0 147572681 49369088 11866 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12053 11866 79 155 0 11896 0
Current children cumulated CPU time (s) 9639.01
Current children cumulated vsize (KiB) 48212

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1056320/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=48696 CPUtime=9699
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22625 0 0 0 969844 56 0 0 25 0 1 0 147572681 49864704 11926 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12174 11926 79 155 0 12017 0
Current children cumulated CPU time (s) 9699
Current children cumulated vsize (KiB) 48696

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1055616/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=49724 CPUtime=9758.97
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22795 0 0 0 975841 56 0 0 25 0 1 0 147572681 50917376 12096 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12431 12096 79 155 0 12274 0
Current children cumulated CPU time (s) 9758.97
Current children cumulated vsize (KiB) 49724

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1055488/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=49724 CPUtime=9818.95
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22812 0 0 0 981839 56 0 0 25 0 1 0 147572681 50917376 12113 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12431 12113 79 155 0 12274 0
Current children cumulated CPU time (s) 9818.95
Current children cumulated vsize (KiB) 49724

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1055360/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=49980 CPUtime=9878.93
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22858 0 0 0 987837 56 0 0 25 0 1 0 147572681 51179520 12159 1992294400 134512640 135151029 4294956240 18446744073709551615 134551562 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12495 12159 79 155 0 12338 0
Current children cumulated CPU time (s) 9878.93
Current children cumulated vsize (KiB) 49980

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1054912/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=50492 CPUtime=9938.92
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22957 0 0 0 993835 57 0 0 25 0 1 0 147572681 51703808 12258 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12623 12258 79 155 0 12466 0
Current children cumulated CPU time (s) 9938.92
Current children cumulated vsize (KiB) 50492

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1054912/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=50492 CPUtime=9998.9
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22962 0 0 0 999833 57 0 0 25 0 1 0 147572681 51703808 12263 1992294400 134512640 135151029 4294956240 18446744073709551615 134574580 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12623 12263 79 155 0 12466 0
Current children cumulated CPU time (s) 9998.9
Current children cumulated vsize (KiB) 50492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23382
/proc/meminfo: memFree=1054912/2055920 swapFree=4181456/4192956
[pid=23357] ppid=23355 vsize=50492 CPUtime=10000
/proc/23357/stat : 23357 (precosat) R 23355 23357 23320 0 -1 4194304 22962 0 0 0 999943 57 0 0 25 0 1 0 147572681 51703808 12263 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23357/statm: 12623 12263 79 155 0 12466 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 50492

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.4
CPU time (s): 10000
CPU user time (s): 9999.44
CPU system time (s): 0.580911
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 50492

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

runsolver used 7.55785 second user time and 20.024 second system time

The end

Launcher Data 

Begin job on node26 at 2009-05-01 18:29:57
IDJOB=1774131
IDBENCH=70874
IDSOLVER=607
FILE ID=node26/1774131-1241195397
PBS_JOBID= 9224649
Free space on /tmp= 66464 MiB

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

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

MD5SUM BENCH= 107f2922072d64498e09af3270c7b9c3
RANDOM SEED=1065037980

node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1105480 kB
Buffers:         85080 kB
Cached:         755080 kB
SwapCached:       5352 kB
Active:          73788 kB
Inactive:       774180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1105480 kB
SwapTotal:     4192956 kB
SwapFree:      4181456 kB
Dirty:            2352 kB
Writeback:           0 kB
Mapped:          13484 kB
Slab:            88472 kB
Committed_AS:   634848 kB
PageTables:       1368 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66464 MiB
End job on node26 at 2009-05-01 21:16:42