Trace number 3175114

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.38 1201.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf
MD5SUM6416f44b34786f590ff716f4b8e2cf7c
Bench CategoryRANDOM (random 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 variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175114-1304089064.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.40/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.65
0.40/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.40/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.40/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.40/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.40/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/0.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.40/0.20	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.20	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.20	c calculated reachability. Time: 0.00
0.77/0.20	c Calc default polars -  time:   0.00 s pos:      45 undec:       1 neg:      34
0.77/0.20	c =========================================================================================
0.77/0.20	c types(t): F = full restart, N = normal restart
0.77/0.20	c types(t): S = simplification begin/end, E = solution found
0.77/0.20	c restart types(rt): st = static, dy = dynamic
0.77/0.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.20	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.17/0.33	c  N dy     7      4294        80      7120         0      3918     49840    105158     22.76     23.99  --
2.37/0.62	c  N dy    26     11387        80      7120         0      4251     49840     92714     23.11     24.44  --
3.17/0.82	c  N dy    34     16454        80      7120         0      8904     49840    216724     23.03     24.25  --
3.98/1.04	c  N dy    49     21129        80      7120         0      7984     49840    178434     23.11     24.61  --
4.80/1.22	c  F st    64     25001        80      7120         0     11545     49840    275778     23.24     23.53  --
4.80/1.24	c  N st    65     25251        80      7120         0     11777     49840    282098     23.24   no data  --
5.57/1.47	c  N dy    70     30001        80      7120         0      9903     49840    214368     23.24   no data  --
5.57/1.47	c  S st    70     30001        80      7120         0      9903     49840    214368     23.24   no data  --
5.97/1.50	c  S st    70     30504        80      7120         0     10367     49840    226960     23.24   no data  --
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.97/1.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.67	c lits-rem:      1315  cl-subs:      829  v-elim:      0  v-fix:    0  time:  4.59 s
11.56/2.99	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.30
11.56/2.99	c calculated reachability. Time: 0.00
11.56/2.99	c  N dy    70     30504        80      7120         0      9538     49840    202301     23.24   no data  --
12.75/3.24	c  N dy    90     34815        80      7120         0     13509     49840    310453     23.35     24.62  --
13.58/3.43	c  N dy    93     38849        80      7120         0     10013     49840    202412     23.28     24.70  --
14.76/3.78	c  N dy   103     45378        80      7120         0     15965     49840    361562     23.21     24.56  --
15.16/3.80	c  S st   106     45756        80      7120         0     16315     49840    371033     23.22   no data  --
15.16/3.85	c  S st   106     46258        80      7120         0      8600     49840    150113     23.22   no data  --
15.16/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.16/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.16/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.16/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.35/4.67	c lits-rem:       159  cl-subs:       57  v-elim:      0  v-fix:    0  time:  3.24 s
18.35/4.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.35/4.67	c vivif2 --  cl tried     8543 cl shrink        0 lits rem          0 time: 0.01
19.55/4.94	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.07
19.55/4.94	c calculated reachability. Time: 0.00
19.55/4.94	c  N dy   106     46258        80      7120         0      8543     49840    148161     23.22   no data  --
22.37/5.67	c  N dy   115     58669        80      7120         0     10739     49840    192442     23.05     24.26  --
23.55/5.92	c  N dy   124     62849        80      7120         0     14574     49840    294997     23.01     24.27  --
24.75/6.20	c  N dy   137     66908        80      7120         0     18310     49840    395318     23.03     25.00  --
25.15/6.39	c  S st   151     69388        80      7120         0     10517     49840    172892     23.07     23.12  --
25.54/6.43	c  S st   151     69890        80      7120         0     10994     49840    185953     23.07   no data  --
25.54/6.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.54/6.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.54/6.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.54/6.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.38	c lits-rem:       254  cl-subs:      117  v-elim:      0  v-fix:    0  time:  3.75 s
29.14/7.38	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.14/7.38	c vivif2 --  cl tried    10877 cl shrink        0 lits rem          0 time: 0.01
30.76/7.72	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.34
30.76/7.72	c calculated reachability. Time: 0.00
30.76/7.72	c  N dy   151     69890        80      7120         0     10877     49840    182167     23.07   no data  --
31.54/7.95	c  N dy   159     74350        80      7120         0     14956     49840    290816     23.05     24.40  --
33.53/8.41	c  N dy   183     80769        80      7120         0     20838     49840    449266     23.10     24.59  --
35.14/8.88	c  F st   187     87500        80      7120         0     15960     49840    300216     23.05     22.50  --
35.14/8.88	c  N st   187     87500        80      7120         0     15960     49840    300216     23.05     22.50  --
36.72/9.27	c  N dy   197     93104        80      7120         0     21107     49840    442709     23.06     25.16  --
39.13/9.87	c  N dy   213    101753        80      7120         0     17120     49840    320532     23.04     24.29  --
40.32/10.10	c  S st   224    104835        80      7120         0     19949     49840    396021     23.04     21.97  --
40.32/10.16	c  S st   224    105338        80      7120         0     20419     49840    408929     23.04   no data  --
40.32/10.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.32/10.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.32/10.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
40.32/10.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.32/10.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.32/10.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.32/10.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.52/11.95	c lits-rem:      2193  cl-subs:     1593  v-elim:      0  v-fix:    0  time:  7.06 s
47.52/11.95	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.52/11.95	c vivif2 --  cl tried    18826 cl shrink        0 lits rem          0 time: 0.02
49.11/12.35	c asymm  cl-useful: 0/5261/7120 lits-rem:0 time: 1.60
49.11/12.36	c calculated reachability. Time: 0.00
49.11/12.36	c  N dy   224    105338        80      7120         0     18826     49840    362808     23.04   no data  --
53.50/13.41	c  N dy   225    119567        80      7120         0     19022     49840    351736     22.78     24.10  --
55.90/14.06	c  N dy   261    127210        80      7120         0     26073     49840    542044     22.84     24.15  --
59.50/14.99	c  N dy   294    139490        80      7120         0     23629     49840    464604     22.83     24.09  --
63.49/15.94	c  N dy   317    151549        80      7120         0     20070     49840    353235     22.78     24.15  --
65.49/16.44	c  S st   330    158008        80      7120         0     25995     49840    511116     22.78     22.21  --
65.91/16.51	c  S st   330    158509        80      7120         0     26470     49840    524202     22.78   no data  --
65.91/16.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.91/16.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.91/16.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
65.91/16.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.91/16.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.91/16.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.91/16.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.10/18.88	c lits-rem:      2766  cl-subs:     2597  v-elim:      0  v-fix:    0  time:  9.37 s
75.10/18.88	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.10/18.89	c vivif2 --  cl tried    23873 cl shrink        0 lits rem          0 time: 0.02
76.28/19.10	c asymm  cl-useful: 0/1824/7120 lits-rem:0 time: 0.87
76.28/19.10	c calculated reachability. Time: 0.00
76.28/19.10	c  N dy   330    158509        80      7120         0     23873     49840    452541     22.78   no data  --
79.49/19.94	c  N dy   355    168653        80      7120         0     17727     49840    276788     22.77     26.11  --
83.07/20.87	c  N dy   380    179963        80      7120         0     28037     49840    549316     22.75     23.95  --
89.46/22.43	c  N dy   405    199089        80      7120         0     29051     49840    557259     22.63     23.96  --
95.46/23.90	c  N dy   423    214723        80      7120         0     26031     49840    468232     22.56     23.78  --
101.47/25.48	c  N dy   490    228512        80      7120         0     20406     49840    304708     22.63     23.88  --
105.04/26.38	c  S st   542    237764        80      7120         0     28922     49840    534462     22.67   no data  --
105.45/26.46	c  S st   542    238267        80      7120         0     29395     49840    547683     22.67   no data  --
105.45/26.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
105.45/26.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.45/26.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
105.45/26.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.45/26.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.45/26.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
105.45/26.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.23/29.19	c lits-rem:      1979  cl-subs:     1966  v-elim:      0  v-fix:    0  time: 10.81 s
116.23/29.20	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
116.63/29.20	c vivif2 --  cl tried    27429 cl shrink        0 lits rem          0 time: 0.02
117.03/29.39	c asymm  cl-useful: 0/2088/7120 lits-rem:0 time: 0.74
117.03/29.39	c calculated reachability. Time: 0.00
117.03/29.39	c  N dy   542    238267        80      7120         0     27429     49840    488756     22.67   no data  --
123.44/30.94	c  N dy   574    253562        80      7120         0     22299     49840    339344     22.65     23.88  --
129.82/32.59	c  N dy   627    269997        80      7120         0     37370     49840    738856     22.65     23.87  --
138.60/34.79	c  N dy   720    290901        80      7120         0     36383     49840    699413     22.69     23.92  --
145.79/36.54	c  F st   792    306250        80      7120         0     29397     49840    500398     22.73     22.83  --
146.99/36.85	c  N st   797    309546        80      7120         0     32432     49840    583802     22.73   no data  --
157.78/39.52	c  N dy   877    333063        80      7120         0     31976     49840    548377     22.73     23.96  --
168.15/42.10	c  N dy   991    353276        80      7120         0     27636     49840    421114     22.78     24.06  --
169.75/42.53	c  S st  1012    357400        80      7120         0     31437     49840    523417     22.79     22.17  --
170.15/42.61	c  S st  1012    357902        80      7120         0     31894     49840    536008     22.79   no data  --
170.15/42.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
170.15/42.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.15/42.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
170.15/42.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.15/42.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.15/42.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.15/42.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
180.94/45.31	c lits-rem:      1803  cl-subs:     1473  v-elim:      0  v-fix:    0  time: 10.66 s
180.94/45.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
180.94/45.32	c vivif2 --  cl tried    30421 cl shrink        0 lits rem          0 time: 0.02
181.74/45.52	c asymm  cl-useful: 0/1629/7120 lits-rem:0 time: 0.80
181.74/45.52	c calculated reachability. Time: 0.00
181.74/45.52	c  N dy  1012    357902        80      7120         0     30421     49840    490737     22.79   no data  --
194.92/48.80	c  N dy  1083    377947        80      7120         0     24979     49840    330605     22.80     25.46  --
206.53/51.77	c  N dy  1180    400560        80      7120         0     45712     49840    886974     22.83     24.21  --
219.29/54.94	c  N dy  1228    426380        80      7120         0     44573     49840    829474     22.77     24.09  --
232.48/58.29	c  N dy  1320    453216        80      7120         0     43577     49840    794811     22.78     23.99  --
243.26/60.95	c  N dy  1366    474320        80      7120         0     36317     49840    587422     22.77     24.23  --
255.27/63.92	c  N dy  1409    497261        80      7120         0     29823     49840    399286     22.70     24.14  --
274.43/68.78	c  N dy  1503    536853        80      7120         0     37584     49840    590090     22.68     20.24  --
274.43/68.78	c  S st  1503    536853        80      7120         0     37584     49840    590090     22.68     20.24  --
274.83/68.87	c  S st  1503    537355        80      7120         0     38066     49840    603096     22.68   no data  --
274.83/68.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.83/68.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
274.83/68.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
275.23/68.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
275.23/68.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
275.23/68.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
275.23/68.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
287.60/72.05	c lits-rem:      2325  cl-subs:     2535  v-elim:      0  v-fix:    0  time: 12.55 s
287.60/72.05	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
287.60/72.06	c vivif2 --  cl tried    35531 cl shrink        0 lits rem          0 time: 0.02
288.40/72.28	c asymm  cl-useful: 0/1344/7120 lits-rem:0 time: 0.88
288.40/72.28	c calculated reachability. Time: 0.00
288.40/72.28	c  N dy  1503    537355        80      7120         0     35531     49840    537432     22.68   no data  --
301.19/75.47	c  N dy  1596    557981        80      7120         0     54421     49840   1045783     22.70     23.90  --
316.39/79.25	c  N dy  1645    587032        80      7120         0     51764     49840    945684     22.67     23.89  --
329.57/82.51	c  N dy  1735    608019        80      7120         0     40973     49840    651664     22.69     23.91  --
342.34/85.78	c  N dy  1770    630632        80      7120         0     61609     49840   1200310     22.67     23.93  --
354.32/88.74	c  N dy  1852    650723        80      7120         0     48931     49840    850909     22.68     23.88  --
371.10/92.98	c  N dy  1946    674583        80      7120         0     38716     49840    550772     22.68     23.93  --
385.08/96.44	c  N dy  2044    695690        80      7120         0     58066     49840   1071936     22.70     23.94  --
399.06/99.97	c  N dy  2174    715695        80      7120         0     43512     49840    676360     22.74     23.94  --
416.64/104.31	c  N dy  2292    735904        80      7120         0     62111     49840   1178212     22.77     24.09  --
431.05/107.90	c  N dy  2406    756667        80      7120         0     47302     49840    763883     22.79     24.07  --
447.00/111.91	c  N dy  2527    776905        80      7120         0     65917     49840   1269038     22.82     24.05  --
459.79/115.17	c  N dy  2608    796924        80      7120         0     49335     49840    792527     22.83     26.14  --
466.20/116.76	c  S st  2640    806032        80      7120         0     57695     49840   1017451     22.83   no data  --
466.97/116.92	c  S st  2640    806535        80      7120         0     58165     49840   1030286     22.83   no data  --
466.97/116.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
466.97/116.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
466.97/116.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
466.97/116.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
466.97/116.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
466.97/116.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
466.97/116.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
503.72/126.10	c lits-rem:      3063  cl-subs:     4759  v-elim:      0  v-fix:    0  time: 36.40 s
503.72/126.10	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
503.72/126.11	c vivif2 --  cl tried    53406 cl shrink        0 lits rem          0 time: 0.04
504.92/126.46	c asymm  cl-useful: 0/922/7120 lits-rem:0 time: 1.41
504.92/126.47	c calculated reachability. Time: 0.00
504.92/126.47	c  N dy  2640    806535        80      7120         0     53406     49840    897089     22.83   no data  --
522.92/130.93	c  N dy  2737    826631        80      7120         0     36245     49840    430690     22.85     24.91  --
535.27/134.02	c  N dy  2833    846797        80      7120         0     54687     49840    931867     22.87     24.08  --
551.25/138.05	c  N dy  2874    867008        80      7120         0     36602     49840    425593     22.86     24.20  --
575.64/144.19	c  N dy  2963    905380        80      7120         0     71648     49840   1363670     22.84     24.20  --
589.24/147.54	c  N dy  3054    925418        80      7120         0     52510     49840    839645     22.86     26.14  --
605.59/151.62	c  N dy  3104    945832        80      7120         0     71215     49840   1338361     22.85     24.11  --
620.37/155.37	c  N dy  3194    965840        80      7120         0     51186     49840    784442     22.87     24.40  --
637.57/159.61	c  N dy  3276    985881        80      7120         0     69577     49840   1280466     22.88     24.62  --
655.15/164.03	c  N dy  3383   1007454        80      7120         0     50010     49840    737110     22.90     24.19  --
677.12/169.58	c  N dy  3429   1037660        80      7120         0     77511     49840   1464714     22.87     24.19  --
691.48/173.10	c  N dy  3469   1057719        80      7120         0     55533     49840    855948     22.86     25.07  --
703.48/176.13	c  F st  3534   1071877        80      7120         0     68488     49840   1205999     22.87   no data  --
709.05/177.50	c  N dy  3545   1078354        80      7120         0     74388     49840   1367870     22.87     24.12  --
723.84/181.23	c  N dy  3589   1098719        80      7120         0     51919     49840    752192     22.87     24.13  --
739.01/185.08	c  N dy  3638   1118805        80      7120         0     70246     49840   1237384     22.86     25.75  --
758.99/190.06	c  N dy  3734   1138894        80      7120         0     46587     49840    595412     22.87     24.41  --
775.77/194.26	c  N dy  3809   1158902        80      7120         0     64901     49840   1089280     22.88     24.14  --
798.52/199.92	c  N dy  3878   1179601        80      7120         0     83901     49840   1601951     22.88     24.09  --
815.70/204.30	c  N dy  3956   1199632        80      7120         0     59180     49840    916993     22.89     24.86  --
824.08/206.38	c  S st  3957   1209802        80      7120         0     68382     49840   1156108     22.88     21.20  --
825.28/206.60	c  S st  3957   1210304        80      7120         0     68861     49840   1169244     22.88   no data  --
825.28/206.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
825.28/206.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
825.28/206.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
825.28/206.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
825.28/206.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
825.28/206.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
825.28/206.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
901.20/225.67	c lits-rem:      3800  cl-subs:     5921  v-elim:      0  v-fix:    0  time: 75.80 s
901.20/225.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
901.20/225.68	c vivif2 --  cl tried    62940 cl shrink        0 lits rem          0 time: 0.05
902.77/226.04	c asymm  cl-useful: 0/796/7120 lits-rem:0 time: 1.43
902.77/226.04	c calculated reachability. Time: 0.00
902.77/226.04	c  N dy  3957   1210304        80      7120         0     62940     49840   1007677     22.88   no data  --
927.56/232.26	c  N dy  4076   1231066        80      7120         0     82007     49840   1527186     22.90     24.15  --
947.51/237.26	c  N dy  4162   1251214        80      7120         0     56787     49840    841300     22.91     24.18  --
967.49/242.20	c  N dy  4267   1271406        80      7120         0     75289     49840   1344457     22.92     24.27  --
991.86/248.36	c  N dy  4341   1291409        80      7120         0     48913     49840    614586     22.93     25.54  --
1011.43/253.20	c  N dy  4385   1313245        80      7120         0     68771     49840   1142039     22.92     24.15  --
1039.00/260.11	c  N dy  4512   1333265        80      7120         0     87205     49840   1645971     22.94     25.12  --
1060.58/265.51	c  N dy  4641   1353299        80      7120         0     59874     49840    895012     22.96     24.20  --
1080.56/270.56	c  N dy  4673   1376253        80      7120         0     80715     49840   1451471     22.95     24.41  --
1098.13/274.91	c  N dy  4709   1396342        80      7120         0     52478     49840    676585     22.93     24.57  --
1112.50/278.55	c  N dy  4742   1416517        80      7120         0     70868     49840   1169141     22.92     24.15  --
1136.08/284.42	c  N dy  4853   1436697        80      7120         0     89357     49840   1672082     22.94     24.16  --
1157.25/289.75	c  N dy  4914   1461667        80      7120         0     64702     49840    988759     22.93     24.20  --
1177.65/294.86	c  N dy  4950   1485886        80      7120         0     86778     49840   1578958     22.91     24.12  --
1196.00/299.47	c  N dy  5002   1506109        80      7120         0     56816     49840    764112     22.91     24.13  --
1216.38/304.53	c  N dy  5041   1530256        80      7120         0     78725     49840   1341042     22.90     24.26  --
1241.94/310.99	c  N dy  5145   1550496        80      7120         0     97308     49840   1846400     22.91     24.15  --
1260.71/315.61	c  N dy  5174   1574607        80      7120         0     70002     49840   1091713     22.89     24.14  --
1284.28/321.55	c  N dy  5267   1596843        80      7120         0     90377     49840   1643172     22.90     24.11  --
1306.65/327.11	c  N dy  5359   1616898        80      7120         0     58468     49840    773907     22.91     24.51  --
1324.22/331.58	c  N dy  5407   1638418        80      7120         0     78034     49840   1294455     22.90     24.17  --
1350.20/338.05	c  N dy  5519   1658905        80      7120         0     96804     49840   1804851     22.92     24.31  --
1369.77/342.97	c  N dy  5567   1679306        80      7120         0     64204     49840    907243     22.91     24.13  --
1392.14/348.51	c  N dy  5660   1699404        80      7120         0     82635     49840   1405537     22.92     25.21  --
1406.92/352.20	c  S st  5736   1710304        80      7120         0     92626     49840   1679516     22.93   no data  --
1407.72/352.48	c  S st  5736   1710807        80      7120         0     93100     49840   1692438     22.93   no data  --
1407.72/352.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1407.72/352.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1408.12/352.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1408.12/352.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1408.12/352.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1408.12/352.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1408.12/352.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1537.79/385.09	c lits-rem:      5580  cl-subs:     8771  v-elim:      0  v-fix:    0  time: 129.62 s
1537.79/385.09	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1538.19/385.11	c vivif2 --  cl tried    84329 cl shrink        0 lits rem          0 time: 0.07
1539.37/385.41	c asymm  cl-useful: 0/835/7120 lits-rem:0 time: 1.22
1539.37/385.42	c calculated reachability. Time: 0.00
1539.37/385.42	c  N dy  5736   1710807        80      7120         0     84329     49840   1445309     22.93   no data  --
1565.84/392.12	c  N dy  5804   1732537        80      7120         0     52488     49840    586754     22.93     24.27  --
1584.39/396.88	c  N dy  5892   1756274        80      7120         0     74310     49840   1176235     22.93     24.23  --
1607.45/402.66	c  N dy  5964   1776534        80      7120         0     92830     49840   1675224     22.93     24.17  --
1635.39/409.65	c  N dy  6037   1796746        80      7120         0     58487     49840    728888     22.94     24.15  --
1669.37/418.14	c  N dy  6117   1831179        80      7120         0     89926     49840   1571406     22.92     24.15  --
1699.73/425.79	c  N dy  6189   1851202        80      7120         0     54351     49840    601151     22.93     26.22  --
1719.29/430.66	c  N dy  6216   1877760        80      7120         0     78533     49840   1233778     22.90     24.21  --
1744.08/436.89	c  N dy  6289   1898868        80      7120         0     97796     49840   1753165     22.91     24.17  --
1769.63/443.20	c  N dy  6382   1918910        80      7120         0     61450     49840    778487     22.92     26.46  --
1788.79/448.07	c  N dy  6456   1939309        80      7120         0     80136     49840   1284933     22.92     24.18  --
1812.37/453.91	c  N dy  6485   1961450        80      7120         0    100225     49840   1817774     22.91     24.30  --
1839.93/460.88	c  N dy  6617   1981492        80      7120         0     62922     49840    801055     22.93     25.48  --
1857.93/465.35	c  N dy  6668   2001568        80      7120         0     81233     49840   1294449     22.92     25.37  --
1882.67/471.59	c  N dy  6738   2022243        80      7120         0    100209     49840   1807199     22.93     24.17  --
1912.64/479.00	c  N dy  6872   2042263        80      7120         0     61901     49840    760561     22.94     25.66  --
1931.81/483.87	c  N dy  6958   2062478        80      7120         0     80391     49840   1259780     22.95     24.19  --
1954.60/489.58	c  N dy  7002   2082485        80      7120         0     98646     49840   1744967     22.95     25.29  --
1982.93/496.67	c  N dy  7049   2104708        80      7120         0     61237     49840    720542     22.94     24.17  --
2005.31/502.22	c  N dy  7147   2127074        80      7120         0     81670     49840   1273226     22.95     24.19  --
2035.26/509.79	c  N dy  7298   2147158        80      7120         0    100126     49840   1782342     22.96     25.50  --
2064.03/516.92	c  N dy  7347   2168157        80      7120         0     60835     49840    695675     22.97     24.24  --
2085.20/522.28	c  N dy  7424   2188233        80      7120         0     79212     49840   1192857     22.97     25.25  --
2111.96/528.97	c  N dy  7546   2208355        80      7120         0     97689     49840   1699866     22.98     24.20  --
2115.56/529.85	c  S st  7559   2210807        80      7120         0     99952     49840   1761852     22.98     23.76  --
2116.76/530.15	c  S st  7559   2211313        80      7120         0    100431     49840   1775218     22.98   no data  --
2116.76/530.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2116.76/530.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2117.17/530.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2117.17/530.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2117.17/530.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2117.17/530.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2117.17/530.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2508.23/628.12	c lits-rem:      6339  cl-subs:     8008  v-elim:      0  v-fix:    0  time: 390.81 s
2508.23/628.12	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2508.23/628.14	c vivif2 --  cl tried    92423 cl shrink        0 lits rem          0 time: 0.08
2509.41/628.48	c asymm  cl-useful: 0/614/7120 lits-rem:0 time: 1.35
2509.41/628.48	c calculated reachability. Time: 0.00
2509.41/628.48	c  N dy  7559   2211313        80      7120         0     92423     49840   1540115     22.98   no data  --
2542.58/636.71	c  N dy  7573   2243766        80      7120         0     62720     49840    733699     22.95     24.35  --
2564.55/642.27	c  N dy  7700   2264876        80      7120         0     82093     49840   1264343     22.96     24.20  --
2588.11/648.19	c  N dy  7763   2284887        80      7120         0    100355     49840   1758498     22.96     25.22  --
2622.48/656.78	c  N dy  7781   2316644        80      7120         0     69208     49840    889675     22.94     24.16  --
2646.04/662.60	c  N dy  7919   2336654        80      7120         0     87495     49840   1390807     22.95     26.88  --
2674.81/669.81	c  N dy  8029   2356672        80      7120         0    105792     49840   1890523     22.96     24.24  --
2705.16/677.45	c  N dy  8098   2376965        80      7120         0     63206     49840    717410     22.97     24.31  --
2726.73/682.87	c  N dy  8172   2399279        80      7120         0     83550     49840   1266224     22.97     24.45  --
2756.29/690.29	c  N dy  8259   2421100        80      7120         0    103481     49840   1805511     22.97     24.29  --
2797.04/700.43	c  N dy  8374   2441303        80      7120         0    121958     49840   2309675     22.98     24.39  --
2826.99/707.95	c  N dy  8443   2464973        80      7120         0     81459     49840   1192488     22.98     24.21  --
2854.96/714.96	c  N dy  8529   2485674        80      7120         0    100470     49840   1711860     22.99     24.21  --
2889.71/723.65	c  N dy  8610   2507464        80      7120         0    120374     49840   2248148     22.99     24.24  --
2912.49/729.31	c  N dy  8638   2527543        80      7120         0     75658     49840   1019559     22.99     24.22  --
2935.65/735.13	c  N dy  8705   2547561        80      7120         0     93950     49840   1512407     22.99     25.80  --
2968.01/743.30	c  N dy  8819   2568426        80      7120         0    113092     49840   2035781     23.00     24.25  --
3001.56/751.62	c  N dy  8907   2588588        80      7120         0     67610     49840    790145     23.00     24.22  --
3022.35/756.83	c  N dy  8989   2608624        80      7120         0     85929     49840   1284984     23.00     24.24  --
3044.72/762.44	c  N dy  9021   2629087        80      7120         0    104486     49840   1780876     23.00     24.36  --
3079.47/771.13	c  N dy  9108   2650461        80      7120         0    123982     49840   2310577     23.00     24.38  --
3109.41/778.61	c  N dy  9238   2670951        80      7120         0     77970     49840   1061729     23.01     24.29  --
3150.18/788.86	c  N dy  9304   2705574        80      7120         0    109366     49840   1906637     23.01     24.27  --
3158.96/791.05	c  S st  9328   2711313        80      7120         0    114621     49840   2050528     23.01     23.08  --
3160.54/791.40	c  S st  9328   2711815        80      7120         0    115100     49840   2064079     23.01   no data  --
3160.54/791.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3160.54/791.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3160.54/791.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3160.94/791.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3160.94/791.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3160.94/791.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3160.94/791.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3764.52/942.66	c lits-rem:      8185  cl-subs:    10999  v-elim:      0  v-fix:    0  time: 603.53 s
3764.52/942.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3764.52/942.69	c vivif2 --  cl tried   104101 cl shrink        0 lits rem          0 time: 0.11
3766.51/943.18	c asymm  cl-useful: 0/526/7120 lits-rem:0 time: 1.97
3766.51/943.19	c calculated reachability. Time: 0.00
3766.51/943.19	c  N dy  9328   2711815        80      7120         0    104101     49840   1756135     23.01   no data  --
3826.04/958.05	c  N dy  9422   2740801        80      7120         0     65351     49840    705508     23.00     24.38  --
3854.80/965.23	c  N dy  9478   2763637        80      7120         0     86133     49840   1264259     23.00     24.51  --
3893.54/974.91	c  N dy  9627   2783682        80      7120         0    104542     49840   1774098     23.02     25.91  --
3940.28/986.61	c  N dy  9725   2805898        80      7120         0    124866     49840   2327639     23.02     24.32  --
3977.42/995.93	c  N dy  9824   2825912        80      7120         0     76781     49840    997846     23.03     25.82  --
4014.97/1005.30	c  N dy  9879   2848298        80      7120         0     97170     49840   1544955     23.02     24.33  --
4061.71/1017.09	c  N dy  9968   2868512        80      7120         0    115645     49840   2047986     23.03     24.29  --
4126.82/1033.35	c  N dy 10086   2896470        80      7120         0     73629     49840    886989     23.03     24.27  --
4161.17/1041.94	c  N dy 10184   2916793        80      7120         0     92172     49840   1395993     23.04     24.48  --
4195.13/1050.47	c  N dy 10199   2937017        80      7120         0    110401     49840   1876185     23.03     24.29  --
4238.67/1061.34	c  N dy 10278   2957046        80      7120         0    128657     49840   2374077     23.03     24.61  --
4276.22/1070.79	c  N dy 10341   2977069        80      7120         0     78717     49840   1015788     23.03     26.28  --
4303.78/1077.66	c  N dy 10376   2997101        80      7120         0     96922     49840   1501216     23.03     25.17  --
4349.34/1089.06	c  N dy 10427   3023199        80      7120         0    120488     49840   2121541     23.02     24.45  --
4394.46/1100.30	c  N dy 10511   3044788        80      7120         0     71100     49840    795093     23.02     24.36  --
4424.04/1107.73	c  N dy 10632   3066363        80      7120         0     90818     49840   1335567     23.03     24.29  --
4461.17/1117.01	c  N dy 10684   3093104        80      7120         0    115068     49840   1985883     23.02     24.34  --
4503.91/1127.70	c  N dy 10801   3113514        80      7120         0    133727     49840   2497451     23.03     24.28  --
4534.67/1135.44	c  N dy 10904   3133559        80      7120         0     81927     49840   1075592     23.04     26.37  --
4565.05/1143.05	c  N dy 11011   3156931        80      7120         0    103224     49840   1654180     23.04     24.29  --
4594.19/1150.38	c  N dy 11058   3178077        80      7120         0    122386     49840   2169054     23.04     24.35  --
4634.54/1160.43	c  N dy 11177   3198148        80      7120         0    140836     49840   2677723     23.05     24.38  --
4650.51/1164.45	c  S st 11200   3211816        80      7120         0     82271     49840   1065775     23.05     23.41  --
4651.31/1164.69	c  S st 11200   3212319        80      7120         0     82743     49840   1078799     23.05   no data  --
4651.31/1164.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4651.31/1164.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4651.71/1164.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4651.71/1164.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4651.71/1164.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4651.71/1164.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4651.71/1164.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4712.43/1179.92	c lits-rem:       923  cl-subs:     2474  v-elim:      0  v-fix:    0  time: 60.53 s
4712.43/1179.92	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4712.43/1179.94	c vivif2 --  cl tried    80269 cl shrink        0 lits rem          0 time: 0.06
4713.63/1180.25	c asymm  cl-useful: 0/669/7120 lits-rem:0 time: 1.26
4713.63/1180.25	c calculated reachability. Time: 0.00
4713.63/1180.25	c  N dy 11200   3212319        80      7120         0     80269     49840   1009970     23.05   no data  --
4741.59/1187.27	c  N dy 11327   3233096        80      7120         0     99308     49840   1532905     23.06     24.28  --
4771.58/1194.72	c  N dy 11396   3253149        80      7120         0    117658     49840   2030676     23.06     24.29  --

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.08 8.06 7.86 6/180 5691
/proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 520506198 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 48005017954220 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 12809 353 303 112 0 7774 0
[pid=5691/tid=5692] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 520506199 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 48005017954220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520506199 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 237290677302 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 520506199 52465664 353 33554432000 4194304 4650419 140735260422368 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.108128 s]
/proc/loadavg: 8.08 8.06 7.86 6/180 5691
/proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=216984 CPUtime=0.4 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 1524 0 0 0 40 0 0 0 25 0 4 0 520506198 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370668 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 54246 1456 366 112 0 49211 0
[pid=5691/tid=5692] ppid=5689 vsize=216984 CPUtime=0.1 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 212 0 0 0 10 0 0 0 25 0 4 0 520506199 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=216984 CPUtime=0.1 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 236 0 0 0 10 0 0 0 25 0 4 0 520506199 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=216984 CPUtime=0.09 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 399 0 0 0 9 0 0 0 25 0 4 0 520506199 222191616 1456 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 216984

