Trace number 3365533

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.05 4999.94

General information on the benchmark

Nameindustrial/crypto/
mizh-sha0-36-2.cnf
MD5SUM82bf685774b76ba263c886940c3aa94d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark54.1288
Satisfiable
(Un)Satisfiability was proved
Number of variables50073
Number of clauses210239
Sum of the clauses size628391
Maximum clause length4
Minimum clause length1
Number of clauses of size 1177
Number of clauses of size 286996
Number of clauses of size 338042
Number of clauses of size 485024
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-3365533-1305315244.cnf
0.00/0.00	c found header 'p cnf 50073 210239'
0.09/0.13	c finished parsing
0.09/0.13	c
0.09/0.13	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.09/0.13	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.09/0.13	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.09/0.13	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.09/0.13	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.09/0.13	c --random=1 --spread=2000 --seed=0 --skip=25
0.09/0.13	c
0.09/0.13	c sizeof     vars[0] = 16   alignment = 0       1 MB
0.09/0.13	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.09/0.13	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.09/0.13	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.09/0.13	c
0.09/0.13	c starting search after 0.1 seconds
0.09/0.13	c no decision limit
0.09/0.13	c
0.09/0.13	c       original/binary      fixed     eliminated      learned       agility
0.09/0.13	c   seconds        variables     equivalent    conflicts       height       MB
0.09/0.13	c
0.09/0.13	c *    0.1   180234   39184   4496  6393      0       0      0    0.0   0   15
0.69/0.76	c s    0.8   118028   17249   4814  8121  19889       0      0    0.0   0   12
0.69/0.76	c l    0.8   118028   17249   4814  8121  19889       0 111437    0.0   0   12
0.69/0.76	c R    0.8   118036   17248   4814  8122  19889     100     99   38.6  11   12
0.69/0.76	c R    0.8   118042   17247   4814  8123  19889     201    199   41.8  18   12
0.69/0.77	c N    0.8   118101   17241   4814  8129  19889     806    793   41.7  26   12
0.69/0.78	c B    0.8   118101   17241   4814  8129  19889    1001    988   43.4  32   12
0.79/0.80	c B    0.8   118180   17234   4815  8135  19889    2002   1981   66.8  21   12
0.89/0.94	c B    0.9   120073   17165   4844  8175  19889    8005   7896  103.7  28   13
0.89/0.98	c N    1.0   120521   17160   4846  8178  19889    9875   9760   98.5  26   13
1.39/1.41	c B    1.4   135694   16833   5036  8315  19889   24011  23725   92.4  28   16
3.30/3.32	c s    3.3   165794   15704   5553  8927  19889   60985  29862  106.4  23   17
3.30/3.32	c -    3.3   165794   15704   5553  8927  19889   60985 103637  106.4  23   17
3.39/3.49	c B    3.5   167007   15675   5561  8948  19889   64020  32863  109.5  27   18
6.09/6.17	c R    6.2   204131   15242   5701  9241  19889  100375  68929  136.8  21   25
6.39/6.46	c +    6.5   209366   15233   5705  9246  19889  103637 114000  140.6  14   26
7.89/7.92	c s    7.9   120231   14877   5713  9289  20194  112820  53034  147.7  18   17
7.89/7.92	c -    7.9   120231   14877   5713  9289  20194  112820 109440  147.7  18   17
10.09/10.18	c +   10.2   121538   14843   5722  9314  20194  124364 120384  154.0  26   25
11.30/11.39	c
11.30/11.39	c       original/binary      fixed     eliminated      learned       agility
11.30/11.39	c   seconds        variables     equivalent    conflicts       height       MB
11.30/11.39	c
11.30/11.39	c s   11.4   123057   14811   5730  9338  20194  130603  65100  157.8  37   23
12.90/12.97	c N   13.0   124468   14795   5733  9351  20194  141337  75799  165.4  30   28
15.30/15.34	c s   15.3   119817   14751   5734  9363  20225  152057  82552  169.4  20   27
15.89/15.99	c +   16.0   119837   14748   5734  9366  20225  155456 132422  171.0  26   31
17.19/17.30	c B   17.3   119840   14748   5734  9366  20225  160032  90520  172.3  41   34
17.79/17.86	c N   17.9   119872   14735   5734  9379  20225  163783  94239  173.2  28   36
19.29/19.31	c s   19.3   119840   14735   5734  9379  20225  167454  97853  174.1  30   35
24.29/24.34	c s   24.3   119491   14682   5745  9415  20231  183454 107760  179.4  22   38
27.89/27.98	c +   28.0   119494   14681   5745  9416  20231  194322 145664  182.0  20   50
29.79/29.82	c s   29.8   119524   14674   5746  9422  20231  198157 122089  183.1  31   48
36.59/36.67	c s   36.7   119440   14636   5753  9443  20241  220152 137974  190.0  31   53
43.28/43.36	c s   43.4   119442   14632   5753  9447  20241  237266 153084  194.1  36   66
45.38/45.43	c +   45.4   119447   14632   5753  9447  20241  242900 160230  195.0  34   72
50.89/50.96	c s   51.0   119415   14631   5753  9448  20241  257723 161259  197.5  32   75
58.98/59.03	c s   59.0   119369   14624   5754  9454  20241  278589 160905  200.0  26   84
67.00/67.04	c s   67.0   119205   14609   5755  9460  20249  302129 158470  202.7  37   83
67.39/67.46	c +   67.5   119207   14609   5755  9460  20249  303626 176253  202.9  32   87
75.99/76.07	c s   76.1   119230   14608   5755  9461  20249  324839 177181  205.3  30   93
84.19/84.25	c s   84.3   119191   14604   5756  9463  20250  344567 176543  207.0  37   96
92.49/92.54	c
92.49/92.54	c       original/binary      fixed     eliminated      learned       agility
92.49/92.54	c   seconds        variables     equivalent    conflicts       height       MB
92.49/92.54	c
92.49/92.54	c s   92.5   119193   14603   5756  9464  20250  366033 177281  209.4  32  102
97.39/97.45	c +   97.4   119197   14602   5756  9465  20250  379533 193878  210.8  37  111
99.39/99.46	c B   99.5   119197   14602   5756  9465  20250  384082 186118  211.0  33  115
100.99/101.07	c s  101.1   119158   14602   5756  9465  20250  384630 186666  211.1  32  110
110.00/110.09	c s  110.1   119163   14601   5756  9466  20250  406081 196294  213.2  39  118
112.69/112.70	c R  112.7   119168   14600   5756  9467  20250  414728 194941  214.1  22  123
119.48/119.59	c s  119.6   119145   14599   5756  9468  20250  427452 197373  215.2  38  123
143.59/143.70	c +  143.7   119145   14599   5756  9468  20250  474416 213265  219.2  37  156
180.09/180.19	c s  180.2   119146   14599   5756  9468  20250  519438 267972  222.9  32  199
184.09/184.12	c N  184.1   119147   14599   5756  9468  20250  530087 249301  223.6  32  196
194.39/194.48	c s  194.5   119048   14587   5760  9473  20253  545263 241167  224.7  34  183
207.91/207.98	c s  208.0   119977   14581   5761  9478  20253  570949 214163  225.8  34  164
215.79/215.88	c +  215.9   119978   14580   5761  9479  20253  593020 234591  227.0  36  168
219.49/219.57	c s  219.6   119005   14580   5761  9479  20253  599451 220820  227.4  25  165
231.49/231.54	c s  231.5   119008   14579   5761  9480  20253  622857 235786  228.0  39  175
243.59/243.66	c s  243.7   119009   14579   5761  9480  20253  648098 235683  229.6  35  171
257.69/257.79	c s  257.8   118997   14572   5762  9484  20255  676596 235498  231.3  35  156
270.29/270.31	c s  270.3   118997   14569   5762  9487  20255  701664 235796  232.1  35  146
281.19/281.29	c s  281.3   118999   14569   5762  9487  20255  725226 235622  232.7  30  143
288.99/289.00	c
288.99/289.00	c       original/binary      fixed     eliminated      learned       agility
288.99/289.00	c   seconds        variables     equivalent    conflicts       height       MB
288.99/289.00	c
288.99/289.00	c +  289.0   119001   14569   5762  9487  20255  741275 258050  233.3  29  150
294.29/294.39	c s  294.4   118980   14568   5762  9488  20255  748632 243009  233.7  36  148
307.79/307.90	c s  307.9   118981   14568   5762  9488  20255  773321 259104  234.6  25  157
320.90/320.96	c s  321.0   118986   14568   5762  9488  20255  800830 270386  235.2  38  166
333.70/333.79	c s  333.8   118988   14568   5762  9488  20255  824928 259190  235.8  29  161
367.41/367.44	c B  367.5   118988   14568   5762  9488  20255  896175 300631  238.9  35  213
383.20/383.26	c +  383.3   118988   14568   5762  9488  20255  926590 283855  240.1  35  225
388.39/388.49	c s  388.5   118989   14568   5762  9488  20255  936015 316810  240.5  22  222
402.19/402.27	c s  402.3   118983   14566   5762  9490  20255  970831 290655  242.4  36  208
450.87/450.97	c s  450.9   118984   14566   5762  9490  20255 1057221 291859  245.2  19  230
469.68/469.77	c s  469.8   118978   14565   5762  9491  20255 1083061 285142  245.6  29  226
486.37/486.40	c s  486.4   118983   14565   5762  9491  20255 1110066 285045  246.7  27  221
500.27/500.39	c N  500.4   118985   14565   5762  9491  20255 1135893 285104  247.1  41  224
501.97/502.01	c s  502.0   118985   14565   5762  9491  20255 1136287 285090  247.1  35  216
514.87/514.96	c +  514.9   118986   14564   5762  9492  20255 1158235 312240  247.5  33  223
519.67/519.79	c s  519.8   118973   14564   5762  9492  20255 1162502 289200  247.5  36  217
534.16/534.20	c s  534.2   118979   14564   5762  9492  20255 1188851 313318  246.9  39  234
550.27/550.33	c s  550.3   118980   14564   5762  9492  20255 1218174 313480  247.8  32  238
570.97/571.09	c s  571.1   118990   14563   5762  9493  20255 1249822 313375  248.2  37  238
607.57/607.64	c
607.57/607.64	c       original/binary      fixed     eliminated      learned       agility
607.57/607.64	c   seconds        variables     equivalent    conflicts       height       MB
607.57/607.64	c
607.57/607.64	c s  607.6   118991   14563   5762  9493  20255 1299736 316589  248.9  16  241
627.47/627.54	c s  627.5   118998   14563   5762  9493  20255 1334675 313368  249.5  25  222
646.57/646.67	c s  646.7   118926   14553   5764  9501  20255 1363779 312464  250.0  36  218
663.97/664.03	c s  664.0   118930   14552   5764  9502  20255 1388141 322167  250.6  34  231
680.17/680.24	c s  680.2   118909   14550   5764  9504  20255 1416135 313336  250.9  36  222
695.67/695.72	c s  695.7   118929   14550   5764  9504  20255 1444853 313419  251.6  40  225
696.87/696.93	c +  696.9   118930   14549   5764  9505  20255 1447791 343464  251.6  34  229
709.07/709.20	c s  709.2   118936   14549   5764  9505  20255 1472677 338277  252.1  33  242
731.97/732.01	c s  732.0   118938   14549   5764  9505  20255 1509994 344666  252.8  32  246
750.37/750.46	c s  750.4   118939   14549   5764  9505  20255 1539762 344678  252.9  37  246
770.67/770.75	c s  770.7   118927   14548   5764  9506  20255 1569740 344787  253.4  32  243
788.87/788.96	c s  789.0   118940   14547   5764  9507  20255 1599982 344570  253.4  24  240
822.97/823.04	c s  823.0   118941   14547   5764  9507  20255 1668947 354983  254.9  35  257
839.77/839.87	c s  839.9   118946   14547   5764  9507  20255 1692507 347648  255.0  39  253
857.48/857.59	c s  857.6   118948   14547   5764  9507  20255 1717971 355419  255.0  32  258
878.68/878.78	c s  878.8   118944   14546   5764  9508  20255 1756008 344796  255.5  35  244
909.08/909.11	c +  909.1   118944   14546   5764  9508  20255 1809735 377810  256.6  35  262
925.28/925.33	c s  925.3   118943   14545   5764  9509  20255 1836675 374940  257.0  35  275
940.28/940.37	c s  940.4   118945   14545   5764  9509  20255 1867191 389142  257.6  36  286
957.68/957.74	c
957.68/957.74	c       original/binary      fixed     eliminated      learned       agility
957.68/957.74	c   seconds        variables     equivalent    conflicts       height       MB
957.68/957.74	c
957.68/957.74	c s  957.7   118946   14545   5764  9509  20255 1902719 382742  258.0  27  283
975.28/975.39	c s  975.4   118948   14545   5764  9509  20255 1932171 383975  258.3  39  287
994.58/994.69	c s  994.7   118942   14544   5764  9510  20255 1965967 379091  258.7  30  276
1013.98/1014.00	c s 1014.0   118946   14544   5764  9510  20255 2001194 379404  259.0  30  276
1030.38/1030.45	c s 1030.5   118951   14544   5764  9510  20255 2034222 379073  259.3  34  268
1036.38/1036.45	c B 1036.5   118951   14544   5764  9510  20255 2048348 378822  259.4  35  272
1108.99/1109.08	c s 1109.1   118952   14544   5764  9510  20255 2189717 378651  260.6  21  268
1147.98/1148.08	c + 1148.1   118952   14544   5764  9510  20255 2262166 415591  260.8  34  321
1276.69/1276.70	c N 1276.7   118952   14544   5764  9510  20255 2388295 540721  261.0  40  476
1320.49/1320.59	c s 1320.6   118953   14544   5764  9510  20255 2415928 568353  261.0  34  505
1356.69/1356.78	c s 1356.8   118954   14544   5764  9510  20255 2459385 598375  261.2  35  535
1386.09/1386.17	c s 1386.2   119152   14544   5764  9510  20255 2497941 575720  261.5  35  529
1428.80/1428.84	c s 1428.8   119137   14543   5764  9511  20255 2540077 589293  261.6  41  549
1470.90/1470.90	c s 1470.9   119141   14542   5764  9512  20255 2586095 529500  261.6  33  508
1511.00/1511.03	c s 1511.0   119142   14542   5764  9512  20255 2630300 513859  261.5  42  487
1682.10/1682.11	c + 1682.1   119142   14542   5764  9512  20255 2827705 457150  262.7  32  423
2019.11/2019.13	c s 2019.2   119143   14542   5764  9512  20255 3052114 346595  263.9  11  353
2055.81/2055.89	c s 2055.9   119153   14535   5764  9519  20255 3088616 383075  263.5  37  370
2083.32/2083.38	c s 2083.4   119158   14534   5764  9520  20255 3120468 414920  263.6  34  393
2536.53/2536.58	c
2536.53/2536.58	c       original/binary      fixed     eliminated      learned       agility
2536.53/2536.58	c   seconds        variables     equivalent    conflicts       height       MB
2536.53/2536.58	c
2536.53/2536.58	c + 2536.6   119158   14534   5764  9520  20255 3534631 502865  266.1  38  473
2671.72/2671.78	c N 2671.8   119158   14534   5764  9520  20255 3618536 589243  266.5  39  564
2767.94/2767.97	c s 2768.0   119162   14534   5764  9520  20255 3681047 641729  267.0  37  591
2901.63/2901.66	c s 2901.7   119163   14534   5764  9520  20255 3797591 725704  267.4  15  676
2983.94/2983.96	c s 2984.0   119159   14532   5764  9522  20255 3858707 662455  267.7  38  595
3044.86/3044.85	c s 3044.9   119148   14529   5764  9525  20255 3914814 503831  267.5  29  420
3078.35/3078.35	c s 3078.4   119514   14526   5764  9528  20255 3965344 503430  267.7  19  393
3564.96/3564.93	c s 3565.0   119517   14526   5764  9528  20255 4400206 503628  270.2  25  496
3581.36/3581.34	c + 3581.4   119517   14526   5764  9528  20255 4418285 553151  270.3  37  518
3663.46/3663.46	c s 3663.5   119518   14526   5764  9528  20255 4492417 581056  270.6  27  568
3712.36/3712.34	c s 3712.4   119509   14525   5764  9529  20255 4540063 616474  270.8  31  604
3747.86/3747.82	c s 3747.9   119512   14525   5764  9529  20255 4591441 554105  271.2  35  528
3757.96/3757.93	c B 3758.0   119512   14525   5764  9529  20255 4608698 554174  271.1  32  538
3783.06/3783.02	c s 3783.1   119499   14523   5764  9531  20255 4636548 554079  271.0  26  509
3840.07/3840.05	c s 3840.1   119500   14523   5764  9531  20255 4718105 553606  271.4  22  454
4100.67/4100.64	c s 4100.7   119501   14523   5764  9531  20255 5005451 554198  272.7  25  461
4244.48/4244.48	c s 4244.6   119502   14523   5764  9531  20255 5160671 595771  273.7  26  514
4289.78/4289.75	c s 4289.8   119504   14523   5764  9531  20255 5219546 565726  273.8  38  488
4358.68/4358.63	c s 4358.7   119499   14522   5764  9532  20255 5299947 554121  273.6  26  472
4409.08/4409.05	c
4409.08/4409.05	c       original/binary      fixed     eliminated      learned       agility
4409.08/4409.05	c   seconds        variables     equivalent    conflicts       height       MB
4409.08/4409.05	c
4409.08/4409.05	c s 4409.1   119500   14517   5764  9537  20255 5337644 554043  273.6  37  468
4548.18/4548.18	c s 4548.3   119501   14517   5764  9537  20255 5464749 553925  273.9  13  471
4589.58/4589.59	c s 4589.7   119502   14517   5764  9537  20255 5512625 553897  274.0  25  467
4597.68/4597.69	c + 4597.8   119503   14517   5764  9537  20255 5522855 608466  274.0  38  483
4621.09/4621.04	c s 4621.1   119503   14517   5764  9537  20255 5550341 581697  274.0  36  495
5000.00/4999.91	c
5000.00/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.00/4999.91	c
5000.00/4999.91	c 5817370 conflicts, 9623052 decisions, 23 random
5000.00/4999.91	c 111 iterations, 1163 restarts, 10592 skipped
5000.00/4999.91	c 19 enlarged, 8848 shrunken, 56914 rescored, 1242 rebiased
5000.00/4999.91	c 93 simplifications, 1 reductions
5000.00/4999.91	c
5000.00/4999.91	c vars: 5764 fixed, 9537 equiv, 20255 elim, 9934 merged
5000.00/4999.91	c elim: 12747985 resolutions, 61 phases, 31 rounds
5000.00/4999.91	c sbst: 100% substituted, 0.2% nots, 95.8% ands, 4.0% xors, 0.0% ites
5000.00/4999.91	c arty: 2.00 and 2.01 xor average arity
5000.00/4999.91	c prbe: 8724165 probed, 290 phases, 297 rounds
5000.00/4999.91	c prbe: 57 failed, 121 lifted, 202 merged
5000.00/4999.91	c sccs: 40 non trivial, 0 fixed, 68 merged
5000.00/4999.91	c hash: 51 units, 9664 merged
5000.00/4999.91	c mins: 1242963259 learned, 18% deleted, 2392 strong, 83 depth
5000.00/4999.91	c subs: 15197 forward, 89178 backward, 194756 doms
5000.00/4999.91	c strs: 12654 forward, 126 backward
5000.00/4999.91	c doms: 196012 dominators, 186624 high, 130 low
5000.00/4999.91	c prps: 3702251094 propagations, 0.74 megaprops
5000.00/4999.91	c
5000.00/4999.91	c 5000.0 seconds, 716 MB max, 192 MB recycled
5000.00/4999.91	c
5000.00/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.00/4999.91	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-3365533-1305315244/watcher-3365533-1305315244 -o /tmp/evaluation-result-3365533-1305315244/solver-3365533-1305315244 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365533-1305315244.cnf 

