Trace number 3369460

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
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.24 1203.24

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
MD5SUMe44b288003a3eaf34673a2c0fb8c6f3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.02
Satisfiable
(Un)Satisfiability was proved
Number of variables131484
Number of clauses2120376
Sum of the clauses size4841016
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22046240
Number of clauses of size 35760
Number of clauses of size 426640
Number of clauses of size 511520
Number of clauses of size over 529520

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369460-1305393435.cnf'
0.00/0.01	c -- header says num vars:         131484
0.00/0.01	c -- header says num clauses:     2120376
1.67/0.53	c -- clauses added:            0 learnts,      2120376 normals,            0 xors
1.67/0.53	c -- vars added     131484
1.67/0.53	c Parsing time:  1.79 s
1.67/0.53	c  N st     0         0    131484     61722   1684996         0   3992465         0   no data   no data  --
3.11/0.87	c asymm  cl-useful: 550/1122/51648 lits-rem:24294 time: 1.29
28.23/7.15	c Flit:   262 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 24.91
28.23/7.18	c Cleaning up after failed var search:     0.13 s 
28.63/7.23	c Replacing      503 vars Replaced    29208 lits Time:     0.20 s 
29.44/7.42	c bin-w-bin subsume rem          734 bins  time:  0.40 s
30.24/7.65	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.95 s
43.82/11.02	c Subs w/ non-existent bins:      0 l-rem:    303 v-fix:     0 done:  29502 time: 13.39 s
44.24/11.19	c Removed useless bin:    4124  fixed:     0  props:  20.00M  time:  0.67 s
45.79/11.54	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  1.43 s
45.79/11.58	c Finding binary XORs  T:     0.14 s  found:     192
46.19/11.62	c Replacing      192 vars Replaced    15183 lits Time:     0.18 s 
46.19/11.69	c Finding non-binary XORs:     0.12 s (found:       0, avg size: nan)
46.19/11.69	c Calc default polars -  time:   0.08 s pos:    2561 undec:   52215 neg:   76708
46.19/11.69	c =========================================================================================
46.19/11.69	c types(t): F = full restart, N = normal restart
46.19/11.69	c types(t): S = simplification begin/end, E = solution found
46.19/11.69	c restart types(rt): st = static, dy = dynamic
46.19/11.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
46.19/11.69	c  B st     0         0     79276     46662   1051369         0   2532385         0   no data   no data  --
71.73/18.02	c  N dy    18      4177     79246     46662   1051434      4074   2532385   2773018     29.66     31.73  --
95.67/24.04	c  N dy    39      8211     78815     46662   1052136      8009   2532385   5338302     33.44     66.41  --
125.19/31.45	c  N dy    58     13243     78794     46662   1052235     12908   2532385   8851387     32.69     39.64  --
146.73/36.84	c  N dy    67     17378     78682     46662   1052668     16952   2532385  11070175     31.51     33.41  --
170.27/42.79	c  N dy    82     21673     78598     46662   1052904     11405   2532385   1978985     29.87     34.83  --
189.41/47.58	c  F st    98     25000     78593     46662   1052951     14659   2532385   4130401     29.09   no data  --
203.38/51.06	c  N st   101     26190     78581     46331   1041881     15696   2505052   6064782     29.09   no data  --
223.75/56.17	c  S st   104     30005     78509     46331   1041933     19439   2505052   8699563     29.09   no data  --
226.53/56.85	c  S st   104     30505     78509     46331   1041940     19931   2505052   8875619     29.09   no data  --
226.93/56.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
306.33/76.86	c Flit:   473 Blit:   1477 bXBeca:    0 bXProp:  163 Bins: 150022 BRemL:      3 BRemN:    748 P: 200.0M T: 79.53
306.73/76.92	c Cleaning up after failed var search:     0.25 s 
307.92/77.20	c Replacing      164 vars Replaced    37168 lits Time:     1.08 s 
311.12/78.04	c bin-w-bin subsume rem          969 bins  time:  0.36 s
317.09/79.50	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  5.84 s
318.29/79.81	c Subs w/ non-existent bins:      7 l-rem:    736 v-fix:     6 done:   1229 time:  1.25 s
319.09/80.04	c Removed useless bin:   14564  fixed:     0  props:  20.00M  time:  0.89 s
331.06/83.01	c lits-rem:       285  cl-subs:      922  v-elim:      0  v-fix:    0  time: 11.87 s
332.26/83.37	c asymm  cl-useful: 17/697/45263 lits-rem:39 time: 1.43
332.66/83.40	c  N dy   104     30505     76142     45263   1129483     18458   2387352   8466723     29.09   no data  --
332.66/83.45	c Finding binary XORs  T:     0.15 s  found:     118
355.41/89.17	c  N dy   120     34557     76113     45263   1130245     22435   2387352  10874178     28.91     31.89  --
378.53/94.94	c  N dy   137     38686     76109     45263   1131190     26498   2387352  13410000     28.91     30.52  --
407.27/102.12	c  N dy   151     43101     76103     45263   1131238     16007   2387352   2188351     28.33     30.66  --
423.22/106.19	c  S st   159     45757     76100     45263   1131263     18616   2387352   3814106     28.08   no data  --
426.06/106.86	c  S st   159     46257     76099     45263   1131272     19106   2387352   3933182     28.08   no data  --
426.41/106.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
468.31/117.46	c Flit:   256 Blit:    364 bXBeca:    0 bXProp:   25 Bins:  85103 BRemL:      0 BRemN:    365 P: 200.0M T: 42.05
468.31/117.46	c Cleaning up after failed var search:     0.00 s 
469.11/117.61	c Replacing      144 vars Replaced    13329 lits Time:     0.58 s 
470.30/117.95	c bin-w-bin subsume rem         1138 bins  time:  0.38 s
476.28/119.43	c subs with bin:       59  lits-rem:       403  v-fix:    0  time:  5.90 s
478.73/120.07	c Subs w/ non-existent bins:     10 l-rem:   1056 v-fix:     4 done:   3673 time:  2.54 s
479.48/120.29	c Removed useless bin:   11535  fixed:     0  props:  20.01M  time:  0.89 s
485.86/121.86	c lits-rem:       468  cl-subs:      451  v-elim:      6  v-fix:    0  time:  6.25 s
487.50/122.23	c asymm  cl-useful: 315/435/44955 lits-rem:4860 time: 1.46
487.50/122.25	c  N dy   159     46257     75326     44955   1186280     18506   2332516   3966545     28.08   no data  --
487.86/122.30	c Finding binary XORs  T:     0.15 s  found:      51
511.80/128.30	c  N dy   179     50874     75013     44955   1223290     23050   2332516   6622928     28.39     30.38  --
532.53/133.59	c  N dy   194     55438     74844     44955   1223340     27528   2332516   8603297     28.13     30.16  --
542.92/136.12	c Finding binary XORs  T:     0.15 s  found:     107
569.26/142.79	c  N dy   219     60463     74838     44686   1204920     32334   2313915  11872696     28.16     30.86  --
602.75/151.16	c  N dy   237     65321     74826     44686   1205350     19014   2313915   2377193     28.12     30.30  --
627.93/157.42	c  S st   253     69385     74822     44686   1205620     23015   2313915   4853002     27.79   no data  --
630.69/158.13	c  S st   253     69886     74822     44686   1205630     23506   2313915   5000424     27.79   no data  --
630.69/158.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
686.55/172.17	c Flit:   116 Blit:    109 bXBeca:    0 bXProp:   13 Bins: 116351 BRemL:     34 BRemN:    358 P: 200.0M T: 55.77
686.55/172.17	c Cleaning up after failed var search:     0.00 s 
687.34/172.39	c Replacing      171 vars Replaced    29638 lits Time:     0.87 s 
688.96/172.80	c bin-w-bin subsume rem          994 bins  time:  0.44 s
694.92/174.29	c subs with bin:        1  lits-rem:         3  v-fix:    0  time:  5.91 s
697.31/174.86	c Subs w/ non-existent bins:     19 l-rem:    984 v-fix:     0 done:   2433 time:  2.29 s
698.15/175.08	c Removed useless bin:    5836  fixed:     0  props:  20.00M  time:  0.83 s
706.10/177.01	c lits-rem:       316  cl-subs:      520  v-elim:      0  v-fix:    0  time:  7.74 s
707.29/177.35	c asymm  cl-useful: 3/868/44572 lits-rem:18 time: 1.34
707.29/177.38	c  N dy   253     69886     74445     44572   1309425     22912   2291915   5092843     27.79   no data  --
707.69/177.42	c Finding binary XORs  T:     0.16 s  found:      22
746.79/187.23	c  N dy   261     74586     74445     44572   1309458     27565   2291915  10420228     27.22     29.34  --
776.74/194.74	c  N dy   273     79438     74258     44572   1342710     32368   2291915  14010221     26.75     28.90  --
784.70/196.71	c Finding binary XORs  T:     0.16 s  found:      81
809.83/203.03	c  N dy   291     84588     74115     44371   1323220     37276   2277824  17482658     26.62     28.49  --
826.99/207.38	c  F st   304     87500     74108     44371   1323448     40158   2277824  19540195     26.54   no data  --
828.99/207.86	c Replacing      103 vars Replaced    49211 lits Time:     1.62 s 
849.73/213.01	c  N st   309     90800     74006     44368   1322949     23167   2277167   3408687     26.54   no data  --
899.62/225.55	c  N dy   325     96632     74005     44368   1323275     28906   2277167   9263559     26.37     33.04  --
935.15/234.42	c  N dy   348    102862     74003     44368   1323446     35061   2277167  12655421     26.31     28.21  --
944.28/236.71	c  S st   356    104832     74003     44368   1323461     37012   2277167  13587431     26.26     13.61  --
947.08/237.41	c  S st   356    105333     74002     44368   1323469     37503   2277167  13718301     26.26   no data  --
947.08/237.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.28
995.36/249.57	c Flit:    94 Blit:     73 bXBeca:    0 bXProp:   12 Bins:  88979 BRemL:      0 BRemN:    373 P: 200.0M T: 48.20
995.36/249.57	c Cleaning up after failed var search:     0.00 s 
996.18/249.79	c Replacing       13 vars Replaced     3724 lits Time:     0.85 s 
1000.15/250.75	c bin-w-bin subsume rem         1062 bins  time:  0.50 s
1006.52/252.34	c subs with bin:       31  lits-rem:       680  v-fix:    0  time:  6.31 s
1007.73/252.66	c Subs w/ non-existent bins:     12 l-rem:    985 v-fix:     0 done:   1113 time:  1.31 s
1008.93/252.90	c Removed useless bin:   28431  fixed:     0  props:  20.00M  time:  0.95 s
1118.25/280.36	c lits-rem:        23  cl-subs:     1083  v-elim:      3  v-fix:    0  time: 109.47 s
1119.83/280.72	c asymm  cl-useful: 4/369/44294 lits-rem:4 time: 1.42
1119.83/280.75	c  N dy   356    105333     73817     44294   1377901     36341   2213295  13556576     26.26   no data  --
1119.83/280.78	c Finding binary XORs  T:     0.16 s  found:       7
1150.20/288.33	c Finding binary XORs  T:     0.16 s  found:       9
1162.53/291.50	c  N dy   383    112697     73772     44277   1529657     43599   2211803  18044687     26.44     28.15  --
1203.23/301.68	c  N dy   398    119972     73770     44277   1530058     28881   2211803   5986158     26.06     27.93  --
1241.13/311.18	c  N dy   416    127675     73769     44277   1530201     36464   2211803   8891599     25.59     27.68  --
1294.62/324.57	c  N dy   454    136010     73769     44277   1530261     44698   2211803  13509448     25.42     27.72  --
1348.06/337.91	c  N dy   474    145096     73768     44277   1530461     30406   2211803   6078483     25.00     28.11  --
1388.36/348.06	c Finding binary XORs  T:     0.16 s  found:      14
1402.73/351.63	c  N dy   497    154453     73672     44239   1544630     39623   2208281  11245246     24.63     45.01  --
1418.68/355.61	c  S st   502    158000     73580     44239   1596229     43136   2208281  12537526     24.41     17.30  --
1421.08/356.28	c  S st   502    158500     73580     44239   1596242     43621   2208281  12654743     24.41   no data  --
1421.48/356.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.28
1464.56/367.15	c Flit:    74 Blit:     15 bXBeca:    0 bXProp:    0 Bins:  65160 BRemL:     34 BRemN:    356 P: 200.0M T: 43.07
1465.78/367.47	c Replacing       30 vars Replaced    10443 lits Time:     1.23 s 
1469.36/368.34	c bin-w-bin subsume rem          406 bins  time:  0.65 s
1475.33/369.88	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  6.13 s
1476.94/370.27	c Subs w/ non-existent bins:     16 l-rem:   1073 v-fix:     0 done:   1279 time:  1.54 s
1478.14/370.50	c Removed useless bin:    7745  fixed:     0  props:  20.00M  time:  0.90 s
1611.79/404.06	c lits-rem:       168  cl-subs:     1265  v-elim:      1  v-fix:    0  time: 133.77 s
1613.39/404.45	c asymm  cl-useful: 6/461/44134 lits-rem:54 time: 1.53
1613.39/404.48	c  N dy   502    158500     73453     44134   1641741     42290   2184959  12439622     24.41   no data  --
1613.79/404.52	c Finding binary XORs  T:     0.17 s  found:      34
1676.45/420.30	c  N dy   532    170113     73443     44134   1642641     29734   2184959   4273110     24.00     26.04  --
1735.07/434.91	c  N dy   570    181015     73442     44134   1643027     40529   2184959  10257365     23.79     51.88  --
1745.86/437.69	c Finding binary XORs  T:     0.18 s  found:      18
1803.72/452.14	c  N dy   606    192919     73391     44113   1767271     28644   2182492   2633198     23.63     25.24  --
1865.17/467.59	c  N dy   644    205458     73382     44113   1767641     41049   2182492   8168289     23.41     25.62  --
1946.14/487.90	c  N dy   693    218676     73380     44113   1767925     54143   2182492  15306949     23.22     26.24  --
2059.85/516.31	c  N dy   738    234803     73370     44113   1768204     45537   2182492  13770134     22.93     24.99  --
2074.22/519.93	c  S st   747    237750     73369     44113   1768544     48450   2182492  14897223     22.91   no data  --
2077.81/520.87	c  S st   747    238252     73366     44113   1768564     48931   2182492  15089456     22.91   no data  --
2078.21/520.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.31
2124.10/532.45	c Flit:    67 Blit:     30 bXBeca:    0 bXProp:    6 Bins:  49195 BRemL:      1 BRemN:    296 P: 200.0M T: 45.86
2125.68/532.89	c Replacing       59 vars Replaced    24690 lits Time:     1.71 s 
2130.07/533.92	c bin-w-bin subsume rem         1705 bins  time:  0.72 s
2136.46/535.57	c subs with bin:        3  lits-rem:        44  v-fix:    0  time:  6.56 s
2137.69/535.84	c Subs w/ non-existent bins:      1 l-rem:    861 v-fix:     0 done:    449 time:  1.10 s
2138.84/536.10	c Removed useless bin:   10586  fixed:     0  props:  20.00M  time:  1.01 s
2276.90/570.75	c lits-rem:        12  cl-subs:     1349  v-elim:      4  v-fix:    0  time: 138.16 s
2278.50/571.15	c asymm  cl-useful: 81/599/44038 lits-rem:1137 time: 1.58
2278.50/571.19	c  N dy   747    238252     73204     44038   1794576     47516   2154539  14442502     22.91   no data  --
2278.89/571.23	c Finding binary XORs  T:     0.18 s  found:      14
2366.66/593.29	c  N dy   813    253487     73201     44038   1795651     36642   2154539   3792269     22.83     32.81  --
2446.86/613.32	c  N dy   855    269712     73200     44038   1796000     52703   2154539  10847254     22.53     38.41  --
2549.41/639.09	c  N dy   913    288892     73195     44038   1796350     45411   2154539   6617303     22.34     23.80  --
2648.36/663.80	c  F st   975    306250     73195     44038   1796685     62621   2154539  16014220     22.24   no data  --
2649.55/664.12	c Replacing       14 vars Replaced     6390 lits Time:     1.03 s 
2658.34/666.39	c  N st   978    307439     73182     44036   1796358     63789   2154175  16923936     22.24   no data  --
2703.43/677.64	c Finding binary XORs  T:     0.17 s  found:      10
2781.22/697.19	c  N dy  1040    327182     73143     44020   1810801     55577   2152915  11579935     22.31     23.60  --
2900.92/727.20	c  N dy  1097    347185     73142     44020   1811016     46903   2152915   4637476     22.17     24.79  --
2968.73/744.17	c  S st  1138    357378     73139     44020   1811097     57024   2152915  10838438     22.13     19.81  --
2972.32/745.03	c  S st  1138    357880     73139     44020   1811111     57512   2152915  10963036     22.13   no data  --
2972.72/745.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.29
3039.75/761.90	c Flit:    17 Blit:     14 bXBeca:    0 bXProp:    0 Bins: 115250 BRemL:    501 BRemN:   3242 P: 200.0M T: 67.00
3040.55/762.13	c Replacing       10 vars Replaced     4273 lits Time:     0.88 s 
3043.74/762.98	c bin-w-bin subsume rem          553 bins  time:  0.79 s
3050.57/764.62	c subs with bin:       16  lits-rem:       296  v-fix:    0  time:  6.52 s
3051.73/764.99	c Subs w/ non-existent bins:     10 l-rem:   1044 v-fix:     0 done:   1004 time:  1.49 s
3052.93/765.25	c Removed useless bin:    7246  fixed:     0  props:  20.00M  time:  1.01 s
3129.15/784.31	c lits-rem:        47  cl-subs:     1473  v-elim:      0  v-fix:    0  time: 76.05 s
3130.72/784.77	c asymm  cl-useful: 36/763/44001 lits-rem:335 time: 1.81
3131.12/784.81	c  N dy  1138    357880     73097     44001   1912422     56007   2130225  11039896     22.13   no data  --
3131.12/784.86	c Finding binary XORs  T:     0.20 s  found:       4
3270.76/819.89	c Finding binary XORs  T:     0.19 s  found:      31
3277.16/821.49	c  N dy  1196    378523     72987     43930   1990597     46076   2125368   3448669     21.96     24.92  --
3401.68/852.63	c  N dy  1272    398700     72986     43930   1990918     66084   2125368  15759210     21.97     24.48  --
3423.97/858.27	c Finding binary XORs  T:     0.19 s  found:       6
3527.72/884.21	c  N dy  1336    420178     72959     43920   2013074     57151   2124381   7406489     21.84     23.10  --
3643.81/913.35	c  N dy  1386    440245     72959     43920   2013338     77060   2124381  17594337     21.70     23.83  --
3769.10/944.71	c  N dy  1415    460992     72955     43920   2013723     66265   2124381   9635021     21.41     23.09  --
3887.60/974.45	c  N dy  1480    481032     72951     43920   2014136     86165   2124381  19243208     21.32     23.30  --
4013.26/1005.93	c  N dy  1531    501636     72949     43920   2014429     74676   2124381  13127456     21.18     23.89  --
4162.87/1043.45	c  N dy  1565    525385     72948     43920   2014714     64776   2124381   7006212     20.94     22.05  --
4229.11/1060.08	c  S st  1602    536821     72948     43920   2015005     76141   2124381  12201065     20.91     16.60  --
4233.11/1061.03	c  S st  1602    537322     72948     43920   2015016     76631   2124381  12290468     20.91   no data  --
4233.51/1061.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.31
4283.81/1073.72	c Flit:    26 Blit:      5 bXBeca:    0 bXProp:    3 Bins:  88403 BRemL:     10 BRemN:    458 P: 200.0M T: 50.27
4285.36/1074.16	c Replacing       45 vars Replaced    30217 lits Time:     1.74 s 
4288.95/1075.03	c bin-w-bin subsume rem          856 bins  time:  0.88 s
4295.34/1076.64	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  6.42 s
4296.57/1076.94	c Subs w/ non-existent bins:      5 l-rem:    391 v-fix:     0 done:    289 time:  1.18 s
4297.34/1077.18	c Removed useless bin:    6178  fixed:     0  props:  20.01M  time:  0.95 s
4484.86/1124.19	c lits-rem:        12  cl-subs:     2490  v-elim:      5  v-fix:    0  time: 187.42 s
4486.85/1124.60	c asymm  cl-useful: 4/378/43882 lits-rem:28 time: 1.65
4486.85/1124.65	c  N dy  1602    537322     72863     43882   2092580     74094   2108597  12002763     20.91   no data  --
4487.25/1124.70	c Finding binary XORs  T:     0.20 s  found:      20
4620.12/1158.01	c  N dy  1670    557343     72857     43882   2093583     93972   2108597  23520807     20.82     22.08  --
4749.78/1190.53	c  N dy  1720    577796     72855     43882   2093785     78647   2108597  13809866     20.68     22.45  --

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-3369460-1305393435/watcher-3369460-1305393435 -o /tmp/evaluation-result-3369460-1305393435/solver-3369460-1305393435 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369460-1305393435.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 5.59 4.93 6.15 5/320 13561
/proc/meminfo: memFree=26903264/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 411 0 0 0 0 0 0 0 23 0 4 0 650942434 52465664 352 33554432000 4194304 4650419 140734162824192 18446744073709551615 47078499358642 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 12809 352 303 112 0 7774 0
[pid=13561/tid=13562] ppid=13559 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650942435 52465664 352 33554432000 4194304 4650419 140734162824192 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650942435 52465664 352 33554432000 4194304 4650419 140734162824192 18446744073709551615 47078499358642 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650942435 52465664 352 33554432000 4194304 4650419 140734162824192 18446744073709551615 47078499358642 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0473349 s]
/proc/loadavg: 5.59 4.93 6.15 5/320 13561
/proc/meminfo: memFree=26903264/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=293380 CPUtime=0.14 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 6828 0 0 0 13 1 0 0 25 0 4 0 650942434 300421120 5717 33554432000 4194304 4650419 140734162824192 18446744073709551615 4547443 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 73345 5717 345 112 0 68310 0
[pid=13561/tid=13562] ppid=13559 vsize=293380 CPUtime=0.02 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 1576 0 0 0 2 0 0 0 25 0 4 0 650942435 300421120 5717 33554432000 4194304 4650419 140734162824192 18446744073709551615 4547016 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=293380 CPUtime=0.03 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 1594 0 0 0 3 0 0 0 25 0 4 0 650942435 300421120 5717 33554432000 4194304 4650419 140734162824192 18446744073709551615 4545933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=293380 CPUtime=0.03 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 1589 0 0 0 3 0 0 0 25 0 4 0 650942435 300421120 5717 33554432000 4194304 4650419 140734162824192 18446744073709551615 4545952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 293380

