Trace number 3394764

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 (fixed)? (TO) 40000.6 5012.92

General information on the benchmark

NameSAT03/industrial/li/li-exam/
li-exam-61.shuffled-as.sat03-366.cnf
MD5SUM3be662940f394fa876137a905247d755
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 variables28147
Number of clauses108436
Sum of the clauses size373110
Maximum clause length166
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 218786
Number of clauses of size 351588
Number of clauses of size 437440
Number of clauses of size 53
Number of clauses of size over 5605

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3394764-1306105314.cnf'
0.00/0.02	c -- header says num vars:          28147
0.00/0.02	c -- header says num clauses:      108436
1.16/0.23	c -- clauses added:            0 learnts,       108436 normals,            0 xors
1.16/0.23	c -- vars added      28147
1.16/0.23	c Parsing time:  0.07 s
1.16/0.23	c  N st     0         0     28147     89613     18786         0    372979         0   no data   no data
1.82/0.54	c asymm  cl-useful: 3453/89582/89582 lits-rem:3703 time: 0.27
3.73/0.66	c Flit:    11 Blit:      0 bXBeca:    0 bXProp: 4694 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
4.96/0.71	c Replacing     4694 vars Replaced    77987 lits Time:     0.04 s 
6.68/1.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.68/1.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
6.68/1.05	c subs with bin:      246  lits-rem:       220  v-fix:    0  time:  0.02 s
6.68/1.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    16 done:  23417 time:  0.01 s
6.68/1.08	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
9.78/1.45	c lits-rem:      4096  cl-subs:     1951  v-elim:    662  v-fix:    0  time:  0.33 s
9.78/1.46	c Finding binary XORs  T:     0.01 s  found:       0
10.58/1.52	c Finding non-binary XORs:     0.05 s (found:    7758, avg size: 3.5)
10.58/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
10.58/1.52	c calculated reachability. Time: 0.00
10.58/1.53	c Calc default polars -  time:   0.01 s pos:    4737 undec:    5932 neg:   17478
10.58/1.53	c =========================================================================================
10.58/1.53	c types(t): F = full restart, N = normal restart
10.58/1.53	c types(t): S = simplification begin/end, E = solution found
10.58/1.53	c restart types(rt): st = static, dy = dynamic
10.58/1.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.58/1.53	c  B st     0         0     22743     41139      9807         0    220846         0   no data   no data
16.32/2.22	c Decided on static restart strategy
22.55/3.02	c  N st     8      4911     22527     41139     11284      3348    220846     16965   no data   no data
27.33/3.67	c Finding binary XORs  T:     0.01 s  found:       0
44.10/5.71	c  N st    10     11293     22382     39769     16296      9015    216905     56611   no data   no data
53.68/6.93	c Finding binary XORs  T:     0.01 s  found:       0
75.23/9.64	c  N st    11     17036     22347     39549     23338     14509    216365     98336   no data   no data
124.72/15.90	c  F st    12     25005     22347     39549     23423     19338    216365    486793   no data   no data
125.51/15.91	c Replacing        6 vars Replaced       14 lits Time:     0.01 s 
125.51/15.95	c  N st    12     25005     22346     39549     23422     19338    216329    486791   no data   no data
125.51/15.96	c Finding binary XORs  T:     0.01 s  found:       0
146.28/18.58	c Decided on static restart strategy
146.28/18.58	c  N st    18     30000     22346     39549     24852     24238    216329   1041518   no data   no data
146.28/18.58	c  S st    18     30000     22346     39549     24852     24238    216329   1041518   no data   no data
148.81/18.82	c  S st    18     30504     22346     39549     24867     24723    216329   1047516   no data   no data
148.81/18.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
151.86/19.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  22975 BRemL:  10847 BRemN:     43 P:  5.9M T:  0.40
151.86/19.25	c blocked clauses removed:        0 vars:      0 tried:        3698 T: 0.00 s
151.86/19.26	c bin-w-bin subsume rem         3521 bins  time:  0.01 s
151.86/19.29	c subs with bin:    10657  lits-rem:      2652  v-fix:    0  time:  0.03 s
152.66/19.31	c Subs w/ non-existent bins:    266 l-rem:     79 v-fix:     0 done:   3311 time:  0.02 s
152.66/19.33	c Removed useless bin:     172  fixed:     0  props:   0.29M  time:  0.01 s
153.45/19.41	c lits-rem:         2  cl-subs:       59  v-elim:   1061  v-fix:    0  time:  0.08 s
153.45/19.44	c subs with bin:     1083  lits-rem:      1644  v-fix:    0  time:  0.02 s
153.45/19.48	c lits-rem:       185  cl-subs:      212  v-elim:      0  v-fix:    0  time:  0.04 s
155.05/19.67	c asymm  cl-useful: 302/29910/29910 lits-rem:306 time: 0.18
155.05/19.68	c calculated reachability. Time: 0.00
155.05/19.68	c  N st    18     30504     21285     29908     29637     16208    195937    146041   no data   no data
167.01/21.18	c Finding binary XORs  T:     0.02 s  found:       0
179.79/22.73	c  N st    20     37618     21285     29908     30108     23202    195937   1266966   no data   no data
221.28/27.99	c  N st    21     44019     21285     29908     30108     26419    195937   2167767   no data   no data
222.08/28.03	c Finding binary XORs  T:     0.02 s  found:       0
228.45/28.88	c  S st    22     45756     21285     29908     59116     28146    195937   2492364   no data   no data
230.05/29.09	c  S st    22     46256     21285     29908     59119     28638    195937   2499284   no data   no data
230.87/29.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
234.06/29.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  15470 BRemL:  28004 BRemN:      0 P:  8.1M T:  0.48
234.86/29.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
234.86/29.61	c bin-w-bin subsume rem         9440 bins  time:  0.01 s
234.86/29.63	c subs with bin:     2815  lits-rem:       285  v-fix:    0  time:  0.02 s
234.86/29.65	c Subs w/ non-existent bins:    105 l-rem:     26 v-fix:     0 done:   8900 time:  0.02 s
234.86/29.67	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
235.80/29.73	c lits-rem:         0  cl-subs:       14  v-elim:    185  v-fix:    0  time:  0.04 s
235.80/29.81	c subs with bin:      241  lits-rem:      1719  v-fix:    0  time:  0.05 s
237.24/29.90	c lits-rem:       316  cl-subs:      113  v-elim:      0  v-fix:    0  time:  0.08 s
237.24/29.91	c vivif2 --  cl tried    27178 cl shrink      689 lits rem        689 time: 0.01
237.24/29.93	c vivif2 --  cl tried    19707 cl shrink     1751 lits rem       2426 time: 0.02
238.84/30.10	c asymm  cl-useful: 0/27138/27138 lits-rem:0 time: 0.17
238.84/30.11	c calculated reachability. Time: 0.00
238.84/30.11	c  N st    22     46256     21100     27138     36653     19700    191114    402155   no data   no data
335.41/42.27	c  N st    23     60656     21100     27138     36653     33890    191114   2618619   no data   no data
336.21/42.30	c Finding binary XORs  T:     0.02 s  found:       0
396.07/49.85	c  N st    24     69384     21100     27138     58130     34255    191114   3455431   no data   no data
396.07/49.85	c  S st    24     69384     21100     27138     58130     34255    191114   3455431   no data   no data
396.07/49.87	c Finding binary XORs  T:     0.02 s  found:       0
398.47/50.15	c  S st    24     69888     21100     27138     62693     34756    191114   3474546   no data   no data
398.47/50.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
402.61/50.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:  22538 BRemN:      1 P:  5.9M T:  0.44
402.61/50.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
402.61/50.65	c bin-w-bin subsume rem         3650 bins  time:  0.01 s
402.61/50.67	c subs with bin:      753  lits-rem:         0  v-fix:    0  time:  0.02 s
402.61/50.69	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:   5905 time:  0.02 s
402.61/50.70	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
403.42/50.76	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.06 s
413.63/52.06	c subs with bin:       24  lits-rem:      2011  v-fix:    0  time:  1.11 s
431.19/54.25	c lits-rem:      2771  cl-subs:      451  v-elim:      0  v-fix:    0  time:  2.15 s
431.19/54.26	c vivif2 --  cl tried    26382 cl shrink        1 lits rem          1 time: 0.01
432.79/54.48	c vivif2 --  cl tried    34281 cl shrink     5901 lits rem      15530 time: 0.21
434.39/54.67	c asymm  cl-useful: 4/26381/26381 lits-rem:4 time: 0.19
434.39/54.68	c calculated reachability. Time: 0.00
434.39/54.68	c  N st    24     69888     21099     26381     36504     34281    189411   3342646   no data   no data
560.63/70.51	c  F st    25     87500     21099     26381     36504     51626    189411   6545206   no data   no data
562.07/70.61	c  N st    25     87500     21099     26381     36504     51626    189411   6545206   no data   no data
562.07/70.63	c Finding binary XORs  T:     0.02 s  found:       0
586.97/73.77	c Decided on static restart strategy
596.56/74.97	c  N st    32     95543     21099     26381     38649     44044    189411   3864056   no data   no data
633.91/79.62	c  N st    34    104832     21099     26381     38649     53215    189411   5870259   no data   no data
633.91/79.62	c  S st    34    104832     21099     26381     38649     53215    189411   5870259   no data   no data
636.32/79.91	c  S st    34    105339     21099     26381     38649     53719    189411   5880161   no data   no data
636.32/79.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
639.65/80.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:   1757 BRemN:      0 P:  6.2M T:  0.44
639.65/80.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
639.65/80.41	c bin-w-bin subsume rem           15 bins  time:  0.01 s
640.46/80.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
640.46/80.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9426 time:  0.02 s
640.46/80.47	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
641.09/80.55	c lits-rem:         2  cl-subs:        6  v-elim:      2  v-fix:    0  time:  0.08 s
657.21/82.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
697.77/87.64	c lits-rem:      5034  cl-subs:      614  v-elim:      0  v-fix:    0  time:  5.02 s
697.77/87.65	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
700.17/87.99	c vivif2 --  cl tried    53105 cl shrink    10387 lits rem      29799 time: 0.33
702.55/88.22	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.22
702.55/88.23	c calculated reachability. Time: 0.00
702.55/88.23	c  N st    34    105339     21097     26372     36874     53105    188988   5724543   no data   no data
777.58/97.63	c  N st    35    114937     21097     26372     36874     43825    188988   4168604   no data   no data
855.81/107.43	c  N st    36    129337     21097     26372     36882     58052    188988   6612593   no data   no data
980.31/123.08	c  N st    37    150933     21097     26372     36890     57548    188988   7006714   no data   no data
1022.61/128.30	c  S st    38    158009     21097     26372     36890     64494    188988   7956082   no data   no data
1025.01/128.64	c  S st    38    158509     21097     26372     36890     64994    188988   7965129   no data   no data
1025.01/128.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1028.99/129.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     15 BRemN:      0 P:  6.4M T:  0.46
1028.99/129.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1028.99/129.17	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1028.99/129.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1029.79/129.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7183 time:  0.02 s
1029.79/129.22	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
1030.58/129.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1046.55/131.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
1107.20/138.98	c lits-rem:      3632  cl-subs:      987  v-elim:      0  v-fix:    0  time:  7.46 s
1107.20/138.99	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
1111.20/139.46	c vivif2 --  cl tried    64007 cl shrink    12594 lits rem      36016 time: 0.47
1112.80/139.69	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.22
1113.75/139.72	c calculated reachability. Time: 0.01
1113.75/139.72	c  N st    38    158509     21097     26372     36873     64007    188986   7719536   no data   no data
1487.89/186.73	c  N st    39    207098     21097     26372     36873     63432    188986   9606567   no data   no data
1738.49/218.18	c  N st    40    237764     21097     26372     36880     67214    188986   8402223   no data   no data
1738.49/218.18	c  S st    40    237764     21097     26372     36880     67214    188986   8402223   no data   no data
1742.49/218.61	c  S st    40    238266     21097     26372     36900     67715    188986   8413096   no data   no data
1742.49/218.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1746.47/219.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     28 BRemN:      0 P:  6.5M T:  0.49
1746.47/219.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1746.47/219.17	c bin-w-bin subsume rem            1 bins  time:  0.01 s
1746.47/219.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1747.26/219.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10906 time:  0.02 s
1747.26/219.23	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
1748.06/219.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
1764.02/221.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
1835.87/230.34	c lits-rem:      3715  cl-subs:     1440  v-elim:      0  v-fix:    0  time:  8.79 s
1835.87/230.35	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
1839.86/230.86	c vivif2 --  cl tried    66275 cl shrink    12774 lits rem      48321 time: 0.51
1841.59/231.11	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.23
1842.41/231.13	c calculated reachability. Time: 0.00
1842.41/231.13	c  N st    40    238266     21097     26372     36871     66275    188986   8232056   no data   no data
2175.20/272.82	c  F st    41    306252     21097     26372     36871     77714    188986  13594568   no data   no data
2175.20/272.92	c  N st    41    306252     21097     26372     36871     77714    188986  13594568   no data   no data
2207.79/276.97	c Decided on static restart strategy
2371.38/297.41	c  N st    51    334566     21097     26372     36871     76140    188986   8516478   no data   no data
2513.45/315.23	c  N st    53    357399     21097     26372     36871     68205    188986   8080317   no data   no data
2513.45/315.23	c  S st    53    357399     21097     26372     36871     68205    188986   8080317   no data   no data
2516.65/315.60	c  S st    53    357902     21097     26372     36871     68707    188986   8088455   no data   no data
2516.65/315.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2521.43/316.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  0.57
2521.43/316.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2521.43/316.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2521.43/316.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2521.43/316.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6414 time:  0.02 s
2522.23/316.31	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
2523.03/316.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
2538.98/318.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.67 s
2582.09/323.85	c lits-rem:      6255  cl-subs:      459  v-elim:      0  v-fix:    0  time:  5.25 s
2582.09/323.86	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
2586.09/324.38	c vivif2 --  cl tried    68248 cl shrink    11301 lits rem      62462 time: 0.51
2588.62/324.63	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.23
2588.62/324.64	c calculated reachability. Time: 0.00
2588.62/324.64	c  N st    53    357902     21097     26372     36871     68248    188986   7941352   no data   no data
2808.74/352.29	c  N st    54    390300     21097     26372     36871     68664    188986   7094666   no data   no data
3043.42/381.62	c  N st    55    438888     21097     26372     36871     84074    188986  10839724   no data   no data
3607.67/452.35	c  N st    56    511770     21097     26372     36871     88024    188986  11453398   no data   no data
3729.14/467.59	c  N st    57    536857     21097     26372     36871     77232    188986   8211165   no data   no data
3729.14/467.59	c  S st    57    536857     21097     26372     36871     77232    188986   8211165   no data   no data
3732.18/467.91	c  S st    57    537362     21097     26372     36871     77731    188986   8220411   no data   no data
3732.18/467.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3736.18/468.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.8M T:  0.48
3736.18/468.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3736.18/468.44	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3736.18/468.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3736.18/468.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6408 time:  0.02 s
3736.18/468.49	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
3736.98/468.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3753.74/470.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
3811.98/477.95	c lits-rem:      7511  cl-subs:      665  v-elim:      0  v-fix:    0  time:  7.33 s
3811.98/477.97	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
3815.98/478.49	c vivif2 --  cl tried    77066 cl shrink    13488 lits rem      66351 time: 0.51
3818.36/478.73	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.24
3818.36/478.74	c calculated reachability. Time: 0.00
3818.36/478.74	c  N st    57    537362     21097     26372     36871     77066    188986   8022115   no data   no data
4808.98/602.82	c  N st    58    701346     21097     26372     36871     86907    188986   9994701   no data   no data
5622.06/704.79	c  N st    59    806043     21097     26372     36880    108271    188986  18235387   no data   no data
5622.06/704.79	c  S st    59    806043     21097     26372     36880    108271    188986  18235387   no data   no data
5626.20/705.27	c  S st    59    806547     21097     26372     36880     66320    188986   4045152   no data   no data
5626.20/705.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
5630.03/705.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      8 BRemN:      0 P:  6.5M T:  0.47
5630.03/705.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5630.03/705.78	c bin-w-bin subsume rem            1 bins  time:  0.01 s
5630.83/705.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
5630.83/705.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10822 time:  0.02 s
5630.83/705.84	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
5631.63/705.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
5639.61/706.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.82 s
5657.18/709.16	c lits-rem:      2274  cl-subs:      334  v-elim:      0  v-fix:    0  time:  2.19 s
5657.18/709.17	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
5658.78/709.33	c vivif2 --  cl tried    65986 cl shrink     1991 lits rem       5458 time: 0.16
5660.52/709.58	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.22
5660.52/709.59	c calculated reachability. Time: 0.00
5660.52/709.59	c  N st    59    806547     21097     26372     36871     65986    188986   4013037   no data   no data
7754.56/971.98	c  F st    60   1071875     21097     26372     36871     98683    188986  13771905   no data   no data
7755.37/972.08	c  N st    60   1071875     21097     26372     36871     98683    188986  13771905   no data   no data
7792.88/976.70	c Decided on static restart strategy
7982.00/1000.48	c  N st    70   1100179     21097     26372     36871     79544    188986   6204478   no data   no data
8184.71/1025.88	c  N st    72   1136171     21097     26372     36871    115293    188986  16549273   no data   no data
8366.70/1048.63	c  N st    73   1168563     21097     26372     36871     98403    188986   9809074   no data   no data
8571.81/1074.31	c  N st    74   1209823     21097     26372     36871     89000    188986   8647448   no data   no data
8571.81/1074.31	c  S st    74   1209823     21097     26372     36871     89000    188986   8647448   no data   no data
8575.95/1074.85	c  S st    74   1210323     21097     26372     36871     89498    188986   8658788   no data   no data
8575.95/1074.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
8579.79/1075.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.1M T:  0.50
8580.59/1075.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8580.59/1075.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
8580.59/1075.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
8580.59/1075.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3115 time:  0.02 s
8580.59/1075.46	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
8581.38/1075.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
8598.14/1077.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.69 s
8653.22/1084.58	c lits-rem:      3670  cl-subs:      726  v-elim:      0  v-fix:    0  time:  6.81 s
8653.22/1084.59	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
8658.00/1085.12	c vivif2 --  cl tried    88772 cl shrink    11271 lits rem      51843 time: 0.51
8659.60/1085.38	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.26
8659.60/1085.39	c calculated reachability. Time: 0.00
8659.60/1085.39	c  N st    74   1210323     21097     26372     36871     88772    188986   8455784   no data   no data
9239.03/1157.99	c  N st    75   1283205     21097     26372     36871    109224    188986  14273992   no data   no data
10050.83/1259.68	c  N st    76   1392530     21097     26372     36871    111912    188986  13702010   no data   no data
10901.60/1366.24	c  N st    77   1556515     21097     26372     36871    107996    188986  11769081   no data   no data
12371.53/1550.48	c  N st    78   1710323     21097     26372     36871     85504    188986   5585122   no data   no data
12371.53/1550.48	c  S st    78   1710323     21097     26372     36871     85504    188986   5585122   no data   no data
12374.73/1550.87	c  S st    78   1710824     21097     26372     36871     86005    188986   5596440   no data   no data
12375.53/1550.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
12379.50/1551.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.9M T:  0.50
12379.50/1551.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12379.50/1551.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
12379.50/1551.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
12379.50/1551.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7119 time:  0.02 s
12379.50/1551.48	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
12380.31/1551.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
12393.08/1553.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.31 s
12416.21/1556.01	c lits-rem:      2251  cl-subs:      465  v-elim:      0  v-fix:    0  time:  2.89 s
12416.21/1556.02	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
12417.81/1556.25	c vivif2 --  cl tried    85540 cl shrink     2397 lits rem      11417 time: 0.23
12419.40/1556.50	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.25
12419.40/1556.52	c calculated reachability. Time: 0.00
12419.40/1556.52	c  N st    78   1710824     21097     26372     36871     85540    188986   5529609   no data   no data
15100.18/1892.33	c  N st    79   2079789     21097     26372     36871    138698    188986  19871097   no data   no data
16323.64/2045.69	c  N st    80   2210824     21097     26372     36871    136270    188986  14180200   no data   no data
16323.64/2045.69	c  S st    80   2210824     21097     26372     36871    136270    188986  14180200   no data   no data
16327.79/2046.15	c  S st    80   2211328     21097     26372     36871    136774    188986  14189228   no data   no data
16328.43/2046.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
16332.42/2046.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.0M T:  0.58
16332.42/2046.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16333.22/2046.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
16333.22/2046.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
16333.22/2046.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6165 time:  0.02 s
16333.22/2046.85	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
16334.82/2047.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
16353.32/2049.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.72 s
16600.57/2080.34	c lits-rem:     16712  cl-subs:     3720  v-elim:      0  v-fix:    0  time: 30.98 s
16600.57/2080.35	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
16607.90/2081.28	c vivif2 --  cl tried   133054 cl shrink    27017 lits rem      95549 time: 0.91
16610.14/2081.59	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.32
16610.95/2081.61	c calculated reachability. Time: 0.00
16610.95/2081.61	c  N st    80   2211328     21097     26372     36871    133054    188986  13697916   no data   no data
21109.64/2645.39	c  N st    81   2711333     21097     26372     36871    136986    188986  20137646   no data   no data
21109.64/2645.39	c  S st    81   2711333     21097     26372     36871    136986    188986  20137646   no data   no data
21112.82/2645.75	c  S st    81   2711836     21097     26372     36871    137486    188986  20143651   no data   no data
21113.62/2645.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
21117.62/2646.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.1M T:  0.58
21117.62/2646.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
21118.42/2646.40	c bin-w-bin subsume rem            0 bins  time:  0.01 s
21118.42/2646.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
21118.42/2646.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11163 time:  0.02 s
21118.42/2646.46	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
21120.15/2646.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
21140.75/2649.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.69 s
21361.01/2676.83	c lits-rem:      2376  cl-subs:     1007  v-elim:      0  v-fix:    0  time: 27.60 s
21361.01/2676.84	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
21372.19/2678.26	c vivif2 --  cl tried   136479 cl shrink    32134 lits rem     161804 time: 1.40
21374.73/2678.58	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.31
21374.73/2678.59	c calculated reachability. Time: 0.00
21374.73/2678.59	c  N st    81   2711836     21097     26372     36871    136479    188986  19708832   no data   no data
25247.50/3163.84	c  N st    82   3211836     21097     26372     36871    169821    188986  19570211   no data   no data
25247.50/3163.84	c  S st    82   3211836     21097     26372     36871    169821    188986  19570211   no data   no data
25252.31/3164.47	c  S st    82   3212342     21097     26372     36871    170324    188986  19580393   no data   no data
25253.11/3164.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
25258.68/3165.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.7M T:  0.73
25258.68/3165.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25258.68/3165.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
25259.48/3165.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
25259.48/3165.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10401 time:  0.03 s
25259.48/3165.36	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
25261.87/3165.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
25285.01/3168.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.99 s
25666.47/3216.31	c lits-rem:     12238  cl-subs:     3098  v-elim:      0  v-fix:    0  time: 47.80 s
25666.47/3216.32	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
25677.64/3217.75	c vivif2 --  cl tried   167226 cl shrink    43960 lits rem     182239 time: 1.41
25680.84/3218.11	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.36
25680.84/3218.12	c calculated reachability. Time: 0.00
25680.84/3218.12	c  N st    82   3212342     21097     26372     36871    167226    188986  18962991   no data   no data
29690.16/3720.59	c  N st    83   3712343     21097     26372     36871    167586    188986  26125334   no data   no data
29690.16/3720.59	c  S st    83   3712343     21097     26372     36871    167586    188986  26125334   no data   no data
29694.95/3721.13	c  S st    83   3712848     21097     26372     36871    168088    188986  26135996   no data   no data
29695.75/3721.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
29700.54/3721.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.8M T:  0.65
29700.54/3721.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29700.54/3721.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
29700.54/3721.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
29701.34/3721.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4952 time:  0.02 s
29701.34/3721.93	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
29703.73/3722.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.28 s
29726.07/3725.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.71 s
30260.67/3792.12	c lits-rem:      2764  cl-subs:     2204  v-elim:      0  v-fix:    0  time: 67.05 s
30260.67/3792.13	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
30275.99/3794.06	c vivif2 --  cl tried   165884 cl shrink    45224 lits rem     258365 time: 1.90
30279.02/3794.42	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.37
30279.02/3794.44	c calculated reachability. Time: 0.00
30279.02/3794.44	c  N st    83   3712848     21097     26372     36871    165884    188986  25202799   no data   no data
30552.75/3828.78	c  F st    84   3751562     21097     26372     36871    118188    188986   9295594   no data   no data
30553.55/3828.88	c  N st    84   3751562     21097     26372     36871    118188    188986   9295594   no data   no data
30591.22/3833.56	c Decided on static restart strategy
30764.24/3855.21	c  N st    94   3779874     21097     26372     36871    146305    188986  14821764   no data   no data
30982.12/3882.54	c  N st    96   3815866     21097     26372     36871    181997    188986  24998532   no data   no data
31217.53/3912.09	c  N st    97   3848259     21097     26372     36871    126981    188986  10372743   no data   no data
31579.87/3957.40	c  N st    98   3896847     21097     26372     36871    175040    188986  21526707   no data   no data
32122.54/4025.42	c  N st    99   3969729     21097     26372     36871    159477    188986  27445594   no data   no data
32989.21/4134.02	c  N st   100   4079057     21097     26372     36871    178459    188986  22364476   no data   no data
34451.25/4317.26	c  N st   101   4212849     21097     26372     36871    129845    188986  10750564   no data   no data
34451.25/4317.26	c  S st   101   4212849     21097     26372     36871    129845    188986  10750564   no data   no data
34455.23/4317.76	c  S st   101   4213354     21097     26372     36871    130349    188986  10757419   no data   no data
34456.03/4317.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
34461.63/4318.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.9M T:  0.75
34461.63/4318.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34461.63/4318.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
34461.63/4318.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34462.58/4318.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9227 time:  0.03 s
34462.58/4318.66	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.02 s
34464.01/4318.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
34483.17/4321.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.92 s
34550.36/4329.65	c lits-rem:      5367  cl-subs:      518  v-elim:      0  v-fix:    0  time:  8.39 s
34550.36/4329.66	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
34555.79/4330.31	c vivif2 --  cl tried   129831 cl shrink    10443 lits rem      57018 time: 0.64
34558.19/4330.70	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.39
34559.14/4330.72	c calculated reachability. Time: 0.01
34559.14/4330.72	c  N st   101   4213354     21097     26372     36871    129831    188986  10614933   no data   no data
36782.27/4609.31	c  N st   102   4459331     21097     26372     36871    188334    188986  36325120   no data   no data
39098.40/4899.58	c  N st   103   4713354     21097     26372     36871    154034    188986  17199228   no data   no data
39098.40/4899.58	c  S st   103   4713354     21097     26372     36871    154034    188986  17199228   no data   no data
39103.04/4900.17	c  S st   103   4713862     21097     26372     36871    154540    188986  17207265   no data   no data
39103.84/4900.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
39108.61/4900.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.3M T:  0.63
39108.61/4900.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39108.61/4900.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39109.42/4900.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
39109.42/4900.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9911 time:  0.02 s
39109.42/4900.94	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
39111.01/4901.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
39130.18/4903.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.71 s
39305.74/4925.54	c lits-rem:      4066  cl-subs:     1156  v-elim:      0  v-fix:    0  time: 21.97 s
39305.74/4925.55	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
39314.52/4926.67	c vivif2 --  cl tried   153384 cl shrink    25050 lits rem     120612 time: 1.10
39317.06/4927.01	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.34
39317.87/4927.03	c calculated reachability. Time: 0.00
39317.87/4927.03	c  N st   103   4713862     21097     26372     36871    153384    188986  16807961   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394764-1306105314/watcher-3394764-1306105314 -o /tmp/evaluation-result-3394764-1306105314/solver-3394764-1306105314 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394764-1306105314.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.51 7.90 7.95 1/554 26983
/proc/meminfo: memFree=24576584/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=92144 CPUtime=0.08 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 420 0 0 0 8 0 0 0 25 0 8 0 722130093 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973554 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26983/statm: 23036 360 302 95 0 18018 0
[pid=26983/tid=26984] ppid=26981 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 722130093 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722130093 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=92144 CPUtime=0 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722130093 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973554 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722130094 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722130094 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=92144 CPUtime=0 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 722130094 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=92144 CPUtime=0.01 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722130094 94355456 360 33554432000 4194304 4580107 140734994135280 18446744073709551615 47030619973145 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.091251 s]
/proc/loadavg: 7.51 7.90 7.95 1/554 26983
/proc/meminfo: memFree=24576584/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=659100 CPUtime=0.5 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 27401 0 0 0 36 14 0 0 17 0 8 0 722130093 674918400 23308 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26983/statm: 164775 23350 338 95 0 159757 0
[pid=26983/tid=26984] ppid=26981 vsize=659100 CPUtime=0.07 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3413 0 0 0 5 2 0 0 17 0 8 0 722130093 674918400 23374 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=659100 CPUtime=0.06 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3598 0 0 0 5 1 0 0 17 0 8 0 722130093 674918400 23392 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=659100 CPUtime=0.04 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 3514 0 0 0 3 1 0 0 17 0 8 0 722130093 674918400 23411 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=659100 CPUtime=0.05 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3202 0 0 0 5 0 0 0 17 0 8 0 722130094 674918400 23434 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=659100 CPUtime=0.05 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3541 0 0 0 4 1 0 0 17 0 8 0 722130094 674918400 23452 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=659100 CPUtime=0.05 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3682 0 0 0 4 1 0 0 17 0 8 0 722130094 674918400 23478 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=659100 CPUtime=0.06 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 3178 0 0 0 4 2 0 0 17 0 8 0 722130094 674918400 23506 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 659100