[startup+0.201114 s]
/proc/loadavg: 8.08 8.06 7.86 6/180 5691
/proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=220948 CPUtime=0.77 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 3492 0 0 0 77 0 0 0 25 0 4 0 520506198 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 4313362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 55237 2922 388 112 0 50202 0
[pid=5691/tid=5692] ppid=5689 vsize=220948 CPUtime=0.19 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 786 0 0 0 19 0 0 0 25 0 4 0 520506199 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 237278904215 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=220948 CPUtime=0.19 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 791 0 0 0 19 0 0 0 25 0 4 0 520506199 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=220948 CPUtime=0.19 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 690 0 0 0 19 0 0 0 25 0 4 0 520506199 226250752 2922 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 220948

[startup+0.301096 s]
/proc/loadavg: 8.08 8.06 7.86 6/180 5691
/proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=220948 CPUtime=1.17 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 3840 0 0 0 117 0 0 0 25 0 4 0 520506198 226250752 3270 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 55237 3270 390 112 0 50202 0
[pid=5691/tid=5692] ppid=5689 vsize=220948 CPUtime=0.29 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 877 0 0 0 29 0 0 0 25 0 4 0 520506199 226250752 3270 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=220948 CPUtime=0.29 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 886 0 0 0 29 0 0 0 25 0 4 0 520506199 226250752 3270 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=220948 CPUtime=0.29 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 763 0 0 0 29 0 0 0 25 0 4 0 520506199 226250752 3271 33554432000 4194304 4650419 140735260422368 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220948