[startup+0.100325 s]
/proc/loadavg: 5.59 4.93 6.15 5/320 13561
/proc/meminfo: memFree=26903264/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=308160 CPUtime=0.35 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 14002 0 0 0 32 3 0 0 25 0 4 0 650942434 315555840 11760 33554432000 4194304 4650419 140734162824192 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 77040 11761 345 112 0 72005 0
[pid=13561/tid=13562] ppid=13559 vsize=308160 CPUtime=0.07 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 3382 0 0 0 7 0 0 0 25 0 4 0 650942435 315555840 11763 33554432000 4194304 4650419 140734162824192 18446744073709551615 4372382 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=308160 CPUtime=0.08 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 3399 0 0 0 8 0 0 0 25 0 4 0 650942435 315555840 11763 33554432000 4194304 4650419 140734162824192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=308160 CPUtime=0.08 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 3378 0 0 0 8 0 0 0 25 0 4 0 650942435 315555840 11763 33554432000 4194304 4650419 140734162824192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 308160

[startup+0.30083 s]
/proc/loadavg: 5.59 4.93 6.15 5/320 13561
/proc/meminfo: memFree=26903264/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=370624 CPUtime=1.14 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 48912 0 0 0 100 14 0 0 18 0 4 0 650942434 379518976 40164 33554432000 4194304 4650419 140734162824192 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 92656 40357 345 112 0 87621 0
[pid=13561/tid=13562] ppid=13559 vsize=370756 CPUtime=0.27 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) D 13559 13561 12865 0 -1 4202560 12078 0 0 0 24 3 0 0 18 0 4 0 650942435 379654144 40536 33554432000 4194304 4650419 140734162824192 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=370756 CPUtime=0.28 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 12109 0 0 0 25 3 0 0 18 0 4 0 650942435 379654144 40566 33554432000 4194304 4650419 140734162824192 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=371152 CPUtime=0.28 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) D 13559 13561 12865 0 -1 4202560 12271 0 0 0 25 3 0 0 25 0 4 0 650942435 380059648 41224 33554432000 4194304 4650419 140734162824192 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 370624

