Trace number 3321241

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-2-mt? (TO) 40000.6 5005.16

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
MD5SUM3fef216b3efe77c0f10ea0e0be664a94
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables261352
Number of clauses773077
Sum of the clauses size1985588
Maximum clause length248
Minimum clause length1
Number of clauses of size 11592
Number of clauses of size 2357488
Number of clauses of size 3413748
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5249

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.07/0.05	c This is CryptoMiniSat 3.0.0
0.07/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.07/0.05	c Reading file 'HOME/instance-3321241-1304332917.cnf'
0.07/0.05	c -- header says num vars:         261352
0.07/0.05	c -- header says num clauses:      773077
7.88/1.26	c -- clauses added:            0 learnts,       773077 normals,            0 xors
7.88/1.26	c -- vars added     261352
7.88/1.26	c Parsing time:  0.73 s
7.88/1.26	c  N st     0         0    261352    412533    356701         0   1977922         0   no data   no data
23.86/3.21	c asymm  cl-useful: 0/111/411007 lits-rem:0 time: 1.94
336.34/42.35	c Flit:    28 Blit:    213 bXBeca:    0 bXProp: 50816 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 39.13
337.14/42.40	c Cleaning up after failed var search:     0.06 s 
338.74/42.63	c Replacing    50816 vars Replaced   710912 lits Time:     0.22 s 
341.18/42.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
341.93/43.00	c bin-w-bin subsume rem          740 bins  time:  0.08 s
343.53/43.21	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.21 s
416.23/52.38	c Subs w/ non-existent bins:    884 l-rem:     37 v-fix:   148 done:  30644 time:  9.16 s
421.83/53.01	c Removed useless bin:       0  fixed:   153  props:  20.01M  time:  0.63 s
432.94/54.46	c lits-rem:       237  cl-subs:     5948  v-elim:  69246  v-fix:   76  time:  1.42 s
433.73/54.54	c Finding binary XORs  T:     0.08 s  found:    1272
434.54/54.65	c Replacing     1272 vars Replaced    32542 lits Time:     0.11 s 
438.51/55.12	c Finding non-binary XORs:     0.32 s (found:   68252, avg size: 3.0)
438.51/55.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    26 time:   0.12
438.51/55.15	c calculated reachability. Time: 0.00
438.51/55.18	c Calc default polars -  time:   0.03 s pos:   47581 undec:  135996 neg:   77775
438.51/55.18	c =========================================================================================
438.51/55.18	c types(t): F = full restart, N = normal restart
438.51/55.18	c types(t): S = simplification begin/end, E = solution found
438.51/55.18	c restart types(rt): st = static, dy = dynamic
438.51/55.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
438.51/55.18	c  B st     0         0    137127     91104    114400         0    737258         0   no data   no data
492.06/61.81	c Decided on static restart strategy
523.25/65.71	c  N st     8      4911    137108     91104    114504      4758    737258    176036   no data   no data
554.41/69.70	c Finding binary XORs  T:     0.07 s  found:     338
623.17/78.29	c  N st    10     11293    136398     90699    119808     10826    734003    415497   no data   no data
673.52/84.51	c  N st    11     17036    136398     90699    119888     16399    734003    491468   no data   no data
753.50/94.56	c Finding binary XORs  T:     0.08 s  found:     214
772.63/96.99	c  F st    12     25000    135281     89130    123323     15781    725244    363700   no data   no data
774.23/97.10	c Replacing     1417 vars Replaced    11688 lits Time:     0.07 s 
775.03/97.20	c Replacing      107 vars Replaced      751 lits Time:     0.06 s 
788.66/98.95	c  N st    12     25000    133881     88805    120411     15736    719552    361388   no data   no data
819.00/102.79	c Decided on static restart strategy
819.00/102.79	c  N st    18     30001    133881     88805    120426     20627    719552    572943   no data   no data
819.80/102.80	c  S st    18     30001    133881     88805    120426     20627    719552    572943   no data   no data
824.65/103.46	c  S st    18     30501    133794     88805    121202     21099    719552    598154   no data   no data
825.39/103.56	c x-sub:    13 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
958.87/120.27	c Flit:    92 Blit:    750 bXBeca:    0 bXProp:  246 Bins:  27373 BRemL:      0 BRemN:      1 P: 200.0M T: 16.71
958.87/120.28	c Cleaning up after failed var search:     0.00 s 
960.47/120.41	c Replacing      852 vars Replaced    14693 lits Time:     0.12 s 
960.47/120.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
961.28/120.51	c bin-w-bin subsume rem         6099 bins  time:  0.03 s
962.08/120.67	c subs with bin:    30019  lits-rem:     21577  v-fix:    0  time:  0.16 s
1040.40/130.48	c Subs w/ non-existent bins:    167 l-rem:    208 v-fix:    14 done:  23822 time:  9.81 s
1043.65/130.84	c Removed useless bin:      36  fixed:     0  props:  20.29M  time:  0.35 s
1047.59/131.38	c lits-rem:       378  cl-subs:     4875  v-elim:  19531  v-fix:    1  time:  0.53 s
1048.39/131.45	c Replacing       17 vars Replaced      249 lits Time:     0.07 s 
1049.19/131.57	c subs with bin:      672  lits-rem:      3677  v-fix:    0  time:  0.07 s
1050.79/131.76	c lits-rem:       443  cl-subs:      501  v-elim:      0  v-fix:    0  time:  0.18 s
1058.79/132.77	c asymm  cl-useful: 46/255/51128 lits-rem:618 time: 1.00
1059.59/132.80	c calculated reachability. Time: 0.01
1059.59/132.80	c  N st    18     30501    112465     51128    135093     17666    649716    302147   no data   no data
1059.59/132.87	c Finding binary XORs  T:     0.07 s  found:      39
1133.91/142.14	c  N st    20     37611    112464     51128    135113     24653    649716    840242   no data   no data
1134.71/142.28	c Finding binary XORs  T:     0.07 s  found:     208
1165.10/146.03	c  N st    21     44010    111952     51022    142679     19967    643049    416512   no data   no data
1177.89/147.66	c  S st    22     45751    111918     51022    153886     21655    643049    571145   no data   no data
1184.33/148.44	c  S st    22     46253    111913     51022    153898     22128    643049    590361   no data   no data
1185.14/148.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     20 locsubst:    12 time:   0.10
1326.57/166.28	c Flit:    28 Blit:    128 bXBeca:    0 bXProp:    5 Bins:   1069 BRemL:      0 BRemN:      0 P: 200.2M T: 17.74
1326.57/166.29	c Cleaning up after failed var search:     0.00 s 
1328.16/166.40	c Replacing      520 vars Replaced    11634 lits Time:     0.11 s 
1328.16/166.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1328.16/166.48	c bin-w-bin subsume rem        12727 bins  time:  0.03 s
1329.77/166.61	c subs with bin:    13507  lits-rem:      7171  v-fix:    0  time:  0.13 s
1403.31/175.87	c Subs w/ non-existent bins:      6 l-rem:     26 v-fix:    21 done:  28319 time:  9.25 s
1407.30/176.31	c Removed useless bin:      25  fixed:     0  props:  20.04M  time:  0.44 s
1408.90/176.52	c lits-rem:         1  cl-subs:        0  v-elim:     72  v-fix:    3  time:  0.21 s
1409.69/176.62	c Replacing       35 vars Replaced      731 lits Time:     0.10 s 
1410.49/176.78	c subs with bin:      224  lits-rem:      1962  v-fix:    0  time:  0.09 s
1412.94/177.01	c lits-rem:       703  cl-subs:      540  v-elim:      0  v-fix:    0  time:  0.22 s
1419.29/177.80	c asymm  cl-useful: 0/559/37214 lits-rem:0 time: 0.79
1419.29/177.83	c calculated reachability. Time: 0.01
1419.29/177.83	c  N st    22     46253    111072     37214    145674     21173    607151    527124   no data   no data
1420.08/177.90	c Finding binary XORs  T:     0.07 s  found:      56
1543.18/193.36	c  N st    23     60651    111072     37214    145728     35338    607151   1115275   no data   no data
1543.98/193.50	c Finding binary XORs  T:     0.07 s  found:     233
1567.94/196.42	c  N st    24     69379    110448     37165    166380     32395    603733    813780   no data   no data
1567.94/196.42	c  S st    24     69379    110448     37165    166380     32395    603733    813780   no data   no data
1574.35/197.20	c  S st    24     69880    110397     37165    169420     32882    603733    865071   no data   no data
1575.15/197.30	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:      9 locsubst:   220 time:   0.11
1715.03/214.86	c Flit:    11 Blit:    160 bXBeca:    0 bXProp:   42 Bins:   3810 BRemL:      1 BRemN:      0 P: 200.1M T: 17.56
1715.03/214.87	c Cleaning up after failed var search:     0.00 s 
1715.83/215.00	c Replacing      482 vars Replaced    14657 lits Time:     0.12 s 
1716.64/215.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1716.64/215.07	c bin-w-bin subsume rem         6147 bins  time:  0.03 s
1717.44/215.18	c subs with bin:     1042  lits-rem:       106  v-fix:    0  time:  0.10 s
1794.16/224.79	c Subs w/ non-existent bins:      1 l-rem:      4 v-fix:     5 done:  24343 time:  9.61 s
1796.56/225.04	c Removed useless bin:      21  fixed:     0  props:  20.86M  time:  0.24 s
1798.16/225.23	c lits-rem:         3  cl-subs:        3  v-elim:     56  v-fix:    0  time:  0.20 s
1798.95/225.31	c Replacing        8 vars Replaced       59 lits Time:     0.07 s 
1800.61/225.52	c subs with bin:      211  lits-rem:      2049  v-fix:    0  time:  0.14 s
1802.14/225.79	c lits-rem:       328  cl-subs:      319  v-elim:      0  v-fix:    0  time:  0.25 s
1808.60/226.52	c asymm  cl-useful: 69/382/36078 lits-rem:69 time: 0.73
1808.60/226.55	c calculated reachability. Time: 0.01
1808.60/226.55	c  N st    24     69880    109765     36078    164251     32306    591734    837839   no data   no data
1882.89/235.89	c  F st    25     87501    109765     36078    164293     49515    591734   1885875   no data   no data
1893.28/237.17	c  N st    25     87501    109765     36078    164293     49515    591734   1885875   no data   no data
1894.87/237.31	c Finding binary XORs  T:     0.07 s  found:      48
1922.06/240.78	c Decided on static restart strategy
1932.50/242.06	c  N st    32     95541    109717     36068    173492     41290    590647   1256240   no data   no data
1989.20/249.13	c  N st    34    104820    109689     36068    173970     50453    590647   1985079   no data   no data
1989.20/249.13	c  S st    34    104820    109689     36068    173970     50453    590647   1985079   no data   no data
1996.39/250.03	c  S st    34    105325    109677     36068    174325     50944    590647   2032160   no data   no data
1997.19/250.13	c x-sub:   108 x-cut:      0 vfix:      0 v-elim:      2 locsubst:    98 time:   0.10
2133.93/267.22	c Flit:    12 Blit:     14 bXBeca:    0 bXProp:    3 Bins:   2105 BRemL:      3 BRemN:      2 P: 200.0M T: 17.10
2134.74/267.37	c Replacing      228 vars Replaced    10599 lits Time:     0.14 s 
2135.48/267.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2135.48/267.46	c bin-w-bin subsume rem         7560 bins  time:  0.03 s
2136.28/267.56	c subs with bin:       89  lits-rem:        17  v-fix:    0  time:  0.10 s
2204.27/276.03	c Subs w/ non-existent bins:     57 l-rem:     57 v-fix:     4 done:  36353 time:  8.47 s
2207.41/276.44	c Removed useless bin:      14  fixed:     0  props:  20.02M  time:  0.41 s
2209.00/276.66	c lits-rem:         1  cl-subs:       63  v-elim:     62  v-fix:    0  time:  0.22 s
2209.80/276.75	c Replacing        9 vars Replaced       58 lits Time:     0.08 s 
2214.60/277.32	c subs with bin:      425  lits-rem:     11498  v-fix:    0  time:  0.41 s
2221.00/278.17	c lits-rem:       823  cl-subs:      677  v-elim:      0  v-fix:    0  time:  0.83 s
2227.39/278.97	c asymm  cl-useful: 74/429/35866 lits-rem:74 time: 0.80
2228.19/279.00	c calculated reachability. Time: 0.01
2228.19/279.00	c  N st    34    105325    109340     35866    168156     49424    590655   1879303   no data   no data
2267.36/283.94	c  N st    35    114923    109340     35866    168161     41329    590655    951421   no data   no data
2268.15/284.07	c Finding binary XORs  T:     0.07 s  found:      86
2326.52/291.38	c  N st    36    129320    109312     35842    179387     55429    590187   2593384   no data   no data
2411.24/301.92	c  N st    37    150916    109312     35842    179601     55723    590187   2565275   no data   no data
2446.41/306.37	c  S st    38    157990    109311     35842    179652     62653    590187   3082129   no data   no data
2452.80/307.12	c  S st    38    158494    109311     35842    179676     63148    590187   3113917   no data   no data
2453.60/307.22	c x-sub:    49 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    66 time:   0.11
2587.90/324.09	c Flit:    11 Blit:    254 bXBeca:    0 bXProp:   63 Bins:    764 BRemL:      0 BRemN:      0 P: 200.1M T: 16.86
2587.90/324.09	c Cleaning up after failed var search:     0.00 s 
2590.29/324.30	c Replacing      270 vars Replaced    39297 lits Time:     0.20 s 
2590.29/324.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2590.29/324.38	c bin-w-bin subsume rem         1329 bins  time:  0.03 s
2591.14/324.48	c subs with bin:     1906  lits-rem:        33  v-fix:    0  time:  0.10 s
2652.69/332.20	c Subs w/ non-existent bins:     67 l-rem:     67 v-fix:     0 done:  28534 time:  7.72 s
2656.63/332.66	c Removed useless bin:      15  fixed:     0  props:  20.05M  time:  0.46 s
2659.03/332.90	c lits-rem:        15  cl-subs:       58  v-elim:     60  v-fix:    0  time:  0.24 s
2659.03/332.99	c Replacing        1 vars Replaced        6 lits Time:     0.09 s 
2665.42/333.74	c subs with bin:      205  lits-rem:      8485  v-fix:    0  time:  0.57 s
2678.22/335.38	c lits-rem:      1562  cl-subs:     1172  v-elim:      0  v-fix:    0  time:  1.62 s
2683.81/336.08	c asymm  cl-useful: 58/567/33712 lits-rem:58 time: 0.71
2684.61/336.11	c calculated reachability. Time: 0.01
2684.61/336.12	c  N st    38    158494    108695     33712    177936     60697    586106   2604847   no data   no data
3037.92/380.35	c  N st    39    207082    108695     33712    177967     62762    586106   3027094   no data   no data
3038.72/380.49	c Finding binary XORs  T:     0.07 s  found:     152
3102.67/388.41	c  N st    40    237741    108540     33607    179997     68435    585055   2164045   no data   no data
3102.67/388.41	c  S st    40    237741    108540     33607    179997     68435    585055   2164045   no data   no data
3109.06/389.26	c  S st    40    238241    108540     33607    180064     68924    585055   2194201   no data   no data
3109.91/389.37	c x-sub:    31 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    18 time:   0.11
3244.16/406.18	c Flit:     3 Blit:     10 bXBeca:    0 bXProp:    3 Bins:   3979 BRemL:      5 BRemN:      0 P: 200.0M T: 16.82
3245.75/406.35	c Replacing      207 vars Replaced    22224 lits Time:     0.15 s 
3246.55/406.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3246.55/406.43	c bin-w-bin subsume rem         1050 bins  time:  0.03 s
3247.35/406.53	c subs with bin:       55  lits-rem:        57  v-fix:    0  time:  0.10 s
3326.48/416.44	c Subs w/ non-existent bins:      1 l-rem:      2 v-fix:     1 done:  24684 time:  9.90 s
3330.53/416.93	c Removed useless bin:       9  fixed:     0  props:  20.03M  time:  0.49 s
3332.06/417.17	c lits-rem:         1  cl-subs:        0  v-elim:     28  v-fix:    0  time:  0.24 s
3332.86/417.26	c Replacing        1 vars Replaced        6 lits Time:     0.09 s 
3337.67/417.84	c subs with bin:      131  lits-rem:      3436  v-fix:    0  time:  0.42 s
3345.66/418.84	c lits-rem:      2476  cl-subs:      865  v-elim:      0  v-fix:    0  time:  0.98 s
3352.06/419.61	c asymm  cl-useful: 6/739/33533 lits-rem:12 time: 0.77
3352.06/419.64	c calculated reachability. Time: 0.01
3352.06/419.64	c  N st    40    238241    108290     33531    182282     67849    583987   2127370   no data   no data
3658.20/457.97	c  F st    41    306251    108290     33531    182289     82333    583987   3774311   no data   no data
3668.59/459.21	c  N st    41    306251    108290     33531    182289     82333    583987   3774311   no data   no data
3669.39/459.37	c Finding binary XORs  T:     0.07 s  found:     578
3693.37/462.35	c Decided on static restart strategy
3822.12/478.48	c Finding binary XORs  T:     0.07 s  found:      99
3823.67/478.64	c  N st    51    334561    107708     33218    201028     81564    579876   3743717   no data   no data
3906.00/488.91	c  N st    53    357363    107708     33218    201256     75031    579876   2975136   no data   no data
3906.00/488.91	c  S st    53    357363    107708     33218    201256     75031    579876   2975136   no data   no data
3913.99/489.92	c  S st    53    357866    107708     33218    201327     75517    579876   2998411   no data   no data
3914.79/490.03	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4048.28/506.76	c Flit:     8 Blit:     88 bXBeca:    0 bXProp:   33 Bins:   3549 BRemL:     10 BRemN:      0 P: 200.0M T: 16.74
4050.74/507.00	c Replacing      761 vars Replaced    62741 lits Time:     0.23 s 
4050.74/507.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4050.74/507.09	c bin-w-bin subsume rem         7610 bins  time:  0.04 s
4051.54/507.19	c subs with bin:       45  lits-rem:        12  v-fix:    0  time:  0.10 s
4130.68/517.03	c Subs w/ non-existent bins:      3 l-rem:      7 v-fix:     1 done:  26945 time:  9.84 s
4133.82/517.44	c Removed useless bin:      11  fixed:     0  props:  20.01M  time:  0.41 s
4135.42/517.69	c lits-rem:         0  cl-subs:       23  v-elim:     78  v-fix:    0  time:  0.25 s
4136.22/517.79	c Replacing        2 vars Replaced       15 lits Time:     0.10 s 
4144.21/518.70	c subs with bin:      839  lits-rem:     34561  v-fix:    0  time:  0.73 s
4153.80/519.98	c lits-rem:      5266  cl-subs:      709  v-elim:      0  v-fix:    0  time:  1.27 s
4160.20/520.77	c asymm  cl-useful: 11/1093/33038 lits-rem:29 time: 0.78
4161.00/520.80	c calculated reachability. Time: 0.01
4161.00/520.80	c  N st    53    357866    106853     33032    195025     72787    576366   2586146   no data   no data
4304.09/538.74	c  N st    54    390258    106853     33032    195087     75132    576366   1975964   no data   no data
4304.89/538.87	c Finding binary XORs  T:     0.07 s  found:      12
4498.33/563.02	c  N st    55    438847    106833     33022    196167     92706    575726   3830058   no data   no data
5674.95/710.26	c  N st    56    511729    106832     33022    197292    101070    575726  14175034   no data   no data
5677.41/710.58	c Finding binary XORs  T:     0.07 s  found:     299
5797.25/725.59	c  N st    57    536799    106666     32927    236082     92357    573340   4562016   no data   no data
5797.25/725.59	c  S st    57    536799    106666     32927    236082     92357    573340   4562016   no data   no data
5805.24/726.57	c  S st    57    537301    106665     32927    236150     92850    573340   4594192   no data   no data
5806.04/726.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    38 time:   0.11
5937.94/743.16	c Flit:     7 Blit:     12 bXBeca:    0 bXProp:   40 Bins:   7463 BRemL:     42 BRemN:      0 P: 200.0M T: 16.48
5941.18/743.52	c Replacing      487 vars Replaced    69803 lits Time:     0.35 s 
5941.18/743.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
5941.99/743.61	c bin-w-bin subsume rem         5590 bins  time:  0.04 s
5942.73/743.72	c subs with bin:      137  lits-rem:        25  v-fix:    0  time:  0.11 s
5977.16/748.08	c Subs w/ non-existent bins:     50 l-rem:     50 v-fix:     0 done:  37993 time:  4.35 s
5979.50/748.38	c Removed useless bin:      61  fixed:     0  props:  20.01M  time:  0.30 s
5981.90/748.64	c lits-rem:        14  cl-subs:       44  v-elim:    114  v-fix:    0  time:  0.26 s
6004.27/751.42	c subs with bin:      762  lits-rem:     94279  v-fix:    0  time:  2.48 s
6037.05/755.54	c lits-rem:     21753  cl-subs:      561  v-elim:      0  v-fix:    0  time:  4.10 s
6041.85/756.19	c asymm  cl-useful: 1/679/32710 lits-rem:1 time: 0.65
6042.65/756.22	c calculated reachability. Time: 0.01
6042.65/756.22	c  N st    57    537301    106036     32710    236756     91079    573434   4381682   no data   no data
6043.45/756.30	c Finding binary XORs  T:     0.07 s  found:      10
7158.53/895.84	c  N st    58    701285    106036     32710    236875    105563    573434   7657199   no data   no data
7160.13/896.03	c Finding binary XORs  T:     0.08 s  found:      65
7572.58/947.66	c  N st    59    805954    106024     32708    242916    128440    572265   8022661   no data   no data
7572.58/947.66	c  S st    59    805954    106024     32708    242916    128440    572265   8022661   no data   no data
7574.18/947.84	c Finding binary XORs  T:     0.07 s  found:      57
7580.57/948.61	c  S st    59    806458    106002     32696    245894    128933    571903   8062512   no data   no data
7581.37/948.73	c x-sub:    19 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     6 time:   0.12
7709.33/964.77	c Flit:     5 Blit:     10 bXBeca:    0 bXProp:   37 Bins:   1611 BRemL:     35 BRemN:      0 P: 200.0M T: 16.03
7711.66/965.06	c Replacing      221 vars Replaced    22088 lits Time:     0.28 s 
7712.46/965.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7712.46/965.15	c bin-w-bin subsume rem         3008 bins  time:  0.04 s
7713.26/965.26	c subs with bin:       44  lits-rem:        24  v-fix:    0  time:  0.11 s
7774.81/972.92	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:  34032 time:  7.66 s
7778.02/973.31	c Removed useless bin:      64  fixed:     0  props:  20.00M  time:  0.39 s
7780.41/973.67	c lits-rem:        35  cl-subs:      148  v-elim:     83  v-fix:    0  time:  0.36 s
7782.01/973.82	c Replacing        2 vars Replaced       14 lits Time:     0.15 s 
7804.39/976.62	c subs with bin:      294  lits-rem:     17892  v-fix:    0  time:  2.24 s
7833.97/980.31	c lits-rem:      2874  cl-subs:     1223  v-elim:      0  v-fix:    0  time:  3.67 s
7838.76/980.97	c asymm  cl-useful: 2/652/32579 lits-rem:2 time: 0.65
7839.57/981.00	c calculated reachability. Time: 0.01
7839.57/981.00	c  N st    59    806458    105679     32579    243612    127005    574342   7733656   no data   no data
7839.57/981.07	c Finding binary XORs  T:     0.07 s  found:      21
9779.50/1223.78	c  F st    60   1071875    105679     32579    243620    122901    574342  10142153   no data   no data
9781.10/1223.90	c Replacing       21 vars Replaced     1272 lits Time:     0.11 s 
9789.90/1225.02	c  N st    60   1071875    105658     32579    243578    122901    574322  10142089   no data   no data
9791.49/1225.26	c Finding binary XORs  T:     0.08 s  found:     284
9826.65/1229.62	c Decided on static restart strategy
9966.54/1247.17	c  N st    70   1100176    105485     32522    292960    102451    572354   3538849   no data   no data
10067.25/1259.72	c Finding binary XORs  T:     0.08 s  found:      13
10164.78/1271.95	c  N st    72   1136170    105481     32522    298878    138188    572344   9169133   no data   no data
10446.14/1307.14	c  N st    73   1168562    105481     32522    298930    121285    572344   7188101   no data   no data
10447.73/1307.38	c Finding binary XORs  T:     0.08 s  found:      35
10629.98/1330.12	c  N st    74   1209689    105458     32513    330674    112056    572280   4611798   no data   no data
10629.98/1330.12	c  S st    74   1209689    105458     32513    330674    112056    572280   4611798   no data   no data
10636.43/1330.94	c  S st    74   1210194    105458     32513    330687    112554    572280   4659438   no data   no data
10637.25/1331.07	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:      2 locsubst:    10 time:   0.12
10761.66/1346.60	c Flit:     5 Blit:      8 bXBeca:    0 bXProp:   17 Bins:   6514 BRemL:     47 BRemN:      0 P: 200.1M T: 15.53
10763.25/1346.89	c Replacing      375 vars Replaced    31318 lits Time:     0.28 s 
10764.04/1346.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
10764.84/1347.01	c bin-w-bin subsume rem        13400 bins  time:  0.06 s
10765.64/1347.13	c subs with bin:       64  lits-rem:       140  v-fix:    0  time:  0.12 s
10841.12/1356.66	c Subs w/ non-existent bins:     45 l-rem:     47 v-fix:     0 done:  28735 time:  9.52 s
10844.30/1357.08	c Removed useless bin:      50  fixed:     0  props:  20.12M  time:  0.40 s
10846.74/1357.38	c lits-rem:        15  cl-subs:        1  v-elim:     70  v-fix:    0  time:  0.29 s
10866.55/1359.85	c subs with bin:      710  lits-rem:     64739  v-fix:    0  time:  2.03 s
10893.72/1363.29	c lits-rem:      3726  cl-subs:      708  v-elim:      0  v-fix:    0  time:  3.43 s
10899.37/1363.99	c asymm  cl-useful: 5/492/32341 lits-rem:5 time: 0.70
10900.17/1364.03	c calculated reachability. Time: 0.01
10900.17/1364.03	c  N st    74   1210194    105011     32341    322771    111047    570623   4491199   no data   no data
10900.91/1364.11	c Finding binary XORs  T:     0.08 s  found:       2
11534.78/1443.48	c  N st    75   1283076    105011     32341    322779    132313    570623   9541359   no data   no data
11537.18/1443.71	c Finding binary XORs  T:     0.08 s  found:      39
13091.10/1638.19	c  N st    76   1392399    104967     32329    354430    136267    569570  17752871   no data   no data
13094.29/1638.50	c Finding binary XORs  T:     0.08 s  found:      27
14019.12/1754.28	c  N st    77   1556385    104950     32324    376275    133129    568924   7187361   no data   no data
14021.58/1754.51	c Finding binary XORs  T:     0.08 s  found:     178
16119.75/2017.07	c  N st    78   1710194    104713     32308    423039    171406    567670  24510019   no data   no data
16119.75/2017.07	c  S st    78   1710194    104713     32308    423039    171406    567670  24510019   no data   no data
16123.00/2017.45	c Finding binary XORs  T:     0.08 s  found:     101
16130.98/2018.46	c  S st    78   1710696    104617     32251    437748    171620    562450  24487837   no data   no data
16132.53/2018.62	c x-sub:     4 x-cut:      0 vfix:      0 v-elim:      4 locsubst:     6 time:   0.16
16238.83/2031.94	c Flit:     3 Blit:     21 bXBeca:    0 bXProp:   18 Bins:     12 BRemL:      0 BRemN:      0 P: 200.0M T: 13.23
16251.63/2033.50	c Replacing      589 vars Replaced   136815 lits Time:     1.54 s 
16251.63/2033.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16254.07/2033.85	c bin-w-bin subsume rem        23660 bins  time:  0.29 s
16254.87/2033.99	c subs with bin:      126  lits-rem:       201  v-fix:    0  time:  0.13 s
16317.17/2041.72	c Subs w/ non-existent bins:     55 l-rem:     58 v-fix:     0 done:  29063 time:  7.68 s
16320.37/2042.12	c Removed useless bin:      79  fixed:     0  props:  20.06M  time:  0.40 s
16324.41/2042.69	c lits-rem:         5  cl-subs:        6  v-elim:    139  v-fix:    0  time:  0.56 s
16357.94/2046.86	c subs with bin:      155  lits-rem:     15366  v-fix:    0  time:  2.39 s
16528.20/2068.17	c lits-rem:      1770  cl-subs:     1001  v-elim:      0  v-fix:    0  time: 21.15 s
16532.99/2068.74	c asymm  cl-useful: 13/523/31982 lits-rem:13 time: 0.57
16532.99/2068.78	c calculated reachability. Time: 0.01
16532.99/2068.78	c  N st    78   1710696    103873     31982    412251    168361    560737  23511273   no data   no data
19975.60/2499.44	c  N st    79   2079661    103873     31982    412266    165627    560737  17426376   no data   no data
19978.00/2499.77	c Finding binary XORs  T:     0.08 s  found:      79
20550.29/2571.33	c  N st    80   2210696    103806     31951    460660    163771    559247  12268055   no data   no data
20550.29/2571.33	c  S st    80   2210696    103806     31951    460660    163771    559247  12268055   no data   no data
20551.09/2571.45	c Finding binary XORs  T:     0.08 s  found:      13
20560.69/2572.65	c  S st    80   2211197    103806     31951    467764    164262    559247  12320721   no data   no data
20561.49/2572.79	c x-sub:     9 x-cut:      0 vfix:      0 v-elim:     19 locsubst:    90 time:   0.15
20674.99/2586.99	c Flit:     0 Blit:     20 bXBeca:    0 bXProp:   11 Bins:   1228 BRemL:     41 BRemN:      0 P: 200.2M T: 14.20
20679.78/2587.53	c Replacing      248 vars Replaced    48775 lits Time:     0.52 s 
20679.78/2587.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20681.38/2587.74	c bin-w-bin subsume rem        12282 bins  time:  0.15 s
20682.19/2587.88	c subs with bin:       43  lits-rem:        51  v-fix:    0  time:  0.14 s
20755.77/2597.05	c Subs w/ non-existent bins:      0 l-rem:      2 v-fix:     0 done:  28894 time:  9.16 s
20758.92/2597.42	c Removed useless bin:      76  fixed:     0  props:  20.16M  time:  0.38 s
20762.12/2597.84	c lits-rem:         3  cl-subs:        2  v-elim:     87  v-fix:    0  time:  0.42 s
20788.50/2601.12	c subs with bin:      398  lits-rem:     67173  v-fix:    0  time:  2.39 s
20835.71/2607.08	c lits-rem:      4057  cl-subs:      807  v-elim:      0  v-fix:    0  time:  5.95 s
20841.25/2607.74	c asymm  cl-useful: 2/578/31929 lits-rem:2 time: 0.65
20841.25/2607.78	c calculated reachability. Time: 0.01
20841.25/2607.78	c  N st    80   2211197    103432     31929    455215    161807    558212  11934159   no data   no data
25892.88/3239.76	c  N st    81   2711199    103432     31929    455273    168778    558212  16869504   no data   no data
25892.88/3239.76	c  S st    81   2711199    103432     31929    455273    168778    558212  16869504   no data   no data
25895.28/3240.07	c Finding binary XORs  T:     0.08 s  found:     212
25903.28/3241.08	c  S st    81   2711705    103270     31899    495165    169235    557136  16957118   no data   no data
25904.88/3241.23	c x-sub:    46 x-cut:      0 vfix:      0 v-elim:     45 locsubst:    56 time:   0.15
26021.59/3255.87	c Flit:     0 Blit:     23 bXBeca:    0 bXProp:    1 Bins:   2654 BRemL:    116 BRemN:      1 P: 200.1M T: 14.64
26028.78/3256.73	c Replacing      332 vars Replaced    47753 lits Time:     0.85 s 
26028.78/3256.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26029.57/3256.87	c bin-w-bin subsume rem         6736 bins  time:  0.08 s
26031.22/3257.01	c subs with bin:       99  lits-rem:        92  v-fix:    0  time:  0.15 s
26088.72/3264.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24543 time:  7.20 s
26091.12/3264.59	c Removed useless bin:     118  fixed:     0  props:  20.03M  time:  0.38 s
26095.12/3265.07	c lits-rem:         6  cl-subs:        4  v-elim:     23  v-fix:    0  time:  0.48 s
26122.29/3268.43	c subs with bin:      306  lits-rem:     35514  v-fix:    0  time:  2.27 s
26223.79/3281.19	c lits-rem:      2178  cl-subs:      598  v-elim:      0  v-fix:    0  time: 12.74 s
26228.59/3281.76	c asymm  cl-useful: 20/344/31786 lits-rem:32 time: 0.57
26229.39/3281.80	c calculated reachability. Time: 0.01
26229.39/3281.80	c  N st    81   2711705    102852     31782    489817    168304    555287  16734285   no data   no data
29166.84/3649.30	c  N st    82   3211705    102852     31782    489834    203202    555287  27332834   no data   no data
29166.84/3649.31	c  S st    82   3211705    102852     31782    489834    203202    555287  27332834   no data   no data
29169.23/3649.68	c Finding binary XORs  T:     0.08 s  found:      82
29180.41/3651.07	c  S st    82   3212208    102795     31762    510113    203677    554737  27316328   no data   no data
29182.01/3651.25	c x-sub:    32 x-cut:      0 vfix:      0 v-elim:      7 locsubst:    52 time:   0.18
29302.78/3666.34	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    2 Bins:   4294 BRemL:    170 BRemN:      1 P: 200.8M T: 15.09
29311.57/3667.42	c Replacing      161 vars Replaced    34285 lits Time:     1.06 s 
29311.57/3667.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29312.32/3667.55	c bin-w-bin subsume rem         5566 bins  time:  0.08 s
29313.92/3667.70	c subs with bin:       11  lits-rem:        25  v-fix:    0  time:  0.15 s
29389.91/3677.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     2 done:  26055 time:  9.52 s
29392.26/3677.53	c Removed useless bin:     118  fixed:     0  props:  20.06M  time:  0.31 s
29397.05/3678.16	c lits-rem:         2  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.63 s
29400.25/3678.52	c Replacing        6 vars Replaced      122 lits Time:     0.36 s 
29436.22/3683.00	c subs with bin:       65  lits-rem:     23730  v-fix:    0  time:  2.50 s
29561.71/3698.70	c lits-rem:      4055  cl-subs:     1023  v-elim:      0  v-fix:    0  time: 15.68 s
29567.30/3699.40	c asymm  cl-useful: 36/431/31745 lits-rem:45 time: 0.70
29567.30/3699.44	c calculated reachability. Time: 0.01
29567.30/3699.45	c  N st    82   3212208    102609     31742    508185    202572    553711  27092121   no data   no data
29568.09/3699.53	c Finding binary XORs  T:     0.08 s  found:       1
34413.55/4305.76	c  N st    83   3712208    102609     31742    508232    204624    553711  27412563   no data   no data
34413.55/4305.76	c  S st    83   3712208    102609     31742    508232    204624    553711  27412563   no data   no data
34417.57/4306.22	c Finding binary XORs  T:     0.09 s  found:     321
34427.16/4307.50	c  S st    83   3712708    102368     31725    546736    205043    551613  27362682   no data   no data
34428.81/4307.68	c x-sub:    25 x-cut:      0 vfix:      0 v-elim:     10 locsubst:    32 time:   0.18
34547.85/4322.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   1588 BRemL:    118 BRemN:      0 P: 200.2M T: 14.83
34557.45/4323.79	c Replacing      389 vars Replaced   270215 lits Time:     1.27 s 
34558.25/4323.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
34559.05/4323.94	c bin-w-bin subsume rem         8592 bins  time:  0.08 s
34559.90/4324.10	c subs with bin:       57  lits-rem:        51  v-fix:    0  time:  0.16 s
34625.38/4332.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  26778 time:  8.15 s
34628.58/4332.67	c Removed useless bin:       5  fixed:     0  props:  20.04M  time:  0.41 s
34631.77/4333.04	c lits-rem:         5  cl-subs:      132  v-elim:    629  v-fix:    0  time:  0.37 s
34652.55/4335.69	c subs with bin:     1067  lits-rem:     78076  v-fix:    0  time:  2.24 s
34681.34/4339.28	c lits-rem:     16598  cl-subs:      281  v-elim:      0  v-fix:    0  time:  3.57 s
34686.13/4339.81	c asymm  cl-useful: 17/112/32099 lits-rem:68 time: 0.54
34686.13/4339.86	c calculated reachability. Time: 0.01
34686.13/4339.86	c  N st    83   3712708    101340     32082    519821    155512    543245   5477365   no data   no data
34993.87/4378.37	c  F st    84   3751562    101340     32082    519822    131600    543245   5804208   no data   no data
35002.66/4379.45	c  N st    84   3751562    101340     32082    519822    131600    543245   5804208   no data   no data
35004.26/4379.65	c Finding binary XORs  T:     0.09 s  found:      16
35179.32/4401.54	c  N dy   121   3774661    101339     32082    534249    154581    543243   8489750     13.93     14.83
35232.88/4408.25	c Finding binary XORs  T:     0.09 s  found:       5
35355.97/4423.68	c  N dy   195   3794832    101335     32082    539429    174512    543239  10140265     13.53     15.22
35543.83/4447.12	c  N dy   281   3814893    101334     32082    539500    194406    543239  11933545     14.02     14.81
35740.44/4471.70	c  N dy   342   3837269    101334     32082    539572    110708    543239   2127895     13.35     14.73
35908.32/4492.70	c  N dy   416   3857772    101333     32082    539634    131065    543239   3553441     13.07     14.05
36045.85/4509.91	c  N dy   473   3878251    101329     32082    540463    151326    543239   5004238     12.79     13.51
36220.86/4531.90	c  N dy   555   3898268    101327     32082    540665    171134    543239   6399525     12.74     13.57
36290.40/4540.52	c Finding binary XORs  T:     0.09 s  found:      11
36431.87/4558.27	c  N dy   647   3918364    101326     32080    542829    191026    541371   8146425     12.82     13.78
36578.94/4576.64	c  N dy   725   3938415    101147     32080    542879    124123    541371   3189475     12.76     14.59
36765.98/4600.01	c  N dy   803   3958488    101145     32080    545995    144005    541371   4805096     12.74     14.29
36958.63/4624.19	c  N dy   896   3979868    101145     32080    546054    165199    541371   6614269     12.75     13.46
37126.49/4645.12	c  N dy  1007   4000186    101145     32080    546118    185320    541371   8276069     12.88     13.69
37271.96/4663.31	c  N dy  1095   4020211    101145     32080    546139    123568    541371   2566881     12.98     22.48
37431.02/4683.26	c  N dy  1160   4040290    101145     32080    546163    143480    541371   4020411     12.90     13.65
37473.38/4688.54	c Finding binary XORs  T:     0.09 s  found:     191
37582.89/4702.20	c  N dy  1229   4060404    101144     32072    547789    163299    540235   5849288     12.89     13.59
37729.97/4720.66	c Finding binary XORs  T:     0.09 s  found:      16
37739.57/4721.84	c  N dy  1311   4080424    101092     32041    566429    183064    539623   7397880     12.89     14.40
37915.39/4743.85	c  N dy  1391   4100655    101078     32041    566927    203131    539623   9039952     12.88     13.73
38048.89/4760.57	c  N dy  1467   4120685    101078     32041    566995    139932    539623   3348320     12.85     13.60
38206.35/4780.27	c  N dy  1541   4140700    101076     32041    567046    159807    539623   4886935     12.85     13.54
38397.39/4804.12	c  N dy  1641   4161951    101076     32041    567102    180857    539623   6579361     12.92     13.88
38589.22/4828.14	c  N dy  1746   4182485    101055     32041    567204    201233    539623   8382391     12.95     14.75
38775.47/4851.49	c  N dy  1832   4202602    101055     32041    567245    136546    539622   2693825     12.97     13.68
38851.47/4860.98	c  S st  1874   4212709    101055     32041    567291    146612    539622   3512278     12.95     12.49
38857.81/4861.71	c  S st  1874   4213213    101055     32041    567292    147113    539622   3554692     12.95   no data
38858.61/4861.84	c x-sub:    29 x-cut:      0 vfix:      0 v-elim:   1065 locsubst:    56 time:   0.13
38976.11/4876.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   3488 BRemL:    116 BRemN:      0 P: 200.1M T: 14.68
38977.71/4876.79	c Replacing      349 vars Replaced    69823 lits Time:     0.25 s 
38978.51/4876.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
38979.31/4876.95	c bin-w-bin subsume rem        10215 bins  time:  0.10 s
38980.91/4877.10	c subs with bin:      545  lits-rem:       144  v-fix:    0  time:  0.15 s
39058.44/4886.80	c Subs w/ non-existent bins:      0 l-rem:     16 v-fix:     1 done:  29479 time:  9.69 s
39060.84/4887.12	c Removed useless bin:      44  fixed:     0  props:  20.01M  time:  0.32 s
39063.23/4887.44	c lits-rem:         0  cl-subs:       94  v-elim:    182  v-fix:    0  time:  0.31 s
39064.03/4887.57	c Replacing        1 vars Replaced       16 lits Time:     0.13 s 
39083.22/4889.96	c subs with bin:      332  lits-rem:     18982  v-fix:    0  time:  2.12 s
39112.00/4893.59	c lits-rem:     20454  cl-subs:     1329  v-elim:      0  v-fix:    0  time:  3.62 s
39116.79/4894.14	c asymm  cl-useful: 10/37/31539 lits-rem:22 time: 0.55
39116.79/4894.18	c calculated reachability. Time: 0.01
39116.79/4894.19	c  N dy  1874   4213213     99463     31535    545068    144652    517371   3334537     12.95   no data
39117.60/4894.27	c Finding binary XORs  T:     0.08 s  found:       0
39287.05/4915.45	c  N dy  1944   4233345     99460     31535    550239    164594    517370   4836925     12.94     13.66
39288.65/4915.61	c Finding binary XORs  T:     0.08 s  found:       7
39474.95/4938.99	c  N dy  2014   4253433     99460     31535    550323    184505    517362   6375608     12.90     13.70
39643.53/4960.14	c  N dy  2122   4273658     99460     31535    550371    204615    517362   8240616     12.98     13.76
39709.08/4968.35	c Finding binary XORs  T:     0.09 s  found:       2
39828.19/4983.27	c  N dy  2204   4294375     99460     31535    561108    138356    517362   2473615     13.00     14.87
39980.06/5002.28	c  N dy  2305   4314388     99460     31535    561153    158267    517362   4193881     13.04     13.81

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: 935)

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-3321241-1304332917/watcher-3321241-1304332917 -o /tmp/evaluation-result-3321241-1304332917/solver-3321241-1304332917 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321241-1304332917.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.19 3.97 3.68 2/217 28311
/proc/meminfo: memFree=29290924/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=92188 CPUtime=0.01 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 413 0 0 0 1 0 0 0 22 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390066 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28311/statm: 23047 352 299 106 0 18018 0
[pid=28311/tid=28312] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390066 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390060 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390066 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390066 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 544890350 94400512 352 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390066 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0191549 s]
/proc/loadavg: 7.19 3.97 3.68 2/217 28311
/proc/meminfo: memFree=29290924/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=92188 CPUtime=0.07 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 422 0 0 0 7 0 0 0 23 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390060 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/28311/statm: 23047 361 303 106 0 18018 0
[pid=28311/tid=28312] ppid=28309 vsize=92188 CPUtime=0.01 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 5 0 0 0 1 0 0 0 23 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040389648 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040390060 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=92188 CPUtime=0.01 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040389651 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=92188 CPUtime=0.01 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040389655 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040389657 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=92188 CPUtime=0 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040389651 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=92188 CPUtime=0.01 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 544890350 94400512 361 33554432000 4194304 4627427 140736291013216 18446744073709551615 47297040389657 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92188

