Trace number 3321236

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 40001.1 5004.61

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.02	c Outputting solution to console
0.00/0.03	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321236-1304332729.cnf'
0.00/0.03	c -- header says num vars:          28147
0.00/0.03	c -- header says num clauses:      108436
1.13/0.23	c -- clauses added:            0 learnts,       108436 normals,            0 xors
1.13/0.23	c -- vars added      28147
1.13/0.23	c Parsing time:  0.12 s
1.13/0.23	c  N st     0         0     28147     89613     18786         0    372979         0   no data   no data
3.38/0.53	c asymm  cl-useful: 3453/89582/89582 lits-rem:3703 time: 0.27
4.17/0.68	c Flit:    11 Blit:      0 bXBeca:    0 bXProp: 4694 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
4.98/0.73	c Replacing     4694 vars Replaced    77987 lits Time:     0.04 s 
6.86/1.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.86/1.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
6.86/1.04	c subs with bin:      246  lits-rem:       220  v-fix:    0  time:  0.02 s
6.86/1.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:    16 done:  23417 time:  0.01 s
6.86/1.07	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
9.98/1.42	c lits-rem:      4096  cl-subs:     1951  v-elim:    662  v-fix:    0  time:  0.33 s
9.98/1.43	c Finding binary XORs  T:     0.01 s  found:       0
9.98/1.49	c Finding non-binary XORs:     0.05 s (found:    7758, avg size: 3.5)
9.98/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
10.78/1.50	c calculated reachability. Time: 0.00
10.78/1.51	c Calc default polars -  time:   0.01 s pos:    4737 undec:    5932 neg:   17478
10.78/1.51	c =========================================================================================
10.78/1.51	c types(t): F = full restart, N = normal restart
10.78/1.51	c types(t): S = simplification begin/end, E = solution found
10.78/1.51	c restart types(rt): st = static, dy = dynamic
10.78/1.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.78/1.51	c  B st     0         0     22743     41139      9807         0    220846         0   no data   no data
15.62/2.18	c Decided on static restart strategy
21.98/2.98	c  N st     8      4911     22527     41139     11284      3348    220846     16965   no data   no data
28.37/3.76	c Finding binary XORs  T:     0.01 s  found:       0
42.80/5.59	c  N st    10     11293     22387     39830     15517      8913    217070     52985   no data   no data
62.75/8.09	c Finding binary XORs  T:     0.01 s  found:       1
69.95/8.98	c  N st    11     17036     22347     39549     23194     14288    216385     98915   no data   no data
111.52/14.15	c  F st    12     25002     22347     39549     23278     19117    216385    265351   no data   no data
111.52/14.17	c Replacing        4 vars Replaced       16 lits Time:     0.01 s 
112.37/14.21	c  N st    12     25002     22346     39549     23276     19117    216330    265347   no data   no data
131.51/16.61	c Decided on static restart strategy
131.51/16.61	c  N st    18     30000     22346     39549     24151     23997    216330    673901   no data   no data
131.51/16.61	c  S st    18     30000     22346     39549     24151     23997    216330    673901   no data   no data
133.11/16.84	c  S st    18     30506     22346     39549     24161     24491    216330    680326   no data   no data
133.11/16.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
137.10/17.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  24842 BRemL:  10616 BRemN:     43 P:  5.7M T:  0.44
137.10/17.32	c blocked clauses removed:        0 vars:      0 tried:        3698 T: 0.00 s
137.10/17.33	c bin-w-bin subsume rem         3264 bins  time:  0.01 s
137.10/17.36	c subs with bin:    10850  lits-rem:      2777  v-fix:    0  time:  0.03 s
137.10/17.38	c Subs w/ non-existent bins:    438 l-rem:    128 v-fix:     0 done:   5347 time:  0.02 s
137.90/17.40	c Removed useless bin:     193  fixed:     0  props:   0.28M  time:  0.01 s
137.90/17.48	c lits-rem:         3  cl-subs:       82  v-elim:   1076  v-fix:    0  time:  0.08 s
138.74/17.51	c subs with bin:     1151  lits-rem:      1665  v-fix:    0  time:  0.02 s
138.74/17.56	c lits-rem:       150  cl-subs:      252  v-elim:      0  v-fix:    0  time:  0.04 s
140.30/17.75	c asymm  cl-useful: 291/29847/29847 lits-rem:295 time: 0.18
140.30/17.76	c calculated reachability. Time: 0.00
140.30/17.76	c  N st    18     30506     21270     29845     31230     16999    195770    148672   no data   no data
153.08/19.34	c Finding binary XORs  T:     0.02 s  found:       0
174.72/22.04	c  N st    20     37618     21270     29845     31662     24028    195770   1374026   no data   no data
215.45/27.14	c  N st    21     44017     21270     29845     31662     26622    195770   1690808   no data   no data
215.45/27.18	c Finding binary XORs  T:     0.02 s  found:       0
228.23/28.70	c  S st    22     45759     21270     29845     61279     28348    195770   2135296   no data   no data
229.83/28.92	c  S st    22     46265     21270     29845     61287     28844    195770   2142215   no data   no data
229.83/28.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
233.83/29.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  16500 BRemL:  30433 BRemN:      1 P:  8.4M T:  0.54
233.83/29.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
234.63/29.51	c bin-w-bin subsume rem         9766 bins  time:  0.01 s
234.63/29.53	c subs with bin:     2815  lits-rem:       284  v-fix:    0  time:  0.02 s
234.63/29.55	c Subs w/ non-existent bins:     61 l-rem:     16 v-fix:     0 done:   6199 time:  0.02 s
234.63/29.56	c Removed useless bin:       0  fixed:     0  props:   0.23M  time:  0.01 s
235.47/29.60	c lits-rem:         0  cl-subs:       11  v-elim:    170  v-fix:    0  time:  0.04 s
236.27/29.71	c subs with bin:      241  lits-rem:       995  v-fix:    0  time:  0.08 s
237.03/29.86	c lits-rem:       184  cl-subs:      272  v-elim:      0  v-fix:    0  time:  0.14 s
237.03/29.87	c vivif2 --  cl tried    27137 cl shrink      662 lits rem        662 time: 0.01
237.82/29.90	c vivif2 --  cl tried    20604 cl shrink     2117 lits rem       3022 time: 0.03
238.62/30.08	c asymm  cl-useful: 0/27090/27090 lits-rem:0 time: 0.17
238.62/30.09	c calculated reachability. Time: 0.01
238.62/30.09	c  N st    22     46265     21100     27090     37143     20596    191006    516709   no data   no data
323.41/40.68	c  N st    23     60662     21100     27090     37143     34903    191006   3901841   no data   no data
324.21/40.71	c Finding binary XORs  T:     0.02 s  found:       0
370.52/46.53	c  N st    24     69398     21100     27090     54833     34411    191006   3181533   no data   no data
370.52/46.53	c  S st    24     69398     21100     27090     54833     34411    191006   3181533   no data   no data
370.52/46.55	c Finding binary XORs  T:     0.02 s  found:       0
372.13/46.75	c  S st    24     69903     21100     27090     62737     34915    191006   3204305   no data   no data
372.13/46.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
376.17/47.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     54 BRemL:  22399 BRemN:      4 P:  5.9M T:  0.48
376.17/47.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
376.17/47.27	c bin-w-bin subsume rem         3811 bins  time:  0.01 s
376.17/47.29	c subs with bin:      704  lits-rem:         0  v-fix:    0  time:  0.02 s
376.97/47.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4267 time:  0.02 s
376.97/47.32	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
376.97/47.39	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.07 s
384.11/48.24	c subs with bin:       22  lits-rem:      1043  v-fix:    0  time:  0.71 s
401.71/50.43	c lits-rem:      1451  cl-subs:      329  v-elim:      0  v-fix:    0  time:  2.18 s
401.71/50.44	c vivif2 --  cl tried    26386 cl shrink        1 lits rem          1 time: 0.01
403.34/50.67	c vivif2 --  cl tried    34564 cl shrink    10161 lits rem      28290 time: 0.23
404.90/50.85	c asymm  cl-useful: 3/26385/26385 lits-rem:3 time: 0.19
404.90/50.86	c calculated reachability. Time: 0.01
404.90/50.87	c  N st    24     69903     21099     26385     36577     34564    189388   3069011   no data   no data
521.62/65.46	c  F st    25     87500     21099     26385     36577     51903    189388   7138731   no data   no data
522.42/65.55	c  N st    25     87500     21099     26385     36577     51903    189388   7138731   no data   no data
522.42/65.57	c Finding binary XORs  T:     0.02 s  found:       0
547.20/68.60	c Decided on static restart strategy
562.38/70.58	c  N st    32     95542     21099     26385     38945     44025    189388   4440922   no data   no data
607.15/76.11	c  N st    34    104855     21099     26385     38945     53257    189388   6723275   no data   no data
607.15/76.11	c  S st    34    104855     21099     26385     38945     53257    189388   6723275   no data   no data
609.55/76.49	c  S st    34    105360     21099     26385     38945     53761    189388   6734396   no data   no data
610.35/76.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
613.61/77.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:   1581 BRemN:      0 P:  6.2M T:  0.48
614.41/77.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
614.41/77.02	c bin-w-bin subsume rem          470 bins  time:  0.01 s
614.41/77.04	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.02 s
614.41/77.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7358 time:  0.02 s
614.41/77.07	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
615.16/77.19	c lits-rem:         1  cl-subs:        6  v-elim:      2  v-fix:    0  time:  0.11 s
631.19/79.15	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  1.68 s
679.11/85.16	c lits-rem:      4007  cl-subs:      702  v-elim:      0  v-fix:    0  time:  6.00 s
679.11/85.17	c vivif2 --  cl tried    26375 cl shrink        0 lits rem          0 time: 0.01
683.11/85.60	c vivif2 --  cl tried    53059 cl shrink    11111 lits rem      38577 time: 0.42
684.76/85.81	c asymm  cl-useful: 0/26375/26375 lits-rem:0 time: 0.21
684.76/85.82	c calculated reachability. Time: 0.01
684.76/85.82	c  N st    34    105360     21097     26375     36891     53059    188965   6563734   no data   no data
735.85/92.24	c  N st    35    114959     21097     26375     36891     43443    188965   3758110   no data   no data
795.02/99.68	c  N st    36    129358     21097     26375     36891     57724    188965   7689428   no data   no data
931.70/116.74	c  N st    37    150953     21097     26375     36891     57012    188965   6285012   no data   no data
958.89/120.14	c  S st    38    158040     21097     26375     36906     64038    188965   8108928   no data   no data
961.28/120.44	c  S st    38    158544     21097     26375     36906     64539    188965   8116243   no data   no data
961.28/120.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
965.33/120.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     12 BRemN:      0 P:  6.4M T:  0.49
965.33/120.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
965.33/120.98	c bin-w-bin subsume rem            2 bins  time:  0.01 s
965.33/121.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
966.14/121.02	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:   9290 time:  0.02 s
966.14/121.03	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
966.88/121.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
982.92/123.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.67 s
1055.62/132.26	c lits-rem:     11955  cl-subs:      722  v-elim:      0  v-fix:    0  time:  9.11 s
1055.62/132.27	c vivif2 --  cl tried    26372 cl shrink        0 lits rem          0 time: 0.01
1060.41/132.80	c vivif2 --  cl tried    63817 cl shrink    14542 lits rem      61282 time: 0.52
1062.06/133.02	c asymm  cl-useful: 0/26372/26372 lits-rem:0 time: 0.22
1062.06/133.04	c calculated reachability. Time: 0.00
1062.06/133.04	c  N st    38    158544     21097     26372     36892     63817    188954   7904780   no data   no data
1408.96/176.46	c  N st    39    207132     21097     26372     36892     63003    188954   7182456   no data   no data
1604.02/200.87	c  N st    40    237817     21097     26372     36903     66944    188954   8550452   no data   no data
1604.02/200.87	c  S st    40    237817     21097     26372     36903     66944    188954   8550452   no data   no data
1606.42/201.17	c  S st    40    238317     21097     26372     36917     67443    188954   8556513   no data   no data
1607.26/201.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1611.21/201.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     25 BRemN:      0 P:  6.5M T:  0.51
1611.21/201.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1611.21/201.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1611.21/201.77	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.02 s
1611.21/201.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6053 time:  0.02 s
1612.02/201.80	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
1612.82/201.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1629.60/204.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.80 s
1707.96/213.86	c lits-rem:      8786  cl-subs:      665  v-elim:      0  v-fix:    0  time:  9.80 s
1707.96/213.87	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
1712.80/214.44	c vivif2 --  cl tried    66778 cl shrink    14394 lits rem      61354 time: 0.56
1714.35/214.68	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.24
1714.35/214.69	c calculated reachability. Time: 0.01
1714.35/214.70	c  N st    40    238317     21097     26370     36892     66778    188950   8354707   no data   no data
2197.98/275.17	c  F st    41    306254     21097     26370     36892     77687    188950   9139471   no data   no data
2198.77/275.27	c  N st    41    306254     21097     26370     36892     77687    188950   9139471   no data   no data
2225.95/278.62	c Decided on static restart strategy
2333.88/292.12	c  N st    51    334566     21097     26370     36892     76311    188950   7832483   no data   no data
2488.97/311.50	c  N st    53    357475     21097     26370     36892     68402    188950   5622818   no data   no data
2488.97/311.50	c  S st    53    357475     21097     26370     36892     68402    188950   5622818   no data   no data
2491.37/311.83	c  S st    53    357977     21097     26370     36892     68903    188950   5629333   no data   no data
2491.37/311.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2495.41/312.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  0.52
2495.41/312.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2496.21/312.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2496.21/312.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2496.21/312.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  11260 time:  0.02 s
2496.21/312.46	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
2496.96/312.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
2508.95/314.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.27 s
2553.72/319.66	c lits-rem:      3014  cl-subs:      653  v-elim:      0  v-fix:    0  time:  5.61 s
2553.72/319.68	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
2556.13/319.98	c vivif2 --  cl tried    68250 cl shrink     8721 lits rem      19511 time: 0.30
2558.52/320.26	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.28
2558.52/320.27	c calculated reachability. Time: 0.01
2558.52/320.27	c  N st    53    357977     21097     26370     36892     68250    188950   5551229   no data   no data
2727.20/341.36	c  N st    54    390369     21097     26370     36892     68871    188950   8170426   no data   no data
3050.22/381.79	c  N st    55    438957     21097     26370     36892     84122    188950  11552873   no data   no data
3569.03/446.63	c  N st    56    511841     21097     26370     36892     88122    188950  12811506   no data   no data
3738.44/467.88	c  N st    57    536966     21097     26370     36892     77571    188950   9167208   no data   no data
3738.44/467.88	c  S st    57    536966     21097     26370     36892     77571    188950   9167208   no data   no data
3741.65/468.25	c  S st    57    537472     21097     26370     36892     78072    188950   9176969   no data   no data
3741.65/468.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3746.44/468.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.7M T:  0.54
3746.44/468.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3746.44/468.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3746.44/468.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3747.24/468.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8833 time:  0.02 s
3747.24/468.91	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
3748.04/469.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
3766.43/471.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.85 s
3825.59/478.79	c lits-rem:      8399  cl-subs:      525  v-elim:      0  v-fix:    0  time:  7.48 s
3826.38/478.80	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
3831.18/479.41	c vivif2 --  cl tried    77547 cl shrink    11944 lits rem      37723 time: 0.59
3832.83/479.67	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.26
3832.83/479.68	c calculated reachability. Time: 0.00
3832.83/479.68	c  N st    57    537472     21097     26370     36892     77547    188950   9041530   no data   no data
4983.11/623.52	c  N st    58    701457     21097     26370     36892     87561    188950  11352480   no data   no data
5598.64/700.52	c  N st    59    806211     21097     26370     36901     66209    188950   3724273   no data   no data
5598.64/700.52	c  S st    59    806211     21097     26370     36901     66209    188950   3724273   no data   no data
5601.03/700.88	c  S st    59    806715     21097     26370     36901     66712    188950   3733032   no data   no data
5601.83/700.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
5605.83/701.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      8 BRemN:      0 P:  6.5M T:  0.50
5605.83/701.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5605.83/701.43	c bin-w-bin subsume rem            1 bins  time:  0.01 s
5605.83/701.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
5605.83/701.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3823 time:  0.02 s
5605.83/701.48	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
5606.63/701.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
5613.03/702.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.57 s
5629.02/704.31	c lits-rem:      1667  cl-subs:      351  v-elim:      0  v-fix:    0  time:  2.01 s
5629.02/704.32	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
5629.81/704.47	c vivif2 --  cl tried    66361 cl shrink     1695 lits rem       5502 time: 0.14
5632.21/704.70	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.23
5632.21/704.71	c calculated reachability. Time: 0.00
5632.21/704.71	c  N st    59    806715     21097     26370     36892     66361    188950   3698962   no data   no data
7680.23/960.90	c  F st    60   1071877     21097     26370     36892    101398    188950  12987094   no data   no data
7681.03/961.01	c  N st    60   1071877     21097     26370     36892    101398    188950  12987094   no data   no data
7714.60/965.22	c Decided on static restart strategy
7860.12/983.41	c  N st    70   1100181     21097     26370     36892     81030    188950   6758057   no data   no data
8145.45/1019.11	c  N st    72   1136176     21097     26370     36892    116717    188950  15329756   no data   no data
8375.69/1047.97	c  N st    73   1168570     21097     26370     36892     99493    188950  13665106   no data   no data
8587.53/1074.45	c  N st    74   1210073     21097     26370     36892     90022    188950   7704730   no data   no data
8587.53/1074.45	c  S st    74   1210073     21097     26370     36892     90022    188950   7704730   no data   no data
8589.97/1074.76	c  S st    74   1210574     21097     26370     36892     90521    188950   7712871   no data   no data
8589.97/1074.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
8594.71/1075.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.1M T:  0.53
8594.71/1075.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8594.71/1075.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
8594.71/1075.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
8594.71/1075.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   5963 time:  0.02 s
8595.51/1075.40	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
8596.31/1075.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
8609.91/1077.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.46 s
8659.51/1083.43	c lits-rem:      5665  cl-subs:      666  v-elim:      0  v-fix:    0  time:  6.13 s
8659.51/1083.44	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
8663.47/1083.90	c vivif2 --  cl tried    89855 cl shrink    11747 lits rem      42671 time: 0.45
8665.06/1084.15	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.25
8665.06/1084.17	c calculated reachability. Time: 0.01
8665.06/1084.17	c  N st    74   1210574     21097     26370     36892     89855    188950   7576268   no data   no data
9273.40/1160.26	c  N st    75   1283457     21097     26370     36892    110768    188950  12966624   no data   no data
10176.73/1273.22	c  N st    76   1392783     21097     26370     36892    112340    188950  10882536   no data   no data
11283.08/1411.61	c  N st    77   1556767     21097     26370     36892    108703    188950   8836245   no data   no data
12521.28/1566.65	c  N st    78   1710574     21097     26370     36892     85948    188950   5311857   no data   no data
12521.28/1566.65	c  S st    78   1710574     21097     26370     36892     85948    188950   5311857   no data   no data
12524.48/1567.08	c  S st    78   1711075     21097     26370     36892     86448    188950   5320963   no data   no data
12525.28/1567.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
12529.27/1567.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.9M T:  0.56
12529.27/1567.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
12530.07/1567.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
12530.07/1567.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
12530.07/1567.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10149 time:  0.02 s
12530.07/1567.76	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
12530.87/1567.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
12541.27/1569.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.05 s
12564.45/1572.07	c lits-rem:       752  cl-subs:      360  v-elim:      0  v-fix:    0  time:  2.92 s
12564.45/1572.08	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
12566.85/1572.33	c vivif2 --  cl tried    86088 cl shrink     3160 lits rem      16998 time: 0.24
12568.45/1572.59	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.27
12569.25/1572.61	c calculated reachability. Time: 0.00
12569.25/1572.61	c  N st    78   1711075     21097     26370     36892     86088    188950   5266645   no data   no data
15395.83/1926.28	c  N st    79   2080039     21097     26370     36892    139393    188950  21726499   no data   no data
16407.09/2052.70	c  N st    80   2211075     21097     26370     36892    137989    188950  16486240   no data   no data
16407.09/2052.70	c  S st    80   2211075     21097     26370     36892    137989    188950  16486240   no data   no data
16410.29/2053.14	c  S st    80   2211577     21097     26370     36892    138489    188950  16493147   no data   no data
16410.29/2053.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
16415.13/2053.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.9M T:  0.61
16415.88/2053.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16415.88/2053.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
16415.88/2053.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
16415.88/2053.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9186 time:  0.02 s
16415.88/2053.88	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
16418.27/2054.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
16438.27/2056.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.81 s
16612.50/2078.49	c lits-rem:      5352  cl-subs:     1099  v-elim:      0  v-fix:    0  time: 21.85 s
16613.30/2078.50	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
16622.89/2079.76	c vivif2 --  cl tried   137390 cl shrink    35298 lits rem     165563 time: 1.24
16625.33/2080.07	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.31
16625.33/2080.08	c calculated reachability. Time: 0.01
16625.33/2080.08	c  N st    80   2211577     21097     26370     36892    137390    188950  16108325   no data   no data
20625.36/2580.49	c  N st    81   2711577     21097     26370     36892    139897    188950  17415618   no data   no data
20625.36/2580.49	c  S st    81   2711577     21097     26370     36892    139897    188950  17415618   no data   no data
20630.15/2581.01	c  S st    81   2712080     21097     26370     36892    140397    188950  17423689   no data   no data
20630.15/2581.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
20635.00/2581.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.0M T:  0.62
20635.80/2581.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20635.80/2581.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
20635.80/2581.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
20635.80/2581.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10515 time:  0.03 s
20635.80/2581.78	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
20638.15/2582.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
20658.14/2584.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.79 s
20913.12/2616.43	c lits-rem:      6465  cl-subs:     1411  v-elim:      0  v-fix:    0  time: 31.87 s
20913.12/2616.44	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
20923.52/2617.77	c vivif2 --  cl tried   138986 cl shrink    35451 lits rem     149604 time: 1.32
20926.72/2618.10	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.32
20926.72/2618.11	c calculated reachability. Time: 0.01
20926.72/2618.11	c  N st    81   2712080     21097     26370     36892    138986    188950  16969099   no data   no data
24570.18/3073.94	c  N st    82   3212084     21097     26370     36892    171171    188950  20332135   no data   no data
24570.18/3073.94	c  S st    82   3212084     21097     26370     36892    171171    188950  20332135   no data   no data
24575.03/3074.55	c  S st    82   3212587     21097     26370     36892    171670    188950  20340703   no data   no data
24575.77/3074.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
24580.57/3075.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.6M T:  0.65
24580.57/3075.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24580.57/3075.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
24581.37/3075.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
24581.37/3075.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8313 time:  0.02 s
24581.37/3075.35	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
24583.82/3075.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.29 s
24604.55/3078.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.82 s
25753.29/3221.97	c lits-rem:      2020  cl-subs:     6545  v-elim:      0  v-fix:    0  time: 143.70 s
25753.29/3221.98	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
25766.84/3223.69	c vivif2 --  cl tried   165125 cl shrink    48610 lits rem     170111 time: 1.69
25770.08/3224.04	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.35
25770.08/3224.06	c calculated reachability. Time: 0.00
25770.08/3224.06	c  N st    82   3212587     21097     26370     36892    165125    188950  19223822   no data   no data
30133.83/3769.98	c  N st    83   3712590     21097     26370     36892    166463    188950  16774048   no data   no data
30133.83/3769.98	c  S st    83   3712590     21097     26370     36892    166463    188950  16774048   no data   no data
30139.44/3770.63	c  S st    83   3713090     21097     26370     36892    166960    188950  16783139   no data   no data
30139.44/3770.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
30145.02/3771.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.4M T:  0.65
30145.02/3771.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
30145.02/3771.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
30145.02/3771.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
30145.82/3771.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10856 time:  0.03 s
30145.82/3771.42	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
30147.42/3771.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
30166.64/3774.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.79 s
30486.36/3814.05	c lits-rem:      9873  cl-subs:     2166  v-elim:      0  v-fix:    0  time: 39.94 s
30486.36/3814.06	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
30495.95/3815.27	c vivif2 --  cl tried   164794 cl shrink    36447 lits rem      96838 time: 1.20
30499.16/3815.63	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.36
30499.16/3815.65	c calculated reachability. Time: 0.01
30499.16/3815.65	c  N st    83   3713090     21097     26370     36892    164794    188950  16353490   no data   no data
30784.55/3851.36	c  F st    84   3751562     21097     26370     36892    117010    188950   7624665   no data   no data
30785.35/3851.47	c  N st    84   3751562     21097     26370     36892    117010    188950   7624665   no data   no data
30831.72/3857.28	c Decided on static restart strategy
30976.45/3875.35	c  N st    94   3779862     21097     26370     36892    144986    188950  13065766   no data   no data
31241.81/3908.54	c  N st    96   3815854     21097     26370     36892    180686    188950  22462118   no data   no data
31456.03/3935.37	c  N st    97   3848247     21097     26370     36892    125886    188950  11373297   no data   no data
31938.06/3995.64	c  N st    98   3896836     21097     26370     36892    174085    188950  23514641   no data   no data
32744.65/4096.53	c  N st    99   3969720     21097     26370     36892    157832    188950  13213084   no data   no data
33523.26/4193.95	c  N st   100   4079047     21097     26370     36892    176095    188950  23028316   no data   no data
34578.43/4325.91	c  N st   101   4213090     21097     26370     36892    128992    188950  10308790   no data   no data
34578.43/4325.91	c  S st   101   4213090     21097     26370     36892    128992    188950  10308790   no data   no data
34580.87/4326.25	c  S st   101   4213590     21097     26370     36892    129491    188950  10314406   no data   no data
34580.87/4326.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
34586.42/4326.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.0M T:  0.61
34586.42/4326.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
34586.42/4326.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
34586.42/4326.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
34586.42/4326.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10720 time:  0.03 s
34586.42/4326.98	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
34588.03/4327.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
34605.62/4329.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.79 s
34644.78/4334.23	c lits-rem:      4267  cl-subs:      319  v-elim:      0  v-fix:    0  time:  4.87 s
34644.78/4334.24	c vivif2 --  cl tried    26370 cl shrink        0 lits rem          0 time: 0.01
34649.59/4334.83	c vivif2 --  cl tried   129172 cl shrink    10716 lits rem      42998 time: 0.58
34652.02/4335.13	c asymm  cl-useful: 0/26370/26370 lits-rem:0 time: 0.30
34652.02/4335.14	c calculated reachability. Time: 0.01
34652.02/4335.14	c  N st   101   4213590     21097     26370     36892    129172    188950  10230893   no data   no data
37218.06/4656.17	c  N st   102   4459566     21097     26370     36892    187123    188950  18536463   no data   no data
39856.70/4986.24	c  N st   103   4713590     21097     26370     36892    153847    188950  14263412   no data   no data
39856.70/4986.24	c  S st   103   4713590     21097     26370     36892    153847    188950  14263412   no data   no data
39860.66/4986.77	c  S st   103   4714091     21097     26370     36892    154345    188950  14275122   no data   no data
39861.46/4986.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
39866.30/4987.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.3M T:  0.63
39866.30/4987.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39866.30/4987.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39867.05/4987.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
39867.05/4987.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10392 time:  0.02 s
39867.05/4987.54	c Removed useless bin:       0  fixed:     0  props:   0.22M  time:  0.01 s
39868.65/4987.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
39887.04/4990.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.77 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321236-1304332729/watcher-3321236-1304332729 -o /tmp/evaluation-result-3321236-1304332729/solver-3321236-1304332729 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321236-1304332729.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: 0.00 0.95 3.96 1/190 28409
/proc/meminfo: memFree=20833392/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=2820 CPUtime=0 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) S 28407 28409 28348 0 -1 4194304 87 0 0 0 0 0 0 0 21 0 1 0 544872635 2887680 43 33554432000 4194304 4627427 140736888624080 18446744073709551615 274469043847 0 2147483391 4096 0 18446744071699215550 0 0 17 2 0 0 0
/proc/28409/statm: 705 43 35 106 0 23 0