[startup+0.70452 s]
/proc/loadavg: 5.59 4.93 6.15 5/320 13561
/proc/meminfo: memFree=26903264/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=445148 CPUtime=2.72 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 95047 0 0 0 247 25 0 0 18 0 4 0 650942434 455831552 77556 33554432000 4194304 4650419 140734162824192 18446744073709551615 4370340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 111287 77556 368 112 0 106252 0
[pid=13561/tid=13562] ppid=13559 vsize=445148 CPUtime=0.67 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 23550 0 0 0 60 7 0 0 18 0 4 0 650942435 455831552 77556 33554432000 4194304 4650419 140734162824192 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=445148 CPUtime=0.67 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 23576 0 0 0 61 6 0 0 18 0 4 0 650942435 455831552 77556 33554432000 4194304 4650419 140734162824192 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=445148 CPUtime=0.67 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 23948 0 0 0 61 6 0 0 25 0 4 0 650942435 455831552 77556 33554432000 4194304 4650419 140734162824192 18446744073709551615 4363168 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 445148

[startup+1.50108 s]
/proc/loadavg: 5.59 4.93 6.15 10/324 13565
/proc/meminfo: memFree=26582560/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=459468 CPUtime=5.9 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 100549 0 0 0 564 26 0 0 19 0 4 0 650942434 470495232 80661 33554432000 4194304 4650419 140734162824192 18446744073709551615 4244776 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 114867 80661 373 112 0 109832 0
[pid=13561/tid=13562] ppid=13559 vsize=459468 CPUtime=1.45 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 25175 0 0 0 138 7 0 0 19 0 4 0 650942435 470495232 80661 33554432000 4194304 4650419 140734162824192 18446744073709551615 4371001 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=459468 CPUtime=1.47 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 25199 0 0 0 140 7 0 0 18 0 4 0 650942435 470495232 80661 33554432000 4194304 4650419 140734162824192 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=459468 CPUtime=1.46 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 24591 0 0 0 140 6 0 0 25 0 4 0 650942435 470495232 80661 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 459468