[startup+0.101395 s]
/proc/loadavg: 7.19 3.97 3.68 2/217 28311
/proc/meminfo: memFree=29290924/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=511136 CPUtime=0.58 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 42743 0 0 0 47 11 0 0 18 0 8 0 544890350 523403264 34773 33554432000 4194304 4627427 140736291013216 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28311/statm: 128145 34833 337 106 0 123116 0
[pid=28311/tid=28312] ppid=28309 vsize=512580 CPUtime=0.07 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 6600 0 0 0 7 0 0 0 18 0 8 0 544890350 524881920 34867 33554432000 4194304 4627427 140736291013216 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=512580 CPUtime=0.02 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 6683 0 0 0 1 1 0 0 18 0 8 0 544890350 524881920 34898 33554432000 4194304 4627427 140736291013216 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=512580 CPUtime=0.07 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) S 28309 28311 28211 0 -1 4202560 4233 0 0 0 7 0 0 0 17 0 8 0 544890350 524881920 34938 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=512580 CPUtime=0.07 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) S 28309 28311 28211 0 -1 4202560 3969 0 0 0 6 1 0 0 17 0 8 0 544890350 524881920 34974 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=512580 CPUtime=0.07 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 5697 0 0 0 5 2 0 0 18 0 8 0 544890350 524881920 35006 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204344512 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=512580 CPUtime=0.06 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) S 28309 28311 28211 0 -1 4202560 4462 0 0 0 5 1 0 0 17 0 8 0 544890350 524881920 35043 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 7 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=512580 CPUtime=0.07 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 5237 0 0 0 6 1 0 0 18 0 8 0 544890350 524881920 35078 33554432000 4194304 4627427 140736291013216 18446744073709551615 4316560 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 511136

