Trace number 3365715

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
SAT09 reference solver:precosat 236? (TO) 5000.12 5000.04

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
MD5SUMc4319228342e10028de028a9b67c3404
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 variables133566
Number of clauses676901
Sum of the clauses size1609791
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2668220
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

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-3365715-1305317044.cnf
0.00/0.00	c found header 'p cnf 133566 676901'
0.39/0.43	c finished parsing
0.39/0.43	c
0.39/0.43	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.39/0.43	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.39/0.43	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.39/0.43	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.39/0.43	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.39/0.43	c --random=1 --spread=2000 --seed=0 --skip=25
0.39/0.43	c
0.39/0.43	c sizeof     vars[0] = 16   alignment = 0       2 MB
0.39/0.43	c sizeof     orgs[0] =  8   alignment = 0       1 MB
0.39/0.43	c sizeof     occs[0] =  8   alignment = 0       1 MB
0.39/0.43	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
0.39/0.43	c
0.39/0.43	c starting search after 0.4 seconds
0.39/0.43	c no decision limit
0.39/0.44	c
0.39/0.44	c       original/binary      fixed     eliminated      learned       agility
0.39/0.44	c   seconds        variables     equivalent    conflicts       height       MB
0.39/0.44	c
0.39/0.44	c *    0.4   464157  103801  28711  1054      0       0      0    0.0   0   39
0.89/0.92	c -    0.9   413958  102871  29641  1054      0       0   1000    0.0   0   51
0.89/0.92	c -    0.9   413858  102871  29641  1054      0       0   1000    0.0   0   51
1.99/2.07	c s    2.1   373831   55045  29641  1054  47826       0      0    0.0   0   39
1.99/2.07	c l    2.1   373831   55045  29641  1054  47826       0   8688    0.0   0   39
2.09/2.11	c R    2.1   373930   55045  29641  1054  47826     105    105 5988.1   3   39
2.09/2.14	c R    2.1   373939   55045  29641  1054  47826     205    203 5183.4   4   40
2.30/2.34	c R    2.3   380491   55045  29641  1054  47826     812    808 4280.0   8   41
2.30/2.39	c B    2.4   381154   55045  29641  1054  47826    1000    994 4194.1   1   41
2.69/2.78	c B    2.8   394018   54985  29701  1054  47826    2000   1988 4301.7   1   44
2.89/2.94	c R    2.9   400398   54968  29718  1054  47826    2427   2414 4144.1   2   46
4.96/5.02	c s    5.0   432554   54630  29935  1059  47942    5022   4848 3405.5   1   51
4.96/5.02	c -    5.0   432554   54630  29935  1059  47942    5022   8602 3405.5   1   51
6.35/6.46	c B    6.4   465936   54267  30293  1064  47942    8002   7803 3047.1   0   61
6.56/6.71	c +    6.7   469318   54224  30336  1064  47942    8602   9462 2993.8   1   64
8.56/8.60	c s    8.6   470814   53975  30569  1068  47954   10112   9368 2842.2   0   67
8.96/9.02	c +    9.0   475069   53954  30588  1070  47954   10752  10408 2667.1   3   68
10.36/10.43	c +   10.4   482879   53876  30664  1072  47954   13443  11448 2536.7   8   73
11.96/12.04	c s   12.0   482139   53861  30664  1072  47969   14468  11364 2546.9   0   76
11.96/12.04	c
11.96/12.04	c       original/binary      fixed     eliminated      learned       agility
11.96/12.04	c   seconds        variables     equivalent    conflicts       height       MB
11.96/12.04	c
11.96/12.04	c -   12.0   482139   53861  30664  1072  47969   14468  11334 2546.9   0   76
12.76/12.88	c +   12.9   485460   53858  30666  1073  47969   16632  12467 2448.0   4   77
14.46/14.59	c +   14.6   490196   53762  30758  1077  47969   20795  13713 2344.2   0   81
16.06/16.14	c s   16.1   488806   53693  30825  1079  47969   21403  13032 2331.6   0   81
17.26/17.30	c B   17.3   492349   53655  30860  1082  47969   24012  13735 2284.5   0   85
18.26/18.35	c +   18.3   498514   53650  30865  1082  47969   25992  15084 2284.4   4   87
20.05/20.18	c s   20.1   498037   53207  30892  1083  48384   26779  14503 2260.7   0   89
20.05/20.18	c -   20.1   498037   53207  30892  1083  48384   26779  14934 2260.7   0   89
22.45/22.58	c +   22.6   505866   53183  30912  1087  48384   32168  16427 2185.6   3   99
24.76/24.89	c s   24.9   508290   53148  30947  1087  48384   33718  16468 2147.6   0  103
29.56/29.64	c s   29.6   512668   52859  31227  1088  48392   40004  16429 2100.4   2  105
29.66/29.79	c +   29.8   512958   52827  31257  1090  48392   40213  18069 2097.8   2  105
34.55/34.60	c s   34.6   516930   52681  31384  1109  48392   46533  18054 2036.0   0  111
36.55/36.67	c +   36.6   519304   52652  31411  1111  48392   50266  19875 2022.1   3  116
39.15/39.25	c -   39.2   520237   52630  31430  1114  48392   53871  19677 2005.5   1  131
40.06/40.17	c s   40.1   518830   52405  31430  1114  48617   53871  19845 2005.5   1  122
45.66/45.74	c s   45.7   521543   52366  31462  1120  48618   61673  19669 1978.7   1  125
45.86/45.96	c +   45.9   521644   52349  31478  1121  48618   62202  21644 1972.5   3  127
46.95/47.07	c B   47.0   522426   52342  31484  1122  48618   64036  21601 1974.8   4  141
51.77/51.83	c
51.77/51.83	c       original/binary      fixed     eliminated      learned       agility
51.77/51.83	c   seconds        variables     equivalent    conflicts       height       MB
51.77/51.83	c
51.77/51.83	c s   51.8   522397   52301  31514  1123  48628   69633  21619 1949.1   5  143
57.27/57.38	c s   57.3   527012   52278  31535  1125  48628   77044  21752 1918.5   2  142
57.65/57.76	c +   57.7   527723   52192  31621  1125  48628   77750  23808 1916.2   4  143
63.76/63.85	c s   63.8   530192   52038  31670  1127  48731   84960  23789 1914.5   0  148
63.76/63.85	c -   63.8   530192   52038  31670  1127  48731   84960  23570 1914.5   0  148
70.46/70.59	c s   70.6   529730   51798  31905  1130  48733   93911  23546 1931.3   1  146
72.15/72.21	c +   72.2   531898   51789  31914  1130  48733   96218  25927 1922.8   5  149
77.06/77.13	c s   77.1   533211   51767  31935  1131  48733  101672  25965 1922.8   0  156
83.15/83.29	c s   83.3   532979   51558  32142  1133  48733  109414  26040 1911.8   1  160
87.96/88.03	c -   88.0   535142   51489  32210  1134  48733  115108  25668 1896.2   5  171
88.07/88.12	c -   88.1   534734   51274  32210  1134  48948  115108  25412 1896.2   5  171
89.17/89.21	c s   89.2   534295   51208  32210  1134  49014  115108  26088 1896.2   5  163
89.17/89.21	c -   89.2   534295   51208  32210  1134  49014  115108  25158 1896.2   5  163
90.06/90.10	c +   90.1   534696   51203  32215  1134  49014  116701  27673 1888.7   3  158
96.06/96.15	c -   96.1   538701   51133  32281  1135  49017  126379  27397 1863.9   2  173
97.25/97.32	c s   97.3   538600   51133  32281  1135  49017  126379  27714 1863.9   2  165
105.25/105.31	c s  105.3   544024   51040  32373  1135  49018  137210  27453 1840.4   2  166
108.76/108.85	c +  108.8   546377   50864  32549  1135  49018  144419  30136 1823.4   4  175
112.16/112.21	c s  112.2   542812   50839  32574  1135  49018  146278  29313 1824.0   2  179
112.16/112.21	c
112.16/112.21	c       original/binary      fixed     eliminated      learned       agility
112.16/112.21	c   seconds        variables     equivalent    conflicts       height       MB
112.16/112.21	c
112.16/112.21	c -  112.2   542812   50839  32574  1135  49018  146278  29835 1824.0   2  179
119.45/119.51	c -  119.5   545504   50807  32602  1139  49018  157714  29537 1804.6   0  199
119.45/119.51	c -  119.5   545412   50807  32602  1139  49018  157714  29242 1804.6   0  199
120.85/120.92	c s  120.9   544815   50620  32602  1139  49205  157714  29746 1804.6   0  196
120.85/120.92	c -  120.9   544815   50620  32602  1139  49205  157714  28950 1804.6   0  196
122.25/122.33	c B  122.3   545439   50615  32607  1139  49205  160087  29142 1798.0   2  199
129.35/129.47	c s  129.4   548552   50595  32624  1142  49205  168839  29002 1789.2   0  201
131.85/131.90	c +  131.9   552218   50590  32629  1142  49205  173408  31845 1781.2   7  204
138.45/138.59	c s  138.6   554157   50539  32678  1144  49205  180686  31881 1771.2   3  223
146.86/146.97	c s  146.9   556336   50429  32786  1146  49205  191579  31852 1761.0   1  217
151.87/151.96	c R  151.9   558859   50139  33075  1147  49205  199663  32009 1755.2   3  216
155.45/155.59	c -  155.6   554015   49914  33137  1147  49368  203690  31527 1757.5   1  212
155.45/155.59	c -  155.6   553893   49874  33137  1147  49408  203690  31212 1757.5   1  212
156.96/157.01	c s  157.0   553572   49814  33137  1147  49468  203690  31847 1757.5   1  209
162.96/163.02	c +  163.0   556530   49738  33213  1147  49468  212448  34333 1762.6   3  222
166.55/166.60	c -  166.6   556903   49717  33230  1148  49471  216575  33990 1763.7   3  237
166.55/166.60	c -  166.6   556837   49716  33230  1148  49472  216575  33651 1763.7   3  237
166.55/166.60	c -  166.6   556772   49715  33230  1148  49473  216575  33315 1763.7   3  237
168.06/168.18	c s  168.2   556094   49715  33230  1148  49473  216575  34040 1763.7   3  226
179.46/179.59	c
179.46/179.59	c       original/binary      fixed     eliminated      learned       agility
179.46/179.59	c   seconds        variables     equivalent    conflicts       height       MB
179.46/179.59	c
179.46/179.59	c s  179.6   559341   49643  33300  1148  49475  229822  33239 1766.0   2  246
189.65/189.71	c s  189.7   561053   49612  33331  1148  49475  239641  33396 1766.9   7  254
197.45/197.56	c -  197.5   563994   49530  33362  1149  49525  249932  32982 1764.2   0  246
199.06/199.18	c s  199.2   563890   49467  33362  1149  49588  249932  33443 1764.2   0  243
201.96/202.03	c +  202.0   565345   49454  33374  1150  49588  255098  36280 1762.1   3  236
208.06/208.11	c s  208.1   567131   49447  33379  1152  49588  261313  36276 1761.2   0  241
217.36/217.48	c s  217.5   569311   49375  33450  1152  49589  273835  36248 1753.6   7  229
228.06/228.19	c s  228.2   573807   49264  33561  1152  49589  286546  36322 1748.0   1  224
238.16/238.29	c s  238.3   578318   49122  33587  1153  49704  301260  36375 1741.4   1  218
238.26/238.31	c R  238.3   578318   49122  33587  1153  49704  301267  36347 1742.0   2  218
248.16/248.22	c -  248.2   583667   49103  33601  1156  49706  314930  35918 1742.7   0  238
249.77/249.87	c s  249.8   583544   49103  33601  1156  49706  314930  36336 1742.7   0  236
250.16/250.25	c +  250.2   583665   49103  33601  1156  49706  315684  39509 1741.8   3  232
260.67/260.73	c s  260.7   587083   49092  33611  1157  49706  326154  39537 1742.3   0  263
271.86/271.96	c s  271.9   590223   49073  33629  1158  49706  340314  39538 1738.7   3  277
282.06/282.19	c s  282.2   592587   49015  33660  1158  49733  352792  39574 1730.8   0  268
292.16/292.25	c s  292.2   595078   48985  33686  1159  49736  365183  39526 1723.4   1  257
300.97/301.03	c -  301.0   595903   48906  33761  1162  49737  379211  39114 1718.2   4  263
302.58/302.66	c s  302.6   595295   48903  33761  1162  49740  379211  38143 1718.2   4  240
305.66/305.73	c
305.66/305.73	c       original/binary      fixed     eliminated      learned       agility
305.66/305.73	c   seconds        variables     equivalent    conflicts       height       MB
305.66/305.73	c
305.66/305.73	c B  305.7   596763   48882  33779  1165  49740  384151  39156 1716.4   4  250
308.46/308.56	c +  308.5   597709   48873  33786  1167  49740  390659  43025 1715.9   1  242
313.46/313.54	c s  313.5   597778   48870  33789  1167  49740  393823  42300 1716.9   4  262
323.56/323.67	c s  323.6   596290   48752  33820  1169  49825  405493  43057 1712.3   3  278
333.67/333.76	c s  333.7   598008   48739  33832  1170  49825  418077  43096 1706.8   0  272
342.26/342.32	c -  342.3   600503   48725  33844  1171  49826  430520  42595 1706.3   0  279
344.06/344.19	c s  344.2   600418   48725  33844  1171  49826  430520  43094 1706.3   0  277
355.46/355.52	c s  355.5   603266   48719  33850  1171  49826  445104  42654 1702.1   0  284
370.86/370.92	c s  370.9   607101   48659  33878  1173  49856  461895  42621 1694.3   3  296
385.46/385.57	c s  385.5   608970   48623  33913  1174  49856  479392  42700 1691.3   9  300
388.56/388.61	c +  388.6   610025   48602  33934  1174  49856  483440  46854 1690.0   2  295
400.67/400.71	c s  400.7   610558   48580  33953  1175  49858  495828  43222 1689.3   5  304
414.07/414.17	c s  414.1   613565   48568  33964  1176  49858  509840  47031 1692.1   4  332
427.17/427.27	c s  427.2   616208   48504  33979  1176  49907  524235  46891 1688.1   0  330
442.17/442.27	c s  442.2   618525   48490  33993  1176  49907  539522  46925 1682.1   0  343
456.58/456.67	c s  456.6   620691   48476  34005  1177  49908  553697  47016 1673.9   2  330
471.46/471.50	c s  471.5   622929   48455  34026  1177  49908  569443  46882 1676.2   2  319
485.18/485.26	c -  485.2   625180   48403  34063  1182  49918  585493  46386 1674.3   4  330
487.27/487.39	c s  487.4   624992   48389  34063  1182  49932  585493  45922 1674.3   4  323
494.07/494.19	c
494.07/494.19	c       original/binary      fixed     eliminated      learned       agility
494.07/494.19	c   seconds        variables     equivalent    conflicts       height       MB
494.07/494.19	c
494.07/494.19	c +  494.2   627752   48376  34074  1184  49932  598260  51024 1673.4   5  322
500.58/500.62	c s  500.6   627360   48365  34082  1187  49932  601356  49744 1674.0   1  346
514.87/514.99	c s  515.0   629490   48336  34111  1187  49932  616431  51238 1672.0   2  367
530.28/530.37	c s  530.4   632110   48315  34131  1188  49932  633446  51029 1666.1   1  388
546.78/546.88	c s  546.9   633209   48238  34168  1188  49972  649873  51077 1664.5   0  380
561.08/561.11	c -  561.1   634774   48219  34186  1188  49973  664410  50514 1660.7   0  367
563.47/563.58	c s  563.6   634589   48219  34186  1188  49973  664410  51025 1660.7   0  366
576.06/576.15	c -  576.1   636038   48206  34198  1188  49974  678228  50009 1658.3   2  372
578.58/578.62	c s  578.6   635971   48206  34198  1188  49974  678228  50541 1658.3   2  372
595.87/595.99	c s  596.0   638443   48189  34215  1188  49974  694727  50186 1656.2   1  362
608.56/608.63	c -  608.6   641439   48167  34231  1189  49979  712262  49509 1650.8   1  355
610.87/610.96	c s  610.9   641371   48146  34231  1189  50000  712262  50075 1650.8   1  355
620.07/620.15	c +  620.1   645141   48123  34251  1192  50000  725616  54459 1646.8   1  352
627.67/627.76	c s  627.7   643824   48117  34256  1193  50000  729783  53769 1645.4   2  374
646.26/646.37	c s  646.4   646473   48094  34275  1196  50001  747339  54453 1643.7   0  398
661.27/661.31	c s  661.3   649495   48076  34292  1197  50001  757993  54516 1643.4   0  409
679.97/680.00	c s  680.0   651641   47980  34331  1204  50051  773126  54092 1641.0   0  421
694.57/694.69	c s  694.7   653420   47945  34354  1215  50052  787018  54905 1639.5   3  411
707.28/707.31	c s  707.3   655651   47918  34379  1217  50052  798687  54512 1639.5   1  397
710.18/710.23	c
710.18/710.23	c       original/binary      fixed     eliminated      learned       agility
710.18/710.23	c   seconds        variables     equivalent    conflicts       height       MB
710.18/710.23	c
710.18/710.23	c R  710.2   656202   47917  34380  1217  50052  803531  54535 1638.2   4  400
723.47/723.59	c s  723.6   658810   47902  34382  1230  50052  822056  54625 1635.3   5  361
738.57/738.63	c s  738.6   660008   47828  34404  1234  50100  839632  54529 1632.3   0  359
754.07/754.13	c s  754.1   661986   47780  34449  1237  50100  858376  54467 1626.8   0  368
770.18/770.24	c s  770.2   663194   47758  34471  1237  50100  874250  54505 1624.5   1  387
784.17/784.21	c s  784.2   665525   47726  34495  1245  50100  890190  54620 1625.0   1  386
784.17/784.21	c -  784.2   665525   47726  34495  1245  50100  890190  53915 1625.0   1  386
788.27/788.38	c B  788.4   668089   47699  34522  1245  50100  896326  54031 1623.5   3  384
789.88/789.96	c +  789.9   668443   47696  34524  1246  50100  897954  59306 1624.0   2  393
801.78/801.87	c s  801.9   668916   47596  34539  1248  50183  910153  59429 1623.8   1  419
819.08/819.15	c s  819.1   672862   47556  34576  1251  50183  929954  59335 1619.9   0  433
833.78/833.82	c s  833.8   678602   47526  34603  1253  50184  943183  55310 1618.1   6  424
838.17/838.22	c R  838.2   680353   47525  34604  1253  50184  952920  59397 1616.7   5  426
852.08/852.11	c s  852.1   683819   47501  34627  1254  50184  968563  59488 1613.9   1  425
867.47/867.58	c -  867.6   688770   47443  34685  1254  50184  990299  58713 1613.2   4  403
867.47/867.58	c -  867.6   688677   47443  34685  1254  50184  990299  58126 1613.2   4  403
870.27/870.33	c s  870.3   688489   47370  34685  1254  50257  990299  59360 1613.2   4  404
870.27/870.33	c -  870.3   688489   47370  34685  1254  50257  990299  56964 1613.2   4  404
889.08/889.17	c s  889.2   689103   47370  34685  1254  50257 1016162  57083 1608.8   0  383
908.18/908.21	c
908.18/908.21	c       original/binary      fixed     eliminated      learned       agility
908.18/908.21	c   seconds        variables     equivalent    conflicts       height       MB
908.18/908.21	c
908.18/908.21	c s  908.2   689513   47361  34693  1254  50258 1037065  56572 1605.4   0  379
929.28/929.31	c s  929.3   690368   47359  34695  1254  50258 1060994  57020 1599.8   2  378
941.48/941.54	c +  941.5   691474   47356  34698  1254  50258 1078109  62660 1596.5   2  379
946.78/946.82	c -  946.8   691065   47356  34698  1254  50258 1082177  62034 1595.9   0  401
949.48/949.56	c s  949.6   691051   47351  34698  1254  50263 1082177  61100 1595.9   0  402
949.48/949.56	c -  949.6   691051   47351  34698  1254  50263 1082177  61414 1595.9   0  402
970.98/971.02	c s  971.0   691674   47336  34713  1254  50263 1109113  61553 1591.9   1  417
995.28/995.32	c s  995.3   690825   47313  34736  1254  50263 1133958  61666 1588.9   5  435
1020.48/1020.51	c s 1020.5   691220   47306  34743  1254  50263 1158215  61480 1586.2   0  437
1038.88/1038.91	c s 1038.9   691192   47272  34748  1255  50291 1180352  61507 1584.5   1  414
1061.38/1061.40	c s 1061.4   691560   47267  34753  1255  50291 1207715  61673 1580.7   3  424
1084.78/1084.84	c s 1084.8   692103   47251  34769  1255  50291 1231458  61519 1577.8   0  438
1107.68/1107.71	c s 1107.7   691865   47237  34783  1255  50291 1254727  61633 1573.1   3  418
1131.48/1131.51	c s 1131.5   691496   47198  34797  1255  50316 1282001  57105 1567.9   5  329
1152.48/1152.57	c s 1152.6   692063   47192  34803  1255  50316 1305579  61484 1564.7   0  396
1165.08/1165.14	c + 1165.1   692788   47175  34820  1255  50316 1320818  67555 1561.7   8  418
1175.99/1176.02	c s 1176.0   691836   47168  34827  1255  50316 1329423  67554 1560.8   0  456
1200.98/1201.05	c s 1201.0   692069   47156  34839  1255  50316 1354341  67650 1556.9   1  451
1222.69/1222.71	c s 1222.7   692229   47115  34849  1255  50347 1379077  67606 1554.1   2  450
1244.38/1244.49	c
1244.38/1244.49	c       original/binary      fixed     eliminated      learned       agility
1244.38/1244.49	c   seconds        variables     equivalent    conflicts       height       MB
1244.38/1244.49	c
1244.38/1244.49	c s 1244.5   692864   47111  34853  1255  50347 1406279  67620 1551.5   2  446
1266.39/1266.46	c s 1266.5   693436   47101  34863  1255  50347 1433604  67784 1548.5   1  459
1287.58/1287.62	c s 1287.6   693513   47093  34871  1255  50347 1462191  67566 1547.1   1  421
1311.08/1311.16	c s 1311.2   694124   47072  34874  1256  50364 1488321  67746 1543.6   7  420
1341.29/1341.36	c s 1341.4   693293   47057  34889  1256  50364 1519228  67589 1540.3   1  461
1366.49/1366.59	c s 1366.6   692585   47045  34897  1256  50368 1546923  61668 1538.2   2  366
1370.49/1370.58	c R 1370.6   692667   47044  34898  1256  50368 1555187  67707 1537.3   8  392
1394.28/1394.36	c s 1394.4   692008   47029  34913  1256  50368 1582794  67600 1535.1   0  418
1417.39/1417.45	c s 1417.4   692225   46990  34926  1256  50394 1602739  67706 1532.7   6  462
1438.69/1438.78	c s 1438.8   692521   46977  34939  1256  50394 1629726  67596 1531.3   7  445
1450.29/1450.34	c + 1450.3   692893   46973  34943  1256  50394 1651020  74310 1527.7  13  419
1458.39/1458.42	c s 1458.4   692534   46970  34945  1256  50395 1655276  70791 1526.1   4  437
1481.70/1481.77	c s 1481.8   692514   46958  34957  1256  50395 1679038  74513 1522.8   3  453
1508.49/1508.57	c s 1508.6   692672   46930  34969  1256  50411 1704565  74479 1518.2   5  504
1535.89/1535.92	c s 1535.9   692875   46919  34980  1256  50411 1730934  74412 1514.2   0  529
1567.19/1567.29	c s 1567.3   693180   46917  34982  1256  50411 1762137  74327 1511.8   0  532
1593.19/1593.20	c s 1593.2   693192   46910  34989  1256  50411 1785042  74323 1509.1   1  535
1620.79/1620.87	c s 1620.9   693196   46882  35001  1256  50427 1809593  74382 1505.4   2  513
1641.49/1641.50	c s 1641.5   693533   46874  35009  1256  50427 1831753  74355 1501.9   0  510
1664.70/1664.72	c
1664.70/1664.72	c       original/binary      fixed     eliminated      learned       agility
1664.70/1664.72	c   seconds        variables     equivalent    conflicts       height       MB
1664.70/1664.72	c
1664.70/1664.72	c s 1664.7   693850   46869  35014  1256  50427 1860496  74375 1498.9   2  489
1686.30/1686.36	c s 1686.4   694152   46864  35019  1256  50427 1885058  74381 1496.7   0  488
1709.69/1709.76	c s 1709.8   694295   46844  35027  1256  50439 1913907  74437 1492.8   0  483
1734.70/1734.76	c s 1734.8   694326   46831  35040  1256  50439 1945642  74627 1489.6   6  459
1761.29/1761.39	c s 1761.4   694255   46820  35050  1257  50439 1977790  74453 1487.8   3  535
1784.40/1784.47	c s 1784.5   694127   46814  35056  1257  50439 2006206  74325 1484.2   1  512
1806.80/1806.84	c s 1806.8   694588   46814  35056  1257  50439 2039576  74340 1480.3   6  480
1813.10/1813.10	c B 1813.1   695025   46808  35062  1257  50439 2048662  74479 1479.0   8  490
1821.89/1821.94	c + 1821.9   695332   46803  35067  1257  50439 2063775  81741 1476.6   2  475
1831.10/1831.17	c s 1831.2   694744   46779  35067  1257  50463 2068077  78808 1476.1   1  502
1854.00/1854.02	c s 1854.0   694685   46770  35076  1257  50463 2092567  81922 1473.8   2  547
1880.90/1880.93	c s 1880.9   694189   46762  35083  1257  50464 2123372  81757 1470.7   1  552
1903.40/1903.42	c s 1903.4   694613   46760  35085  1257  50464 2152976  81782 1467.8   4  514
1927.00/1927.06	c s 1927.1   694422   46737  35095  1257  50477 2182258  81763 1464.4   2  492
1952.40/1952.49	c s 1952.5   692899   46717  35115  1257  50477 2211554  81756 1460.9   3  526
1979.20/1979.23	c s 1979.2   693021   46711  35121  1257  50477 2245194  81865 1456.6   5  519
2005.10/2005.13	c s 2005.1   693398   46710  35122  1257  50477 2279413  81847 1453.2   3  513
2029.00/2029.05	c s 2029.1   693216   46698  35124  1257  50487 2307484  81988 1450.3   0  499
2057.31/2057.33	c s 2057.3   693071   46693  35129  1257  50487 2336386  81950 1447.1   2  486
2088.30/2088.35	c
2088.30/2088.35	c       original/binary      fixed     eliminated      learned       agility
2088.30/2088.35	c   seconds        variables     equivalent    conflicts       height       MB
2088.30/2088.35	c
2088.30/2088.35	c s 2088.4   693348   46693  35129  1257  50487 2364399  81883 1443.8   3  510
2115.61/2115.61	c s 2115.6   693293   46684  35138  1257  50487 2392885  81923 1441.1   1  518
2143.91/2143.95	c s 2144.0   693621   46680  35140  1257  50489 2422480  81858 1436.7   1  483
2171.21/2171.28	c s 2171.3   693752   46674  35146  1257  50489 2449755  81858 1433.1   0  494
2194.11/2194.20	c s 2194.2   693700   46668  35152  1257  50489 2478665  81894 1430.9   2  502
2220.11/2220.17	c s 2220.2   693830   46666  35154  1257  50489 2506751  81760 1427.9   0  502
2253.41/2253.49	c s 2253.5   694104   46653  35159  1257  50497 2540226  81777 1425.0   1  535
2282.62/2282.67	c s 2282.7   693650   46641  35171  1257  50497 2570535  81863 1422.0   3  536
2290.22/2290.22	c + 2290.2   693839   46638  35174  1257  50497 2579717  89915 1420.8   2  533
2315.21/2315.23	c s 2315.3   693469   46628  35184  1257  50497 2598684  89986 1419.3   4  594
2352.51/2352.57	c s 2352.6   693353   46620  35192  1257  50497 2633046  90159 1416.0   3  612
2378.21/2378.29	c s 2378.3   693545   46600  35193  1257  50516 2665487  89927 1414.2   1  582
2402.81/2402.88	c s 2402.9   693687   46592  35201  1257  50516 2693309  89935 1411.7   2  543
2428.41/2428.50	c s 2428.5   693702   46587  35206  1257  50516 2724734  89945 1408.5   1  540
2457.31/2457.33	c s 2457.4   693527   46581  35212  1257  50516 2758203  90010 1406.3   4  553
2488.33/2488.39	c s 2488.4   693370   46555  35223  1257  50531 2786530  89980 1404.1   0  588
2519.91/2519.99	c s 2520.0   693139   46546  35231  1257  50532 2815691  89990 1401.2   0  586
2555.43/2555.49	c s 2555.5   692810   46531  35246  1257  50532 2849270  89978 1398.8   2  588
2587.41/2587.41	c s 2587.4   692801   46527  35250  1257  50532 2877969  90111 1395.9   3  582
2616.62/2616.65	c
2616.62/2616.65	c       original/binary      fixed     eliminated      learned       agility
2616.62/2616.65	c   seconds        variables     equivalent    conflicts       height       MB
2616.62/2616.65	c
2616.62/2616.65	c s 2616.7   692781   46504  35258  1257  50547 2908451  89989 1392.4   1  555
2644.82/2644.81	c s 2644.8   692889   46494  35267  1258  50547 2940888  89918 1389.5   0  563
2675.22/2675.21	c s 2675.2   692600   46481  35280  1258  50547 2968974  89986 1386.8   1  548
2707.82/2707.81	c s 2707.8   692749   46473  35288  1258  50547 2997641  90130 1384.4   1  566
2736.82/2736.87	c s 2736.9   692689   46453  35293  1258  50562 3030181  90067 1382.4   3  554
2768.72/2768.80	c s 2768.8   692977   46448  35298  1258  50562 3059632  90052 1380.6   1  547
2798.62/2798.62	c s 2798.7   693194   46442  35304  1258  50562 3088403  90137 1378.0   3  553
2825.12/2825.15	c s 2825.2   693293   46435  35311  1258  50562 3114999  90086 1376.7   1  553
2853.53/2853.59	c s 2853.6   693423   46421  35314  1258  50573 3150664  90051 1374.4   3  566
2880.02/2880.05	c s 2880.1   693628   46416  35319  1258  50573 3182282  89987 1372.1   4  562
2906.22/2906.30	c s 2906.3   693847   46412  35323  1258  50573 3210592  89987 1369.4   1  577
2915.02/2915.05	c + 2915.1   694263   46405  35330  1258  50573 3224646  98906 1368.5   3  580
2935.32/2935.34	c s 2935.4   693822   46399  35336  1258  50573 3245463  99360 1367.6   4  636
2967.33/2967.36	c s 2967.4   693442   46360  35351  1258  50597 3284436  98938 1365.5   1  627
2993.53/2993.53	c s 2993.6   693943   46359  35352  1258  50597 3314046  99018 1364.3   2  617
3025.22/3025.28	c s 3025.3   694155   46354  35357  1258  50597 3342822  99049 1361.7   1  615
3062.22/3062.22	c s 3062.3   694224   46345  35366  1258  50597 3376204  99053 1360.6   2  641
3094.63/3094.63	c s 3094.7   693204   46330  35372  1258  50606 3407699  99193 1358.3   1  643
3130.53/3130.56	c s 3130.6   692949   46318  35384  1258  50606 3436996  99141 1355.7   3  644
3166.03/3166.02	c
3166.03/3166.02	c       original/binary      fixed     eliminated      learned       agility
3166.03/3166.02	c   seconds        variables     equivalent    conflicts       height       MB
3166.03/3166.02	c
3166.03/3166.02	c s 3166.1   693140   46313  35389  1258  50606 3465067  99064 1353.8   1  634
3193.93/3193.95	c s 3194.0   693379   46310  35392  1258  50606 3496687  99161 1351.4   2  609
3224.24/3224.23	c s 3224.3   693788   46298  35394  1258  50616 3526968  98932 1350.1   1  595
3261.23/3261.27	c s 3261.3   694026   46295  35397  1258  50616 3557565  99095 1346.9   1  634
3295.83/3295.85	c s 3295.9   693836   46285  35407  1258  50616 3587961  99017 1343.9   6  624
3330.04/3330.07	c s 3330.1   693779   46275  35417  1258  50616 3617559  98931 1341.6   1  614
3362.74/3362.78	c s 3362.8   693572   46250  35426  1258  50632 3644585  98960 1339.4   0  620
3394.64/3394.65	c s 3394.7   693573   46238  35438  1258  50632 3674146  98937 1337.6   1  614
3423.14/3423.13	c s 3423.2   693800   46237  35439  1258  50632 3706309  99019 1334.8   4  612
3453.44/3453.40	c s 3453.4   693953   46234  35442  1258  50632 3740071  98950 1333.0   3  618
3482.74/3482.74	c s 3482.8   692393   46216  35448  1258  50644 3772458  98963 1330.7   2  620
3518.44/3518.44	c s 3518.5   692587   46211  35453  1258  50644 3804289  99037 1328.8   2  601
3560.24/3560.27	c s 3560.3   692721   46206  35458  1258  50644 3843556  99109 1327.4   4  671
3595.54/3595.58	c s 3595.6   692579   46198  35466  1258  50644 3875706  99083 1325.3   2  654
3630.05/3630.11	c s 3630.2   692698   46186  35469  1258  50653 3906608  99111 1323.2   3  599
3657.84/3657.88	c s 3657.9   692810   46183  35472  1258  50653 3932458  99098 1321.7   1  598
3684.24/3684.24	c s 3684.3   692132   46173  35482  1258  50653 3966257  99000 1319.9   1  593
3719.54/3719.59	c s 3719.6   692466   46168  35487  1258  50653 3996239  99029 1317.8   2  582
3753.64/3753.65	c s 3753.7   692451   46148  35499  1259  50660 4023936  98928 1315.7   1  607
3758.34/3758.36	c
3758.34/3758.36	c       original/binary      fixed     eliminated      learned       agility
3758.34/3758.36	c   seconds        variables     equivalent    conflicts       height       MB
3758.34/3758.36	c
3758.34/3758.36	c + 3758.4   692563   46147  35500  1259  50660 4030807 108796 1315.4   2  621
3787.14/3787.17	c s 3787.2   692423   46144  35503  1259  50660 4055326 108850 1313.8   0  678
3827.25/3827.25	c s 3827.3   692546   46141  35506  1259  50660 4087882 108840 1312.7   1  677
3861.95/3861.94	c s 3862.0   692660   46138  35509  1259  50660 4118424 108823 1310.7   2  688
3893.74/3893.79	c s 3893.8   693104   46127  35510  1259  50670 4152222 108929 1308.9   3  704
3922.75/3922.75	c s 3922.8   693069   46115  35522  1259  50670 4185387 109066 1307.4   6  668
3952.05/3952.04	c s 3952.1   693447   46113  35524  1259  50670 4215649 108999 1305.2   5  651
3982.94/3982.92	c s 3983.0   693836   46112  35525  1259  50670 4248547 108875 1304.1   2  664
4012.55/4012.56	c s 4012.6   693755   46087  35538  1259  50682 4278564 108891 1302.3   1  669
4043.65/4043.63	c s 4043.7   693951   46082  35543  1259  50682 4314936 109005 1300.6   3  652
4073.55/4073.52	c s 4073.6   693889   46073  35552  1259  50682 4350643 108859 1298.8   3  620
4102.85/4102.83	c s 4102.9   694413   46070  35555  1259  50682 4380379 108831 1296.6   1  630
4135.45/4135.49	c s 4135.6   694274   46041  35567  1259  50699 4423262 108951 1295.4   6  617
4135.45/4135.49	c - 4135.6   694274   46041  35567  1259  50699 4423262 107709 1295.4   6  617
4166.25/4166.28	c s 4166.3   694636   46037  35571  1259  50699 4457322 107781 1293.9   2  606
4195.95/4195.93	c s 4196.0   694935   46035  35573  1259  50699 4489985 107863 1292.3   2  620
4227.55/4227.59	c s 4227.7   694983   46032  35576  1259  50699 4524505 107839 1290.4   4  644
4257.95/4257.90	c s 4258.0   695168   46019  35580  1259  50708 4561968 107799 1288.6   3  639
4288.86/4288.86	c s 4288.9   695256   46011  35588  1259  50708 4596512 107751 1286.8   0  617
4298.26/4298.25	c
4298.26/4298.25	c       original/binary      fixed     eliminated      learned       agility
4298.26/4298.25	c   seconds        variables     equivalent    conflicts       height       MB
4298.26/4298.25	c
4298.26/4298.25	c B 4298.3   695409   46008  35591  1259  50708 4609304 107774 1286.1   2  632
4319.45/4319.42	c s 4319.5   695358   46001  35598  1259  50708 4628536 107853 1285.2   4  636
4342.45/4342.49	c R 4342.6   696028   45994  35605  1259  50708 4666923 107778 1284.5   7  648
4351.26/4351.26	c s 4351.3   695394   45994  35605  1259  50708 4669502 107768 1284.4   5  641
4382.96/4382.93	c s 4383.0   695255   45967  35616  1259  50724 4709872 107901 1283.9   3  641
4412.16/4412.15	c s 4412.2   695202   45959  35624  1259  50724 4743735 107919 1282.0   2  620
4440.36/4440.36	c s 4440.4   695083   45955  35628  1259  50724 4775973 107934 1280.0   0  607
4469.56/4469.50	c s 4469.6   695330   45943  35640  1259  50724 4815419 107855 1278.8   4  605
4498.76/4498.72	c s 4498.8   695328   45928  35649  1259  50730 4846470 107761 1277.1   1  614
4529.46/4529.41	c s 4529.5   694476   45922  35654  1259  50731 4880608 107823 1275.0   2  623
4557.66/4557.67	c s 4557.7   694544   45917  35659  1259  50731 4912311 107813 1272.9   0  602
4587.46/4587.40	c s 4587.5   694654   45913  35663  1259  50731 4947828 107856 1271.2   2  609
4618.86/4618.86	c s 4618.9   694707   45907  35665  1260  50734 4979895 107757 1269.1   3  622
4623.86/4623.82	c + 4623.9   694799   45907  35665  1260  50734 4988120 118479 1269.2  18  636
4649.16/4649.10	c s 4649.2   694886   45904  35668  1260  50734 5015570 118524 1267.7   1  687
4679.37/4679.34	c s 4679.4   695018   45903  35669  1260  50734 5048386 118528 1266.2   2  679
4709.17/4709.21	c s 4709.3   695111   45897  35675  1260  50734 5078749 118632 1264.6   2  686
4749.37/4749.34	c s 4749.4   695372   45889  35677  1260  50740 5126139 118504 1263.2   3  712
4785.66/4785.69	c s 4785.8   695418   45884  35682  1260  50740 5154929 118503 1261.4   2  715
4826.07/4826.03	c
4826.07/4826.03	c       original/binary      fixed     eliminated      learned       agility
4826.07/4826.03	c   seconds        variables     equivalent    conflicts       height       MB
4826.07/4826.03	c
4826.07/4826.03	c s 4826.1   695198   45874  35692  1260  50740 5188098 118506 1259.6   2  710
4862.66/4862.64	c s 4862.7   695257   45870  35696  1260  50740 5219661 118630 1257.8   3  675
4903.67/4903.69	c s 4903.8   695379   45857  35703  1260  50746 5254329 118670 1256.7   2  706
4937.26/4937.23	c s 4937.3   695335   45851  35708  1261  50746 5288570 118560 1254.7   3  722
4973.47/4973.43	c s 4973.5   695079   45842  35716  1261  50747 5322860 118575 1252.8   5  705
5000.08/5000.01	c
5000.08/5000.01	c *** CAUGHT SIGNAL 15 ***
5000.08/5000.01	c
5000.08/5000.01	c 5349796 conflicts, 47492930 decisions, 23661 random
5000.08/5000.01	c 362 iterations, 16022 restarts, 0 skipped
5000.08/5000.01	c 31 enlarged, 7891 shrunken, 52289 rescored, 1104 rebiased
5000.08/5000.01	c 221 simplifications, 0 reductions
5000.08/5000.01	c
5000.08/5000.01	c vars: 35718 fixed, 1261 equiv, 50747 elim, 1303 merged
5000.08/5000.01	c elim: 53916773 resolutions, 220 phases, 55 rounds
5000.08/5000.01	c sbst: 2% substituted, 3.9% nots, 96.1% ands, 0.0% xors, 0.0% ites
5000.08/5000.01	c arty: 2.23 and 0.00 xor average arity
5000.08/5000.01	c prbe: 152177 probed, 5368 phases, 1 rounds
5000.08/5000.01	c prbe: 2391 failed, 1800 lifted, 1 merged
5000.08/5000.01	c sccs: 7 non trivial, 1 fixed, 7 merged
5000.08/5000.01	c hash: 242 units, 1295 merged
5000.08/5000.01	c mins: 9184500595 learned, 24% deleted, 35 strong, 118 depth
5000.08/5000.01	c subs: 21823 forward, 9853 backward, 2503 doms
5000.08/5000.01	c strs: 7703 forward, 74 backward
5000.08/5000.01	c doms: 21125 dominators, 5773 high, 343 low
5000.08/5000.01	c prps: 6430601271 propagations, 1.29 megaprops
5000.08/5000.01	c
5000.08/5000.01	c 5000.1 seconds, 740 MB max, 1771 MB recycled
5000.08/5000.01	c
5000.08/5000.01	c *** CAUGHT SIGNAL 15 ***
5000.08/5000.01	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3365715-1305317044/watcher-3365715-1305317044 -o /tmp/evaluation-result-3365715-1305317044/solver-3365715-1305317044 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365715-1305317044.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.01 1.70 2/339 7651
/proc/meminfo: memFree=9744676/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=6348 CPUtime=0 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1368 0 0 0 0 0 0 0 25 0 1 0 643302402 6500352 1326 33554432000 134512640 135151029 4288483984 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7651/statm: 1587 1328 60 156 0 1430 0