[startup+3.1008 s]
/proc/loadavg: 5.59 4.93 6.15 9/324 13565
/proc/meminfo: memFree=26575244/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=525544 CPUtime=12.28 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 101860 0 0 0 1201 27 0 0 23 0 4 0 650942434 538157056 81970 33554432000 4194304 4650419 140734162824192 18446744073709551615 4244991 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 131386 81970 373 112 0 126351 0
[pid=13561/tid=13562] ppid=13559 vsize=525544 CPUtime=3.04 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 25233 0 0 0 297 7 0 0 23 0 4 0 650942435 538157056 81970 33554432000 4194304 4650419 140734162824192 18446744073709551615 4370379 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=525544 CPUtime=3.07 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 25257 0 0 0 300 7 0 0 21 0 4 0 650942435 538157056 81970 33554432000 4194304 4650419 140734162824192 18446744073709551615 4370749 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=525544 CPUtime=3.06 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 25727 0 0 0 299 7 0 0 25 0 4 0 650942435 538157056 81970 33554432000 4194304 4650419 140734162824192 18446744073709551615 4364907 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 525544

[startup+6.30023 s]
/proc/loadavg: 5.79 4.99 6.16 9/324 13565
/proc/meminfo: memFree=26564464/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=558364 CPUtime=25.04 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 104241 0 0 0 2476 28 0 0 25 0 4 0 650942434 571764736 84351 33554432000 4194304 4650419 140734162824192 18446744073709551615 4370286 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 139591 84351 373 112 0 134556 0
[pid=13561/tid=13562] ppid=13559 vsize=558364 CPUtime=6.21 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 25233 0 0 0 614 7 0 0 25 0 4 0 650942435 571764736 84351 33554432000 4194304 4650419 140734162824192 18446744073709551615 4370467 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=558364 CPUtime=6.27 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 25257 0 0 0 620 7 0 0 25 0 4 0 650942435 571764736 84351 33554432000 4194304 4650419 140734162824192 18446744073709551615 4369381 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=558364 CPUtime=6.26 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 28108 0 0 0 618 8 0 0 25 0 4 0 650942435 571764736 84351 33554432000 4194304 4650419 140734162824192 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 558364