[startup+0.302152 s]
/proc/loadavg: 7.19 3.97 3.68 2/217 28311
/proc/meminfo: memFree=29290924/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=1142612 CPUtime=1.84 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 194498 0 0 0 135 49 0 0 17 0 8 0 544890350 1170034688 157482 33554432000 4194304 4627427 140736291013216 18446744073709551615 4531723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28311/statm: 285653 157520 341 106 0 280624 0
[pid=28311/tid=28312] ppid=28309 vsize=1142612 CPUtime=0.24 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 22770 0 0 0 19 5 0 0 17 0 8 0 544890350 1170034688 157595 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=1142612 CPUtime=0.19 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) D 28309 28311 28211 0 -1 4202560 23876 0 0 0 13 6 0 0 17 0 8 0 544890350 1170034688 157610 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=1142612 CPUtime=0.23 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 27958 0 0 0 18 5 0 0 18 0 8 0 544890350 1170034688 157616 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=1142612 CPUtime=0.22 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 26378 0 0 0 16 6 0 0 17 0 8 0 544890350 1170034688 157637 33554432000 4194304 4627427 140736291013216 18446744073709551615 4302545 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=1142612 CPUtime=0.24 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 23706 0 0 0 17 7 0 0 17 0 8 0 544890350 1170034688 157658 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=1142612 CPUtime=0.22 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) S 28309 28311 28211 0 -1 4202560 25460 0 0 0 16 6 0 0 17 0 8 0 544890350 1170034688 157700 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 7 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=1142612 CPUtime=0.22 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 22059 0 0 0 17 5 0 0 17 0 8 0 544890350 1170034688 157742 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 1142612