[startup+0.701025 s]
/proc/loadavg: 8.08 8.06 7.86 6/180 5691
/proc/meminfo: memFree=19968132/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=222988 CPUtime=2.77 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 6186 0 0 0 277 0 0 0 25 0 4 0 520506198 228339712 3839 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 55747 3840 390 112 0 50712 0
[pid=5691/tid=5692] ppid=5689 vsize=222988 CPUtime=0.69 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1520 0 0 0 69 0 0 0 25 0 4 0 520506199 228339712 3840 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=222988 CPUtime=0.69 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1523 0 0 0 69 0 0 0 25 0 4 0 520506199 228339712 3840 33554432000 4194304 4650419 140735260422368 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=222988 CPUtime=0.69 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 1228 0 0 0 69 0 0 0 25 0 4 0 520506199 228339712 3840 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 222988

[startup+1.50088 s]
/proc/loadavg: 8.07 8.06 7.86 9/184 5695
/proc/meminfo: memFree=19938984/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=224536 CPUtime=5.97 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 10075 0 0 0 596 1 0 0 25 0 4 0 520506198 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4330253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 56134 4721 391 112 0 51099 0
[pid=5691/tid=5692] ppid=5689 vsize=224536 CPUtime=1.49 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 2515 0 0 0 149 0 0 0 25 0 4 0 520506199 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=224536 CPUtime=1.48 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 2487 0 0 0 148 0 0 0 25 0 4 0 520506199 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=224536 CPUtime=1.48 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 2220 0 0 0 148 0 0 0 25 0 4 0 520506199 229924864 4721 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 224536