running on 4 cores: 1,3,5,7

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: 0.00 0.00 0.00 2/351 5141
/proc/meminfo: memFree=21651348/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=5312 CPUtime=0 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 1242 0 0 0 0 0 0 0 21 0 1 0 643122195 5439488 1200 33554432000 134512640 135151029 4290612240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 1328 1201 65 156 0 1171 0

[startup+0.054831 s]
/proc/loadavg: 0.00 0.00 0.00 2/351 5141
/proc/meminfo: memFree=21651348/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=10576 CPUtime=0.05 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 2588 0 0 0 5 0 0 0 21 0 1 0 643122195 10829824 2513 33554432000 134512640 135151029 4290612240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 2644 2513 65 156 0 2487 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10576

[startup+0.100836 s]
/proc/loadavg: 0.00 0.00 0.00 2/351 5141
/proc/meminfo: memFree=21651348/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=14956 CPUtime=0.09 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 3738 0 0 0 9 0 0 0 21 0 1 0 643122195 15314944 3598 33554432000 134512640 135151029 4290612240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 3739 3600 65 156 0 3582 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14956

[startup+0.300788 s]
/proc/loadavg: 0.00 0.00 0.00 2/351 5141
/proc/meminfo: memFree=21651348/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=20584 CPUtime=0.29 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 5843 0 0 0 29 0 0 0 22 0 1 0 643122195 21078016 4991 33554432000 134512640 135151029 4290612240 18446744073709551615 134578384 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 5146 4991 80 156 0 4989 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20584