[startup+0.106348 s]
/proc/loadavg: 7.51 7.90 7.95 1/554 26983
/proc/meminfo: memFree=24576584/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=659100 CPUtime=0.58 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) S 26981 26983 26908 0 -1 4202496 28345 0 0 0 40 18 0 0 17 0 8 0 722130093 674918400 24252 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26983/statm: 164775 24275 338 95 0 159757 0
[pid=26983/tid=26984] ppid=26981 vsize=659100 CPUtime=0.07 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3514 0 0 0 5 2 0 0 17 0 8 0 722130093 674918400 24313 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=659100 CPUtime=0.07 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 3714 0 0 0 5 2 0 0 17 0 8 0 722130093 674918400 24327 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=659100 CPUtime=0.05 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3726 0 0 0 3 2 0 0 17 0 8 0 722130093 674918400 24328 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=659100 CPUtime=0.07 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 3286 0 0 0 6 1 0 0 17 0 8 0 722130094 674918400 24355 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=659100 CPUtime=0.07 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 3641 0 0 0 5 2 0 0 17 0 8 0 722130094 674918400 24367 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=659100 CPUtime=0.06 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 3783 0 0 0 4 2 0 0 17 0 8 0 722130094 674918400 24370 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=659100 CPUtime=0.06 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 3263 0 0 0 4 2 0 0 17 0 8 0 722130094 674918400 24377 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 659100