[startup+0.70405 s]
/proc/loadavg: 7.19 3.97 3.68 2/217 28311
/proc/meminfo: memFree=29290924/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=1273684 CPUtime=4.61 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 221383 0 0 0 363 98 0 0 17 0 8 0 544890350 1304252416 184367 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752415 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28311/statm: 318421 184371 341 106 0 313392 0
[pid=28311/tid=28312] ppid=28309 vsize=1273684 CPUtime=0.59 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 26413 0 0 0 48 11 0 0 18 0 8 0 544890350 1304252416 184375 33554432000 4194304 4627427 140736291013216 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=1273684 CPUtime=0.54 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 28149 0 0 0 42 12 0 0 18 0 8 0 544890350 1304252416 184377 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=1273684 CPUtime=0.57 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 30413 0 0 0 44 13 0 0 17 0 8 0 544890350 1304252416 184380 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=1273684 CPUtime=0.57 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 29386 0 0 0 45 12 0 0 17 0 8 0 544890350 1304252416 184381 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=1273684 CPUtime=0.59 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 28361 0 0 0 49 10 0 0 18 0 8 0 544890350 1304252416 184381 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=1273684 CPUtime=0.56 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 28830 0 0 0 44 12 0 0 17 0 8 0 544890350 1304252416 184381 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=1273684 CPUtime=0.56 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) S 28309 28311 28211 0 -1 4202560 25835 0 0 0 44 12 0 0 17 0 8 0 544890350 1304252416 184382 33554432000 4194304 4627427 140736291013216 18446744073709551615 210204752366 0 0 4096 2 18446604471126242624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 1273684