[startup+0.70072 s]
/proc/loadavg: 0.00 0.00 0.00 2/351 5141
/proc/meminfo: memFree=21651348/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=25772 CPUtime=0.69 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 7371 0 0 0 69 0 0 0 23 0 1 0 643122195 26390528 6262 33554432000 134512640 135151029 4290612240 18446744073709551615 134564450 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 6443 6262 80 156 0 6286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25772

[startup+1.50057 s]
/proc/loadavg: 0.00 0.00 0.00 3/355 5148
/proc/meminfo: memFree=21533652/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=22120 CPUtime=1.49 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 7373 0 0 0 149 0 0 0 25 0 1 0 643122195 22650880 5351 33554432000 134512640 135151029 4290612240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 5530 5351 80 156 0 5373 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22120

[startup+3.10029 s]
/proc/loadavg: 0.00 0.00 0.00 3/355 5148
/proc/meminfo: memFree=21448836/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=27868 CPUtime=3.09 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 8799 0 0 0 309 0 0 0 25 0 1 0 643122195 28536832 6777 33554432000 134512640 135151029 4290612240 18446744073709551615 134567976 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 6967 6777 80 156 0 6810 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27868

[startup+6.3007 s]
/proc/loadavg: 0.24 0.05 0.02 3/355 5149
/proc/meminfo: memFree=21393252/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=29324 CPUtime=6.29 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 9337 0 0 0 629 0 0 0 25 0 1 0 643122195 30027776 7119 33554432000 134512640 135151029 4290612240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 7331 7119 80 156 0 7174 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29324