[startup+3.1006 s]
/proc/loadavg: 8.07 8.06 7.86 9/184 5725
/proc/meminfo: memFree=19931952/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=234088 CPUtime=12.35 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 19227 0 0 0 1233 2 0 0 25 0 4 0 520506198 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4368281 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 58522 11631 392 112 0 53487 0
[pid=5691/tid=5692] ppid=5689 vsize=234088 CPUtime=3.08 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 4244 0 0 0 308 0 0 0 25 0 4 0 520506199 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370652 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=234088 CPUtime=3.08 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 5192 0 0 0 308 0 0 0 25 0 4 0 520506199 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=234088 CPUtime=3.08 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 5257 0 0 0 307 1 0 0 25 0 4 0 520506199 239706112 11631 33554432000 4194304 4650419 140735260422368 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 234088

[startup+6.30103 s]
/proc/loadavg: 8.06 8.06 7.86 9/184 5725
/proc/meminfo: memFree=19877264/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=226180 CPUtime=25.15 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 28245 0 0 0 2511 4 0 0 25 0 4 0 520506198 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 56545 14137 392 112 0 51510 0
[pid=5691/tid=5692] ppid=5689 vsize=226180 CPUtime=6.29 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 7140 0 0 0 628 1 0 0 25 0 4 0 520506199 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=226180 CPUtime=6.26 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 7121 0 0 0 626 0 0 0 25 0 4 0 520506199 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=226180 CPUtime=6.28 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 7619 0 0 0 627 1 0 0 25 0 4 0 520506199 231608320 14137 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 226180