[startup+12.7011 s]
/proc/loadavg: 5.96 5.04 6.17 9/324 13566
/proc/meminfo: memFree=26523344/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=713748 CPUtime=50.58 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 129631 0 0 0 5024 34 0 0 25 0 4 0 650942434 730877952 109677 33554432000 4194304 4650419 140734162824192 18446744073709551615 4363762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 178437 109677 391 112 0 173402 0
[pid=13561/tid=13562] ppid=13559 vsize=713748 CPUtime=12.54 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 31612 0 0 0 1245 9 0 0 25 0 4 0 650942435 730877952 109677 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=713748 CPUtime=12.67 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 31664 0 0 0 1259 8 0 0 25 0 4 0 650942435 730877952 109677 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=713748 CPUtime=12.66 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 34153 0 0 0 1256 10 0 0 25 0 4 0 650942435 730877952 109677 33554432000 4194304 4650419 140734162824192 18446744073709551615 4348358 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 713748

[startup+25.5008 s]
/proc/loadavg: 6.41 5.18 6.20 9/324 13566
/proc/meminfo: memFree=26418792/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=852408 CPUtime=101.65 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 152951 0 0 0 10124 41 0 0 25 0 4 0 650942434 872865792 132997 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 213102 132997 391 112 0 208067 0
[pid=13561/tid=13562] ppid=13559 vsize=852408 CPUtime=25.21 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 36828 0 0 0 2510 11 0 0 25 0 4 0 650942435 872865792 132997 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=852408 CPUtime=25.47 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 36546 0 0 0 2538 9 0 0 25 0 4 0 650942435 872865792 132997 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=852408 CPUtime=25.46 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 41991 0 0 0 2534 12 0 0 25 0 4 0 650942435 872865792 132997 33554432000 4194304 4650419 140734162824192 18446744073709551615 4314873 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 852408