[startup+12.7006 s]
/proc/loadavg: 0.38 0.08 0.03 3/355 5149
/proc/meminfo: memFree=21381488/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=32416 CPUtime=12.7 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 11638 0 0 0 1269 1 0 0 25 0 1 0 643122195 33193984 7918 33554432000 134512640 135151029 4290612240 18446744073709551615 134542724 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 8104 7918 80 156 0 7947 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 32416

[startup+25.5002 s]
/proc/loadavg: 0.87 0.21 0.07 3/355 5149
/proc/meminfo: memFree=21354436/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=51760 CPUtime=25.49 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 18737 0 0 0 2547 2 0 0 25 0 1 0 643122195 53002240 12762 33554432000 134512640 135151029 4290612240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 12940 12762 80 156 0 12783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51760

[startup+51.1006 s]
/proc/loadavg: 1.26 0.35 0.12 3/355 5150
/proc/meminfo: memFree=21339460/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=87572 CPUtime=51.09 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 30693 0 0 0 5105 4 0 0 25 0 1 0 643122195 89673728 21710 33554432000 134512640 135151029 4290612240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 21893 21710 80 156 0 21736 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87572

[startup+102.313 s]
/proc/loadavg: 1.68 0.60 0.21 3/355 5151
/proc/meminfo: memFree=20578728/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=124764 CPUtime=102.3 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 44499 0 0 0 10222 8 0 0 25 0 1 0 643122195 127758336 31008 33554432000 134512640 135151029 4290612240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 31191 31008 80 156 0 31034 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 124764