[startup+12.7009 s]
/proc/loadavg: 8.06 8.06 7.86 9/184 5725
/proc/meminfo: memFree=19830184/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=269384 CPUtime=50.71 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 41793 0 0 0 5064 7 0 0 25 0 4 0 520506198 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 67346 20794 392 112 0 62311 0
[pid=5691/tid=5692] ppid=5689 vsize=269384 CPUtime=12.69 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 10383 0 0 0 1268 1 0 0 25 0 4 0 520506199 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=269384 CPUtime=12.63 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 11004 0 0 0 1262 1 0 0 25 0 4 0 520506199 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=269384 CPUtime=12.68 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 11476 0 0 0 1266 2 0 0 25 0 4 0 520506199 275849216 20794 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 269384

[startup+25.5006 s]
/proc/loadavg: 8.05 8.06 7.86 9/184 5725
/proc/meminfo: memFree=19791628/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=250852 CPUtime=101.84 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 62208 0 0 0 10173 11 0 0 25 0 4 0 520506198 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 62713 25718 392 112 0 57678 0
[pid=5691/tid=5692] ppid=5689 vsize=250852 CPUtime=25.49 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 16151 0 0 0 2546 3 0 0 25 0 4 0 520506199 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=250852 CPUtime=25.36 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 15309 0 0 0 2534 2 0 0 25 0 4 0 520506199 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=250852 CPUtime=25.48 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 17600 0 0 0 2545 3 0 0 25 0 4 0 520506199 256872448 25718 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 250852

