Trace number 1774001

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 10003

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-32-s100.cnf
MD5SUM7785f51f4f3cb780b4d123215711f948
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 variables32312
Number of clauses97285
Sum of the clauses size229627
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262100
Number of clauses of size 335121
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-1774001-1241187562.cnf
0.00/0.00	c found header 'p cnf 32312 97285'
0.09/0.15	c finished parsing
0.09/0.15	c
0.09/0.15	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.15	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.15	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.15	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.15	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.15	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.15	c
0.09/0.15	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.09/0.15	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.15	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.15	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.15	c
0.09/0.15	c starting search after 0.2 seconds
0.09/0.15	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    97093   31366     95   851      0       0      0    0.0   0    8
1.69/1.76	c s    1.8    60014    9622    698   876  21116       0      0    0.0   0    7
1.69/1.76	c l    1.8    60014    9622    698   876  21116       0  21039    0.0   0    7
1.79/1.85	c R    1.9    60481    9619    700   877  21116     109    104   36.7  17    8
1.89/1.96	c R    2.0    60641    9619    700   877  21116     209    204   35.2  17    8
2.69/2.73	c R    2.7    71545    9615    700   881  21116     811    804   35.1  17    9
2.89/2.96	c B    3.0    71573    9615    700   881  21116    1000    993   34.8  17    9
3.79/3.80	c s    3.8    82312    9607    705   884  21116    1242   1229   34.5  17    9
5.79/5.80	c B    5.8    82555    9592    715   889  21116    2002   1987   32.4  18   10
6.78/6.86	c s    6.9    81354    9460    754   889  21209    2279   2109   32.3  12    9
6.78/6.86	c -    6.9    81354    9460    754   889  21209    2279  20829   32.3  12    9
6.88/6.97	c R    7.0    81368    9456    754   893  21209    2412   2241   32.2  13    9
9.38/9.44	c s    9.4    81691    9455    754   894  21209    3043   2872   31.5  17    9
12.49/12.54	c s   12.5    81831    9445    754   894  21219    4058   3800   32.4  16    9
15.19/15.23	c s   15.2    81859    9445    754   894  21219    5070   4811   31.9  16   10
17.89/17.97	c s   18.0    81877    9445    754   894  21219    5893   5634   31.7  18   10
19.69/19.77	c R   19.8    81879    9445    754   894  21219    6417   6158   31.7  17   10
20.79/20.82	c s   20.8    81879    9445    754   894  21219    6752   6493   31.8  13   10
23.49/23.59	c s   23.6    81882    9445    754   894  21219    7424   7164   31.7  18   10
25.29/25.35	c
25.29/25.35	c       original/binary      fixed     eliminated      learned       agility
25.29/25.35	c   seconds        variables     equivalent    conflicts       height       MB
25.29/25.35	c
25.29/25.35	c B   25.3    81883    9445    754   894  21219    8002   7742   32.0  17   11
26.29/26.37	c s   26.4    81884    9445    754   894  21219    8244   7983   32.0  17   10
30.28/30.33	c s   30.3    81885    9445    754   894  21219    9690   9429   32.8  17   10
33.28/33.30	c s   33.3    81899    9445    754   894  21219   10484  10222   32.8  17   11
36.78/36.81	c s   36.8    81693    9420    762   896  21234   11157  10883   32.8  17   11
39.78/39.88	c s   39.9    81695    9420    762   896  21234   11869  11595   33.0  17   11
42.88/42.99	c s   43.0    81703    9420    762   896  21234   12537  12263   32.7  17   11
45.98/46.07	c s   46.1    81707    9420    762   896  21234   13165  12890   32.6  18   11
49.17/49.23	c s   49.2    81708    9420    762   896  21234   13849  13574   32.5  17   11
57.27/57.31	c R   57.3    81708    9420    762   896  21234   16042  15767   32.3  17   13
60.07/60.16	c s   60.1    81709    9420    762   896  21234   16610  16334   32.3  13   12
63.37/63.43	c s   63.4    81711    9420    762   896  21234   17492  17216   32.3  16   12
71.47/71.58	c s   71.6    81712    9420    762   896  21234   19243  18966   32.1  16   12
74.96/75.05	c s   75.0    81716    9420    762   896  21234   20010  19733   32.1  12   13
78.36/78.44	c s   78.4    81718    9420    762   896  21234   20764  20486   32.1  17   13
78.66/78.70	c +   78.7    81718    9420    762   896  21234   20829  22911   32.1  16   13
81.86/81.93	c s   81.9    81720    9420    762   896  21234   21434  21155   32.0  17   13
89.56/89.65	c B   89.6    81720    9420    762   896  21234   24009  22953   32.4  17   14
90.86/90.94	c s   90.9    81721    9420    762   896  21234   24238  22933   32.3  16   13
94.36/94.48	c
94.36/94.48	c       original/binary      fixed     eliminated      learned       agility
94.36/94.48	c   seconds        variables     equivalent    conflicts       height       MB
94.36/94.48	c
94.36/94.48	c s   94.5    81724    9420    762   896  21234   24953  22921   32.3  16   13
99.06/99.14	c s   99.1    81725    9420    762   896  21234   26014  22947   32.4  17   13
99.16/99.24	c +   99.2    81725    9420    762   896  21234   26037  25202   32.4  17   13
103.55/103.68	c s  103.7    81727    9420    762   896  21234   27348  24246   32.6  16   13
107.16/107.29	c s  107.3    81731    9420    762   896  21234   28137  25035   32.5  17   13
110.86/110.92	c s  110.9    81732    9420    762   896  21234   29167  25213   32.4  15   14
114.56/114.60	c s  114.6    81733    9420    762   896  21234   29918  25223   32.4  17   14
118.16/118.29	c s  118.3    81734    9420    762   896  21234   30881  25228   32.3  15   13
121.86/121.99	c s  122.0    81737    9420    762   896  21234   31820  25224   32.3  18   13
125.36/125.48	c +  125.4    81737    9420    762   896  21234   32547  27722   32.2  16   15
142.35/142.44	c R  142.4    81737    9420    762   896  21234   38488  27748   32.8  12   16
152.65/152.72	c +  152.7    81737    9420    762   896  21234   40681  30494   32.7  16   16
189.23/189.32	c s  189.3    81738    9420    762   896  21234   48703  30512   32.4  17   14
197.53/197.65	c +  197.6    81738    9420    762   896  21234   50852  33543   32.3  18   16
198.83/198.99	c s  198.9    81739    9420    762   896  21234   51307  30997   32.3  18   15
209.43/209.55	c s  209.5    81743    9420    762   896  21234   53859  33548   32.2  17   15
213.43/213.58	c s  213.5    81747    9420    762   896  21234   54607  33586   32.1  16   15
228.52/228.67	c s  228.6    81748    9420    762   896  21234   58377  33555   32.1  18   15
238.42/238.57	c s  238.5    81752    9420    762   896  21234   60588  33575   32.0  14   15
242.52/242.68	c
242.52/242.68	c       original/binary      fixed     eliminated      learned       agility
242.52/242.68	c   seconds        variables     equivalent    conflicts       height       MB
242.52/242.68	c
242.52/242.68	c s  242.6    81755    9420    762   896  21234   61680  33578   32.0  17   15
246.51/246.64	c s  246.6    81758    9420    762   896  21234   62457  33594   32.0  17   15
252.11/252.21	c +  252.1    81758    9420    762   896  21234   63566  36897   32.0  18   16
254.31/254.44	c B  254.4    81758    9420    762   896  21234   64021  34051   32.0  18   16
282.01/282.18	c s  282.1    81759    9420    762   896  21234   71260  36945   32.2  18   16
290.50/290.66	c s  290.6    81761    9420    762   896  21234   73358  36934   32.1  19   16
302.10/302.21	c s  302.1    81762    9420    762   896  21234   76121  36943   32.1  17   16
316.70/316.82	c +  316.7    81762    9420    762   896  21234   79456  40586   32.0  17   17
343.68/343.81	c s  343.7    81763    9420    762   896  21234   85638  40620   31.8  16   16
356.19/356.38	c s  356.3    81764    9420    762   896  21234   88536  40609   31.7  17   16
361.79/361.92	c R  361.8    81764    9420    762   896  21234   89775  40614   31.7  16   18
401.77/401.97	c +  401.9    81764    9420    762   896  21234   99320  44644   31.6  17   18
503.94/504.15	c +  504.0    81764    9420    762   896  21234  124150  49108   31.3  19   20
514.44/514.68	c s  514.5    81768    9420    762   896  21234  126779  47306   31.2  17   18
534.13/534.36	c s  534.2    81769    9420    762   896  21234  131001  49138   31.2  14   18
565.13/565.31	c s  565.1    81778    9420    762   896  21234  138033  49150   31.2  17   18
626.40/626.62	c s  626.4    81779    9420    762   896  21234  152058  49150   31.1  18   18
639.90/640.11	c +  639.9    81779    9420    762   896  21234  155186  54018   31.1  18   20
657.80/658.07	c B  657.9    81779    9420    762   896  21234  160043  54040   31.1  15   22
696.18/696.45	c
696.18/696.45	c       original/binary      fixed     eliminated      learned       agility
696.18/696.45	c   seconds        variables     equivalent    conflicts       height       MB
696.18/696.45	c
696.18/696.45	c s  696.3    81780    9420    762   896  21234  168250  54053   31.2  17   19
773.16/773.40	c s  773.2    81781    9420    762   896  21234  186148  54071   31.1  16   19
791.15/791.49	c s  791.3    81782    9420    762   896  21234  191890  54059   31.1  18   19
796.25/796.59	c +  796.4    81783    9420    762   896  21234  193980  59419   31.1  16   21
797.16/797.41	c s  797.2    81783    9420    762   896  21234  194225  54277   31.1  17   19
802.45/802.79	c s  802.6    81784    9420    762   896  21234  196358  56409   31.2  18   20
843.05/843.34	c R  843.1    81784    9420    762   896  21234  205124  59509   31.1  15   22
844.55/844.83	c s  844.6    81785    9420    762   896  21234  206009  59461   31.3  12   20
878.23/878.51	c s  878.3    81786    9420    762   896  21234  213827  59507   31.3  17   20
945.31/945.60	c s  945.3    81789    9420    762   896  21234  231655  59476   31.2  18   20
951.01/951.35	c s  951.1    81791    9420    762   896  21234  232826  59476   31.2  17   20
956.91/957.21	c s  956.9    81800    9420    762   896  21234  234519  59473   31.2  17   20
990.50/990.80	c +  990.5    81800    9420    762   896  21234  242476  65360   31.3  17   24
1190.24/1190.68	c s 1190.3    81801    9420    762   896  21234  287529  65409   31.2  18   21
1209.54/1209.95	c s 1209.6    81802    9420    762   896  21234  291575  65409   31.2  17   21
1255.83/1256.28	c s 1255.9    81803    9420    762   896  21234  302235  65408   31.3  15   21
1260.02/1260.48	c + 1260.1    81803    9420    762   896  21234  303099  71896   31.3  18   23
1335.20/1335.63	c s 1335.2    81804    9420    762   896  21234  320648  71952   31.2  18   23
1343.29/1343.74	c s 1343.3    81805    9420    762   896  21234  322327  71943   31.2  18   22
1389.18/1389.66	c
1389.18/1389.66	c       original/binary      fixed     eliminated      learned       agility
1389.18/1389.66	c   seconds        variables     equivalent    conflicts       height       MB
1389.18/1389.66	c
1389.18/1389.66	c s 1389.2    81806    9420    762   896  21234  333280  71944   31.1  17   22
1424.47/1424.91	c s 1424.5    81807    9420    762   896  21234  341066  71943   31.1  15   23
1441.77/1442.23	c s 1441.8    81808    9420    762   896  21234  344745  71952   31.1  17   22
1448.17/1448.61	c s 1448.2    81809    9420    762   896  21234  346068  71958   31.1  17   22
1454.56/1455.08	c s 1454.7    81812    9420    762   896  21234  347663  71928   31.1  15   22
1589.72/1590.20	c + 1589.7    81812    9420    762   896  21234  378871  79085   31.1  18   27
1613.61/1614.12	c B 1613.6    81812    9420    762   896  21234  384079  77148   31.1  18   28
1655.20/1655.70	c s 1655.2    81813    9420    762   896  21234  395924  79129   31.2  16   24
1959.31/1959.99	c R 1959.4    81813    9420    762   896  21234  461424  79158   31.0  18   29
2015.70/2016.35	c + 2015.8    81813    9420    762   896  21234  473585  86993   31.0  20   30
2312.21/2312.97	c s 2312.3    81817    9420    762   896  21234  532739  87046   30.8  18   28
2328.30/2329.05	c s 2328.4    81818    9420    762   896  21234  536211  87071   30.9  14   28
2335.70/2336.45	c s 2335.8    81819    9420    762   896  21234  537471  87053   30.8  18   28
2342.90/2343.68	c s 2343.0    81820    9420    762   896  21234  538996  87023   30.8  18   28
2589.12/2589.98	c + 2589.2    81820    9420    762   896  21234  591980  95692   30.8  14   32
2660.60/2661.43	c s 2660.6    81821    9420    762   896  21234  608826  95729   30.9  18   28
2668.69/2669.54	c s 2668.8    81822    9420    762   896  21234  610418  95762   30.9  18   27
2919.32/2920.23	c s 2919.4    81823    9420    762   896  21234  660724  95751   30.9  17   27
3044.19/3045.13	c s 3044.2    81824    9420    762   896  21234  687642  95773   30.8  18   27
3052.58/3053.50	c
3052.58/3053.50	c       original/binary      fixed     eliminated      learned       agility
3052.58/3053.50	c   seconds        variables     equivalent    conflicts       height       MB
3052.58/3053.50	c
3052.58/3053.50	c s 3052.6    81825    9420    762   896  21234  689152  95762   30.8  18   27
3293.22/3294.24	c + 3293.3    81825    9420    762   896  21234  739975 105261   30.8  19   32
3490.45/3491.51	c s 3490.5    81826    9420    762   896  21234  781814 105319   30.8  17   28
3557.93/3559.09	c s 3558.0    81830    9420    762   896  21234  796266 105346   30.8  17   29
3566.63/3567.76	c s 3566.7    81831    9420    762   896  21234  797804 105342   30.8  17   29
3955.01/3956.27	c s 3955.1    81832    9420    762   896  21234  876081 105353   30.8  18   29
4058.29/4059.53	c B 4058.3    81832    9420    762   896  21234  896159 105338   30.7  18   34
4205.64/4206.98	c + 4205.7    81832    9420    762   896  21234  924966 115787   30.8  16   36
4429.18/4430.51	c s 4429.2    81833    9420    762   896  21234  974767 115856   30.7  18   30
4650.11/4651.56	c R 4650.2    81833    9420    762   896  21234 1025287 115836   30.6  19   33
4653.62/4655.05	c s 4653.7    81837    9420    762   896  21234 1025675 115876   30.6  17   29
5201.94/5203.51	c s 5202.0    81838    9420    762   896  21234 1120006 115854   30.4  15   29
5211.65/5213.25	c s 5211.7    81843    9420    762   896  21234 1121413 115819   30.5  15   29
5328.21/5329.81	c s 5328.2    81844    9420    762   896  21234 1145594 115838   30.5  20   29
5381.90/5383.50	c + 5381.9    81844    9420    762   896  21234 1156206 127365   30.5  18   36
5920.34/5922.17	c s 5920.4    81845    9420    762   896  21234 1258107 127459   30.5  18   33
6038.80/6040.61	c s 6038.8    81847    9420    762   896  21234 1281775 127404   30.5  18   34
6313.72/6315.61	c s 6313.7    81849    9420    762   896  21234 1333480 127437   30.6  17   34
6323.82/6325.71	c s 6323.8    81851    9420    762   896  21234 1335239 127432   30.6  17   34
6335.22/6337.18	c
6335.22/6337.18	c       original/binary      fixed     eliminated      learned       agility
6335.22/6337.18	c   seconds        variables     equivalent    conflicts       height       MB
6335.22/6337.18	c
6335.22/6337.18	c s 6335.3    81853    9420    762   896  21234 1337324 127434   30.6  17   34
6405.89/6407.83	c s 6405.9    81854    9420    762   896  21234 1350979 127414   30.6  18   35
6416.89/6418.87	c s 6417.0    81860    9420    762   896  21234 1352803 127410   30.6  18   35
6914.54/6916.65	c + 6914.6    81860    9420    762   896  21234 1445256 140101   30.6  18   43
6968.53/6970.67	c s 6968.6    81861    9420    762   896  21234 1455454 137618   30.6  16   36
7073.20/7075.32	c s 7073.2    81862    9420    762   896  21234 1474016 140151   30.6  17   37
7437.30/7439.53	c s 7437.3    81863    9420    762   896  21234 1540053 140176   30.6  18   36
7739.51/7741.81	c s 7739.5    81864    9420    762   896  21234 1595479 140186   30.5  17   36
8199.88/8202.36	c s 8199.9    81865    9420    762   896  21234 1675667 140146   30.4  13   37
8581.46/8584.05	c s 8581.5    81866    9420    762   896  21234 1743899 140188   30.4  17   36
8855.88/8858.54	c s 8855.9    81867    9420    762   896  21234 1792478 140162   30.4  19   36
8867.78/8870.46	c s 8867.8    81873    9420    762   896  21234 1794503 140137   30.4  15   36
8879.47/8882.14	c s 8879.5    81875    9420    762   896  21234 1796495 140190   30.4  19   36
8940.95/8943.64	c + 8941.0    81875    9420    762   896  21234 1806571 154111   30.4  17   43
10000.04/10003.00	c
10000.04/10003.00	c *** CAUGHT SIGNAL 15 ***
10000.04/10003.00	c
10000.04/10003.00	c 1991756 conflicts, 2544642 decisions, 2 random
10000.04/10003.00	c 1 iterations, 3898 restarts, 0 skipped
10000.04/10003.00	c 21 enlarged, 664 shrunken, 19454 rescored, 509 rebiased
10000.04/10003.00	c 104 simplifications, 0 reductions
10000.04/10003.00	c
10000.04/10003.00	c vars: 762 fixed, 896 equiv, 21234 elim, 908 merged
10000.04/10003.00	c elim: 1319700 resolutions, 4 phases, 4 rounds
10000.04/10003.00	c sbst: 92% substituted, 0.6% nots, 98.3% ands, 0.9% xors, 0.1% ites
10000.04/10003.00	c arty: 2.26 and 2.03 xor average arity
10000.04/10003.00	c prbe: 9326899 probed, 4448 phases, 495 rounds
10000.04/10003.00	c prbe: 10 failed, 72 lifted, 14 merged
10000.04/10003.00	c sccs: 3 non trivial, 0 fixed, 3 merged
10000.04/10003.00	c hash: 46 units, 891 merged
10000.04/10003.00	c mins: 91425527 learned, 89% deleted, 28 strong, 53 depth
10000.04/10003.00	c subs: 1493 forward, 1013 backward, 410 doms
10000.04/10003.00	c strs: 7925 forward, 1016 backward
10000.04/10003.00	c doms: 4545 dominators, 400 high, 0 low
10000.04/10003.00	c prps: 9099224989 propagations, 0.91 megaprops
10000.04/10003.00	c
10000.04/10003.00	c 10000.1 seconds, 52 MB max, 375 MB recycled
10000.04/10003.00	c
10000.04/10003.00	c *** CAUGHT SIGNAL 15 ***
10000.04/10003.00	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-1774001-1241187562/watcher-1774001-1241187562 -o /tmp/evaluation-result-1774001-1241187562/solver-1774001-1241187562 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774001-1241187562.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.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=2064 CPUtime=0
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 399 0 0 0 0 0 0 0 18 0 1 0 146780586 2113536 384 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/16828/statm: 516 385 59 155 0 359 0