[startup+0.0679051 s]
/proc/loadavg: 0.00 0.95 3.96 1/190 28409
/proc/meminfo: memFree=20833392/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=591940 CPUtime=0.24 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 24969 0 0 0 17 7 0 0 18 0 8 0 544872635 606146560 21098 33554432000 4194304 4627427 140736888624080 18446744073709551615 274474072607 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 164369 21194 341 106 0 159340 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 591940

[startup+0.102853 s]
/proc/loadavg: 0.00 0.95 3.96 1/190 28409
/proc/meminfo: memFree=20833392/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=657796 CPUtime=0.49 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 28082 0 0 0 35 14 0 0 18 0 8 0 544872635 673583104 24211 33554432000 4194304 4627427 140736888624080 18446744073709551615 274474072607 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 164449 24232 341 106 0 159420 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 657796

[startup+0.301837 s]
/proc/loadavg: 0.00 0.95 3.96 1/190 28409
/proc/meminfo: memFree=20833392/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=660384 CPUtime=1.83 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 36394 0 0 0 136 47 0 0 17 0 8 0 544872635 676233216 32523 33554432000 4194304 4627427 140736888624080 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 165096 32524 365 106 0 160067 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 660384

[startup+0.700686 s]
/proc/loadavg: 0.00 0.95 3.96 1/190 28409
/proc/meminfo: memFree=20833392/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=666112 CPUtime=4.98 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 43725 0 0 0 445 53 0 0 18 0 8 0 544872635 682098688 39854 33554432000 4194304 4627427 140736888624080 18446744073709551615 4497763 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 166528 39856 379 106 0 161499 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 666112