[startup+1.50092 s]
/proc/loadavg: 7.19 3.97 3.68 9/225 28319
/proc/meminfo: memFree=28482132/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=1541000 CPUtime=10.21 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 252144 0 0 0 839 182 0 0 17 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28311/statm: 385250 214552 363 106 0 380221 0
[pid=28311/tid=28312] ppid=28309 vsize=1541000 CPUtime=1.33 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 29296 0 0 0 113 20 0 0 18 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=1541000 CPUtime=1.25 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 31186 0 0 0 105 20 0 0 18 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=1541000 CPUtime=1.25 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 34532 0 0 0 99 26 0 0 17 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=1541000 CPUtime=1.27 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 33654 0 0 0 102 25 0 0 17 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=1541000 CPUtime=1.33 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 31393 0 0 0 118 15 0 0 18 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=1541000 CPUtime=1.24 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 33459 0 0 0 98 26 0 0 17 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=1541000 CPUtime=1.27 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 30855 0 0 0 102 25 0 0 17 0 8 0 544890350 1577984000 214552 33554432000 4194304 4627427 140736291013216 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.21
Current children cumulated vsize (KiB) 1541000

[startup+3.10065 s]
/proc/loadavg: 7.19 3.97 3.68 10/225 28319
/proc/meminfo: memFree=28431168/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=1541800 CPUtime=23.01 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 256512 0 0 0 2118 183 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28311/statm: 385450 218920 367 106 0 380421 0
[pid=28311/tid=28312] ppid=28309 vsize=1541800 CPUtime=2.92 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 30689 0 0 0 272 20 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=1541800 CPUtime=2.85 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 32463 0 0 0 265 20 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=1541800 CPUtime=2.85 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 34536 0 0 0 259 26 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=1541800 CPUtime=2.87 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 33658 0 0 0 262 25 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=1541800 CPUtime=2.93 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 32756 0 0 0 278 15 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=1541800 CPUtime=2.83 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 33459 0 0 0 257 26 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=1541800 CPUtime=2.87 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 31182 0 0 0 262 25 0 0 20 0 8 0 544890350 1578803200 218920 33554432000 4194304 4627427 140736291013216 18446744073709551615 4329636 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.01
Current children cumulated vsize (KiB) 1541800

