Trace number 1774091

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.6

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-33-s100.cnf
MD5SUMabeb2c5a0bb0ad39fbdbdbc07efbecf7
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 variables32402
Number of clauses97556
Sum of the clauses size230290
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 262250
Number of clauses of size 335242
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-1774091-1241188288.cnf
0.00/0.00	c found header 'p cnf 32402 97556'
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.1 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    97364   31446     95   861      0       0      0    0.0   0    8
1.69/1.76	c s    1.8    60494    9672    710   888  21132       0      0    0.0   0    7
1.69/1.76	c l    1.8    60494    9672    710   888  21132       0  21216    0.0   0    7
1.89/1.93	c R    1.9    61084    9671    711   888  21132     105    100   40.2  17    8
1.99/2.08	c R    2.1    61205    9670    711   889  21132     206    201   37.2  16    8
2.59/2.68	c R    2.7    72233    9664    716   890  21132     807    802   37.6  14    9
2.89/2.93	c B    2.9    72298    9664    716   890  21132    1001    996   37.3  18    9
3.69/3.78	c s    3.8    82687    9645    731   894  21132    1256   1247   36.5  17    9
4.99/5.06	c B    5.1    82752    9641    731   898  21132    2001   1991   34.9  18   10
6.88/6.93	c s    6.9    82376    9576    731   900  21195    2345   2103   34.1  18    9
7.18/7.23	c R    7.2    82389    9575    731   901  21195    2411   2169   33.9  17    9
9.48/9.59	c s    9.6    82619    9551    750   906  21195    2901   2658   34.2  16    9
12.69/12.75	c s   12.8    82417    9520    758   912  21212    3638   3312   33.8  17    9
15.40/15.47	c s   15.5    82420    9520    758   912  21212    4383   4057   33.9  17    9
18.59/18.63	c s   18.6    82265    9500    765   912  21225    5653   5311   34.2  17   10
19.89/19.97	c R   20.0    82288    9483    780   914  21225    6419   6077   34.0  18   10
21.29/21.38	c s   21.4    82123    9481    780   916  21225    6813   6471   34.0  18   10
24.58/24.66	c s   24.7    81979    9463    781   917  21241    7832   7484   33.9  17   10
25.29/25.31	c B   25.3    81987    9463    781   917  21241    8002   7654   33.8  18   11
27.49/27.53	c
27.49/27.53	c       original/binary      fixed     eliminated      learned       agility
27.49/27.53	c   seconds        variables     equivalent    conflicts       height       MB
27.49/27.53	c
27.49/27.53	c s   27.5    82013    9463    781   917  21241    8659   8309   34.1  17   10
30.38/30.43	c s   30.4    82020    9463    781   917  21241    9439   9089   34.0  18   10
33.18/33.25	c s   33.2    82029    9463    781   917  21241   10697  10347   34.3  17   11
36.18/36.20	c s   36.2    82031    9463    781   917  21241   11836  11484   34.2  17   11
41.98/42.08	c s   42.1    82032    9463    781   917  21241   13441  13088   34.0  17   11
48.67/48.78	c s   48.8    82033    9463    781   917  21241   15761  15408   34.4  12   12
49.97/50.00	c R   50.0    82034    9463    781   917  21241   16043  15689   34.3  17   13
51.97/52.01	c s   52.0    82036    9463    781   917  21241   16555  16201   34.3  17   12
57.07/57.19	c s   57.2    82037    9463    781   917  21241   19498  19144   33.8  18   13
60.57/60.61	c s   60.6    82043    9463    781   917  21241   20700  20345   33.7  16   13
62.57/62.62	c +   62.6    82049    9463    781   917  21241   21216  23337   33.7  17   14
64.47/64.53	c s   64.5    82007    9458    782   918  21244   21509  21154   33.7  17   13
67.86/67.96	c s   67.9    82008    9458    782   918  21244   22372  22017   33.6  18   13
71.37/71.50	c s   71.5    82013    9458    782   918  21244   23406  23050   33.5  17   14
73.36/73.47	c B   73.4    82015    9458    782   918  21244   24007  23343   33.5  12   15
75.06/75.11	c s   75.1    82024    9458    782   918  21244   24906  23366   33.9  17   14
78.57/78.63	c s   78.6    82042    9458    782   918  21244   26316  23357   34.0  18   14
79.47/79.54	c +   79.5    82077    9456    783   919  21244   26520  25670   34.0  18   14
82.66/82.71	c s   82.7    82014    9452    783   919  21248   27130  23965   34.0  19   14
86.16/86.28	c
86.16/86.28	c       original/binary      fixed     eliminated      learned       agility
86.16/86.28	c   seconds        variables     equivalent    conflicts       height       MB
86.16/86.28	c
86.16/86.28	c s   86.2    82022    9452    783   919  21248   28059  24893   33.9  18   14
89.86/89.96	c s   89.9    82039    9452    783   919  21248   29351  25708   33.9  17   14
93.56/93.69	c s   93.7    82043    9452    783   919  21248   30174  25691   33.8  18   14
101.95/102.00	c s  102.0    82046    9452    783   919  21248   32804  25687   33.9  18   14
103.26/103.38	c +  103.3    82046    9452    783   919  21248   33151  28237   33.9  16   15
111.25/111.32	c s  111.3    82047    9452    783   919  21248   35611  28155   33.9  16   15
115.05/115.13	c s  115.1    82047    9452    783   919  21248   36577  28269   33.8  18   15
119.35/119.44	c s  119.4    82011    9448    784   920  21250   37378  28242   33.8  17   14
124.95/125.09	c s  125.0    82012    9448    784   920  21250   38452  28288   33.7  17   14
125.15/125.24	c R  125.2    82012    9448    784   920  21250   38485  28283   33.7  18   15
137.94/138.09	c +  138.0    82012    9448    784   920  21250   41435  31060   33.5  18   15
156.73/156.80	c s  156.7    82013    9448    784   920  21250   45747  31084   33.3  17   15
161.53/161.61	c s  161.6    82014    9448    784   920  21250   46937  31077   33.2  17   15
165.53/165.67	c s  165.6    82018    9448    784   920  21250   47877  31089   33.2  18   15
169.64/169.73	c s  169.7    82019    9448    784   920  21250   49200  31109   33.3  18   15
180.53/180.65	c +  180.6    82019    9448    784   920  21250   51792  34166   33.1  15   16
218.61/218.74	c s  218.7    82020    9448    784   920  21250   60585  34191   32.9  17   15
233.91/234.01	c B  233.9    82020    9448    784   920  21250   64024  34219   32.8  18   16
237.41/237.51	c +  237.4    82020    9448    784   920  21250   64740  37582   32.8  19   17
260.90/261.00	c
260.90/261.00	c       original/binary      fixed     eliminated      learned       agility
260.90/261.00	c   seconds        variables     equivalent    conflicts       height       MB
260.90/261.00	c
260.90/261.00	c s  260.9    82021    9448    784   920  21250   70305  37617   32.8  17   16
268.90/269.04	c s  268.9    82028    9448    784   920  21250   73194  37630   32.9  18   16
301.59/301.73	c +  301.6    82028    9448    784   920  21250   80925  41340   32.7  18   18
307.28/307.42	c s  307.3    82029    9448    784   920  21250   81969  38674   32.6  17   16
321.68/321.80	c s  321.7    82030    9448    784   920  21250   86142  41384   32.6  16   17
336.27/336.44	c R  336.3    82030    9448    784   920  21250   89781  41427   32.6  18   19
354.46/354.61	c s  354.5    82031    9448    784   920  21250   93760  41370   32.6  17   17
389.85/390.07	c +  389.9    82031    9448    784   920  21250  101156  45474   32.5  17   18
494.11/494.39	c s  494.2    82032    9448    784   920  21250  126218  45520   32.4  18   17
495.31/495.53	c +  495.4    82032    9448    784   920  21250  126445  50021   32.4  18   18
514.61/514.88	c s  514.7    82033    9448    784   920  21250  130966  50034   32.3  18   18
563.49/563.71	c s  563.5    82034    9448    784   920  21250  142037  50074   32.2  18   18
568.28/568.56	c s  568.4    82035    9448    784   920  21250  143000  50071   32.2  18   18
573.58/573.84	c s  573.6    82036    9448    784   920  21250  144664  50091   32.2  16   18
623.47/623.78	c s  623.6    82037    9448    784   920  21250  156271  50054   32.1  18   18
631.27/631.59	c +  631.4    82037    9448    784   920  21250  158055  55023   32.1  19   20
640.46/640.74	c B  640.5    82037    9448    784   920  21250  160044  52042   32.1  17   21
657.85/658.11	c s  657.9    82038    9448    784   920  21250  163658  55098   32.0  18   19
689.65/689.95	c s  689.7    82039    9448    784   920  21250  170191  55059   32.0  17   19
734.33/734.65	c
734.33/734.65	c       original/binary      fixed     eliminated      learned       agility
734.33/734.65	c   seconds        variables     equivalent    conflicts       height       MB
734.33/734.65	c
734.33/734.65	c s  734.4    82040    9448    784   920  21250  180850  55039   32.0  13   19
764.52/764.89	c s  764.6    82041    9448    784   920  21250  189136  55045   32.1  15   19
791.81/792.14	c s  791.9    82042    9448    784   920  21250  196216  55086   32.1  15   19
797.30/797.69	c +  797.4    82042    9448    784   920  21250  197565  60525   32.1  19   21
827.90/828.22	c R  827.9    82042    9448    784   920  21250  205121  60563   32.0  17   23
829.99/830.35	c s  830.1    82043    9448    784   920  21250  205439  60575   32.0  16   21
850.58/850.94	c s  850.6    82044    9448    784   920  21250  210858  60582   32.1  17   21
910.76/911.16	c s  910.8    82045    9448    784   920  21250  223432  60570   32.1  16   20
916.57/916.91	c s  916.6    82048    9448    784   920  21250  224744  60572   32.1  17   20
979.94/980.32	c s  980.0    82049    9448    784   920  21250  239298  60559   32.0  13   20
1004.43/1004.89	c s 1004.5    82051    9448    784   920  21250  244336  60620   32.0  17   20
1013.73/1014.15	c s 1013.8    82052    9448    784   920  21250  246923  60584   32.0  17   20
1013.83/1014.25	c + 1013.9    82052    9448    784   920  21250  246955  66577   32.0  16   21
1151.98/1152.49	c s 1152.1    82053    9448    784   920  21250  278093  66622   31.9  17   22
1287.53/1288.03	c + 1287.6    82053    9448    784   920  21250  308690  73234   32.0  18   26
1316.52/1317.06	c s 1316.6    82054    9448    784   920  21250  315353  73264   32.0  18   23
1393.69/1394.30	c s 1393.8    82055    9448    784   920  21250  333937  73301   31.9  17   23
1622.51/1623.10	c B 1622.5    82055    9448    784   920  21250  384082  73255   31.7  15   27
1627.11/1627.71	c + 1627.1    82055    9448    784   920  21250  385860  80557   31.7  16   27
1702.29/1702.99	c
1702.29/1702.99	c       original/binary      fixed     eliminated      learned       agility
1702.29/1702.99	c   seconds        variables     equivalent    conflicts       height       MB
1702.29/1702.99	c
1702.29/1702.99	c s 1702.4    82057    9448    784   920  21250  402843  80606   31.7  17   24
1741.27/1741.97	c s 1741.3    82058    9448    784   920  21250  411687  80620   31.7  17   24
1920.60/1921.38	c s 1920.7    82059    9448    784   920  21250  451184  80632   31.7  17   24
1964.99/1965.77	c R 1965.1    82059    9448    784   920  21250  461456  80618   31.7  18   28
1969.49/1970.25	c s 1969.5    82060    9448    784   920  21250  462179  80582   31.7  16   24
2021.77/2022.52	c + 2021.8    82060    9448    784   920  21250  482325  88612   31.7  18   28
2259.88/2260.76	c s 2260.0    82062    9448    784   920  21250  540119  88678   31.4  17   26
2286.77/2287.69	c s 2286.9    82063    9448    784   920  21250  545575  88687   31.4  17   26
2294.07/2294.99	c s 2294.2    82067    9448    784   920  21250  546947  88651   31.4  17   26
2493.59/2494.57	c s 2493.7    82070    9448    784   920  21250  588038  88699   31.3  17   26
2566.77/2567.76	c + 2566.8    82070    9448    784   920  21250  602906  97473   31.3  17   30
2648.15/2649.19	c s 2648.2    82071    9448    784   920  21250  618494  97536   31.2  16   27
2786.49/2787.55	c s 2786.6    82072    9448    784   920  21250  648012  97513   31.3  18   27
2859.97/2861.06	c s 2860.0    82073    9448    784   920  21250  663301  97548   31.3  16   27
2904.35/2905.40	c s 2904.4    82074    9448    784   920  21250  671927  97537   31.3  17   27
2987.53/2988.68	c s 2987.6    82075    9448    784   920  21250  688286  97516   31.4  17   28
3042.90/3044.01	c s 3042.9    82076    9448    784   920  21250  699253  97505   31.4  12   28
3326.80/3328.07	c + 3326.9    82076    9448    784   920  21250  753630 107220   31.3  18   34
3381.79/3383.07	c s 3381.9    82077    9448    784   920  21250  764634 107249   31.3  11   30
3534.83/3536.15	c
3534.83/3536.15	c       original/binary      fixed     eliminated      learned       agility
3534.83/3536.15	c   seconds        variables     equivalent    conflicts       height       MB
3534.83/3536.15	c
3534.83/3536.15	c s 3534.9    82078    9448    784   920  21250  794679 107299   31.3  18   29
3649.79/3651.13	c s 3649.8    82079    9448    784   920  21250  815637 107286   31.3  19   29
3802.83/3804.20	c s 3802.8    82080    9448    784   920  21250  845944 107268   31.3  18   30
3820.23/3821.62	c s 3820.3    82083    9448    784   920  21250  849261 107280   31.3  17   30
4041.95/4043.43	c s 4042.0    82086    9448    784   920  21250  894207 107294   31.4  19   30
4051.34/4052.84	c B 4051.4    82086    9448    784   920  21250  896162 107244   31.4  15   35
4209.59/4211.14	c s 4209.6    82088    9448    784   920  21250  927877 107274   31.4  17   30
4268.97/4270.55	c + 4269.0    82088    9448    784   920  21250  942035 117942   31.4  16   35
4544.38/4546.06	c s 4544.4    82089    9448    784   920  21250  997069 118016   31.4  20   32
4555.17/4556.82	c s 4555.2    82090    9448    784   920  21250 1000220 118004   31.4  17   32
4588.86/4590.59	c s 4589.0    82091    9448    784   920  21250 1006263 117981   31.4  17   32
4675.53/4677.29	c R 4675.6    82091    9448    784   920  21250 1025301 118003   31.3  17   36
4677.73/4679.48	c s 4677.8    82095    9448    784   920  21250 1025538 118003   31.3  17   31
4687.63/4689.36	c s 4687.7    82102    9448    784   920  21250 1027917 117994   31.4  18   31
5164.75/5166.67	c s 5164.8    82103    9448    784   920  21250 1127701 118082   31.1  18   31
5319.00/5320.94	c s 5319.0    82106    9448    784   920  21250 1155546 118036   31.2  18   31
5328.90/5330.88	c s 5329.0    82111    9448    784   920  21250 1157178 117979   31.2  17   31
5429.95/5431.92	c + 5430.0    82111    9448    784   920  21250 1177540 129736   31.2  17   38
5850.91/5853.05	c s 5851.0    82112    9448    784   920  21250 1255285 129746   31.2  13   35
6144.80/6147.07	c
6144.80/6147.07	c       original/binary      fixed     eliminated      learned       agility
6144.80/6147.07	c   seconds        variables     equivalent    conflicts       height       MB
6144.80/6147.07	c
6144.80/6147.07	c s 6144.9    82113    9448    784   920  21250 1308898 129791   31.2  17   34
6201.98/6204.21	c s 6202.0    82114    9448    784   920  21250 1320412 129783   31.2  18   34
6404.91/6407.22	c s 6404.9    82115    9448    784   920  21250 1361640 129786   31.1  17   35
6593.74/6596.16	c s 6593.8    82116    9448    784   920  21250 1397360 129765   31.1  18   35
6983.01/6985.51	c + 6983.0    82116    9448    784   920  21250 1471927 142709   31.2  17   44
7164.24/7166.80	c s 7164.3    82117    9448    784   920  21250 1506079 142754   31.2  17   38
7242.51/7245.19	c s 7242.6    82118    9448    784   920  21250 1519511 142757   31.1  17   37
7491.83/7494.51	c s 7491.9    82119    9448    784   920  21250 1565755 142770   31.2  20   37
7623.78/7626.54	c s 7623.8    82122    9448    784   920  21250 1591027 142804   31.2  18   38
7997.15/8000.07	c s 7997.2    82123    9448    784   920  21250 1659791 142781   31.1  14   36
8158.69/8161.61	c s 8158.7    82126    9448    784   920  21250 1688071 142778   31.1  19   36
9010.08/9013.30	c + 9010.1    82126    9448    784   920  21250 1839905 156979   31.1  18   49
9504.91/9508.36	c s 9505.0    82128    9448    784   920  21250 1927700 157093   31.1  18   39
10000.04/10003.60	c
10000.04/10003.60	c *** CAUGHT SIGNAL 15 ***
10000.04/10003.60	c
10000.04/10003.60	c 2012448 conflicts, 2571087 decisions, 2 random
10000.04/10003.60	c 1 iterations, 3962 restarts, 0 skipped
10000.04/10003.60	c 21 enlarged, 689 shrunken, 19656 rescored, 509 rebiased
10000.04/10003.60	c 104 simplifications, 0 reductions
10000.04/10003.60	c
10000.04/10003.60	c vars: 784 fixed, 920 equiv, 21250 elim, 932 merged
10000.04/10003.60	c elim: 2268623 resolutions, 8 phases, 8 rounds
10000.04/10003.60	c sbst: 92% substituted, 0.6% nots, 98.3% ands, 0.9% xors, 0.1% ites
10000.04/10003.60	c arty: 2.25 and 2.03 xor average arity
10000.04/10003.60	c prbe: 9585902 probed, 4555 phases, 507 rounds
10000.04/10003.60	c prbe: 31 failed, 88 lifted, 20 merged
10000.04/10003.60	c sccs: 4 non trivial, 0 fixed, 4 merged
10000.04/10003.60	c hash: 44 units, 908 merged
10000.04/10003.60	c mins: 92988809 learned, 88% deleted, 42 strong, 49 depth
10000.04/10003.60	c subs: 2300 forward, 1146 backward, 788 doms
10000.04/10003.60	c strs: 8012 forward, 1193 backward
10000.04/10003.60	c doms: 4861 dominators, 793 high, 1 low
10000.04/10003.60	c prps: 9138112230 propagations, 0.91 megaprops
10000.04/10003.60	c
10000.04/10003.60	c 10000.0 seconds, 52 MB max, 380 MB recycled
10000.04/10003.60	c
10000.04/10003.60	c *** CAUGHT SIGNAL 15 ***
10000.04/10003.60	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-1774091-1241188288/watcher-1774091-1241188288 -o /tmp/evaluation-result-1774091-1241188288/solver-1774091-1241188288 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774091-1241188288.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: 1.16 1.03 1.01 3/64 29860
/proc/meminfo: memFree=1213120/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=2064 CPUtime=0
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 146862813 2113536 382 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/29860/statm: 516 383 59 155 0 359 0