[startup+1.50055 s]
/proc/loadavg: 0.00 0.95 3.96 9/198 28417
/proc/meminfo: memFree=20607400/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=693348 CPUtime=10.78 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 83794 0 0 0 953 125 0 0 17 0 8 0 544872635 709988352 68415 33554432000 4194304 4627427 140736888624080 18446744073709551615 4498052 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 173337 68415 387 106 0 168308 0
[pid=28409/tid=28411] ppid=28407 vsize=693348 CPUtime=1.31 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11021 0 0 0 113 18 0 0 17 0 8 0 544872637 709988352 68415 33554432000 4194304 4627427 140736888624080 18446744073709551615 4326149 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=693348 CPUtime=1.31 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11192 0 0 0 113 18 0 0 17 0 8 0 544872637 709988352 68415 33554432000 4194304 4627427 140736888624080 18446744073709551615 4299072 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=693348 CPUtime=1.31 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 10996 0 0 0 115 16 0 0 18 0 8 0 544872637 709988352 68415 33554432000 4194304 4627427 140736888624080 18446744073709551615 4326109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=693348 CPUtime=1.31 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11865 0 0 0 113 18 0 0 18 0 8 0 544872637 709988352 68429 33554432000 4194304 4627427 140736888624080 18446744073709551615 4225960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=693348 CPUtime=1.31 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 9703 0 0 0 112 19 0 0 17 0 8 0 544872637 709988352 68442 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=693348 CPUtime=1.41 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 13553 0 0 0 130 11 0 0 18 0 8 0 544872637 709988352 68457 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=693348 CPUtime=1.41 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 4543 0 0 0 137 4 0 0 18 0 8 0 544872637 709988352 68470 33554432000 4194304 4627427 140736888624080 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.78
Current children cumulated vsize (KiB) 693348