[startup+51.1011 s]
/proc/loadavg: 8.03 8.05 7.86 9/184 5726
/proc/meminfo: memFree=19731064/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=272164 CPUtime=204.11 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 87013 0 0 0 20394 17 0 0 25 0 4 0 520506198 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 68041 33915 392 112 0 63006 0
[pid=5691/tid=5692] ppid=5689 vsize=272164 CPUtime=51.09 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 21906 0 0 0 5105 4 0 0 25 0 4 0 520506199 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=272164 CPUtime=50.83 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 22779 0 0 0 5079 4 0 0 25 0 4 0 520506199 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=272164 CPUtime=51.08 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 23360 0 0 0 5103 5 0 0 25 0 4 0 520506199 278695936 33915 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 272164

[startup+102.301 s]
/proc/loadavg: 8.09 8.06 7.87 9/184 5727
/proc/meminfo: memFree=19668060/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=289224 CPUtime=408.67 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 131349 0 0 0 40836 31 0 0 25 0 4 0 520506198 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 72306 43584 392 112 0 67271 0
[pid=5691/tid=5692] ppid=5689 vsize=289224 CPUtime=102.29 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 32365 0 0 0 10222 7 0 0 25 0 4 0 520506199 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=289224 CPUtime=101.77 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 32964 0 0 0 10169 8 0 0 25 0 4 0 520506199 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=289224 CPUtime=102.29 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 34358 0 0 0 10221 8 0 0 25 0 4 0 520506199 296165376 43584 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 289224