[startup+0.10393 s]
/proc/loadavg: 2.01 2.01 1.70 2/339 7651
/proc/meminfo: memFree=9744676/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=19088 CPUtime=0.09 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 4763 0 0 0 9 0 0 0 25 0 1 0 643302402 19546112 4494 33554432000 134512640 135151029 4288483984 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/7651/statm: 4772 4494 65 156 0 4615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19088

[startup+0.200906 s]
/proc/loadavg: 2.01 2.01 1.70 2/339 7651
/proc/meminfo: memFree=9744676/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=26976 CPUtime=0.19 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 7006 0 0 0 19 0 0 0 25 0 1 0 643302402 27623424 6480 33554432000 134512640 135151029 4288483984 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/7651/statm: 6744 6481 65 156 0 6587 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26976

[startup+0.300886 s]
/proc/loadavg: 2.01 2.01 1.70 2/339 7651
/proc/meminfo: memFree=9744676/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=34964 CPUtime=0.29 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 9511 0 0 0 28 1 0 0 25 0 1 0 643302402 35803136 8472 33554432000 134512640 135151029 4288483984 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/7651/statm: 8741 8472 65 156 0 8584 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34964

[startup+0.70082 s]
/proc/loadavg: 2.01 2.01 1.70 2/339 7651
/proc/meminfo: memFree=9744676/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=48268 CPUtime=0.69 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 15173 0 0 0 68 1 0 0 25 0 1 0 643302402 49426432 11687 33554432000 134512640 135151029 4288483984 18446744073709551615 134528789 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/7651/statm: 12067 11687 80 156 0 11910 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48268