[startup+0.302478 s]
/proc/loadavg: 7.51 7.90 7.95 1/554 26983
/proc/meminfo: memFree=24576584/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=662200 CPUtime=1.82 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) S 26981 26983 26908 0 -1 4202496 36434 0 0 0 116 66 0 0 17 0 8 0 722130093 678092800 32341 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26983/statm: 165550 32347 359 95 0 160532 0
[pid=26983/tid=26984] ppid=26981 vsize=662200 CPUtime=0.23 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4527 0 0 0 15 8 0 0 17 0 8 0 722130093 678092800 32351 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=662200 CPUtime=0.22 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4797 0 0 0 14 8 0 0 17 0 8 0 722130093 678092800 32356 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=662200 CPUtime=0.21 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4638 0 0 0 13 8 0 0 17 0 8 0 722130093 678092800 32362 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=662200 CPUtime=0.22 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4104 0 0 0 16 6 0 0 17 0 8 0 722130094 678092800 32372 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=662200 CPUtime=0.22 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4582 0 0 0 15 7 0 0 17 0 8 0 722130094 678092800 32379 33554432000 4194304 4580107 140734994135280 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=662200 CPUtime=0.21 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 4832 0 0 0 14 7 0 0 17 0 8 0 722130094 678092800 32387 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=662200 CPUtime=0.22 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4389 0 0 0 14 8 0 0 17 0 8 0 722130094 678092800 32390 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 662200