[startup+162.3 s]

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

[pid=5691] ppid=5689 vsize=450848 CPUtime=2564.95 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 402109 0 0 0 256363 132 0 0 25 0 4 0 520506198 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 112712 72778 392 112 0 107677 0
[pid=5691/tid=5692] ppid=5689 vsize=450848 CPUtime=642.13 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 90908 0 0 0 64180 33 0 0 25 0 4 0 520506199 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=450848 CPUtime=638.92 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 103162 0 0 0 63859 33 0 0 25 0 4 0 520506199 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=450848 CPUtime=641.64 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115067 0 0 0 64125 39 0 0 25 0 4 0 520506199 461668352 72778 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2564.95
Current children cumulated vsize (KiB) 450848

[startup+702.3 s]
/proc/loadavg: 8.07 8.09 7.97 9/184 5785
/proc/meminfo: memFree=19333556/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=463776 CPUtime=2804.62 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 421073 0 0 0 280321 141 0 0 25 0 4 0 520506198 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 115944 80293 392 112 0 110909 0
[pid=5691/tid=5692] ppid=5689 vsize=463776 CPUtime=702.13 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 96100 0 0 0 70177 36 0 0 25 0 4 0 520506199 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=463776 CPUtime=698.59 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 110834 0 0 0 69823 36 0 0 25 0 4 0 520506199 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=463776 CPUtime=701.64 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 121131 0 0 0 70122 42 0 0 25 0 4 0 520506199 474906624 80293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.62
Current children cumulated vsize (KiB) 463776

[startup+762.301 s]
/proc/loadavg: 8.06 8.08 7.98 9/184 5787
/proc/meminfo: memFree=19329200/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=464008 CPUtime=3044.32 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 439999 0 0 0 304282 150 0 0 25 0 4 0 520506198 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 116002 76755 392 112 0 110967 0
[pid=5691/tid=5692] ppid=5689 vsize=464008 CPUtime=762.14 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 102343 0 0 0 76176 38 0 0 25 0 4 0 520506199 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=464008 CPUtime=758.28 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115079 0 0 0 75789 39 0 0 25 0 4 0 520506199 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=464008 CPUtime=761.65 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 127479 0 0 0 76120 45 0 0 25 0 4 0 520506199 475144192 76755 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.32
Current children cumulated vsize (KiB) 464008

[startup+822.301 s]
/proc/loadavg: 8.11 8.09 7.99 9/184 5789
/proc/meminfo: memFree=19292996/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=464216 CPUtime=3283.97 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 461944 0 0 0 328237 160 0 0 25 0 4 0 520506198 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 116054 83293 392 112 0 111019 0
[pid=5691/tid=5692] ppid=5689 vsize=464216 CPUtime=822.13 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 109020 0 0 0 82172 41 0 0 25 0 4 0 520506199 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=464216 CPUtime=817.95 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 119921 0 0 0 81754 41 0 0 25 0 4 0 520506199 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=464216 CPUtime=821.64 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 133862 0 0 0 82116 48 0 0 25 0 4 0 520506199 475357184 83293 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.97
Current children cumulated vsize (KiB) 464216

[startup+882.306 s]
/proc/loadavg: 8.20 8.12 8.00 9/184 5790
/proc/meminfo: memFree=19274140/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=464324 CPUtime=3523.67 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 474871 0 0 0 352200 167 0 0 25 0 4 0 520506198 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 116081 83979 392 112 0 111046 0
[pid=5691/tid=5692] ppid=5689 vsize=464324 CPUtime=882.14 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 110771 0 0 0 88172 42 0 0 25 0 4 0 520506199 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4303868 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=464324 CPUtime=877.62 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 126176 0 0 0 87718 44 0 0 25 0 4 0 520506199 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=464324 CPUtime=881.65 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 138519 0 0 0 88114 51 0 0 25 0 4 0 520506199 475467776 83979 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.67
Current children cumulated vsize (KiB) 464324