[startup+1.50065 s]
/proc/loadavg: 2.01 2.01 1.70 3/340 7652
/proc/meminfo: memFree=9683912/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=64128 CPUtime=1.49 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 21034 0 0 0 147 2 0 0 25 0 1 0 643302402 65667072 15624 33554432000 134512640 135151029 4288483984 18446744073709551615 134573911 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/7651/statm: 16032 15624 80 156 0 15875 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64128

[startup+3.1004 s]
/proc/loadavg: 2.01 2.01 1.70 3/340 7652
/proc/meminfo: memFree=9686888/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=58008 CPUtime=3.09 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 22587 0 0 0 307 2 0 0 25 0 1 0 643302402 59400192 14073 33554432000 134512640 135151029 4288483984 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/7651/statm: 14502 14073 80 156 0 14345 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58008

[startup+6.30084 s]
/proc/loadavg: 2.01 2.01 1.70 3/340 7652
/proc/meminfo: memFree=9678700/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=70056 CPUtime=6.25 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 32731 0 0 0 622 3 0 0 25 0 1 0 643302402 71737344 17100 33554432000 134512640 135151029 4288483984 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 17514 17100 80 156 0 17357 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 70056

[startup+12.7007 s]
/proc/loadavg: 2.01 2.01 1.70 3/340 7654
/proc/meminfo: memFree=9654064/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=90568 CPUtime=12.66 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 52823 0 0 0 1259 7 0 0 25 0 1 0 643302402 92741632 22244 33554432000 134512640 135151029 4288483984 18446744073709551615 134552085 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 22642 22244 80 156 0 22485 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 90568

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.71 3/340 7655
/proc/meminfo: memFree=9626608/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=116588 CPUtime=25.46 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 83997 0 0 0 2535 11 0 0 25 0 1 0 643302402 119386112 28723 33554432000 134512640 135151029 4288483984 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 29147 28723 80 156 0 28990 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 116588

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.71 3/340 7656
/proc/meminfo: memFree=9585068/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=154972 CPUtime=51.06 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 131606 0 0 0 5089 17 0 0 25 0 1 0 643302402 158691328 38318 33554432000 134512640 135151029 4288483984 18446744073709551615 134522096 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 38743 38318 80 156 0 38586 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 154972