[startup+0.709134 s]
/proc/loadavg: 7.51 7.90 7.95 1/554 26983
/proc/meminfo: memFree=24576584/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=672940 CPUtime=4.96 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) S 26981 26983 26908 0 -1 4202496 43244 0 0 0 422 74 0 0 18 0 8 0 722130093 689090560 39151 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26983/statm: 168235 39170 365 95 0 163217 0
[pid=26983/tid=26984] ppid=26981 vsize=672940 CPUtime=0.62 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 5406 0 0 0 53 9 0 0 17 0 8 0 722130093 689090560 39187 33554432000 4194304 4580107 140734994135280 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=672940 CPUtime=0.61 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 5795 0 0 0 52 9 0 0 17 0 8 0 722130093 689090560 39217 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=672940 CPUtime=0.61 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 6396 0 0 0 52 9 0 0 18 0 8 0 722130093 689090560 39246 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=672940 CPUtime=0.61 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 4739 0 0 0 54 7 0 0 17 0 8 0 722130094 689090560 39266 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=672940 CPUtime=0.61 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 5398 0 0 0 53 8 0 0 18 0 8 0 722130094 689090560 39272 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=672940 CPUtime=0.6 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) S 26981 26983 26908 0 -1 4202560 5753 0 0 0 52 8 0 0 17 0 8 0 722130094 689090560 39278 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 18446604459403997376 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=672940 CPUtime=0.61 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4499 0 0 0 52 9 0 0 18 0 8 0 722130094 689090560 39293 33554432000 4194304 4580107 140734994135280 18446744073709551615 251814345198 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 672940