[startup+51.1003 s]
/proc/loadavg: 7.02 5.42 6.25 9/324 13567
/proc/meminfo: memFree=26342856/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=964688 CPUtime=203.78 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 206314 0 0 0 20323 55 0 0 25 0 4 0 650942434 987840512 137113 33554432000 4194304 4650419 140734162824192 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 241172 137113 394 112 0 236137 0
[pid=13561/tid=13562] ppid=13559 vsize=964688 CPUtime=50.55 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 49372 0 0 0 5041 14 0 0 25 0 4 0 650942435 987840512 137113 33554432000 4194304 4650419 140734162824192 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=964688 CPUtime=51.06 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 48470 0 0 0 5094 12 0 0 25 0 4 0 650942435 987840512 137113 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315206 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=964688 CPUtime=51.06 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 57662 0 0 0 5089 17 0 0 25 0 4 0 650942435 987840512 137113 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315222 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 964688

[startup+102.301 s]
/proc/loadavg: 7.64 5.83 6.35 9/324 13568
/proc/meminfo: memFree=24923572/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=1913252 CPUtime=408.08 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 560362 0 0 0 40684 124 0 0 25 0 4 0 650942434 1959170048 371444 33554432000 4194304 4650419 140734162824192 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 478313 371444 395 112 0 473278 0
[pid=13561/tid=13562] ppid=13559 vsize=1913252 CPUtime=101.24 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 177593 0 0 0 10087 37 0 0 25 0 4 0 650942435 1959170048 371446 33554432000 4194304 4650419 140734162824192 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=1913252 CPUtime=102.28 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 71564 0 0 0 10210 18 0 0 25 0 4 0 650942435 1959170048 371446 33554432000 4194304 4650419 140734162824192 18446744073709551615 4550246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=1913252 CPUtime=102.26 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 202523 0 0 0 10177 49 0 0 25 0 4 0 650942435 1959170048 371446 33554432000 4194304 4650419 140734162824192 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 1913252

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.02 7.76 7.15 9/324 13584
/proc/meminfo: memFree=23072396/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3208528 CPUtime=2801.97 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 1689103 0 0 0 279800 397 0 0 25 0 4 0 650942434 3285532672 657697 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315122 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 802132 657697 395 112 0 797097 0
[pid=13561/tid=13562] ppid=13559 vsize=3208528 CPUtime=695.17 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 435715 0 0 0 69417 100 0 0 25 0 4 0 650942435 3285532672 657697 33554432000 4194304 4650419 140734162824192 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3208528 CPUtime=702.25 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 279360 0 0 0 70145 80 0 0 25 0 4 0 650942435 3285532672 657697 33554432000 4194304 4650419 140734162824192 18446744073709551615 4314912 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3208528 CPUtime=702.23 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 659899 0 0 0 70080 143 0 0 25 0 4 0 650942435 3285532672 657697 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315047 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.97
Current children cumulated vsize (KiB) 3208528