[startup+0.057609 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=6092 CPUtime=0.04
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 1468 0 0 0 4 0 0 0 18 0 1 0 146780586 6238208 1420 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 1523 1420 64 155 0 1366 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6092

[startup+0.101614 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=8064 CPUtime=0.09
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 2006 0 0 0 8 1 0 0 18 0 1 0 146780586 8257536 1893 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 2016 1893 64 155 0 1859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8064

[startup+0.301646 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=13216 CPUtime=0.29
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 3469 0 0 0 28 1 0 0 19 0 1 0 146780586 13533184 3226 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 3304 3226 79 155 0 3147 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13216

[startup+0.701699 s]
/proc/loadavg: 0.92 0.98 0.94 3/64 16828
/proc/meminfo: memFree=973872/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=16320 CPUtime=0.69
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 4968 0 0 0 67 2 0 0 22 0 1 0 146780586 16711680 3955 1992294400 134512640 135151029 4294956240 18446744073709551615 134519522 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4080 3955 79 155 0 3923 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16320

[startup+1.50181 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956840/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18644 CPUtime=1.49
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 5702 0 0 0 146 3 0 0 25 0 1 0 146780586 19091456 4560 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4661 4560 79 155 0 4504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18644

[startup+3.10104 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956456/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=17748 CPUtime=3.09
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 5728 0 0 0 306 3 0 0 25 0 1 0 146780586 18173952 4329 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4437 4329 79 155 0 4280 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17748

[startup+6.3015 s]
/proc/loadavg: 0.93 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956328/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=17748 CPUtime=6.29
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 5728 0 0 0 626 3 0 0 25 0 1 0 146780586 18173952 4329 1992294400 134512640 135151029 4294956240 18446744073709551615 134684993 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4437 4329 79 155 0 4280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17748

[startup+12.7014 s]
/proc/loadavg: 0.94 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=12.69
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6049 0 0 0 1265 4 0 0 25 0 1 0 146780586 18468864 4392 1992294400 134512640 135151029 4294956240 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4392 79 155 0 4352 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18036

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=25.49
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6049 0 0 0 2545 4 0 0 25 0 1 0 146780586 18468864 4392 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4392 79 155 0 4352 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18036

[startup+51.1019 s]
/proc/loadavg: 0.97 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=51.07
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6179 0 0 0 5103 4 0 0 25 0 1 0 146780586 18468864 4393 1992294400 134512640 135151029 4294956240 18446744073709551615 134573914 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4393 79 155 0 4352 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18036

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.94 2/65 16829
/proc/meminfo: memFree=956072/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18036 CPUtime=102.26
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6179 0 0 0 10222 4 0 0 25 0 1 0 146780586 18468864 4393 1992294400 134512640 135151029 4294956240 18446744073709551615 134554708 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4509 4393 79 155 0 4352 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18036

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=955432/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=18820 CPUtime=162.24
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 6390 0 0 0 16219 5 0 0 25 0 1 0 146780586 19271680 4604 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 4705 4604 79 155 0 4548 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 18820

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=954216/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=20084 CPUtime=222.23
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 7255 0 0 0 22217 6 0 0 25 0 1 0 146780586 20566016 4904 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5021 4904 79 155 0 4864 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20084

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=953576/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=21332 CPUtime=282.21
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 8196 0 0 0 28214 7 0 0 25 0 1 0 146780586 21843968 5200 1992294400 134512640 135151029 4294956240 18446744073709551615 134542670 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5333 5200 79 155 0 5176 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21332

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=952808/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=21484 CPUtime=342.19
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 8502 0 0 0 34212 7 0 0 25 0 1 0 146780586 21999616 5248 1992294400 134512640 135151029 4294956240 18446744073709551615 134555216 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5371 5248 79 155 0 5214 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 21484

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=952232/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=22024 CPUtime=402.17
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 8901 0 0 0 40209 8 0 0 25 0 1 0 146780586 22552576 5389 1992294400 134512640 135151029 4294956240 18446744073709551615 134580663 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5506 5389 79 155 0 5349 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22024

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=951208/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=23148 CPUtime=462.15
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9147 0 0 0 46207 8 0 0 25 0 1 0 146780586 23703552 5635 1992294400 134512640 135151029 4294956240 18446744073709551615 134552196 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 5787 5635 79 155 0 5630 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 23148

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=950248/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=24036 CPUtime=522.14
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9517 0 0 0 52205 9 0 0 25 0 1 0 146780586 24612864 5876 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 6009 5876 79 155 0 5852 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 24036

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=949480/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=24552 CPUtime=582.12
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9824 0 0 0 58203 9 0 0 25 0 1 0 146780586 25141248 6054 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 6138 6054 79 155 0 5981 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 24552

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/65 16829
/proc/meminfo: memFree=949608/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=24356 CPUtime=642.1
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 9872 0 0 0 64201 9 0 0 25 0 1 0 146780586 24940544 5973 1992294400 134512640 135151029 4294956240 18446744073709551615 134555021 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 6089 5973 79 155 0 5932 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 24356

[startup+702.301 s]

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

[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921448/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=52740 CPUtime=9039.63
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21598 0 0 0 903925 38 0 0 25 0 1 0 146780586 54005760 12947 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13185 12947 79 155 0 13028 0
Current children cumulated CPU time (s) 9039.63
Current children cumulated vsize (KiB) 52740

[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921384/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=52740 CPUtime=9099.61
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21624 0 0 0 909923 38 0 0 25 0 1 0 146780586 54005760 12973 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13185 12973 79 155 0 13028 0
Current children cumulated CPU time (s) 9099.61
Current children cumulated vsize (KiB) 52740

[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921384/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=52900 CPUtime=9159.59
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21629 0 0 0 915921 38 0 0 25 0 1 0 146780586 54169600 12978 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13225 12978 79 155 0 13068 0
Current children cumulated CPU time (s) 9159.59
Current children cumulated vsize (KiB) 52900

[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=921128/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=53156 CPUtime=9219.57
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21679 0 0 0 921919 38 0 0 25 0 1 0 146780586 54431744 13028 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13289 13028 79 155 0 13132 0
Current children cumulated CPU time (s) 9219.57
Current children cumulated vsize (KiB) 53156

[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=920680/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=53564 CPUtime=9279.56
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21802 0 0 0 927917 39 0 0 25 0 1 0 146780586 54849536 13151 1992294400 134512640 135151029 4294956240 18446744073709551615 134551294 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13391 13151 79 155 0 13234 0
Current children cumulated CPU time (s) 9279.56
Current children cumulated vsize (KiB) 53564

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919912/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=54556 CPUtime=9339.54
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 21980 0 0 0 933915 39 0 0 25 0 1 0 146780586 55865344 13329 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13639 13329 79 155 0 13482 0
Current children cumulated CPU time (s) 9339.54
Current children cumulated vsize (KiB) 54556

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919464/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=55068 CPUtime=9399.51
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22101 0 0 0 939912 39 0 0 25 0 1 0 146780586 56389632 13450 1992294400 134512640 135151029 4294956240 18446744073709551615 134555227 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13767 13450 79 155 0 13610 0
Current children cumulated CPU time (s) 9399.51
Current children cumulated vsize (KiB) 55068

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919208/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=55452 CPUtime=9459.5
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22168 0 0 0 945911 39 0 0 25 0 1 0 146780586 56782848 13517 1992294400 134512640 135151029 4294956240 18446744073709551615 134555042 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13863 13517 79 155 0 13706 0
Current children cumulated CPU time (s) 9459.5
Current children cumulated vsize (KiB) 55452

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=919016/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=55644 CPUtime=9519.48
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22216 0 0 0 951908 40 0 0 25 0 1 0 146780586 56979456 13565 1992294400 134512640 135151029 4294956240 18446744073709551615 134574103 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 13911 13565 79 155 0 13754 0
Current children cumulated CPU time (s) 9519.48
Current children cumulated vsize (KiB) 55644

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=918824/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56028 CPUtime=9579.47
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22270 0 0 0 957907 40 0 0 25 0 1 0 146780586 57372672 13619 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14007 13619 79 155 0 13850 0
Current children cumulated CPU time (s) 9579.47
Current children cumulated vsize (KiB) 56028

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16847
/proc/meminfo: memFree=918632/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56284 CPUtime=9639.45
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22312 0 0 0 963905 40 0 0 25 0 1 0 146780586 57634816 13661 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14071 13661 79 155 0 13914 0
Current children cumulated CPU time (s) 9639.45
Current children cumulated vsize (KiB) 56284

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16853
/proc/meminfo: memFree=918248/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56540 CPUtime=9699.42
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22355 0 0 0 969902 40 0 0 25 0 1 0 146780586 57896960 13704 1992294400 134512640 135151029 4294956240 18446744073709551615 134555125 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14135 13704 79 155 0 13978 0
Current children cumulated CPU time (s) 9699.42
Current children cumulated vsize (KiB) 56540

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 16853
/proc/meminfo: memFree=918184/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56732 CPUtime=9759.4
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22407 0 0 0 975900 40 0 0 25 0 1 0 146780586 58093568 13756 1992294400 134512640 135151029 4294956240 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14183 13756 79 155 0 14026 0
Current children cumulated CPU time (s) 9759.4
Current children cumulated vsize (KiB) 56732

[startup+9822.3 s]
/proc/loadavg: 1.11 1.03 0.98 2/65 16853
/proc/meminfo: memFree=918184/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56732 CPUtime=9819.4
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22409 0 0 0 981899 41 0 0 25 0 1 0 146780586 58093568 13758 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14183 13758 79 155 0 14026 0
Current children cumulated CPU time (s) 9819.4
Current children cumulated vsize (KiB) 56732

[startup+9882.3 s]
/proc/loadavg: 1.04 1.02 0.98 2/65 16853
/proc/meminfo: memFree=918184/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56732 CPUtime=9879.38
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22422 0 0 0 987897 41 0 0 25 0 1 0 146780586 58093568 13771 1992294400 134512640 135151029 4294956240 18446744073709551615 134574626 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14183 13771 79 155 0 14026 0
Current children cumulated CPU time (s) 9879.38
Current children cumulated vsize (KiB) 56732

[startup+9942.3 s]
/proc/loadavg: 1.01 1.02 0.98 2/65 16853
/proc/meminfo: memFree=918056/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56976 CPUtime=9939.36
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22454 0 0 0 993895 41 0 0 25 0 1 0 146780586 58343424 13803 1992294400 134512640 135151029 4294956240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14244 13803 79 155 0 14087 0
Current children cumulated CPU time (s) 9939.36
Current children cumulated vsize (KiB) 56976

[startup+10002.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/65 16853
/proc/meminfo: memFree=917992/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56976 CPUtime=9999.34
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22457 0 0 0 999893 41 0 0 25 0 1 0 146780586 58343424 13806 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14244 13806 79 155 0 14087 0
Current children cumulated CPU time (s) 9999.34
Current children cumulated vsize (KiB) 56976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003 s]
/proc/loadavg: 1.00 1.01 0.98 2/65 16853
/proc/meminfo: memFree=917992/2055920 swapFree=4180508/4192956
[pid=16828] ppid=16826 vsize=56976 CPUtime=10000
/proc/16828/stat : 16828 (precosat) R 16826 16828 16791 0 -1 4194304 22457 0 0 0 999963 41 0 0 25 0 1 0 146780586 58343424 13806 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/16828/statm: 14244 13806 79 155 0 14087 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 56976

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
CPU time (s): 10000.1
CPU user time (s): 9999.64
CPU system time (s): 0.423935
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 56976

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

runsolver used 6.76997 second user time and 21.9257 second system time

The end

Launcher Data 

Begin job on node49 at 2009-05-01 16:19:22
IDJOB=1774001
IDBENCH=70843
IDSOLVER=607
FILE ID=node49/1774001-1241187562
PBS_JOBID= 9224623
Free space on /tmp= 66528 MiB

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

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

MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED=177354005

node49.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.241
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.241
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:        974288 kB
Buffers:         85468 kB
Cached:         887968 kB
SwapCached:       5560 kB
Active:          62000 kB
Inactive:       919500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        974288 kB
SwapTotal:     4192956 kB
SwapFree:      4180508 kB
Dirty:            2392 kB
Writeback:           0 kB
Mapped:          13704 kB
Slab:            85860 kB
Committed_AS:   671848 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66524 MiB
End job on node49 at 2009-05-01 19:06:07