[startup+1.501 s]
/proc/loadavg: 7.51 7.90 7.95 9/562 26991
/proc/meminfo: memFree=24310596/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=702272 CPUtime=10.58 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 82974 0 0 0 909 149 0 0 17 0 8 0 722130093 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4303985 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26983/statm: 175568 68142 379 95 0 170550 0
[pid=26983/tid=26984] ppid=26981 vsize=702272 CPUtime=1.3 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10679 0 0 0 109 21 0 0 17 0 8 0 722130093 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4290486 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=702272 CPUtime=1.29 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 11832 0 0 0 108 21 0 0 17 0 8 0 722130093 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4473268 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=702272 CPUtime=1.39 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 12231 0 0 0 125 14 0 0 18 0 8 0 722130093 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4315625 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=702272 CPUtime=1.3 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10945 0 0 0 111 19 0 0 17 0 8 0 722130094 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4456356 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=702272 CPUtime=1.3 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10450 0 0 0 110 20 0 0 17 0 8 0 722130094 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4456143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=702272 CPUtime=1.27 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 11171 0 0 0 108 19 0 0 17 0 8 0 722130094 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4456255 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=702272 CPUtime=1.38 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4529 0 0 0 129 9 0 0 18 0 8 0 722130094 719126528 68142 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 702272