[startup+3.10127 s]
/proc/loadavg: 0.00 0.95 3.96 10/198 28417
/proc/meminfo: memFree=20559536/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=693348 CPUtime=23.58 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 84552 0 0 0 2233 125 0 0 20 0 8 0 544872635 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4326177 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 173337 69156 388 106 0 168308 0
[pid=28409/tid=28411] ppid=28407 vsize=693348 CPUtime=2.91 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11070 0 0 0 273 18 0 0 20 0 8 0 544872637 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=693348 CPUtime=2.92 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11268 0 0 0 274 18 0 0 20 0 8 0 544872637 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=693348 CPUtime=2.91 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11022 0 0 0 275 16 0 0 20 0 8 0 544872637 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=693348 CPUtime=2.91 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11918 0 0 0 273 18 0 0 20 0 8 0 544872637 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=693348 CPUtime=2.9 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 9727 0 0 0 271 19 0 0 20 0 8 0 544872637 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4306308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=693348 CPUtime=3.01 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 13596 0 0 0 290 11 0 0 20 0 8 0 544872637 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=693348 CPUtime=3.02 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 4969 0 0 0 297 5 0 0 21 0 8 0 544872637 709988352 69156 33554432000 4194304 4627427 140736888624080 18446744073709551615 4306235 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.58
Current children cumulated vsize (KiB) 693348