[startup+762.301 s]
/proc/loadavg: 8.09 7.83 7.21 9/324 13586
/proc/meminfo: memFree=22639116/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3602940 CPUtime=3041.37 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 1816125 0 0 0 303705 432 0 0 25 0 4 0 650942434 3689410560 753347 33554432000 4194304 4650419 140734162824192 18446744073709551615 4426564 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 900735 753347 395 112 0 895700 0
[pid=13561/tid=13562] ppid=13559 vsize=3602940 CPUtime=754.57 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 437748 0 0 0 75357 100 0 0 25 0 4 0 650942435 3689410560 753349 33554432000 4194304 4650419 140734162824192 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3602940 CPUtime=762.26 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 299529 0 0 0 76137 89 0 0 25 0 4 0 650942435 3689410560 753349 33554432000 4194304 4650419 140734162824192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3602940 CPUtime=762.23 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 752651 0 0 0 76059 164 0 0 25 0 4 0 650942435 3689410560 753349 33554432000 4194304 4650419 140734162824192 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3041.37
Current children cumulated vsize (KiB) 3602940

[startup+822.301 s]
/proc/loadavg: 8.11 7.87 7.26 9/324 13587
/proc/meminfo: memFree=22537028/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3604672 CPUtime=3280.75 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 1859814 0 0 0 327626 449 0 0 25 0 4 0 650942434 3691184128 760420 33554432000 4194304 4650419 140734162824192 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 901168 760420 395 112 0 896133 0
[pid=13561/tid=13562] ppid=13559 vsize=3604672 CPUtime=813.97 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 437748 0 0 0 81297 100 0 0 25 0 4 0 650942435 3691184128 760420 33554432000 4194304 4650419 140734162824192 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3604672 CPUtime=822.25 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 318323 0 0 0 82128 97 0 0 25 0 4 0 650942435 3691184128 760420 33554432000 4194304 4650419 140734162824192 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3604672 CPUtime=822.2 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 765366 0 0 0 82054 166 0 0 25 0 4 0 650942435 3691184128 760420 33554432000 4194304 4650419 140734162824192 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.75
Current children cumulated vsize (KiB) 3604672

[startup+882.312 s]
/proc/loadavg: 8.15 7.93 7.32 9/324 13589
/proc/meminfo: memFree=22518276/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3673540 CPUtime=3520.18 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 1935984 0 0 0 351545 473 0 0 25 0 4 0 650942434 3761704960 761325 33554432000 4194304 4650419 140734162824192 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 918385 761325 395 112 0 913350 0
[pid=13561/tid=13562] ppid=13559 vsize=3673540 CPUtime=873.38 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 450496 0 0 0 87234 104 0 0 25 0 4 0 650942435 3761704960 761325 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3673540 CPUtime=882.25 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 339489 0 0 0 88122 103 0 0 25 0 4 0 650942435 3761704960 761325 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3673540 CPUtime=882.21 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 788614 0 0 0 88047 174 0 0 25 0 4 0 650942435 3761704960 761325 33554432000 4194304 4650419 140734162824192 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.18
Current children cumulated vsize (KiB) 3673540

[startup+942.301 s]
/proc/loadavg: 8.18 7.97 7.37 9/324 13590
/proc/meminfo: memFree=22411724/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3739084 CPUtime=3759.52 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 2006833 0 0 0 375458 494 0 0 25 0 4 0 650942434 3828822016 774120 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315996 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 934771 774120 395 112 0 929736 0
[pid=13561/tid=13562] ppid=13559 vsize=3739084 CPUtime=932.78 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 472477 0 0 0 93168 110 0 0 25 0 4 0 650942435 3828822016 774120 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315965 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3739084 CPUtime=942.24 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 355062 0 0 0 94116 108 0 0 25 0 4 0 650942435 3828822016 774120 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3739084 CPUtime=942.18 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 803219 0 0 0 94039 179 0 0 25 0 4 0 650942435 3828822016 774120 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3759.52
Current children cumulated vsize (KiB) 3739084

[startup+1002.3 s]
/proc/loadavg: 8.16 8.00 7.41 9/324 13592
/proc/meminfo: memFree=22479904/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3691916 CPUtime=3998.9 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 2080535 0 0 0 399373 517 0 0 25 0 4 0 650942434 3780521984 772477 33554432000 4194304 4650419 140734162824192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 922979 772477 395 112 0 917944 0
[pid=13561/tid=13562] ppid=13559 vsize=3691916 CPUtime=992.17 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 488991 0 0 0 99101 116 0 0 25 0 4 0 650942435 3780521984 772477 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315996 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3691916 CPUtime=1002.24 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 374549 0 0 0 100110 114 0 0 25 0 4 0 650942435 3780521984 772477 33554432000 4194304 4650419 140734162824192 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3691916 CPUtime=1002.18 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 823785 0 0 0 100033 185 0 0 25 0 4 0 650942435 3780521984 772477 33554432000 4194304 4650419 140734162824192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3998.9
Current children cumulated vsize (KiB) 3691916

[startup+1062.3 s]
/proc/loadavg: 8.10 8.01 7.45 9/324 13594
/proc/meminfo: memFree=22487324/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3648068 CPUtime=4238.29 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 2156724 0 0 0 423289 540 0 0 25 0 4 0 650942434 3735621632 764913 33554432000 4194304 4650419 140734162824192 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 912017 764913 395 112 0 906982 0
[pid=13561/tid=13562] ppid=13559 vsize=3648068 CPUtime=1051.57 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 510148 0 0 0 105035 122 0 0 25 0 4 0 650942435 3735621632 764913 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3648068 CPUtime=1062.24 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 394178 0 0 0 106104 120 0 0 25 0 4 0 650942435 3735621632 764913 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3648068 CPUtime=1062.16 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 843275 0 0 0 106026 190 0 0 25 0 4 0 650942435 3735621632 764913 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315066 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4238.29
Current children cumulated vsize (KiB) 3648068