[startup+3.10073 s]
/proc/loadavg: 7.51 7.90 7.95 9/562 26991
/proc/meminfo: memFree=24302288/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=702272 CPUtime=23.35 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 83622 0 0 0 2186 149 0 0 19 0 8 0 722130093 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293067 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26983/statm: 175568 68616 380 95 0 170550 0
[pid=26983/tid=26984] ppid=26981 vsize=702272 CPUtime=2.9 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10751 0 0 0 269 21 0 0 19 0 8 0 722130093 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=702272 CPUtime=2.89 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 11906 0 0 0 268 21 0 0 20 0 8 0 722130093 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4306424 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=702272 CPUtime=2.99 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 12278 0 0 0 285 14 0 0 21 0 8 0 722130093 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=702272 CPUtime=2.9 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10976 0 0 0 271 19 0 0 19 0 8 0 722130094 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4315560 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=702272 CPUtime=2.9 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10579 0 0 0 270 20 0 0 19 0 8 0 722130094 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=702272 CPUtime=2.87 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 11229 0 0 0 268 19 0 0 20 0 8 0 722130094 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=702272 CPUtime=2.98 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4631 0 0 0 289 9 0 0 20 0 8 0 722130094 719126528 68616 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.35
Current children cumulated vsize (KiB) 702272