[startup+162.301 s]
/proc/loadavg: 1.88 0.85 0.32 3/355 5153
/proc/meminfo: memFree=19658744/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=192920 CPUtime=162.29 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 62964 0 0 0 16217 12 0 0 25 0 1 0 643122195 197550080 47969 33554432000 134512640 135151029 4290612240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 48230 47969 80 156 0 48073 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 192920

[startup+222.301 s]
/proc/loadavg: 2.00 1.07 0.43 3/355 5154
/proc/meminfo: memFree=19273640/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=217036 CPUtime=222.29 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 71731 0 0 0 22215 14 0 0 25 0 1 0 643122195 222244864 54056 33554432000 134512640 135151029 4290612240 18446744073709551615 134580721 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 54259 54056 80 156 0 54102 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 217036

[startup+282.301 s]
/proc/loadavg: 2.00 1.24 0.53 3/355 5156
/proc/meminfo: memFree=18491648/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=217036 CPUtime=282.29 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 73893 0 0 0 28215 14 0 0 25 0 1 0 643122195 222244864 54062 33554432000 134512640 135151029 4290612240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 54259 54062 80 156 0 54102 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 217036

[startup+342.301 s]
/proc/loadavg: 2.00 1.38 0.62 3/355 5158
/proc/meminfo: memFree=17978860/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=217036 CPUtime=342.3 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 74481 0 0 0 34216 14 0 0 25 0 1 0 643122195 222244864 54062 33554432000 134512640 135151029 4290612240 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 54259 54062 80 156 0 54102 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 217036