[startup+0.0682511 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29860
/proc/meminfo: memFree=1213120/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=6620 CPUtime=0.05
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 1595 0 0 0 5 0 0 0 18 0 1 0 146862813 6778880 1547 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 1655 1548 64 155 0 1498 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6620

[startup+0.101256 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29860
/proc/meminfo: memFree=1213120/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=8064 CPUtime=0.09
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 2017 0 0 0 9 0 0 0 18 0 1 0 146862813 8257536 1904 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 2016 1904 64 155 0 1859 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8064

[startup+0.301291 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29860
/proc/meminfo: memFree=1213120/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=13456 CPUtime=0.29
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 3500 0 0 0 28 1 0 0 19 0 1 0 146862813 13778944 3257 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 3364 3257 79 155 0 3207 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13456

[startup+0.701408 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 29860
/proc/meminfo: memFree=1213120/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=16224 CPUtime=0.7
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 4985 0 0 0 68 2 0 0 22 0 1 0 146862813 16613376 3972 1992294400 134512640 135151029 4294956240 18446744073709551615 134519351 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4056 3972 79 155 0 3899 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 16224

[startup+1.5015 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 29861
/proc/meminfo: memFree=1195960/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=18712 CPUtime=1.49
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 5724 0 0 0 147 2 0 0 25 0 1 0 146862813 19161088 4582 1992294400 134512640 135151029 4294956240 18446744073709551615 134548222 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4678 4582 79 155 0 4521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18712

[startup+3.10178 s]
/proc/loadavg: 1.16 1.03 1.01 2/65 29861
/proc/meminfo: memFree=1195512/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=17816 CPUtime=3.09
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 5749 0 0 0 307 2 0 0 25 0 1 0 146862813 18243584 4350 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4454 4350 79 155 0 4297 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17816

[startup+6.30134 s]
/proc/loadavg: 1.15 1.03 1.01 2/65 29861
/proc/meminfo: memFree=1195512/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=17816 CPUtime=6.29
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 5749 0 0 0 627 2 0 0 25 0 1 0 146862813 18243584 4350 1992294400 134512640 135151029 4294956240 18446744073709551615 134531648 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4454 4350 79 155 0 4297 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17816

[startup+12.7015 s]
/proc/loadavg: 1.13 1.03 1.01 2/65 29861
/proc/meminfo: memFree=1195128/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=18116 CPUtime=12.69
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 6069 0 0 0 1266 3 0 0 25 0 1 0 146862813 18550784 4412 1992294400 134512640 135151029 4294956240 18446744073709551615 134680395 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4529 4412 79 155 0 4372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18116

[startup+25.5017 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 29861
/proc/meminfo: memFree=1195128/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=18116 CPUtime=25.48
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 6327 0 0 0 2545 3 0 0 25 0 1 0 146862813 18550784 4412 1992294400 134512640 135151029 4294956240 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4529 4412 79 155 0 4372 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18116

[startup+51.1012 s]
/proc/loadavg: 1.07 1.03 1.01 2/65 29861
/proc/meminfo: memFree=1195256/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=18116 CPUtime=51.07
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 6327 0 0 0 5104 3 0 0 25 0 1 0 146862813 18550784 4412 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4529 4412 79 155 0 4372 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18116

[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 2/65 29861
/proc/meminfo: memFree=1194680/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=18884 CPUtime=102.26
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 7449 0 0 0 10222 4 0 0 25 0 1 0 146862813 19337216 4604 1992294400 134512640 135151029 4294956240 18446744073709551615 134551376 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4721 4604 79 155 0 4564 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18884

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 29861
/proc/meminfo: memFree=1193976/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=19528 CPUtime=162.23
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 9271 0 0 0 16218 5 0 0 25 0 1 0 146862813 19996672 4765 1992294400 134512640 135151029 4294956240 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 4882 4765 79 155 0 4725 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 19528

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29861
/proc/meminfo: memFree=1193016/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=20452 CPUtime=222.21
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 9877 0 0 0 22215 6 0 0 25 0 1 0 146862813 20942848 4984 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 5113 4984 79 155 0 4956 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 20452

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29861
/proc/meminfo: memFree=1192184/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=21304 CPUtime=282.19
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 10103 0 0 0 28212 7 0 0 25 0 1 0 146862813 21815296 5210 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 5326 5210 79 155 0 5169 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 21304

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29861
/proc/meminfo: memFree=1191480/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=22004 CPUtime=342.17
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 10628 0 0 0 34210 7 0 0 25 0 1 0 146862813 22532096 5384 1992294400 134512640 135151029 4294956240 18446744073709551615 134552526 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 5501 5384 79 155 0 5344 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 22004

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29863
/proc/meminfo: memFree=1191032/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=22384 CPUtime=402.15
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 10828 0 0 0 40207 8 0 0 25 0 1 0 146862813 22921216 5455 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 5596 5455 79 155 0 5439 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 22384

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29863
/proc/meminfo: memFree=1190136/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=23448 CPUtime=462.13
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 11057 0 0 0 46205 8 0 0 25 0 1 0 146862813 24010752 5684 1992294400 134512640 135151029 4294956240 18446744073709551615 134554782 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 5862 5684 79 155 0 5705 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 23448

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29863
/proc/meminfo: memFree=1189176/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=24376 CPUtime=522.1
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 11718 0 0 0 52202 8 0 0 25 0 1 0 146862813 24961024 5960 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 6094 5960 79 155 0 5937 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 24376

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29863
/proc/meminfo: memFree=1189112/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=24364 CPUtime=582.09
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 12268 0 0 0 58200 9 0 0 25 0 1 0 146862813 24948736 5966 1992294400 134512640 135151029 4294956240 18446744073709551615 134554492 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 6091 5966 79 155 0 5934 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 24364

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29863
/proc/meminfo: memFree=1189048/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=24380 CPUtime=642.07
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 12631 0 0 0 64198 9 0 0 25 0 1 0 146862813 24965120 5970 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 6095 5970 79 155 0 5938 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 24380

[startup+702.302 s]

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

[startup+9042.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29885
/proc/meminfo: memFree=1158136/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=54976 CPUtime=9039.08
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 27703 0 0 0 903877 31 0 0 25 0 1 0 146862813 56295424 13458 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 13744 13458 79 155 0 13587 0
Current children cumulated CPU time (s) 9039.08
Current children cumulated vsize (KiB) 54976

[startup+9102.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 29885
/proc/meminfo: memFree=1156280/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=56824 CPUtime=9099.05
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28167 0 0 0 909874 31 0 0 25 0 1 0 146862813 58187776 13922 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14206 13922 79 155 0 14049 0
Current children cumulated CPU time (s) 9099.05
Current children cumulated vsize (KiB) 56824

[startup+9162.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 29885
/proc/meminfo: memFree=1156152/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=56824 CPUtime=9159.03
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28185 0 0 0 915872 31 0 0 25 0 1 0 146862813 58187776 13940 1992294400 134512640 135151029 4294956240 18446744073709551615 134555100 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14206 13940 79 155 0 14049 0
Current children cumulated CPU time (s) 9159.03
Current children cumulated vsize (KiB) 56824

[startup+9222.3 s]
/proc/loadavg: 1.29 1.11 1.03 2/65 29885
/proc/meminfo: memFree=1155960/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57324 CPUtime=9219.01
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28243 0 0 0 921870 31 0 0 25 0 1 0 146862813 58699776 13998 1992294400 134512640 135151029 4294956240 18446744073709551615 134542678 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14331 13998 79 155 0 14174 0
Current children cumulated CPU time (s) 9219.01
Current children cumulated vsize (KiB) 57324

[startup+9282.3 s]
/proc/loadavg: 1.10 1.08 1.02 2/65 29885
/proc/meminfo: memFree=1155640/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57740 CPUtime=9278.99
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28321 0 0 0 927868 31 0 0 25 0 1 0 146862813 59125760 14076 1992294400 134512640 135151029 4294956240 18446744073709551615 134554875 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14435 14076 79 155 0 14278 0
Current children cumulated CPU time (s) 9278.99
Current children cumulated vsize (KiB) 57740

[startup+9342.31 s]
/proc/loadavg: 1.04 1.07 1.02 2/65 29885
/proc/meminfo: memFree=1155384/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=58188 CPUtime=9338.97
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28369 0 0 0 933866 31 0 0 25 0 1 0 146862813 59584512 14124 1992294400 134512640 135151029 4294956240 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14547 14124 79 155 0 14390 0
Current children cumulated CPU time (s) 9338.97
Current children cumulated vsize (KiB) 58188

[startup+9402.3 s]
/proc/loadavg: 1.01 1.05 1.01 2/65 29885
/proc/meminfo: memFree=1155256/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=58444 CPUtime=9398.94
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28419 0 0 0 939863 31 0 0 25 0 1 0 146862813 59846656 14174 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14611 14174 79 155 0 14454 0
Current children cumulated CPU time (s) 9398.94
Current children cumulated vsize (KiB) 58444

[startup+9462.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/65 29885
/proc/meminfo: memFree=1155128/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=58444 CPUtime=9458.92
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28434 0 0 0 945861 31 0 0 25 0 1 0 146862813 59846656 14189 1992294400 134512640 135151029 4294956240 18446744073709551615 134554586 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14611 14189 79 155 0 14454 0
Current children cumulated CPU time (s) 9458.92
Current children cumulated vsize (KiB) 58444

[startup+9522.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 29885
/proc/meminfo: memFree=1155768/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9518.9
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28620 0 0 0 951859 31 0 0 25 0 1 0 146862813 58437632 14022 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14022 79 155 0 14110 0
Current children cumulated CPU time (s) 9518.9
Current children cumulated vsize (KiB) 57068

[startup+9582.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 29885
/proc/meminfo: memFree=1155640/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9578.88
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28664 0 0 0 957856 32 0 0 25 0 1 0 146862813 58437632 14066 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14066 79 155 0 14110 0
Current children cumulated CPU time (s) 9578.88
Current children cumulated vsize (KiB) 57068

[startup+9642.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 29885
/proc/meminfo: memFree=1155576/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9638.86
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28682 0 0 0 963854 32 0 0 25 0 1 0 146862813 58437632 14084 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14084 79 155 0 14110 0
Current children cumulated CPU time (s) 9638.86
Current children cumulated vsize (KiB) 57068

[startup+9702.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29885
/proc/meminfo: memFree=1155576/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9698.84
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28682 0 0 0 969852 32 0 0 25 0 1 0 146862813 58437632 14084 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14084 79 155 0 14110 0
Current children cumulated CPU time (s) 9698.84
Current children cumulated vsize (KiB) 57068

[startup+9762.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29885
/proc/meminfo: memFree=1155512/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9758.82
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28682 0 0 0 975850 32 0 0 25 0 1 0 146862813 58437632 14084 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14084 79 155 0 14110 0
Current children cumulated CPU time (s) 9758.82
Current children cumulated vsize (KiB) 57068

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29885
/proc/meminfo: memFree=1155576/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9818.8
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28686 0 0 0 981848 32 0 0 25 0 1 0 146862813 58437632 14088 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14088 79 155 0 14110 0
Current children cumulated CPU time (s) 9818.8
Current children cumulated vsize (KiB) 57068

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29885
/proc/meminfo: memFree=1155576/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9878.78
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28690 0 0 0 987846 32 0 0 25 0 1 0 146862813 58437632 14092 1992294400 134512640 135151029 4294956240 18446744073709551615 134555084 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14092 79 155 0 14110 0
Current children cumulated CPU time (s) 9878.78
Current children cumulated vsize (KiB) 57068

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29885
/proc/meminfo: memFree=1155512/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57068 CPUtime=9938.76
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28700 0 0 0 993844 32 0 0 25 0 1 0 146862813 58437632 14102 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14267 14102 79 155 0 14110 0
Current children cumulated CPU time (s) 9938.76
Current children cumulated vsize (KiB) 57068

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29885
/proc/meminfo: memFree=1155512/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57228 CPUtime=9998.74
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28710 0 0 0 999842 32 0 0 25 0 1 0 146862813 58601472 14112 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14307 14112 79 155 0 14150 0
Current children cumulated CPU time (s) 9998.74
Current children cumulated vsize (KiB) 57228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10003.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29885
/proc/meminfo: memFree=1155512/2055920 swapFree=4180136/4192956
[pid=29860] ppid=29858 vsize=57228 CPUtime=10000
/proc/29860/stat : 29860 (precosat) R 29858 29860 29742 0 -1 4194304 28710 0 0 0 999972 32 0 0 25 0 1 0 146862813 58601472 14112 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/29860/statm: 14307 14112 79 155 0 14150 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 57228

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.6
CPU time (s): 10000.1
CPU user time (s): 9999.72
CPU system time (s): 0.332949
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 58700

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

runsolver used 9.11261 second user time and 18.3222 second system time

The end

Launcher Data 

Begin job on node4 at 2009-05-01 16:31:28
IDJOB=1774091
IDBENCH=70865
IDSOLVER=607
FILE ID=node4/1774091-1241188288
PBS_JOBID= 9224610
Free space on /tmp= 66384 MiB

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

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

MD5SUM BENCH= abeb2c5a0bb0ad39fbdbdbc07efbecf7
RANDOM SEED=92591852

node4.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.265
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.265
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:       1213536 kB
Buffers:         70252 kB
Cached:         698044 kB
SwapCached:       7244 kB
Active:         235704 kB
Inactive:       541828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1213536 kB
SwapTotal:     4192956 kB
SwapFree:      4180136 kB
Dirty:            2272 kB
Writeback:           0 kB
Mapped:          13572 kB
Slab:            50780 kB
Committed_AS:   851912 kB
PageTables:       1472 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= 66384 MiB
End job on node4 at 2009-05-01 19:18:14