[startup+6.30119 s]
/proc/loadavg: 7.55 7.90 7.95 9/562 26991
/proc/meminfo: memFree=24299844/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=702272 CPUtime=48.9 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 84295 0 0 0 4740 150 0 0 25 0 8 0 722130093 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/26983/statm: 175568 69289 380 95 0 170550 0
[pid=26983/tid=26984] ppid=26981 vsize=702272 CPUtime=6.1 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10858 0 0 0 589 21 0 0 25 0 8 0 722130093 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=702272 CPUtime=6.09 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 12007 0 0 0 588 21 0 0 25 0 8 0 722130093 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4306424 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=702272 CPUtime=6.19 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 12360 0 0 0 605 14 0 0 25 0 8 0 722130093 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=702272 CPUtime=6.1 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 11044 0 0 0 591 19 0 0 25 0 8 0 722130094 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=702272 CPUtime=6.1 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 10671 0 0 0 590 20 0 0 25 0 8 0 722130094 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=702272 CPUtime=6.07 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 11296 0 0 0 588 19 0 0 25 0 8 0 722130094 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4295047 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=702272 CPUtime=6.18 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 4677 0 0 0 609 9 0 0 25 0 8 0 722130094 719126528 69289 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 2 0 0 0

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

Current children cumulated vsize (KiB) 10161896

[startup+4722.3 s]
/proc/loadavg: 8.06 8.06 8.01 9/562 27132
/proc/meminfo: memFree=16055280/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=10069780 CPUtime=37684.2 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 13440594 0 0 0 3763645 4778 0 0 25 0 8 0 722130093 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 2517445 2126143 401 95 0 2512427 0
[pid=26983/tid=26984] ppid=26981 vsize=10069780 CPUtime=4721.7 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1882104 0 0 0 471511 659 0 0 25 0 8 0 722130093 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=10069780 CPUtime=4721.8 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1664895 0 0 0 471621 559 0 0 25 0 8 0 722130093 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=10069780 CPUtime=4674.81 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1889458 0 0 0 466830 651 0 0 25 0 8 0 722130093 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=10069780 CPUtime=4706.31 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1803242 0 0 0 469975 656 0 0 25 0 8 0 722130094 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=10069780 CPUtime=4714.89 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1733074 0 0 0 470878 611 0 0 25 0 8 0 722130094 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=10069780 CPUtime=4721.68 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1921895 0 0 0 471452 716 0 0 25 0 8 0 722130094 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=10069780 CPUtime=4720.62 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 674576 0 0 0 471811 251 0 0 25 0 8 0 722130094 10311454720 2126143 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37684.2
Current children cumulated vsize (KiB) 10069780

[startup+4782.3 s]
/proc/loadavg: 8.05 8.06 8.01 9/562 27133
/proc/meminfo: memFree=16029244/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=10313864 CPUtime=38162.9 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 13602295 0 0 0 3811454 4837 0 0 25 0 8 0 722130093 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4295272 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 2578466 2133835 401 95 0 2573448 0
[pid=26983/tid=26984] ppid=26981 vsize=10313864 CPUtime=4781.67 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1899732 0 0 0 477502 665 0 0 25 0 8 0 722130093 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4296104 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=10313864 CPUtime=4781.77 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1685830 0 0 0 477611 566 0 0 25 0 8 0 722130093 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=10313864 CPUtime=4733.68 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1918088 0 0 0 472708 660 0 0 25 0 8 0 722130093 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=10313864 CPUtime=4766.27 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1823247 0 0 0 475966 661 0 0 25 0 8 0 722130094 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=10313864 CPUtime=4774.87 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1745886 0 0 0 476870 617 0 0 25 0 8 0 722130094 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=10313864 CPUtime=4781.66 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1948269 0 0 0 477439 727 0 0 25 0 8 0 722130094 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=10313864 CPUtime=4780.59 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 684113 0 0 0 477804 255 0 0 25 0 8 0 722130094 10561396736 2133835 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38162.9
Current children cumulated vsize (KiB) 10313864

[startup+4842.32 s]
/proc/loadavg: 8.16 8.09 8.02 9/562 27135
/proc/meminfo: memFree=16043868/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=10480320 CPUtime=38641.9 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 13742114 0 0 0 3859299 4893 0 0 25 0 8 0 722130093 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4295023 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 2620080 2129153 401 95 0 2615062 0
[pid=26983/tid=26984] ppid=26981 vsize=10480320 CPUtime=4841.68 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1924754 0 0 0 483494 674 0 0 25 0 8 0 722130093 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=10480320 CPUtime=4841.78 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1700244 0 0 0 483606 572 0 0 25 0 8 0 722130093 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=10480320 CPUtime=4792.6 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1930838 0 0 0 478594 666 0 0 25 0 8 0 722130093 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=10480320 CPUtime=4826.3 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1848501 0 0 0 481960 670 0 0 25 0 8 0 722130094 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4317489 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=10480320 CPUtime=4834.88 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1764111 0 0 0 482865 623 0 0 25 0 8 0 722130094 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=10480320 CPUtime=4841.68 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1971353 0 0 0 483432 736 0 0 25 0 8 0 722130094 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=10480320 CPUtime=4840.58 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 690034 0 0 0 483801 257 0 0 25 0 8 0 722130094 10731847680 2129153 33554432000 4194304 4580107 140734994135280 18446744073709551615 4325440 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38641.9
Current children cumulated vsize (KiB) 10480320

[startup+4902.3 s]
/proc/loadavg: 8.06 8.07 8.01 9/562 27136
/proc/meminfo: memFree=16008892/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=10551400 CPUtime=39120.6 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 13877058 0 0 0 3907109 4951 0 0 25 0 8 0 722130093 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4412930 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 2637850 2141956 401 95 0 2632832 0
[pid=26983/tid=26984] ppid=26981 vsize=10551400 CPUtime=4901.66 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1942605 0 0 0 489488 678 0 0 25 0 8 0 722130093 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4406486 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=10551400 CPUtime=4901.77 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1720892 0 0 0 489594 583 0 0 25 0 8 0 722130093 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=10551400 CPUtime=4851.46 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1952719 0 0 0 484472 674 0 0 25 0 8 0 722130093 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=10551400 CPUtime=4886.27 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1863224 0 0 0 487951 676 0 0 25 0 8 0 722130094 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=10551400 CPUtime=4894.86 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1777750 0 0 0 488855 631 0 0 25 0 8 0 722130094 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=10551400 CPUtime=4901.65 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1982853 0 0 0 489420 745 0 0 25 0 8 0 722130094 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=10551400 CPUtime=4900.55 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 699099 0 0 0 489794 261 0 0 25 0 8 0 722130094 10804633600 2141956 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39120.6
Current children cumulated vsize (KiB) 10551400