[startup+6.30112 s]
/proc/loadavg: 7.26 4.04 3.70 9/225 28319
/proc/meminfo: memFree=28386380/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=1551624 CPUtime=48.59 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 265170 0 0 0 4674 185 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/28311/statm: 387906 226758 368 106 0 382877 0
[pid=28311/tid=28312] ppid=28309 vsize=1551624 CPUtime=6.12 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 30743 0 0 0 592 20 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=1551624 CPUtime=6.05 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 32520 0 0 0 585 20 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=1551624 CPUtime=6.05 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 36039 0 0 0 578 27 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=1551624 CPUtime=6.07 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 35051 0 0 0 582 25 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=1551624 CPUtime=6.13 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 32861 0 0 0 598 15 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=1551624 CPUtime=6.01 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 34983 0 0 0 575 26 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=1551624 CPUtime=6.07 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 33837 0 0 0 581 26 0 0 25 0 8 0 544890350 1588862976 226758 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0

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

Current children cumulated vsize (KiB) 11493868

[startup+4722.31 s]
/proc/loadavg: 8.05 8.04 7.97 9/225 28457
/proc/meminfo: memFree=19667056/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=11642388 CPUtime=37743.6 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 12568182 0 0 0 3770406 3956 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 2910597 2401613 399 106 0 2905568 0
[pid=28311/tid=28312] ppid=28309 vsize=11642388 CPUtime=4721.96 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1647933 0 0 0 471713 483 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=11642388 CPUtime=4705.34 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1775709 0 0 0 469988 546 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=11642388 CPUtime=4721.9 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1218945 0 0 0 471760 430 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=11642388 CPUtime=4721.67 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1195056 0 0 0 471704 463 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=11642388 CPUtime=4721.9 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1972332 0 0 0 471577 613 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=11642388 CPUtime=4710.79 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1498170 0 0 0 470522 557 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=11642388 CPUtime=4721.1 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1760838 0 0 0 471749 361 0 0 25 0 8 0 544890350 11921805312 2401613 33554432000 4194304 4627427 140736291013216 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37743.6
Current children cumulated vsize (KiB) 11642388