[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.70 3/355 5159
/proc/meminfo: memFree=17621912/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=243916 CPUtime=402.29 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 81746 0 0 0 40214 15 0 0 25 0 1 0 643122195 249769984 60739 33554432000 134512640 135151029 4290612240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 60979 60739 80 156 0 60822 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 243916

[startup+462.3 s]
/proc/loadavg: 2.67 1.72 0.83 2/352 5178
/proc/meminfo: memFree=18014460/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=253280 CPUtime=462.27 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 84896 0 0 0 46211 16 0 0 25 0 1 0 643122195 259358720 63138 33554432000 134512640 135151029 4290612240 18446744073709551615 134551631 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 63320 63138 80 156 0 63163 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 253280

[startup+522.3 s]
/proc/loadavg: 3.71 2.20 1.04 2/352 5179
/proc/meminfo: memFree=20850192/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=253280 CPUtime=522.27 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 87347 0 0 0 52211 16 0 0 25 0 1 0 643122195 259358720 63140 33554432000 134512640 135151029 4290612240 18446744073709551615 134580473 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 63320 63140 80 156 0 63163 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 253280

[startup+582.301 s]
/proc/loadavg: 2.66 2.17 1.10 3/355 5192
/proc/meminfo: memFree=21257064/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=265292 CPUtime=582.27 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 92067 0 0 0 58210 17 0 0 25 0 1 0 643122195 271659008 66128 33554432000 134512640 135151029 4290612240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 66323 66128 80 156 0 66166 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 265292

[startup+642.301 s]

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

[startup+4062.31 s]
/proc/loadavg: 2.06 2.02 1.95 3/355 5540
/proc/meminfo: memFree=20474208/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4062.38 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222383 0 0 0 406181 57 0 0 25 0 1 0 643122195 757977088 184766 33554432000 134512640 135151029 4290612240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184766 80 156 0 184896 0
Current children cumulated CPU time (s) 4062.38
Current children cumulated vsize (KiB) 740212

[startup+4122.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/355 5541
/proc/meminfo: memFree=20474156/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4122.37 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222383 0 0 0 412180 57 0 0 25 0 1 0 643122195 757977088 184766 33554432000 134512640 135151029 4290612240 18446744073709551615 134555150 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184766 80 156 0 184896 0
Current children cumulated CPU time (s) 4122.37
Current children cumulated vsize (KiB) 740212

[startup+4182.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/355 5543
/proc/meminfo: memFree=20474848/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4182.37 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222383 0 0 0 418180 57 0 0 25 0 1 0 643122195 757977088 184766 33554432000 134512640 135151029 4290612240 18446744073709551615 134567814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184766 80 156 0 184896 0
Current children cumulated CPU time (s) 4182.37
Current children cumulated vsize (KiB) 740212

[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/355 5545
/proc/meminfo: memFree=20475192/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4242.38 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222383 0 0 0 424181 57 0 0 25 0 1 0 643122195 757977088 184766 33554432000 134512640 135151029 4290612240 18446744073709551615 134521592 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184766 80 156 0 184896 0
Current children cumulated CPU time (s) 4242.38
Current children cumulated vsize (KiB) 740212

[startup+4302.3 s]
/proc/loadavg: 2.12 2.03 1.96 3/355 5546
/proc/meminfo: memFree=20475036/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4302.38 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222383 0 0 0 430181 57 0 0 25 0 1 0 643122195 757977088 184766 33554432000 134512640 135151029 4290612240 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184766 80 156 0 184896 0
Current children cumulated CPU time (s) 4302.38
Current children cumulated vsize (KiB) 740212

[startup+4362.3 s]
/proc/loadavg: 2.05 2.02 1.96 3/355 5575
/proc/meminfo: memFree=20748420/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4362.38 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222594 0 0 0 436181 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4362.38
Current children cumulated vsize (KiB) 740212

[startup+4422.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/355 5576
/proc/meminfo: memFree=20734244/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4422.38 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 442181 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4422.38
Current children cumulated vsize (KiB) 740212

[startup+4482.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/355 5578
/proc/meminfo: memFree=20727024/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4482.38 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 448181 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4482.38
Current children cumulated vsize (KiB) 740212

[startup+4542.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/355 5580
/proc/meminfo: memFree=20727112/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4542.38 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 454181 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4542.38
Current children cumulated vsize (KiB) 740212

[startup+4602.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/355 5581
/proc/meminfo: memFree=20719020/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4602.39 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 460182 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4602.39
Current children cumulated vsize (KiB) 740212

[startup+4662.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/355 5583
/proc/meminfo: memFree=20717352/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4662.39 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 466182 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4662.39
Current children cumulated vsize (KiB) 740212

[startup+4722.31 s]
/proc/loadavg: 2.01 2.02 1.97 3/355 5584
/proc/meminfo: memFree=20718056/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4722.4 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 472183 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4722.4
Current children cumulated vsize (KiB) 740212

[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/355 5586
/proc/meminfo: memFree=20714308/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4782.39 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 478182 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4782.39
Current children cumulated vsize (KiB) 740212

[startup+4842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/355 5588
/proc/meminfo: memFree=20711292/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4842.39 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 484182 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554848 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4842.39
Current children cumulated vsize (KiB) 740212

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/355 5589
/proc/meminfo: memFree=20711152/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4902.39 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 490182 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554879 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4902.39
Current children cumulated vsize (KiB) 740212

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/355 5591
/proc/meminfo: memFree=20706412/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=4962.39 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222790 0 0 0 496182 57 0 0 25 0 1 0 643122195 757977088 184781 33554432000 134512640 135151029 4290612240 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184781 80 156 0 184896 0
Current children cumulated CPU time (s) 4962.39
Current children cumulated vsize (KiB) 740212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/355 5592
/proc/meminfo: memFree=20702928/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=5000 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222791 0 0 0 499943 57 0 0 25 0 1 0 643122195 757977088 184782 33554432000 134512640 135151029 4290612240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184782 80 156 0 184896 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 740212

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

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

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/355 5592
/proc/meminfo: memFree=20702928/32951124 swapFree=65581052/67111528
[pid=5141] ppid=5139 vsize=740212 CPUtime=5000 cores=1,3,5,7
/proc/5141/stat : 5141 (precosat) R 5139 5141 5109 0 -1 4202496 222791 0 0 0 499943 57 0 0 25 0 1 0 643122195 757977088 184782 33554432000 134512640 135151029 4290612240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/5141/statm: 185053 184782 80 156 0 184896 0
Current children cumulated CPU time (s) 5000
Current children cumulated vsize (KiB) 740212

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.94
CPU time (s): 5000.05
CPU user time (s): 4999.44
CPU system time (s): 0.602908
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 745900

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

runsolver used 15.8886 second user time and 38.9661 second system time

The end

Launcher Data 

Begin job on node137 at 2011-05-13 21:34:05
IDJOB=3365533
IDBENCH=20483
IDSOLVER=1843
FILE ID=node137/3365533-1305315244
RUNJOBID= node137-1305315243-5128
PBS_JOBID= 13324295
Free space on /tmp= 37824 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT07/industrial/crypto/mizh-sha0-36-2.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365533-1305315244/watcher-3365533-1305315244 -o /tmp/evaluation-result-3365533-1305315244/solver-3365533-1305315244 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365533-1305315244.cnf

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

MD5SUM BENCH= 82bf685774b76ba263c886940c3aa94d
RANDOM SEED=1631251995

node137.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.844
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.68
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.844
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.844
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.74
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.844
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.74
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.844
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.82
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.844
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.75
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.844
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.83
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.844
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:      21651620 kB
Buffers:        206672 kB
Cached:        3437928 kB
SwapCached:      36296 kB
Active:        1522508 kB
Inactive:      9565112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21651620 kB
SwapTotal:    67111528 kB
SwapFree:     65581052 kB
Dirty:           19432 kB
Writeback:           0 kB
AnonPages:     7416564 kB
Mapped:          18660 kB
Slab:           108644 kB
PageTables:      38528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 75897064 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= 37836 MiB
End job on node137 at 2011-05-13 22:57:27