[startup+4962.3 s]
/proc/loadavg: 8.05 8.07 8.01 9/562 27138
/proc/meminfo: memFree=15583072/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=10753508 CPUtime=39599.4 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 14051071 0 0 0 3954934 5008 0 0 25 0 8 0 722130093 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 2688377 2244176 401 95 0 2683359 0
[pid=26983/tid=26984] ppid=26981 vsize=10753508 CPUtime=4961.65 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1968651 0 0 0 495479 686 0 0 25 0 8 0 722130093 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=10753508 CPUtime=4961.76 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1736083 0 0 0 495585 591 0 0 25 0 8 0 722130093 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=10753508 CPUtime=4910.31 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1964153 0 0 0 490350 681 0 0 25 0 8 0 722130093 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=10753508 CPUtime=4946.27 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1887195 0 0 0 493941 686 0 0 25 0 8 0 722130094 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=10753508 CPUtime=4954.85 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1798879 0 0 0 494846 639 0 0 25 0 8 0 722130094 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=10753508 CPUtime=4961.65 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 2033909 0 0 0 495413 752 0 0 25 0 8 0 722130094 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=10753508 CPUtime=4960.53 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 707831 0 0 0 495790 263 0 0 25 0 8 0 722130094 11011592192 2244176 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39599.4
Current children cumulated vsize (KiB) 10753508



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5012.5 s]
/proc/loadavg: 8.02 8.06 8.01 9/562 27140
/proc/meminfo: memFree=15843840/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=10416932 CPUtime=40000.1 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) R 26981 26983 26908 0 -1 4202496 14195226 0 0 0 3994954 5061 0 0 25 0 8 0 722130093 10666938368 2178825 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 2604233 2178825 401 95 0 2599215 0
[pid=26983/tid=26984] ppid=26981 vsize=10416932 CPUtime=5011.87 cores=0-7
/proc/26983/task/26984/stat : 26984 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1991131 0 0 0 500493 694 0 0 25 0 8 0 722130093 10666938368 2178825 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26983/tid=26985] ppid=26981 vsize=10416932 CPUtime=5011.98 cores=0-7
/proc/26983/task/26985/stat : 26985 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1755230 0 0 0 500601 597 0 0 25 0 8 0 722130093 10666938368 2178825 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=10416932 CPUtime=4959.6 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1983072 0 0 0 495272 688 0 0 25 0 8 0 722130093 10666938368 2178826 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26983/tid=26987] ppid=26981 vsize=10416932 CPUtime=4996.48 cores=0-7
/proc/26983/task/26987/stat : 26987 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1899848 0 0 0 498957 691 0 0 25 0 8 0 722130094 10666938368 2178826 33554432000 4194304 4580107 140734994135280 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26983/tid=26988] ppid=26981 vsize=10416932 CPUtime=5005.06 cores=0-7
/proc/26983/task/26988/stat : 26988 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 1821806 0 0 0 499858 648 0 0 25 0 8 0 722130094 10666938368 2178826 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26983/tid=26989] ppid=26981 vsize=10416932 CPUtime=5011.86 cores=0-7
/proc/26983/task/26989/stat : 26989 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 2059597 0 0 0 500423 763 0 0 25 0 8 0 722130094 10666938368 2178826 33554432000 4194304 4580107 140734994135280 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26983/tid=26990] ppid=26981 vsize=10416932 CPUtime=5010.73 cores=0-7
/proc/26983/task/26990/stat : 26990 (strangenight2-m) R 26981 26983 26908 0 -1 4202560 712388 0 0 0 500808 265 0 0 25 0 8 0 722130094 10666938368 2178826 33554432000 4194304 4580107 140734994135280 18446744073709551615 4294688 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) 10416932

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

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

[startup+5012.7 s]
/proc/loadavg: 8.02 8.06 8.01 2/557 27141
/proc/meminfo: memFree=19876856/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=0 CPUtime=40000.4 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) Z 26981 26983 26908 0 -1 4203548 14195239 0 0 0 3994959 5081 0 0 25 0 2 0 722130093 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 0 0 0 0 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=0 CPUtime=4959.8 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4203588 1983073 0 0 0 495272 708 0 0 25 0 2 0 722130093 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 0

[startup+5012.9 s]
/proc/loadavg: 8.02 8.06 8.01 2/557 27141
/proc/meminfo: memFree=19876856/32950928 swapFree=41934332/67111528
[pid=26983] ppid=26981 vsize=0 CPUtime=40000.6 cores=0-7
/proc/26983/stat : 26983 (strangenight2-m) Z 26981 26983 26908 0 -1 4203548 14195239 0 0 0 3994959 5099 0 0 25 0 2 0 722130093 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26983/statm: 0 0 0 0 0 0 0
[pid=26983/tid=26986] ppid=26981 vsize=0 CPUtime=4959.98 cores=0-7
/proc/26983/task/26986/stat : 26986 (strangenight2-m) R 26981 26983 26908 0 -1 4203588 1983073 0 0 0 495272 726 0 0 25 0 2 0 722130093 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.92
CPU time (s): 40000.6
CPU user time (s): 39949.6
CPU system time (s): 51.0112
CPU usage (%): 797.95
Max. virtual memory (cumulated for all children) (KiB): 10796644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39949.6
system time used= 51.0112
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14195239
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= 180465
involuntary context switches= 165671

runsolver used 25.7961 second user time and 66.6949 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-23 01:01:54
IDJOB=3394764
IDBENCH=84223
IDSOLVER=1878
FILE ID=node126/3394764-1306105314
RUNJOBID= node126-1306105103-26922
PBS_JOBID= 13388019
Free space on /tmp= 73280 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/li/li-exam/li-exam-61.shuffled-as.sat03-366.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394764-1306105314/watcher-3394764-1306105314 -o /tmp/evaluation-result-3394764-1306105314/solver-3394764-1306105314 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394764-1306105314.cnf

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

MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=497106570

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.80
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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24576864 kB
Buffers:        297664 kB
Cached:        5566940 kB
SwapCached:      49920 kB
Active:        3749140 kB
Inactive:      4310764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24576864 kB
SwapTotal:    67111528 kB
SwapFree:     41934332 kB
Dirty:            7792 kB
Writeback:           0 kB
AnonPages:     2158580 kB
Mapped:          24536 kB
Slab:           142372 kB
PageTables:      99636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 176373904 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= 73272 MiB
End job on node126 at 2011-05-23 02:25:28