[startup+4782.3 s]
/proc/loadavg: 8.05 8.05 7.97 9/225 28468
/proc/meminfo: memFree=19599764/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=11562768 CPUtime=38223.1 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 12620035 0 0 0 3818331 3983 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 2890692 2418621 399 106 0 2885663 0
[pid=28311/tid=28312] ppid=28309 vsize=11562768 CPUtime=4781.95 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1655488 0 0 0 477709 486 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4310689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=11562768 CPUtime=4764.95 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1780763 0 0 0 475944 551 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=11562768 CPUtime=4781.9 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1223827 0 0 0 477756 434 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=11562768 CPUtime=4781.67 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1197924 0 0 0 477702 465 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=11562768 CPUtime=4781.88 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1977522 0 0 0 477571 617 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=11562768 CPUtime=4770.78 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1502986 0 0 0 476518 560 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309948 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=11562768 CPUtime=4781.09 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1774886 0 0 0 477744 365 0 0 25 0 8 0 544890350 11840274432 2418621 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38223.1
Current children cumulated vsize (KiB) 11562768

[startup+4842.3 s]
/proc/loadavg: 8.06 8.05 7.98 9/225 28470
/proc/meminfo: memFree=19664688/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=11498624 CPUtime=38702.7 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 12678563 0 0 0 3866263 4010 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 2874656 2402209 391 106 0 2869627 0
[pid=28311/tid=28312] ppid=28309 vsize=11498624 CPUtime=4841.94 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1659984 0 0 0 483706 488 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=11498624 CPUtime=4824.55 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1789596 0 0 0 481899 556 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4321488 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=11498624 CPUtime=4841.9 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1231592 0 0 0 483754 436 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309744 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=11498624 CPUtime=4841.67 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1200604 0 0 0 483700 467 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=11498624 CPUtime=4841.88 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1985377 0 0 0 483567 621 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=11498624 CPUtime=4830.78 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1511075 0 0 0 482514 564 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=11498624 CPUtime=4841.07 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1789314 0 0 0 483738 369 0 0 25 0 8 0 544890350 11774590976 2402209 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38702.7
Current children cumulated vsize (KiB) 11498624