[startup+942.301 s]
/proc/loadavg: 8.15 8.11 8.00 9/184 5792
/proc/meminfo: memFree=19238536/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=543180 CPUtime=3763.32 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 489935 0 0 0 376159 173 0 0 25 0 4 0 520506198 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 135795 92723 392 112 0 130760 0
[pid=5691/tid=5692] ppid=5689 vsize=543180 CPUtime=942.14 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 114861 0 0 0 94170 44 0 0 25 0 4 0 520506199 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=543180 CPUtime=937.3 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 130187 0 0 0 93683 47 0 0 25 0 4 0 520506199 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=543180 CPUtime=941.65 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145482 0 0 0 94112 53 0 0 25 0 4 0 520506199 556216320 92723 33554432000 4194304 4650419 140735260422368 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.32
Current children cumulated vsize (KiB) 543180

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 8.00 9/184 5793
/proc/meminfo: memFree=19186684/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=543284 CPUtime=4002.99 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 502059 0 0 0 400120 179 0 0 25 0 4 0 520506198 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 135821 98496 392 112 0 130786 0
[pid=5691/tid=5692] ppid=5689 vsize=543284 CPUtime=1002.14 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115335 0 0 0 100170 44 0 0 25 0 4 0 520506199 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=543284 CPUtime=996.96 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 136065 0 0 0 99647 49 0 0 25 0 4 0 520506199 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=543284 CPUtime=1001.65 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145840 0 0 0 100112 53 0 0 25 0 4 0 520506199 556322816 98496 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.99
Current children cumulated vsize (KiB) 543284

[startup+1062.3 s]
/proc/loadavg: 8.04 8.08 8.00 9/184 5795
/proc/meminfo: memFree=19195228/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=543284 CPUtime=4242.66 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 503706 0 0 0 424086 180 0 0 25 0 4 0 520506198 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 135821 95495 392 112 0 130786 0
[pid=5691/tid=5692] ppid=5689 vsize=543284 CPUtime=1062.14 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 115346 0 0 0 106170 44 0 0 25 0 4 0 520506199 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=543284 CPUtime=1056.65 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 136395 0 0 0 105615 50 0 0 25 0 4 0 520506199 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=543284 CPUtime=1061.65 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145841 0 0 0 106112 53 0 0 25 0 4 0 520506199 556322816 95495 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.66
Current children cumulated vsize (KiB) 543284

[startup+1122.3 s]
/proc/loadavg: 8.01 8.07 8.00 9/184 5797
/proc/meminfo: memFree=19211464/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=530656 CPUtime=4482.34 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 511645 0 0 0 448048 186 0 0 25 0 4 0 520506198 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 132664 93267 392 112 0 127629 0
[pid=5691/tid=5692] ppid=5689 vsize=530656 CPUtime=1122.14 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 116434 0 0 0 112169 45 0 0 25 0 4 0 520506199 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=530656 CPUtime=1116.31 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 140649 0 0 0 111579 52 0 0 25 0 4 0 520506199 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=530656 CPUtime=1121.65 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145841 0 0 0 112112 53 0 0 25 0 4 0 520506199 543391744 93267 33554432000 4194304 4650419 140735260422368 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.34
Current children cumulated vsize (KiB) 530656

[startup+1182.3 s]
/proc/loadavg: 8.04 8.07 8.00 9/184 5798
/proc/meminfo: memFree=19177596/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=543956 CPUtime=4722.02 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 527875 0 0 0 472008 194 0 0 25 0 4 0 520506198 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 135989 99654 392 112 0 130954 0
[pid=5691/tid=5692] ppid=5689 vsize=543956 CPUtime=1182.15 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 120068 0 0 0 118167 48 0 0 25 0 4 0 520506199 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=543956 CPUtime=1176.01 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 143314 0 0 0 117547 54 0 0 25 0 4 0 520506199 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=543956 CPUtime=1181.66 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 152151 0 0 0 118110 56 0 0 25 0 4 0 520506199 557010944 99654 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.02
Current children cumulated vsize (KiB) 543956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.10 8.08 8.00 9/184 5799
/proc/meminfo: memFree=19196812/32950904 swapFree=67082284/67111528
[pid=5691] ppid=5689 vsize=557324 CPUtime=4800.33 cores=0,2,4,6
/proc/5691/stat : 5691 (strangenight1-m) R 5689 5691 5556 0 -1 4202496 532927 0 0 0 479837 196 0 0 25 0 4 0 520506198 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/5691/statm: 139331 94996 392 112 0 134296 0
[pid=5691/tid=5692] ppid=5689 vsize=557324 CPUtime=1201.75 cores=0,2,4,6
/proc/5691/task/5692/stat : 5692 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 120068 0 0 0 120127 48 0 0 25 0 4 0 520506199 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5691/tid=5693] ppid=5689 vsize=557324 CPUtime=1195.5 cores=0,2,4,6
/proc/5691/task/5693/stat : 5693 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 145533 0 0 0 119496 54 0 0 25 0 4 0 520506199 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5691/tid=5694] ppid=5689 vsize=557324 CPUtime=1201.26 cores=0,2,4,6
/proc/5691/task/5694/stat : 5694 (strangenight1-m) R 5689 5691 5556 0 -1 4202560 154984 0 0 0 120069 57 0 0 25 0 4 0 520506199 570699776 94996 33554432000 4194304 4650419 140735260422368 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 557324

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.38
CPU user time (s): 4798.4
CPU system time (s): 1.9797
CPU usage (%): 399.39
Max. virtual memory (cumulated for all children) (KiB): 624528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.4
system time used= 1.9797
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 532927
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= 686
involuntary context switches= 22188

runsolver used 2.00169 second user time and 4.43133 second system time

The end

Launcher Data

Begin job on node121 at 2011-04-29 16:57:44
IDJOB=3175114
IDBENCH=82732
IDSOLVER=1588
FILE ID=node121/3175114-1304089064
RUNJOBID= node121-1304087860-5574
PBS_JOBID= 13170562
Free space on /tmp= 72648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175114-1304089064/watcher-3175114-1304089064 -o /tmp/evaluation-result-3175114-1304089064/solver-3175114-1304089064 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175114-1304089064.cnf

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

MD5SUM BENCH= 6416f44b34786f590ff716f4b8e2cf7c
RANDOM SEED=259855741

node121.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.817
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.63
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.817
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	: 5226.07
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.817
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.817
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.77
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.817
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.817
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.817
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.817
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:     32950904 kB
MemFree:      19969032 kB
Buffers:       2182692 kB
Cached:       10240916 kB
SwapCached:       2776 kB
Active:        9134916 kB
Inactive:      3328768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      19969032 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:       38084 kB
Mapped:          14116 kB
Slab:           455544 kB
PageTables:       4660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:   275500 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= 72644 MiB
End job on node121 at 2011-04-29 17:17:48