[startup+102.301 s]
/proc/loadavg: 2.06 2.01 1.73 3/340 7657
/proc/meminfo: memFree=9551808/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=190420 CPUtime=102.27 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 195091 0 0 0 10202 25 0 0 25 0 1 0 643302402 194990080 47182 33554432000 134512640 135151029 4288483984 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 47605 47182 80 156 0 47448 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 190420

[startup+162.3 s]
/proc/loadavg: 2.13 2.04 1.75 3/340 7659
/proc/meminfo: memFree=9497460/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=244992 CPUtime=162.26 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 282642 0 0 0 16190 36 0 0 25 0 1 0 643302402 250871808 60836 33554432000 134512640 135151029 4288483984 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 61248 60836 80 156 0 61091 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 244992

[startup+222.313 s]
/proc/loadavg: 2.05 2.03 1.77 3/340 7661
/proc/meminfo: memFree=9460104/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=283068 CPUtime=222.27 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 349717 0 0 0 22182 45 0 0 25 0 1 0 643302402 289861632 70350 33554432000 134512640 135151029 4288483984 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 70767 70350 80 156 0 70610 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 283068

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.78 3/340 7662
/proc/meminfo: memFree=9439360/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=311904 CPUtime=282.26 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 409306 0 0 0 28173 53 0 0 25 0 1 0 643302402 319389696 77568 33554432000 134512640 135151029 4288483984 18446744073709551615 134554920 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 77976 77568 80 156 0 77819 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 311904

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.79 3/340 7664
/proc/meminfo: memFree=9431148/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=322196 CPUtime=342.26 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 460516 0 0 0 34167 59 0 0 25 0 1 0 643302402 329928704 80132 33554432000 134512640 135151029 4288483984 18446744073709551615 134564115 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 80549 80132 80 156 0 80392 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 322196

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.80 3/340 7665
/proc/meminfo: memFree=9357224/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=356372 CPUtime=402.27 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 518044 0 0 0 40162 65 0 0 25 0 1 0 643302402 364924928 88672 33554432000 134512640 135151029 4288483984 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 89093 88672 80 156 0 88936 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 356372

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.81 3/340 7667
/proc/meminfo: memFree=9330532/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=382768 CPUtime=462.27 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 566880 0 0 0 46156 71 0 0 25 0 1 0 643302402 391954432 95279 33554432000 134512640 135151029 4288483984 18446744073709551615 134520432 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 95692 95279 80 156 0 95535 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 382768

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.82 3/340 7669
/proc/meminfo: memFree=9290328/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=430600 CPUtime=522.27 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 605669 0 0 0 52151 76 0 0 25 0 1 0 643302402 440934400 107244 33554432000 134512640 135151029 4288483984 18446744073709551615 134552116 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 107650 107244 80 156 0 107493 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 430600

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/340 7670
/proc/meminfo: memFree=9278380/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=435224 CPUtime=582.27 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 639563 0 0 0 58146 81 0 0 25 0 1 0 643302402 445669376 108419 33554432000 134512640 135151029 4288483984 18446744073709551615 134530672 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 108806 108419 80 156 0 108649 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 435224