[startup+6.3007 s]
/proc/loadavg: 0.64 1.07 3.98 9/198 28417
/proc/meminfo: memFree=20556108/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=693348 CPUtime=49.16 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 85223 0 0 0 4791 125 0 0 25 0 8 0 544872635 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4326177 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 173337 69827 388 106 0 168308 0
[pid=28409/tid=28411] ppid=28407 vsize=693348 CPUtime=6.11 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11163 0 0 0 593 18 0 0 25 0 8 0 544872637 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=693348 CPUtime=6.12 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11374 0 0 0 594 18 0 0 25 0 8 0 544872637 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=693348 CPUtime=6.11 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11130 0 0 0 595 16 0 0 25 0 8 0 544872637 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=693348 CPUtime=6.11 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11978 0 0 0 593 18 0 0 25 0 8 0 544872637 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=693348 CPUtime=6.08 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 9821 0 0 0 589 19 0 0 25 0 8 0 544872637 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=693348 CPUtime=6.21 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 13667 0 0 0 610 11 0 0 25 0 8 0 544872637 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4324855 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=693348 CPUtime=6.22 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 5000 0 0 0 617 5 0 0 25 0 8 0 544872637 709988352 69827 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.16
Current children cumulated vsize (KiB) 693348

[startup+12.7006 s]
/proc/loadavg: 1.23 1.18 4.00 9/198 28417
/proc/meminfo: memFree=20567308/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=707968 CPUtime=100.32 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 89896 0 0 0 9905 127 0 0 25 0 8 0 544872635 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 176992 66515 389 106 0 171963 0
[pid=28409/tid=28411] ppid=28407 vsize=707968 CPUtime=12.51 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11848 0 0 0 1233 18 0 0 25 0 8 0 544872637 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=707968 CPUtime=12.52 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11975 0 0 0 1233 19 0 0 25 0 8 0 544872637 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=707968 CPUtime=12.52 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 11744 0 0 0 1235 17 0 0 25 0 8 0 544872637 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=707968 CPUtime=12.51 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 12546 0 0 0 1233 18 0 0 25 0 8 0 544872637 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=707968 CPUtime=12.44 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 10406 0 0 0 1225 19 0 0 25 0 8 0 544872637 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=707968 CPUtime=12.62 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 14468 0 0 0 1250 12 0 0 25 0 8 0 544872637 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=707968 CPUtime=12.62 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 5130 0 0 0 1257 5 0 0 25 0 8 0 544872637 724959232 66515 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.32
Current children cumulated vsize (KiB) 707968