[startup+1122.3 s]
/proc/loadavg: 8.07 8.02 7.49 9/324 13595
/proc/meminfo: memFree=22417484/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3779564 CPUtime=4477.68 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 2212191 0 0 0 447210 558 0 0 25 0 4 0 650942434 3870273536 780601 33554432000 4194304 4650419 140734162824192 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 944891 780601 395 112 0 939856 0
[pid=13561/tid=13562] ppid=13559 vsize=3779564 CPUtime=1110.97 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 531774 0 0 0 110968 129 0 0 25 0 4 0 650942435 3870273536 780601 33554432000 4194304 4650419 140734162824192 18446744073709551615 4364823 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3779564 CPUtime=1122.23 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 415106 0 0 0 112097 126 0 0 25 0 4 0 650942435 3870273536 780601 33554432000 4194304 4650419 140734162824192 18446744073709551615 4240915 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3779564 CPUtime=1122.15 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 856182 0 0 0 112020 195 0 0 25 0 4 0 650942435 3870273536 780601 33554432000 4194304 4650419 140734162824192 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4477.68
Current children cumulated vsize (KiB) 3779564

[startup+1182.3 s]
/proc/loadavg: 7.70 7.95 7.50 10/324 13628
/proc/meminfo: memFree=24828176/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3798556 CPUtime=4717.07 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 2295055 0 0 0 471125 582 0 0 25 0 4 0 650942434 3889721344 775405 33554432000 4194304 4650419 140734162824192 18446744073709551615 4314876 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 949639 775405 395 112 0 944604 0
[pid=13561/tid=13562] ppid=13559 vsize=3798556 CPUtime=1170.37 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 549068 0 0 0 116902 135 0 0 25 0 4 0 650942435 3889721344 775405 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315203 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3798556 CPUtime=1182.23 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 435803 0 0 0 118090 133 0 0 25 0 4 0 650942435 3889721344 775405 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3798556 CPUtime=1182.15 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 879663 0 0 0 118014 201 0 0 25 0 4 0 650942435 3889721344 775405 33554432000 4194304 4650419 140734162824192 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4717.07
Current children cumulated vsize (KiB) 3798556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 7.79 7.95 7.51 9/324 13628
/proc/meminfo: memFree=24595744/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=3733744 CPUtime=4800.07 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) R 13559 13561 12865 0 -1 4202496 2326296 0 0 0 479416 591 0 0 25 0 4 0 650942434 3823353856 779926 33554432000 4194304 4650419 140734162824192 18446744073709551615 4363693 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 933436 779926 395 112 0 928401 0
[pid=13561/tid=13562] ppid=13559 vsize=3733744 CPUtime=1190.96 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 557005 0 0 0 118959 137 0 0 25 0 4 0 650942435 3823353856 779932 33554432000 4194304 4650419 140734162824192 18446744073709551615 4315081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13561/tid=13563] ppid=13559 vsize=3733744 CPUtime=1203.04 cores=0,2,4,6
/proc/13561/task/13563/stat : 13563 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 441394 0 0 0 120169 135 0 0 25 0 4 0 650942435 3823353856 779932 33554432000 4194304 4650419 140734162824192 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13561/tid=13564] ppid=13559 vsize=3733744 CPUtime=1202.96 cores=0,2,4,6
/proc/13561/task/13564/stat : 13564 (strangenight1-m) R 13559 13561 12865 0 -1 4202560 890460 0 0 0 120092 204 0 0 25 0 4 0 650942435 3823353856 779932 33554432000 4194304 4650419 140734162824192 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 3733744

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

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

[startup+1203.22 s]
/proc/loadavg: 7.79 7.95 7.51 9/324 13628
/proc/meminfo: memFree=24595744/32950928 swapFree=60199044/67111528
[pid=13561] ppid=13559 vsize=0 CPUtime=4800.21 cores=0,2,4,6
/proc/13561/stat : 13561 (strangenight1-m) Z 13559 13561 12865 0 -1 4203548 2326307 0 0 0 479420 601 0 0 25 0 2 0 650942434 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13561/statm: 0 0 0 0 0 0 0
[pid=13561/tid=13562] ppid=13559 vsize=0 CPUtime=1191.07 cores=0,2,4,6
/proc/13561/task/13562/stat : 13562 (strangenight1-m) R 13559 13561 12865 0 -1 4203588 557009 0 0 0 118960 147 0 0 25 0 2 0 650942435 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.24
CPU time (s): 4800.24
CPU user time (s): 4794.2
CPU system time (s): 6.03808
CPU usage (%): 398.943
Max. virtual memory (cumulated for all children) (KiB): 3864100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.21
system time used= 6.03808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2326307
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= 10636
involuntary context switches= 21405

runsolver used 3.48647 second user time and 8.5617 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-14 19:17:16
IDJOB=3369460
IDBENCH=82366
IDSOLVER=1846
FILE ID=node122/3369460-1305393435
RUNJOBID= node122-1305393395-13387
PBS_JOBID= 13324424
Free space on /tmp= 73376 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369460-1305393435/watcher-3369460-1305393435 -o /tmp/evaluation-result-3369460-1305393435/solver-3369460-1305393435 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369460-1305393435.cnf

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

MD5SUM BENCH= e44b288003a3eaf34673a2c0fb8c6f3e
RANDOM SEED=3960811

node122.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.820
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.64
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.820
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.820
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.820
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.83
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.820
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26903544 kB
Buffers:        267508 kB
Cached:        3398228 kB
SwapCached:      50104 kB
Active:        1985500 kB
Inactive:      3850392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26903544 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           70204 kB
Writeback:           0 kB
AnonPages:     2130852 kB
Mapped:          14456 kB
Slab:           114432 kB
PageTables:      34332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 53978828 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= 73388 MiB
End job on node122 at 2011-05-14 19:37:22