[startup+642.301 s]

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

[startup+4062.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/340 7803
/proc/meminfo: memFree=8818972/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=770352 CPUtime=4062.35 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1429078 0 0 0 406058 177 0 0 25 0 1 0 643302402 788840448 192205 33554432000 134512640 135151029 4288483984 18446744073709551615 134577855 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 192588 192205 80 156 0 192431 0
Current children cumulated CPU time (s) 4062.35
Current children cumulated vsize (KiB) 770352

[startup+4122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/340 7805
/proc/meminfo: memFree=8818308/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=770352 CPUtime=4122.35 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1437274 0 0 0 412057 178 0 0 25 0 1 0 643302402 788840448 192205 33554432000 134512640 135151029 4288483984 18446744073709551615 134553788 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 192588 192205 80 156 0 192431 0
Current children cumulated CPU time (s) 4122.35
Current children cumulated vsize (KiB) 770352

[startup+4182.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/340 7806
/proc/meminfo: memFree=8819524/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=770352 CPUtime=4182.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1445470 0 0 0 418057 179 0 0 25 0 1 0 643302402 788840448 192205 33554432000 134512640 135151029 4288483984 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 192588 192205 80 156 0 192431 0
Current children cumulated CPU time (s) 4182.36
Current children cumulated vsize (KiB) 770352

[startup+4242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/340 7808
/proc/meminfo: memFree=8819624/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=770352 CPUtime=4242.35 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1453666 0 0 0 424055 180 0 0 25 0 1 0 643302402 788840448 192205 33554432000 134512640 135151029 4288483984 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 192588 192205 80 156 0 192431 0
Current children cumulated CPU time (s) 4242.35
Current children cumulated vsize (KiB) 770352

[startup+4302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/340 7809
/proc/meminfo: memFree=8819860/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=770352 CPUtime=4302.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1461862 0 0 0 430054 182 0 0 25 0 1 0 643302402 788840448 192205 33554432000 134512640 135151029 4288483984 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 192588 192205 80 156 0 192431 0
Current children cumulated CPU time (s) 4302.36
Current children cumulated vsize (KiB) 770352

[startup+4362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/340 7811
/proc/meminfo: memFree=8820192/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=770352 CPUtime=4362.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1470058 0 0 0 436053 183 0 0 25 0 1 0 643302402 788840448 192205 33554432000 134512640 135151029 4288483984 18446744073709551615 134554888 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 192588 192205 80 156 0 192431 0
Current children cumulated CPU time (s) 4362.36
Current children cumulated vsize (KiB) 770352

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/340 7813
/proc/meminfo: memFree=8827484/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=762156 CPUtime=4422.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1470058 0 0 0 442053 183 0 0 25 0 1 0 643302402 780447744 190156 33554432000 134512640 135151029 4288483984 18446744073709551615 134552952 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 190539 190156 80 156 0 190382 0
Current children cumulated CPU time (s) 4422.36
Current children cumulated vsize (KiB) 762156

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/340 7814
/proc/meminfo: memFree=8826720/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=762156 CPUtime=4482.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1470058 0 0 0 448053 183 0 0 25 0 1 0 643302402 780447744 190156 33554432000 134512640 135151029 4288483984 18446744073709551615 134551328 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 190539 190156 80 156 0 190382 0
Current children cumulated CPU time (s) 4482.36
Current children cumulated vsize (KiB) 762156

[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/340 7816
/proc/meminfo: memFree=8826812/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=762156 CPUtime=4542.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1470058 0 0 0 454053 183 0 0 25 0 1 0 643302402 780447744 190156 33554432000 134512640 135151029 4288483984 18446744073709551615 134577852 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 190539 190156 80 156 0 190382 0
Current children cumulated CPU time (s) 4542.36
Current children cumulated vsize (KiB) 762156

[startup+4602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/340 7817
/proc/meminfo: memFree=8825932/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=762156 CPUtime=4602.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1470058 0 0 0 460053 183 0 0 25 0 1 0 643302402 780447744 190156 33554432000 134512640 135151029 4288483984 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 190539 190156 80 156 0 190382 0
Current children cumulated CPU time (s) 4602.36
Current children cumulated vsize (KiB) 762156

[startup+4662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/340 7819
/proc/meminfo: memFree=8836452/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=753312 CPUtime=4662.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1478005 0 0 0 466052 184 0 0 25 0 1 0 643302402 771391488 187945 33554432000 134512640 135151029 4288483984 18446744073709551615 134577923 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 188328 187945 80 156 0 188171 0
Current children cumulated CPU time (s) 4662.36
Current children cumulated vsize (KiB) 753312

[startup+4722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/340 7821
/proc/meminfo: memFree=8819572/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=770848 CPUtime=4722.37 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1499811 0 0 0 472050 187 0 0 25 0 1 0 643302402 789348352 192291 33554432000 134512640 135151029 4288483984 18446744073709551615 134551996 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 192712 192291 80 156 0 192555 0
Current children cumulated CPU time (s) 4722.37
Current children cumulated vsize (KiB) 770848

[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/340 7822
/proc/meminfo: memFree=8804912/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=785028 CPUtime=4782.37 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1525344 0 0 0 478046 191 0 0 25 0 1 0 643302402 803868672 195832 33554432000 134512640 135151029 4288483984 18446744073709551615 134522076 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 196257 195832 80 156 0 196100 0
Current children cumulated CPU time (s) 4782.37
Current children cumulated vsize (KiB) 785028

[startup+4842.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/340 7824
/proc/meminfo: memFree=8797076/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=793224 CPUtime=4842.38 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1533425 0 0 0 484046 192 0 0 25 0 1 0 643302402 812261376 197891 33554432000 134512640 135151029 4288483984 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 198306 197891 80 156 0 198149 0
Current children cumulated CPU time (s) 4842.38
Current children cumulated vsize (KiB) 793224

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/340 7825
/proc/meminfo: memFree=8803864/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=786424 CPUtime=4902.37 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1545946 0 0 0 490044 193 0 0 25 0 1 0 643302402 805298176 196207 33554432000 134512640 135151029 4288483984 18446744073709551615 134521818 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 196606 196207 80 156 0 196449 0
Current children cumulated CPU time (s) 4902.37
Current children cumulated vsize (KiB) 786424

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/340 7827
/proc/meminfo: memFree=8790316/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=794620 CPUtime=4962.36 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1561877 0 0 0 496041 195 0 0 25 0 1 0 643302402 813690880 198256 33554432000 134512640 135151029 4288483984 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 198655 198256 80 156 0 198498 0
Current children cumulated CPU time (s) 4962.36
Current children cumulated vsize (KiB) 794620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 2.00 2.00 2.00 3/340 7828
/proc/meminfo: memFree=8785840/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=793648 CPUtime=5000.08 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1569572 0 0 0 499811 197 0 0 25 0 1 0 643302402 812695552 198029 33554432000 134512640 135151029 4288483984 18446744073709551615 134551820 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 198412 198029 80 156 0 198255 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 793648

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

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

[startup+5000 s]
/proc/loadavg: 2.00 2.00 2.00 3/340 7828
/proc/meminfo: memFree=8785840/32951124 swapFree=67082152/67111528
[pid=7651] ppid=7649 vsize=793648 CPUtime=5000.08 cores=0,2,4,6
/proc/7651/stat : 7651 (precosat) R 7649 7651 7502 0 -1 4202496 1569572 0 0 0 499811 197 0 0 25 0 1 0 643302402 812695552 198029 33554432000 134512640 135151029 4288483984 18446744073709551615 134551820 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7651/statm: 198412 198029 80 156 0 198255 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 793648

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5000.04
CPU time (s): 5000.12
CPU user time (s): 4998.12
CPU system time (s): 2.00169
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 798840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.12
system time used= 2.00169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1569573
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= 5
involuntary context switches= 12894

runsolver used 17.3154 second user time and 37.2643 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-13 22:04:04
IDJOB=3365715
IDBENCH=82372
IDSOLVER=1843
FILE ID=node136/3365715-1305317044
RUNJOBID= node136-1305315243-7520
PBS_JOBID= 13324296
Free space on /tmp= 44112 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365715-1305317044/watcher-3365715-1305317044 -o /tmp/evaluation-result-3365715-1305317044/solver-3365715-1305317044 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365715-1305317044.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c4319228342e10028de028a9b67c3404
RANDOM SEED=1576647535

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       9744972 kB
Buffers:        253132 kB
Cached:       13281048 kB
SwapCached:       2740 kB
Active:       10593220 kB
Inactive:     12118912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9744972 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           12464 kB
Writeback:           0 kB
AnonPages:     9176580 kB
Mapped:          28068 kB
Slab:           389064 kB
PageTables:      39488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69945844 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 44112 MiB
End job on node136 at 2011-05-13 23:27:26