[startup+25.5013 s]
/proc/loadavg: 2.73 1.51 4.06 9/198 28418
/proc/meminfo: memFree=20468008/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=870292 CPUtime=202.66 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 142475 0 0 0 20124 142 0 0 25 0 8 0 544872635 891179008 92694 33554432000 4194304 4627427 140736888624080 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 217573 92694 391 106 0 212544 0
[pid=28409/tid=28411] ppid=28407 vsize=870292 CPUtime=25.31 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 16980 0 0 0 2511 20 0 0 25 0 8 0 544872637 891179008 92694 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=870292 CPUtime=25.32 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 20448 0 0 0 2511 21 0 0 25 0 8 0 544872637 891179008 92695 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=870292 CPUtime=25.3 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 18777 0 0 0 2512 18 0 0 25 0 8 0 544872637 891179008 92695 33554432000 4194304 4627427 140736888624080 18446744073709551615 4321813 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=870292 CPUtime=25.3 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 20153 0 0 0 2510 20 0 0 25 0 8 0 544872637 891179008 92695 33554432000 4194304 4627427 140736888624080 18446744073709551615 4321768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=870292 CPUtime=25.17 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 18079 0 0 0 2496 21 0 0 25 0 8 0 544872637 891179008 92695 33554432000 4194304 4627427 140736888624080 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=870292 CPUtime=25.42 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 21272 0 0 0 2528 14 0 0 25 0 8 0 544872637 891179008 92695 33554432000 4194304 4627427 140736888624080 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=870292 CPUtime=25.42 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 10910 0 0 0 2536 6 0 0 25 0 8 0 544872637 891179008 92695 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.66
Current children cumulated vsize (KiB) 870292