[startup+4902.3 s]
/proc/loadavg: 8.02 8.04 7.98 9/225 28471
/proc/meminfo: memFree=19660424/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=11322268 CPUtime=39182.3 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 12728122 0 0 0 3914197 4037 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 2830567 2403324 391 106 0 2825538 0
[pid=28311/tid=28312] ppid=28309 vsize=11322268 CPUtime=4901.95 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1662439 0 0 0 489704 491 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=11322268 CPUtime=4884.16 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1794791 0 0 0 487855 561 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=11322268 CPUtime=4901.9 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1235269 0 0 0 489751 439 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=11322268 CPUtime=4901.67 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1207720 0 0 0 489695 472 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=11322268 CPUtime=4901.88 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1992650 0 0 0 489564 624 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4321482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=11322268 CPUtime=4890.79 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1520963 0 0 0 488512 567 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=11322268 CPUtime=4901.06 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1794189 0 0 0 489734 372 0 0 25 0 8 0 544890350 11594002432 2403324 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39182.3
Current children cumulated vsize (KiB) 11322268

[startup+4962.3 s]
/proc/loadavg: 8.32 8.11 8.01 9/225 28475
/proc/meminfo: memFree=19611864/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=11359880 CPUtime=39661.1 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 12781215 0 0 0 3962050 4061 0 0 25 0 8 0 544890350 11632517120 2415238 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 2839970 2415238 391 106 0 2834941 0
[pid=28311/tid=28312] ppid=28309 vsize=11359880 CPUtime=4961.94 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1670182 0 0 0 495700 494 0 0 25 0 8 0 544890350 11632517120 2415238 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=11359880 CPUtime=4943.78 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1803698 0 0 0 493812 566 0 0 25 0 8 0 544890350 11632517120 2415238 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=11359880 CPUtime=4961.91 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1237707 0 0 0 495750 441 0 0 25 0 8 0 544890350 11632517120 2415238 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=11359880 CPUtime=4961.66 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1209829 0 0 0 495693 473 0 0 25 0 8 0 544890350 11632517120 2415238 33554432000 4194304 4627427 140736291013216 18446744073709551615 4321482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=11359880 CPUtime=4961.88 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1997384 0 0 0 495561 627 0 0 25 0 8 0 544890350 11632517120 2415238 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=11359880 CPUtime=4950.79 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1529050 0 0 0 494508 571 0 0 25 0 8 0 544890350 11632517120 2415239 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=11359880 CPUtime=4960.25 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1808751 0 0 0 495648 377 0 0 25 0 8 0 544890350 11632517120 2415239 33554432000 4194304 4627427 140736291013216 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39661.1
Current children cumulated vsize (KiB) 11359880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5004.7 s]
/proc/loadavg: 8.15 8.09 8.00 9/225 28477
/proc/meminfo: memFree=19583220/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=11616896 CPUtime=40000.1 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) R 28309 28311 28211 0 -1 4202496 12809378 0 0 0 3995929 4080 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 2904224 2422400 391 106 0 2899195 0
[pid=28311/tid=28312] ppid=28309 vsize=11616896 CPUtime=5004.34 cores=0-7
/proc/28311/task/28312/stat : 28312 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1673302 0 0 0 499938 496 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4299650 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=11616896 CPUtime=4985.9 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1807137 0 0 0 498021 569 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28311/tid=28314] ppid=28309 vsize=11616896 CPUtime=5004.32 cores=0-7
/proc/28311/task/28314/stat : 28314 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1240987 0 0 0 499988 444 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28311/tid=28315] ppid=28309 vsize=11616896 CPUtime=5004.08 cores=0-7
/proc/28311/task/28315/stat : 28315 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1212964 0 0 0 499933 475 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28311/tid=28316] ppid=28309 vsize=11616896 CPUtime=5004.29 cores=0-7
/proc/28311/task/28316/stat : 28316 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1998710 0 0 0 499802 627 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28311/tid=28317] ppid=28309 vsize=11616896 CPUtime=4993.19 cores=0-7
/proc/28311/task/28317/stat : 28317 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1532887 0 0 0 498746 573 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28311/tid=28318] ppid=28309 vsize=11616896 CPUtime=5002.65 cores=0-7
/proc/28311/task/28318/stat : 28318 (strangenight2-m) R 28309 28311 28211 0 -1 4202560 1812385 0 0 0 499886 379 0 0 25 0 8 0 544890350 11895701504 2422400 33554432000 4194304 4627427 140736291013216 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 40000.1
Current children cumulated vsize (KiB) 11616896

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

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

[startup+5005.01 s]
/proc/loadavg: 8.15 8.09 8.00 2/220 28478
/proc/meminfo: memFree=23507860/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=0 CPUtime=40000.4 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) Z 28309 28311 28211 0 -1 4203548 12809381 0 0 0 3995934 4109 0 0 25 0 2 0 544890350 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 0 0 0 0 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=0 CPUtime=4986.2 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4203588 1807137 0 0 0 498022 598 0 0 25 0 2 0 544890350 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 0

[startup+5005.1 s]
/proc/loadavg: 8.15 8.09 8.00 2/220 28478
/proc/meminfo: memFree=23507860/32951124 swapFree=67107192/67111528
[pid=28311] ppid=28309 vsize=0 CPUtime=40000.5 cores=0-7
/proc/28311/stat : 28311 (strangenight2-m) Z 28309 28311 28211 0 -1 4203548 12809381 0 0 0 3995934 4119 0 0 25 0 2 0 544890350 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/28311/statm: 0 0 0 0 0 0 0
[pid=28311/tid=28313] ppid=28309 vsize=0 CPUtime=4986.3 cores=0-7
/proc/28311/task/28313/stat : 28313 (strangenight2-m) R 28309 28311 28211 0 -1 4203588 1807137 0 0 0 498022 608 0 0 25 0 2 0 544890350 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40000.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5005.16
CPU time (s): 40000.6
CPU user time (s): 39959.3
CPU system time (s): 41.2497
CPU usage (%): 799.187
Max. virtual memory (cumulated for all children) (KiB): 11918188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39959.3
system time used= 41.2497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12809381
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= 178078
involuntary context switches= 167327

runsolver used 8.81066 second user time and 23.3355 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-02 12:41:58
IDJOB=3321241
IDBENCH=84248
IDSOLVER=1709
FILE ID=node130/3321241-1304332917
RUNJOBID= node130-1304332708-28225
PBS_JOBID= 13177712
Free space on /tmp= 73532 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321241-1304332917/watcher-3321241-1304332917 -o /tmp/evaluation-result-3321241-1304332917/solver-3321241-1304332917 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321241-1304332917.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 3fef216b3efe77c0f10ea0e0be664a94
RANDOM SEED=1214545041

node130.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.838
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.67
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.838
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.83
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.838
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.838
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.81
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.838
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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29291328 kB
Buffers:        256588 kB
Cached:        1801328 kB
SwapCached:       2028 kB
Active:        1806288 kB
Inactive:      1560944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29291328 kB
SwapTotal:    67111528 kB
SwapFree:     67107192 kB
Dirty:           21004 kB
Writeback:           0 kB
AnonPages:     1308908 kB
Mapped:          18964 kB
Slab:           219112 kB
PageTables:      11880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 20418112 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= 73524 MiB
End job on node130 at 2011-05-02 14:05:25