[startup+51.1008 s]
/proc/loadavg: 4.53 2.03 4.17 9/198 28418
/proc/meminfo: memFree=20260656/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=1188896 CPUtime=407.3 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 277748 0 0 0 40556 174 0 0 25 0 8 0 544872635 1217429504 141276 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 297224 141277 391 106 0 292195 0
[pid=28409/tid=28411] ppid=28407 vsize=1188896 CPUtime=50.91 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 38571 0 0 0 5066 25 0 0 25 0 8 0 544872637 1217429504 141278 33554432000 4194304 4627427 140736888624080 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=1188896 CPUtime=50.92 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 29952 0 0 0 5068 24 0 0 25 0 8 0 544872637 1217429504 141278 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=1188896 CPUtime=50.91 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 33254 0 0 0 5069 22 0 0 25 0 8 0 544872637 1217429504 141278 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=1188896 CPUtime=50.9 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 35535 0 0 0 5066 24 0 0 25 0 8 0 544872637 1217429504 141278 33554432000 4194304 4627427 140736888624080 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=1188896 CPUtime=50.64 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 33970 0 0 0 5038 26 0 0 25 0 8 0 544872637 1217429504 141278 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=1188896 CPUtime=51.01 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 39560 0 0 0 5082 19 0 0 25 0 8 0 544872637 1217429504 141278 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=1188896 CPUtime=51.01 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 23905 0 0 0 5093 8 0 0 25 0 8 0 544872637 1217429504 141278 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.3

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

[pid=28409/tid=28413] ppid=28407 vsize=9982240 CPUtime=4661.7 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1842629 0 0 0 465529 641 0 0 25 0 8 0 544872637 10221813760 2056875 33554432000 4194304 4627427 140736888624080 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=9982240 CPUtime=4661.73 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1956256 0 0 0 465469 704 0 0 25 0 8 0 544872637 10221813760 2056875 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=9982240 CPUtime=4636.05 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1797853 0 0 0 462952 653 0 0 25 0 8 0 544872637 10221813760 2056875 33554432000 4194304 4627427 140736888624080 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=9982240 CPUtime=4661.86 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1771361 0 0 0 465602 584 0 0 25 0 8 0 544872637 10221813760 2056875 33554432000 4194304 4627427 140736888624080 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=9982240 CPUtime=4661.63 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 731207 0 0 0 465902 261 0 0 25 0 8 0 544872637 10221813760 2056875 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37267.6
Current children cumulated vsize (KiB) 9982240

[startup+4722.31 s]
/proc/loadavg: 8.01 8.04 7.97 9/198 28555
/proc/meminfo: memFree=12470644/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=10161104 CPUtime=37747.3 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 13312266 0 0 0 3770078 4649 0 0 25 0 8 0 544872635 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 2540276 2087242 423 106 0 2535247 0
[pid=28409/tid=28411] ppid=28407 vsize=10161104 CPUtime=4720.97 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1824458 0 0 0 471490 607 0 0 25 0 8 0 544872637 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=10161104 CPUtime=4721.78 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1808378 0 0 0 471585 593 0 0 25 0 8 0 544872637 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=10161104 CPUtime=4721.7 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1866293 0 0 0 471519 651 0 0 25 0 8 0 544872637 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=10161104 CPUtime=4721.73 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1975262 0 0 0 471461 712 0 0 25 0 8 0 544872637 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=10161104 CPUtime=4695.67 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1816106 0 0 0 468904 663 0 0 25 0 8 0 544872637 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=10161104 CPUtime=4721.87 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1771361 0 0 0 471603 584 0 0 25 0 8 0 544872637 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=10161104 CPUtime=4721.63 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 735369 0 0 0 471898 265 0 0 25 0 8 0 544872637 10404970496 2087242 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37747.3
Current children cumulated vsize (KiB) 10161104

[startup+4782.3 s]
/proc/loadavg: 8.07 8.04 7.97 9/198 28556
/proc/meminfo: memFree=12690336/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=10122704 CPUtime=38226.8 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 13417251 0 0 0 3817977 4704 0 0 25 0 8 0 544872635 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 2530676 2032996 406 106 0 2525647 0
[pid=28409/tid=28411] ppid=28407 vsize=10122704 CPUtime=4780.95 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1843374 0 0 0 477481 614 0 0 25 0 8 0 544872637 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=10122704 CPUtime=4781.78 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1808378 0 0 0 477585 593 0 0 25 0 8 0 544872637 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=10122704 CPUtime=4781.69 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1889976 0 0 0 477506 663 0 0 25 0 8 0 544872637 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=10122704 CPUtime=4781.72 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1999219 0 0 0 477448 724 0 0 25 0 8 0 544872637 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=10122704 CPUtime=4755.3 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1838259 0 0 0 474857 673 0 0 25 0 8 0 544872637 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=10122704 CPUtime=4781.86 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1771361 0 0 0 477602 584 0 0 25 0 8 0 544872637 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=10122704 CPUtime=4781.61 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 743386 0 0 0 477890 271 0 0 25 0 8 0 544872637 10365648896 2032996 33554432000 4194304 4627427 140736888624080 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38226.8
Current children cumulated vsize (KiB) 10122704

[startup+4842.3 s]
/proc/loadavg: 8.09 8.05 7.98 9/198 28558
/proc/meminfo: memFree=12338768/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=10298788 CPUtime=38706.4 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 13562706 0 0 0 3865881 4764 0 0 25 0 8 0 544872635 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 2574697 2120420 406 106 0 2569668 0
[pid=28409/tid=28411] ppid=28407 vsize=10298788 CPUtime=4840.95 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1861359 0 0 0 483474 621 0 0 25 0 8 0 544872637 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4333365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=10298788 CPUtime=4841.78 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1828463 0 0 0 483582 596 0 0 25 0 8 0 544872637 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=10298788 CPUtime=4841.68 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1905518 0 0 0 483495 673 0 0 25 0 8 0 544872637 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=10298788 CPUtime=4841.71 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 2013303 0 0 0 483442 729 0 0 25 0 8 0 544872637 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4328773 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=10298788 CPUtime=4814.96 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1857237 0 0 0 480811 685 0 0 25 0 8 0 544872637 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=10298788 CPUtime=4841.86 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1812030 0 0 0 483589 597 0 0 25 0 8 0 544872637 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=10298788 CPUtime=4841.6 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 751488 0 0 0 483886 274 0 0 25 0 8 0 544872637 10545958912 2120420 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38706.4
Current children cumulated vsize (KiB) 10298788

[startup+4902.3 s]
/proc/loadavg: 8.03 8.04 7.98 9/198 28560
/proc/meminfo: memFree=12632244/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=10126992 CPUtime=39186 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 13733018 0 0 0 3913776 4828 0 0 25 0 8 0 544872635 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 2531748 2048612 406 106 0 2526719 0
[pid=28409/tid=28411] ppid=28407 vsize=10126992 CPUtime=4900.93 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1888806 0 0 0 489461 632 0 0 25 0 8 0 544872637 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=10126992 CPUtime=4901.77 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1849819 0 0 0 489573 604 0 0 25 0 8 0 544872637 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=10126992 CPUtime=4901.67 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1931431 0 0 0 489485 682 0 0 25 0 8 0 544872637 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=10126992 CPUtime=4901.71 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 2036682 0 0 0 489433 738 0 0 25 0 8 0 544872637 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=10126992 CPUtime=4874.62 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1882516 0 0 0 486768 694 0 0 25 0 8 0 544872637 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=10126992 CPUtime=4901.85 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1829004 0 0 0 489580 605 0 0 25 0 8 0 544872637 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=10126992 CPUtime=4901.6 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 761269 0 0 0 489882 278 0 0 25 0 8 0 544872637 10370039808 2048612 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39186
Current children cumulated vsize (KiB) 10126992

[startup+4962.3 s]
/proc/loadavg: 8.06 8.04 7.98 9/198 28570
/proc/meminfo: memFree=12409124/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=10148152 CPUtime=39665.6 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 13891444 0 0 0 3961683 4881 0 0 25 0 8 0 544872635 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 2537038 2103102 406 106 0 2532009 0
[pid=28409/tid=28411] ppid=28407 vsize=10148152 CPUtime=4960.93 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1903108 0 0 0 495456 637 0 0 25 0 8 0 544872637 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=10148152 CPUtime=4961.76 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1872825 0 0 0 495566 610 0 0 25 0 8 0 544872637 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=10148152 CPUtime=4961.66 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1946815 0 0 0 495479 687 0 0 25 0 8 0 544872637 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=10148152 CPUtime=4961.7 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 2062396 0 0 0 495423 747 0 0 25 0 8 0 544872637 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=10148152 CPUtime=4934.28 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1903164 0 0 0 492727 701 0 0 25 0 8 0 544872637 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309744 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=10148152 CPUtime=4961.85 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1862146 0 0 0 495569 616 0 0 25 0 8 0 544872637 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=10148152 CPUtime=4961.59 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 768231 0 0 0 495877 282 0 0 25 0 8 0 544872637 10391707648 2103102 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 39665.6
Current children cumulated vsize (KiB) 10148152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5004.2 s]
/proc/loadavg: 8.03 8.03 7.98 9/198 28571
/proc/meminfo: memFree=12468012/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=10315392 CPUtime=40000.6 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) R 28407 28409 28348 0 -1 4202496 14011354 0 0 0 3995135 4924 0 0 25 0 8 0 544872635 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4420278 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 2578848 2087870 406 106 0 2573819 0
[pid=28409/tid=28411] ppid=28407 vsize=10315392 CPUtime=5002.83 cores=0-7
/proc/28409/task/28411/stat : 28411 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1922183 0 0 0 499641 642 0 0 25 0 8 0 544872637 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28409/tid=28412] ppid=28407 vsize=10315392 CPUtime=5003.66 cores=0-7
/proc/28409/task/28412/stat : 28412 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1882268 0 0 0 499751 615 0 0 25 0 8 0 544872637 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28409/tid=28413] ppid=28407 vsize=10315392 CPUtime=5003.55 cores=0-7
/proc/28409/task/28413/stat : 28413 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1966998 0 0 0 499661 694 0 0 25 0 8 0 544872637 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28409/tid=28414] ppid=28407 vsize=10315392 CPUtime=5003.6 cores=0-7
/proc/28409/task/28414/stat : 28414 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 2089369 0 0 0 499604 756 0 0 25 0 8 0 544872637 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=10315392 CPUtime=4975.94 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1914607 0 0 0 496889 705 0 0 25 0 8 0 544872637 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4321337 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28409/tid=28416] ppid=28407 vsize=10315392 CPUtime=5003.74 cores=0-7
/proc/28409/task/28416/stat : 28416 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 1877468 0 0 0 499751 623 0 0 25 0 8 0 544872637 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28409/tid=28417] ppid=28407 vsize=10315392 CPUtime=5003.49 cores=0-7
/proc/28409/task/28417/stat : 28417 (strangenight2-m) R 28407 28409 28348 0 -1 4202560 774999 0 0 0 500065 284 0 0 25 0 8 0 544872637 10562961408 2087870 33554432000 4194304 4627427 140736888624080 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 10315392

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

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

[startup+5004.6 s]
/proc/loadavg: 8.03 8.03 7.98 9/198 28571
/proc/meminfo: memFree=12468012/32950928 swapFree=67111524/67111528
[pid=28409] ppid=28407 vsize=0 CPUtime=40001 cores=0-7
/proc/28409/stat : 28409 (strangenight2-m) Z 28407 28409 28348 0 -1 4203548 14011368 0 0 0 3995140 4963 0 0 25 0 2 0 544872635 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28409/statm: 0 0 0 0 0 0 0
[pid=28409/tid=28415] ppid=28407 vsize=0 CPUtime=4976.33 cores=0-7
/proc/28409/task/28415/stat : 28415 (strangenight2-m) R 28407 28409 28348 0 -1 4203588 1914610 0 0 0 496890 743 0 0 25 0 2 0 544872637 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5004.61
CPU time (s): 40001.1
CPU user time (s): 39951.4
CPU system time (s): 49.6445
CPU usage (%): 799.284
Max. virtual memory (cumulated for all children) (KiB): 10605436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39951.4
system time used= 49.6445
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14011368
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= 155766
involuntary context switches= 165390

runsolver used 7.64284 second user time and 20.0719 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-02 12:38:50
IDJOB=3321236
IDBENCH=84223
IDSOLVER=1709
FILE ID=node125/3321236-1304332729
RUNJOBID= node125-1304332712-28362
PBS_JOBID= 13177719
Free space on /tmp= 73376 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321236-1304332729/watcher-3321236-1304332729 -o /tmp/evaluation-result-3321236-1304332729/solver-3321236-1304332729 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321236-1304332729.cnf

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

MD5SUM BENCH= 3be662940f394fa876137a905247d755
RANDOM SEED=1152628166

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20833680 kB
Buffers:       2144968 kB
Cached:        7116836 kB
SwapCached:          4 kB
Active:        5242032 kB
Inactive:      6339076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20833680 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            8336 kB
Writeback:           0 kB
AnonPages:     2319296 kB
Mapped:          19376 kB
Slab:           463960 kB
PageTables:      10100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  2775892 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= 73368 MiB
End job on node125 at 2011-05-02 14:02:16