Trace number 3368723

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.14 1202.63

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368723-1305401673.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	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.38/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.38/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.38/0.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3.57/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.57/1.00	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c Calc default polars -  time:   0.00 s pos:      45 undec:       1 neg:      34
3.57/1.00	c =========================================================================================
3.57/1.00	c types(t): F = full restart, N = normal restart
3.57/1.00	c types(t): S = simplification begin/end, E = solution found
3.57/1.00	c restart types(rt): st = static, dy = dynamic
3.57/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/1.00	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.57/1.00	c  N dy     7      4294        80      7120         0      3918     49840    105158     22.76     23.99  --
3.57/1.00	c  N dy    26     11387        80      7120         0      4251     49840     92714     23.11     24.44  --
3.57/1.00	c  N dy    34     16454        80      7120         0      8904     49840    216724     23.03     24.25  --
4.00/1.10	c  N dy    49     21129        80      7120         0      7984     49840    178434     23.11     24.61  --
5.16/1.30	c  F st    64     25001        80      7120         0     11545     49840    275778     23.24     23.53  --
5.16/1.30	c  N st    65     25251        80      7120         0     11777     49840    282098     23.24   no data  --
5.96/1.50	c  N dy    70     30001        80      7120         0      9903     49840    214368     23.24   no data  --
5.96/1.50	c  S st    70     30001        80      7120         0      9903     49840    214368     23.24   no data  --
5.96/1.51	c  S st    70     30504        80      7120         0     10367     49840    226960     23.24   no data  --
5.96/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.35/2.67	c lits-rem:      1315  cl-subs:      829  v-elim:      0  v-fix:    0  time:  4.60 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.79/3.24	c  N dy    90     34815        80      7120         0     13509     49840    310453     23.35     24.62  --
13.55/3.43	c  N dy    93     38849        80      7120         0     10013     49840    202412     23.28     24.70  --
14.75/3.78	c  N dy   103     45378        80      7120         0     15965     49840    361562     23.21     24.56  --
15.15/3.81	c  S st   106     45756        80      7120         0     16315     49840    371033     23.22   no data  --
15.15/3.85	c  S st   106     46258        80      7120         0      8600     49840    150113     23.22   no data  --
15.15/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.15/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.15/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.33/4.68	c lits-rem:       159  cl-subs:       57  v-elim:      0  v-fix:    0  time:  3.24 s
18.33/4.68	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.33/4.68	c vivif2 --  cl tried     8543 cl shrink        0 lits rem          0 time: 0.00
19.54/4.95	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.07
19.54/4.95	c calculated reachability. Time: 0.00
19.54/4.95	c  N dy   106     46258        80      7120         0      8543     49840    148161     23.22   no data  --
22.33/5.67	c  N dy   115     58669        80      7120         0     10739     49840    192442     23.05     24.26  --
23.53/5.92	c  N dy   124     62849        80      7120         0     14574     49840    294997     23.01     24.27  --
24.73/6.20	c  N dy   137     66908        80      7120         0     18310     49840    395318     23.03     25.00  --
25.13/6.39	c  S st   151     69388        80      7120         0     10517     49840    172892     23.07     23.12  --
25.53/6.43	c  S st   151     69890        80      7120         0     10994     49840    185953     23.07   no data  --
25.53/6.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.53/6.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.53/6.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.53/6.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.53/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.53/6.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.53/6.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.12/7.37	c lits-rem:       254  cl-subs:      117  v-elim:      0  v-fix:    0  time:  3.73 s
29.12/7.37	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.12/7.38	c vivif2 --  cl tried    10877 cl shrink        0 lits rem          0 time: 0.01
30.75/7.71	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.32
30.75/7.71	c calculated reachability. Time: 0.00
30.75/7.71	c  N dy   151     69890        80      7120         0     10877     49840    182167     23.07   no data  --
31.51/7.94	c  N dy   159     74350        80      7120         0     14956     49840    290816     23.05     24.40  --
33.51/8.40	c  N dy   183     80769        80      7120         0     20838     49840    449266     23.10     24.59  --
35.14/8.87	c  F st   187     87500        80      7120         0     15960     49840    300216     23.05     22.50  --
35.14/8.87	c  N st   187     87500        80      7120         0     15960     49840    300216     23.05     22.50  --
36.70/9.25	c  N dy   197     93104        80      7120         0     21107     49840    442709     23.06     25.16  --
39.13/9.85	c  N dy   213    101753        80      7120         0     17120     49840    320532     23.04     24.29  --
39.89/10.08	c  S st   224    104835        80      7120         0     19949     49840    396021     23.04     21.97  --
40.29/10.14	c  S st   224    105338        80      7120         0     20419     49840    408929     23.04   no data  --
40.29/10.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.29/10.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.29/10.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.29/10.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.29/10.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.29/10.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.29/10.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.48/11.93	c lits-rem:      2193  cl-subs:     1593  v-elim:      0  v-fix:    0  time:  7.07 s
47.48/11.93	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.48/11.94	c vivif2 --  cl tried    18826 cl shrink        0 lits rem          0 time: 0.02
49.08/12.34	c asymm  cl-useful: 0/5261/7120 lits-rem:0 time: 1.58
49.08/12.34	c calculated reachability. Time: 0.00
49.08/12.34	c  N dy   224    105338        80      7120         0     18826     49840    362808     23.04   no data  --
53.06/13.39	c  N dy   225    119567        80      7120         0     19022     49840    351736     22.78     24.10  --
55.87/14.04	c  N dy   261    127210        80      7120         0     26073     49840    542044     22.84     24.15  --
59.46/14.97	c  N dy   294    139490        80      7120         0     23629     49840    464604     22.83     24.09  --
63.45/15.91	c  N dy   317    151549        80      7120         0     20070     49840    353235     22.78     24.15  --
65.47/16.41	c  S st   330    158008        80      7120         0     25995     49840    511116     22.78     22.21  --
65.47/16.48	c  S st   330    158509        80      7120         0     26470     49840    524202     22.78   no data  --
65.47/16.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.47/16.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.47/16.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
65.47/16.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.47/16.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.47/16.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.47/16.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.02/18.88	c lits-rem:      2766  cl-subs:     2597  v-elim:      0  v-fix:    0  time:  9.48 s
75.02/18.88	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.02/18.89	c vivif2 --  cl tried    23873 cl shrink        0 lits rem          0 time: 0.02
76.22/19.10	c asymm  cl-useful: 0/1824/7120 lits-rem:0 time: 0.86
76.22/19.10	c calculated reachability. Time: 0.00
76.22/19.10	c  N dy   330    158509        80      7120         0     23873     49840    452541     22.78   no data  --
79.41/19.94	c  N dy   355    168653        80      7120         0     17727     49840    276788     22.77     26.11  --
83.03/20.86	c  N dy   380    179963        80      7120         0     28037     49840    549316     22.75     23.95  --
89.39/22.43	c  N dy   405    199089        80      7120         0     29051     49840    557259     22.63     23.96  --
94.99/23.90	c  N dy   423    214723        80      7120         0     26031     49840    468232     22.56     23.78  --
101.36/25.48	c  N dy   490    228512        80      7120         0     20406     49840    304708     22.63     23.88  --
105.00/26.37	c  S st   542    237764        80      7120         0     28922     49840    534462     22.67   no data  --
105.40/26.45	c  S st   542    238267        80      7120         0     29395     49840    547683     22.67   no data  --
105.40/26.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
105.40/26.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.40/26.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
105.40/26.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.40/26.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.40/26.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
105.40/26.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.14/29.17	c lits-rem:      1979  cl-subs:     1966  v-elim:      0  v-fix:    0  time: 10.74 s
116.14/29.17	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
116.14/29.17	c vivif2 --  cl tried    27429 cl shrink        0 lits rem          0 time: 0.02
116.94/29.35	c asymm  cl-useful: 0/2088/7120 lits-rem:0 time: 0.73
116.94/29.36	c calculated reachability. Time: 0.00
116.94/29.36	c  N dy   542    238267        80      7120         0     27429     49840    488756     22.67   no data  --
123.32/30.91	c  N dy   574    253562        80      7120         0     22299     49840    339344     22.65     23.88  --
129.71/32.56	c  N dy   627    269997        80      7120         0     37370     49840    738856     22.65     23.87  --
138.50/34.75	c  N dy   720    290901        80      7120         0     36383     49840    699413     22.69     23.92  --
145.67/36.51	c  F st   792    306250        80      7120         0     29397     49840    500398     22.73     22.83  --
146.88/36.82	c  N st   797    309546        80      7120         0     32432     49840    583802     22.73   no data  --
157.26/39.50	c  N dy   877    333063        80      7120         0     31976     49840    548377     22.73     23.96  --
167.63/42.06	c  N dy   991    353276        80      7120         0     27636     49840    421114     22.78     24.06  --
169.64/42.50	c  S st  1012    357400        80      7120         0     31437     49840    523417     22.79     22.17  --
169.64/42.58	c  S st  1012    357902        80      7120         0     31894     49840    536008     22.79   no data  --
169.64/42.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
169.64/42.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.64/42.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.04/42.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.04/42.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.04/42.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.04/42.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
180.40/45.28	c lits-rem:      1803  cl-subs:     1473  v-elim:      0  v-fix:    0  time: 10.65 s
180.40/45.28	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
180.40/45.28	c vivif2 --  cl tried    30421 cl shrink        0 lits rem          0 time: 0.02
181.61/45.51	c asymm  cl-useful: 0/1629/7120 lits-rem:0 time: 0.90
181.61/45.51	c calculated reachability. Time: 0.00
181.61/45.51	c  N dy  1012    357902        80      7120         0     30421     49840    490737     22.79   no data  --
194.78/48.84	c  N dy  1083    377947        80      7120         0     24979     49840    330605     22.80     25.46  --
206.39/51.78	c  N dy  1180    400560        80      7120         0     45712     49840    886974     22.83     24.21  --
219.15/54.92	c  N dy  1228    426380        80      7120         0     44573     49840    829474     22.77     24.09  --
232.33/58.28	c  N dy  1320    453216        80      7120         0     43577     49840    794811     22.78     23.99  --
243.08/60.94	c  N dy  1366    474320        80      7120         0     36317     49840    587422     22.77     24.23  --
255.05/63.92	c  N dy  1409    497261        80      7120         0     29823     49840    399286     22.70     24.14  --
274.22/68.78	c  N dy  1503    536853        80      7120         0     37584     49840    590090     22.68     20.24  --
274.22/68.78	c  S st  1503    536853        80      7120         0     37584     49840    590090     22.68     20.24  --
274.62/68.88	c  S st  1503    537355        80      7120         0     38066     49840    603096     22.68   no data  --
274.62/68.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.62/68.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
275.02/68.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
275.02/68.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
275.02/68.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
275.02/68.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
275.02/68.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
287.39/72.06	c lits-rem:      2325  cl-subs:     2535  v-elim:      0  v-fix:    0  time: 12.56 s
287.39/72.06	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
287.39/72.07	c vivif2 --  cl tried    35531 cl shrink        0 lits rem          0 time: 0.02
288.19/72.29	c asymm  cl-useful: 0/1344/7120 lits-rem:0 time: 0.87
288.19/72.29	c calculated reachability. Time: 0.00
288.19/72.29	c  N dy  1503    537355        80      7120         0     35531     49840    537432     22.68   no data  --
300.97/75.48	c  N dy  1596    557981        80      7120         0     54421     49840   1045783     22.70     23.90  --
316.16/79.24	c  N dy  1645    587032        80      7120         0     51764     49840    945684     22.67     23.89  --
328.93/82.50	c  N dy  1735    608019        80      7120         0     40973     49840    651664     22.69     23.91  --
342.11/85.76	c  N dy  1770    630632        80      7120         0     61609     49840   1200310     22.67     23.93  --
353.66/88.61	c  N dy  1852    650723        80      7120         0     48931     49840    850909     22.68     23.88  --
371.22/93.00	c  N dy  1946    674583        80      7120         0     38716     49840    550772     22.68     23.93  --
384.79/96.49	c  N dy  2044    695690        80      7120         0     58066     49840   1071936     22.70     23.94  --
399.20/100.08	c  N dy  2174    715695        80      7120         0     43512     49840    676360     22.74     23.94  --
416.75/104.46	c  N dy  2292    735904        80      7120         0     62111     49840   1178212     22.77     24.09  --
430.69/107.97	c  N dy  2406    756667        80      7120         0     47302     49840    763883     22.79     24.07  --
446.66/111.99	c  N dy  2527    776905        80      7120         0     65917     49840   1269038     22.82     24.05  --
459.84/115.23	c  N dy  2608    796924        80      7120         0     49335     49840    792527     22.83     26.14  --
466.23/116.83	c  S st  2640    806032        80      7120         0     57695     49840   1017451     22.83   no data  --
466.62/117.00	c  S st  2640    806535        80      7120         0     58165     49840   1030286     22.83   no data  --
467.02/117.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
467.02/117.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
467.02/117.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
467.02/117.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.02/117.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.02/117.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
467.02/117.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
504.14/126.34	c lits-rem:      3063  cl-subs:     4759  v-elim:      0  v-fix:    0  time: 37.03 s
504.14/126.34	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
504.14/126.35	c vivif2 --  cl tried    53406 cl shrink        0 lits rem          0 time: 0.04
505.33/126.69	c asymm  cl-useful: 0/922/7120 lits-rem:0 time: 1.37
505.33/126.69	c calculated reachability. Time: 0.00
505.33/126.70	c  N dy  2640    806535        80      7120         0     53406     49840    897089     22.83   no data  --
522.90/131.09	c  N dy  2737    826631        80      7120         0     36245     49840    430690     22.85     24.91  --
535.31/134.16	c  N dy  2833    846797        80      7120         0     54687     49840    931867     22.87     24.08  --
551.25/138.18	c  N dy  2874    867008        80      7120         0     36602     49840    425593     22.86     24.20  --
575.99/144.30	c  N dy  2963    905380        80      7120         0     71648     49840   1363670     22.84     24.20  --
589.17/147.65	c  N dy  3054    925418        80      7120         0     52510     49840    839645     22.86     26.14  --
605.57/151.72	c  N dy  3104    945832        80      7120         0     71215     49840   1338361     22.85     24.11  --
620.70/155.52	c  N dy  3194    965840        80      7120         0     51186     49840    784442     22.87     24.40  --
637.48/159.74	c  N dy  3276    985881        80      7120         0     69577     49840   1280466     22.88     24.62  --
655.43/164.20	c  N dy  3383   1007454        80      7120         0     50010     49840    737110     22.90     24.19  --
677.39/169.71	c  N dy  3429   1037660        80      7120         0     77511     49840   1464714     22.87     24.19  --
691.36/173.26	c  N dy  3469   1057719        80      7120         0     55533     49840    855948     22.86     25.07  --
703.34/176.29	c  F st  3534   1071877        80      7120         0     68488     49840   1205999     22.87   no data  --
708.93/177.64	c  N dy  3545   1078354        80      7120         0     74388     49840   1367870     22.87     24.12  --
723.70/181.37	c  N dy  3589   1098719        80      7120         0     51919     49840    752192     22.87     24.13  --
739.26/185.26	c  N dy  3638   1118805        80      7120         0     70246     49840   1237384     22.86     25.75  --
759.25/190.21	c  N dy  3734   1138894        80      7120         0     46587     49840    595412     22.87     24.41  --
773.99/193.99	c  N dy  3809   1158902        80      7120         0     64901     49840   1089280     22.88     24.14  --
797.15/199.71	c  N dy  3878   1179601        80      7120         0     83901     49840   1601951     22.88     24.09  --
814.72/204.10	c  N dy  3956   1199632        80      7120         0     59180     49840    916993     22.89     24.86  --
822.69/206.17	c  S st  3957   1209802        80      7120         0     68382     49840   1156108     22.88     21.20  --
823.49/206.39	c  S st  3957   1210304        80      7120         0     68861     49840   1169244     22.88   no data  --
823.89/206.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
823.89/206.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
823.89/206.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
823.89/206.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
823.89/206.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
823.89/206.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
823.89/206.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
906.51/227.18	c lits-rem:      3800  cl-subs:     5921  v-elim:      0  v-fix:    0  time: 82.64 s
906.51/227.18	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
906.91/227.20	c vivif2 --  cl tried    62940 cl shrink        0 lits rem          0 time: 0.05
908.11/227.58	c asymm  cl-useful: 0/796/7120 lits-rem:0 time: 1.53
908.11/227.58	c calculated reachability. Time: 0.00
908.11/227.58	c  N dy  3957   1210304        80      7120         0     62940     49840   1007677     22.88   no data  --
933.24/233.82	c  N dy  4076   1231066        80      7120         0     82007     49840   1527186     22.90     24.15  --
952.84/238.76	c  N dy  4162   1251214        80      7120         0     56787     49840    841300     22.91     24.18  --
973.96/244.05	c  N dy  4267   1271406        80      7120         0     75289     49840   1344457     22.92     24.27  --
998.30/250.17	c  N dy  4341   1291409        80      7120         0     48913     49840    614586     22.93     25.54  --
1017.86/255.00	c  N dy  4385   1313245        80      7120         0     68771     49840   1142039     22.92     24.15  --
1045.40/261.97	c  N dy  4512   1333265        80      7120         0     87205     49840   1645971     22.94     25.12  --
1066.98/267.35	c  N dy  4641   1353299        80      7120         0     59874     49840    895012     22.96     24.20  --
1085.31/271.96	c  N dy  4673   1376253        80      7120         0     80715     49840   1451471     22.95     24.41  --
1102.47/276.29	c  N dy  4709   1396342        80      7120         0     52478     49840    676585     22.93     24.57  --
1117.25/279.98	c  N dy  4742   1416517        80      7120         0     70868     49840   1169141     22.92     24.15  --
1140.80/285.85	c  N dy  4853   1436697        80      7120         0     89357     49840   1672082     22.94     24.16  --
1161.96/291.15	c  N dy  4914   1461667        80      7120         0     64702     49840    988759     22.93     24.20  --
1182.71/296.31	c  N dy  4950   1485886        80      7120         0     86778     49840   1578958     22.91     24.12  --
1200.67/300.89	c  N dy  5002   1506109        80      7120         0     56816     49840    764112     22.91     24.13  --
1221.03/305.94	c  N dy  5041   1530256        80      7120         0     78725     49840   1341042     22.90     24.26  --
1247.01/312.46	c  N dy  5145   1550496        80      7120         0     97308     49840   1846400     22.91     24.15  --
1265.34/317.03	c  N dy  5174   1574607        80      7120         0     70002     49840   1091713     22.89     24.14  --
1288.89/322.97	c  N dy  5267   1596843        80      7120         0     90377     49840   1643172     22.90     24.11  --
1311.25/328.56	c  N dy  5359   1616898        80      7120         0     58468     49840    773907     22.91     24.51  --
1329.22/333.03	c  N dy  5407   1638418        80      7120         0     78034     49840   1294455     22.90     24.17  --
1355.16/339.54	c  N dy  5519   1658905        80      7120         0     96804     49840   1804851     22.92     24.31  --
1374.71/344.40	c  N dy  5567   1679306        80      7120         0     64204     49840    907243     22.91     24.13  --
1395.08/349.59	c  N dy  5660   1699404        80      7120         0     82635     49840   1405537     22.92     25.21  --
1411.84/353.71	c  S st  5736   1710304        80      7120         0     92626     49840   1679516     22.93   no data  --
1413.04/354.00	c  S st  5736   1710807        80      7120         0     93100     49840   1692438     22.93   no data  --
1413.04/354.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1413.04/354.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1413.04/354.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1413.04/354.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1413.04/354.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1413.04/354.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1413.04/354.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1542.75/386.54	c lits-rem:      5580  cl-subs:     8771  v-elim:      0  v-fix:    0  time: 129.42 s
1542.75/386.54	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1542.75/386.56	c vivif2 --  cl tried    84329 cl shrink        0 lits rem          0 time: 0.07
1543.95/386.88	c asymm  cl-useful: 0/835/7120 lits-rem:0 time: 1.28
1543.95/386.88	c calculated reachability. Time: 0.00
1543.95/386.88	c  N dy  5736   1710807        80      7120         0     84329     49840   1445309     22.93   no data  --
1570.69/393.57	c  N dy  5804   1732537        80      7120         0     52488     49840    586754     22.93     24.27  --
1589.84/398.34	c  N dy  5892   1756274        80      7120         0     74310     49840   1176235     22.93     24.23  --
1614.99/404.70	c  N dy  5964   1776534        80      7120         0     92830     49840   1675224     22.93     24.17  --
1642.92/411.68	c  N dy  6037   1796746        80      7120         0     58487     49840    728888     22.94     24.15  --
1677.29/420.21	c  N dy  6117   1831179        80      7120         0     89926     49840   1571406     22.92     24.15  --
1705.60/427.31	c  N dy  6189   1851202        80      7120         0     54351     49840    601151     22.93     26.22  --
1724.75/432.20	c  N dy  6216   1877760        80      7120         0     78533     49840   1233778     22.90     24.21  --
1749.50/438.39	c  N dy  6289   1898868        80      7120         0     97796     49840   1753165     22.91     24.17  --
1775.05/444.73	c  N dy  6382   1918910        80      7120         0     61450     49840    778487     22.92     26.46  --
1794.21/449.59	c  N dy  6456   1939309        80      7120         0     80136     49840   1284933     22.92     24.18  --
1817.39/455.38	c  N dy  6485   1961450        80      7120         0    100225     49840   1817774     22.91     24.30  --
1845.29/462.38	c  N dy  6617   1981492        80      7120         0     62922     49840    801055     22.93     25.48  --
1863.66/466.91	c  N dy  6668   2001568        80      7120         0     81233     49840   1294449     22.92     25.37  --
1888.05/473.07	c  N dy  6738   2022243        80      7120         0    100209     49840   1807199     22.93     24.17  --
1917.56/480.48	c  N dy  6872   2042263        80      7120         0     61901     49840    760561     22.94     25.66  --
1937.52/485.43	c  N dy  6958   2062478        80      7120         0     80391     49840   1259780     22.95     24.19  --
1959.87/491.08	c  N dy  7002   2082485        80      7120         0     98646     49840   1744967     22.95     25.29  --
1988.21/498.10	c  N dy  7049   2104708        80      7120         0     61237     49840    720542     22.94     24.17  --
2009.37/503.46	c  N dy  7147   2127074        80      7120         0     81670     49840   1273226     22.95     24.19  --
2039.70/511.02	c  N dy  7298   2147158        80      7120         0    100126     49840   1782342     22.96     25.50  --
2070.04/518.65	c  N dy  7347   2168157        80      7120         0     60835     49840    695675     22.97     24.24  --
2090.80/523.88	c  N dy  7424   2188233        80      7120         0     79212     49840   1192857     22.97     25.25  --
2117.14/530.47	c  N dy  7546   2208355        80      7120         0     97689     49840   1699866     22.98     24.20  --
2120.76/531.37	c  S st  7559   2210807        80      7120         0     99952     49840   1761852     22.98     23.76  --
2121.92/531.66	c  S st  7559   2211313        80      7120         0    100431     49840   1775218     22.98   no data  --
2121.92/531.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2121.92/531.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2122.32/531.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2122.32/531.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2122.32/531.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2122.32/531.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2122.32/531.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2512.65/629.59	c lits-rem:      6339  cl-subs:     8008  v-elim:      0  v-fix:    0  time: 390.21 s
2512.65/629.59	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2513.05/629.61	c vivif2 --  cl tried    92423 cl shrink        0 lits rem          0 time: 0.08
2514.25/629.95	c asymm  cl-useful: 0/614/7120 lits-rem:0 time: 1.35
2514.25/629.95	c calculated reachability. Time: 0.00
2514.25/629.95	c  N dy  7559   2211313        80      7120         0     92423     49840   1540115     22.98   no data  --
2546.98/638.19	c  N dy  7573   2243766        80      7120         0     62720     49840    733699     22.95     24.35  --
2569.33/643.77	c  N dy  7700   2264876        80      7120         0     82093     49840   1264343     22.96     24.20  --
2592.89/649.62	c  N dy  7763   2284887        80      7120         0    100355     49840   1758498     22.96     25.22  --
2627.21/658.26	c  N dy  7781   2316644        80      7120         0     69208     49840    889675     22.94     24.16  --
2650.77/664.10	c  N dy  7919   2336654        80      7120         0     87495     49840   1390807     22.95     26.88  --
2679.10/671.24	c  N dy  8029   2356672        80      7120         0    105792     49840   1890523     22.96     24.24  --
2709.84/678.92	c  N dy  8098   2376965        80      7120         0     63206     49840    717410     22.97     24.31  --
2731.39/684.34	c  N dy  8172   2399279        80      7120         0     83550     49840   1266224     22.97     24.45  --
2759.74/691.40	c  N dy  8259   2421100        80      7120         0    103481     49840   1805511     22.97     24.29  --
2798.05/701.09	c  N dy  8374   2441303        80      7120         0    121958     49840   2309675     22.98     24.39  --
2830.78/709.29	c  N dy  8443   2464973        80      7120         0     81459     49840   1192488     22.98     24.21  --
2860.31/716.66	c  N dy  8529   2485674        80      7120         0    100470     49840   1711860     22.99     24.21  --
2894.63/725.26	c  N dy  8610   2507464        80      7120         0    120374     49840   2248148     22.99     24.24  --
2917.79/731.01	c  N dy  8638   2527543        80      7120         0     75658     49840   1019559     22.99     24.22  --
2940.95/736.87	c  N dy  8705   2547561        80      7120         0     93950     49840   1512407     22.99     25.80  --
2973.67/745.02	c  N dy  8819   2568426        80      7120         0    113092     49840   2035781     23.00     24.25  --
3006.81/753.34	c  N dy  8907   2588588        80      7120         0     67610     49840    790145     23.00     24.22  --
3027.56/758.58	c  N dy  8989   2608624        80      7120         0     85929     49840   1284984     23.00     24.24  --
3049.92/764.19	c  N dy  9021   2629087        80      7120         0    104486     49840   1780876     23.00     24.36  --
3085.85/773.14	c  N dy  9108   2650461        80      7120         0    123982     49840   2310577     23.00     24.38  --
3117.41/781.09	c  N dy  9238   2670951        80      7120         0     77970     49840   1061729     23.01     24.29  --
3155.29/790.53	c  N dy  9304   2705574        80      7120         0    109366     49840   1906637     23.01     24.27  --
3164.07/792.75	c  S st  9328   2711313        80      7120         0    114621     49840   2050528     23.01     23.08  --
3165.30/793.10	c  S st  9328   2711815        80      7120         0    115100     49840   2064079     23.01   no data  --
3165.70/793.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3165.70/793.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3165.70/793.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3166.06/793.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3166.06/793.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3166.06/793.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3166.06/793.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3757.54/941.43	c lits-rem:      8185  cl-subs:    10999  v-elim:      0  v-fix:    0  time: 591.29 s
3757.54/941.43	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3757.54/941.46	c vivif2 --  cl tried   104101 cl shrink        0 lits rem          0 time: 0.11
3759.53/941.95	c asymm  cl-useful: 0/526/7120 lits-rem:0 time: 1.97
3759.53/941.96	c calculated reachability. Time: 0.00
3759.53/941.96	c  N dy  9328   2711815        80      7120         0    104101     49840   1756135     23.01   no data  --
3819.84/957.02	c  N dy  9422   2740801        80      7120         0     65351     49840    705508     23.00     24.38  --
3848.14/964.18	c  N dy  9478   2763637        80      7120         0     86133     49840   1264259     23.00     24.51  --
3886.85/973.81	c  N dy  9627   2783682        80      7120         0    104542     49840   1774098     23.02     25.91  --
3933.16/985.48	c  N dy  9725   2805898        80      7120         0    124866     49840   2327639     23.02     24.32  --
3976.65/996.34	c  N dy  9824   2825912        80      7120         0     76781     49840    997846     23.03     25.82  --
4014.97/1005.98	c  N dy  9879   2848298        80      7120         0     97170     49840   1544955     23.02     24.33  --
4058.06/1016.80	c  N dy  9968   2868512        80      7120         0    115645     49840   2047986     23.03     24.29  --
4122.76/1032.98	c  N dy 10086   2896470        80      7120         0     73629     49840    886989     23.03     24.27  --
4157.05/1041.54	c  N dy 10184   2916793        80      7120         0     92172     49840   1395993     23.04     24.48  --
4189.37/1049.64	c  N dy 10199   2937017        80      7120         0    110401     49840   1876185     23.03     24.29  --
4231.28/1060.11	c  N dy 10278   2957046        80      7120         0    128657     49840   2374077     23.03     24.61  --
4268.79/1069.58	c  N dy 10341   2977069        80      7120         0     78717     49840   1015788     23.03     26.28  --
4296.32/1076.47	c  N dy 10376   2997101        80      7120         0     96922     49840   1501216     23.03     25.17  --
4339.43/1087.26	c  N dy 10427   3023199        80      7120         0    120488     49840   2121541     23.02     24.45  --
4383.75/1098.39	c  N dy 10511   3044788        80      7120         0     71100     49840    795093     23.02     24.36  --
4413.28/1105.79	c  N dy 10632   3066363        80      7120         0     90818     49840   1335567     23.03     24.29  --
4450.41/1115.09	c  N dy 10684   3093104        80      7120         0    115068     49840   1985883     23.02     24.34  --
4495.12/1126.22	c  N dy 10801   3113514        80      7120         0    133727     49840   2497451     23.03     24.28  --
4529.84/1134.90	c  N dy 10904   3133559        80      7120         0     81927     49840   1075592     23.04     26.37  --
4560.18/1142.56	c  N dy 11011   3156931        80      7120         0    103224     49840   1654180     23.04     24.29  --
4589.71/1149.98	c  N dy 11058   3178077        80      7120         0    122386     49840   2169054     23.04     24.35  --
4629.64/1159.98	c  N dy 11177   3198148        80      7120         0    140836     49840   2677723     23.05     24.38  --
4645.60/1163.99	c  S st 11200   3211816        80      7120         0     82271     49840   1065775     23.05     23.41  --
4646.79/1164.22	c  S st 11200   3212319        80      7120         0     82743     49840   1078799     23.05   no data  --
4646.79/1164.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4646.79/1164.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4646.79/1164.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4647.19/1164.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4647.19/1164.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4647.19/1164.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4647.19/1164.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4707.06/1179.36	c lits-rem:       923  cl-subs:     2474  v-elim:      0  v-fix:    0  time: 60.08 s
4707.06/1179.36	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4707.06/1179.37	c vivif2 --  cl tried    80269 cl shrink        0 lits rem          0 time: 0.05
4708.26/1179.69	c asymm  cl-useful: 0/669/7120 lits-rem:0 time: 1.26
4708.26/1179.69	c calculated reachability. Time: 0.00
4708.26/1179.69	c  N dy 11200   3212319        80      7120         0     80269     49840   1009970     23.05   no data  --
4736.60/1186.74	c  N dy 11327   3233096        80      7120         0     99308     49840   1532905     23.06     24.28  --
4766.14/1194.18	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368723-1305401673/watcher-3368723-1305401673 -o /tmp/evaluation-result-3368723-1305401673/solver-3368723-1305401673 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368723-1305401673.cnf 

running on 4 cores: 1,3,5,7

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: 7.44 7.98 7.94 6/277 31359
/proc/meminfo: memFree=25154752/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=51236 CPUtime=0.02 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 412 0 0 0 2 0 0 0 22 0 4 0 730397876 52465664 352 33554432000 4194304 4650419 140736825519680 18446744073709551615 47779281184690 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 12809 352 303 112 0 7774 0
[pid=31359/tid=31360] ppid=31357 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 730397876 52465664 352 33554432000 4194304 4650419 140736825519680 18446744073709551615 47779281184684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 730397876 52465664 352 33554432000 4194304 4650419 140736825519680 18446744073709551615 47779281184690 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730397876 52465664 352 33554432000 4194304 4650419 140736825519680 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0954311 s]
/proc/loadavg: 7.44 7.98 7.94 6/277 31359
/proc/meminfo: memFree=25154752/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=216492 CPUtime=0.36 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 1523 0 0 0 36 0 0 0 18 0 4 0 730397876 221687808 1434 33554432000 4194304 4650419 140736825519680 18446744073709551615 4370658 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 54123 1434 366 112 0 49088 0
[pid=31359/tid=31360] ppid=31357 vsize=216492 CPUtime=0.09 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 253 0 0 0 9 0 0 0 18 0 4 0 730397876 221687808 1434 33554432000 4194304 4650419 140736825519680 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=216492 CPUtime=0.09 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 239 0 0 0 9 0 0 0 18 0 4 0 730397876 221687808 1434 33554432000 4194304 4650419 140736825519680 18446744073709551615 4370451 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=216492 CPUtime=0.08 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 358 0 0 0 8 0 0 0 25 0 4 0 730397876 221687808 1434 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 216492

[startup+0.10043 s]
/proc/loadavg: 7.44 7.98 7.94 6/277 31359
/proc/meminfo: memFree=25154752/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=216492 CPUtime=0.38 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 1529 0 0 0 38 0 0 0 18 0 4 0 730397876 221687808 1440 33554432000 4194304 4650419 140736825519680 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 54123 1440 366 112 0 49088 0
[pid=31359/tid=31360] ppid=31357 vsize=216492 CPUtime=0.09 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 253 0 0 0 9 0 0 0 18 0 4 0 730397876 221687808 1440 33554432000 4194304 4650419 140736825519680 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=216492 CPUtime=0.09 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 239 0 0 0 9 0 0 0 18 0 4 0 730397876 221687808 1440 33554432000 4194304 4650419 140736825519680 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=216492 CPUtime=0.08 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 364 0 0 0 8 0 0 0 25 0 4 0 730397876 221687808 1440 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 216492

[startup+0.300395 s]
/proc/loadavg: 7.44 7.98 7.94 6/277 31359
/proc/meminfo: memFree=25154752/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=220132 CPUtime=1.17 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 3839 0 0 0 117 0 0 0 18 0 4 0 730397876 225415168 3268 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 55033 3268 390 112 0 49998 0
[pid=31359/tid=31360] ppid=31357 vsize=220132 CPUtime=0.29 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 906 0 0 0 29 0 0 0 18 0 4 0 730397876 225415168 3268 33554432000 4194304 4650419 140736825519680 18446744073709551615 4331984 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=220132 CPUtime=0.29 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 903 0 0 0 29 0 0 0 18 0 4 0 730397876 225415168 3269 33554432000 4194304 4650419 140736825519680 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=220132 CPUtime=0.28 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 746 0 0 0 28 0 0 0 25 0 4 0 730397876 225415168 3269 33554432000 4194304 4650419 140736825519680 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220132

[startup+0.700321 s]
/proc/loadavg: 7.44 7.98 7.94 6/277 31359
/proc/meminfo: memFree=25154752/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=221632 CPUtime=2.78 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 6209 0 0 0 277 1 0 0 18 0 4 0 730397876 226951168 3858 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 55408 3858 390 112 0 50373 0
[pid=31359/tid=31360] ppid=31357 vsize=221632 CPUtime=0.69 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 1536 0 0 0 69 0 0 0 18 0 4 0 730397876 226951168 3858 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=221632 CPUtime=0.69 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 1525 0 0 0 69 0 0 0 18 0 4 0 730397876 226951168 3858 33554432000 4194304 4650419 140736825519680 18446744073709551615 4360473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=221632 CPUtime=0.68 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 1195 0 0 0 68 0 0 0 25 0 4 0 730397876 226951168 3858 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 221632

[startup+1.50017 s]
/proc/loadavg: 7.44 7.98 7.94 12/281 31363
/proc/meminfo: memFree=25127812/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=222776 CPUtime=5.96 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 10075 0 0 0 595 1 0 0 19 0 4 0 730397876 228122624 4702 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 55694 4702 391 112 0 50659 0
[pid=31359/tid=31360] ppid=31357 vsize=222776 CPUtime=1.49 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 2532 0 0 0 149 0 0 0 19 0 4 0 730397876 228122624 4702 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=222776 CPUtime=1.49 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 2494 0 0 0 149 0 0 0 19 0 4 0 730397876 228122624 4702 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=222776 CPUtime=1.47 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 2143 0 0 0 147 0 0 0 25 0 4 0 730397876 228122624 4702 33554432000 4194304 4650419 140736825519680 18446744073709551615 4331130 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 222776

[startup+3.10089 s]
/proc/loadavg: 7.44 7.98 7.94 9/281 31393
/proc/meminfo: memFree=25121120/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=228868 CPUtime=12.36 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 19170 0 0 0 1233 3 0 0 24 0 4 0 730397876 234360832 11685 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 57217 11685 392 112 0 52182 0
[pid=31359/tid=31360] ppid=31357 vsize=228868 CPUtime=3.08 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 4291 0 0 0 308 0 0 0 24 0 4 0 730397876 234360832 11685 33554432000 4194304 4650419 140736825519680 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=228868 CPUtime=3.09 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 5274 0 0 0 309 0 0 0 24 0 4 0 730397876 234360832 11685 33554432000 4194304 4650419 140736825519680 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=228868 CPUtime=3.06 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 5162 0 0 0 306 0 0 0 25 0 4 0 730397876 234360832 11685 33554432000 4194304 4650419 140736825519680 18446744073709551615 4370637 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 228868

[startup+6.30029 s]
/proc/loadavg: 7.49 7.98 7.94 9/281 31393
/proc/meminfo: memFree=25067192/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=226876 CPUtime=25.13 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 27793 0 0 0 2508 5 0 0 25 0 4 0 730397876 232321024 14413 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 56719 14413 392 112 0 51684 0
[pid=31359/tid=31360] ppid=31357 vsize=226876 CPUtime=6.29 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 7238 0 0 0 628 1 0 0 25 0 4 0 730397876 232321024 14413 33554432000 4194304 4650419 140736825519680 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=226876 CPUtime=6.29 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 7074 0 0 0 628 1 0 0 25 0 4 0 730397876 232321024 14413 33554432000 4194304 4650419 140736825519680 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=226876 CPUtime=6.24 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 7138 0 0 0 623 1 0 0 25 0 4 0 730397876 232321024 14413 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 226876

[startup+12.7011 s]
/proc/loadavg: 7.53 7.98 7.94 9/281 31393
/proc/meminfo: memFree=25017132/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=239820 CPUtime=50.68 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 41594 0 0 0 5060 8 0 0 25 0 4 0 730397876 245575680 20750 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 59955 20750 392 112 0 54920 0
[pid=31359/tid=31360] ppid=31357 vsize=239820 CPUtime=12.69 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 10180 0 0 0 1267 2 0 0 25 0 4 0 730397876 245575680 20750 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=239820 CPUtime=12.68 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 10810 0 0 0 1267 1 0 0 25 0 4 0 730397876 245575680 20750 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=239820 CPUtime=12.59 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 10824 0 0 0 1257 2 0 0 25 0 4 0 730397876 245575680 20750 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 239820

[startup+25.5008 s]
/proc/loadavg: 7.63 7.98 7.94 9/281 31394
/proc/meminfo: memFree=24975836/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=286116 CPUtime=101.76 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 62400 0 0 0 10162 14 0 0 25 0 4 0 730397876 292982784 26717 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 71529 26717 392 112 0 66494 0
[pid=31359/tid=31360] ppid=31357 vsize=286116 CPUtime=25.49 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 14660 0 0 0 2545 4 0 0 25 0 4 0 730397876 292982784 26717 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=286116 CPUtime=25.49 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 16180 0 0 0 2546 3 0 0 25 0 4 0 730397876 292982784 26717 33554432000 4194304 4650419 140736825519680 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=286116 CPUtime=25.27 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 17026 0 0 0 2524 3 0 0 25 0 4 0 730397876 292982784 26717 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 286116

[startup+51.101 s]
/proc/loadavg: 7.82 7.99 7.94 9/281 31394
/proc/meminfo: memFree=24935232/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=249388 CPUtime=203.96 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 90465 0 0 0 20371 25 0 0 25 0 4 0 730397876 255373312 29553 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 62347 29553 392 112 0 57312 0
[pid=31359/tid=31360] ppid=31357 vsize=249388 CPUtime=51.09 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 22708 0 0 0 5103 6 0 0 25 0 4 0 730397876 255373312 29553 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=249388 CPUtime=51.08 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 23631 0 0 0 5103 5 0 0 25 0 4 0 730397876 255373312 29553 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=249388 CPUtime=50.67 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 24216 0 0 0 5060 7 0 0 25 0 4 0 730397876 255373312 29553 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 249388

[startup+102.311 s]
/proc/loadavg: 8.09 8.04 7.96 9/281 31396
/proc/meminfo: memFree=24856480/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=348908 CPUtime=408.38 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 129836 0 0 0 40800 38 0 0 25 0 4 0 730397876 357281792 45164 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 87227 45164 392 112 0 82192 0
[pid=31359/tid=31360] ppid=31357 vsize=348908 CPUtime=102.3 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 31690 0 0 0 10221 9 0 0 25 0 4 0 730397876 357281792 45164 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=348908 CPUtime=102.3 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 31372 0 0 0 10221 9 0 0 25 0 4 0 730397876 357281792 45164 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=348908 CPUtime=101.45 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 36722 0 0 0 10134 11 0 0 25 0 4 0 730397876 357281792 45164 33554432000 4194304 4650419 140736825519680 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.38
Current children cumulated vsize (KiB) 348908

[startup+162.301 s]

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

[pid=31359] ppid=31357 vsize=408640 CPUtime=2563.78 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 409958 0 0 0 256217 161 0 0 25 0 4 0 730397876 418447360 72929 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 102160 72929 392 112 0 97125 0
[pid=31359/tid=31360] ppid=31357 vsize=408640 CPUtime=642.32 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 87264 0 0 0 64195 37 0 0 25 0 4 0 730397876 418447360 72929 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=408640 CPUtime=642.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 101596 0 0 0 64191 40 0 0 25 0 4 0 730397876 418447360 72929 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=408640 CPUtime=636.8 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 107309 0 0 0 63638 42 0 0 25 0 4 0 730397876 418447360 72929 33554432000 4194304 4650419 140736825519680 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2563.78
Current children cumulated vsize (KiB) 408640

[startup+702.301 s]
/proc/loadavg: 8.11 8.12 8.02 10/281 31445
/proc/meminfo: memFree=24437476/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=408900 CPUtime=2803.24 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 437564 0 0 0 280150 174 0 0 25 0 4 0 730397876 418713600 74865 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 102225 74865 392 112 0 97190 0
[pid=31359/tid=31360] ppid=31357 vsize=408900 CPUtime=702.31 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 94478 0 0 0 70192 39 0 0 25 0 4 0 730397876 418713600 74865 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=408900 CPUtime=702.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 109451 0 0 0 70187 44 0 0 25 0 4 0 730397876 418713600 74865 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=408900 CPUtime=696.29 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 113156 0 0 0 69584 45 0 0 25 0 4 0 730397876 418713600 74865 33554432000 4194304 4650419 140736825519680 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2803.24
Current children cumulated vsize (KiB) 408900

[startup+762.31 s]
/proc/loadavg: 8.14 8.13 8.03 10/281 31446
/proc/meminfo: memFree=24443052/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=433620 CPUtime=3042.76 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 460481 0 0 0 304092 184 0 0 25 0 4 0 730397876 444026880 74696 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 108405 74696 392 112 0 103370 0
[pid=31359/tid=31360] ppid=31357 vsize=433620 CPUtime=762.32 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 100405 0 0 0 76191 41 0 0 25 0 4 0 730397876 444026880 74697 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=433620 CPUtime=762.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 115932 0 0 0 76184 47 0 0 25 0 4 0 730397876 444026880 74697 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=433620 CPUtime=755.78 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 116403 0 0 0 75532 46 0 0 25 0 4 0 730397876 444026880 74697 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.76
Current children cumulated vsize (KiB) 433620

[startup+822.301 s]
/proc/loadavg: 8.09 8.11 8.03 9/281 31448
/proc/meminfo: memFree=24411172/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=433948 CPUtime=3282.21 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 482149 0 0 0 328025 196 0 0 25 0 4 0 730397876 444362752 78253 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 108487 78253 392 112 0 103452 0
[pid=31359/tid=31360] ppid=31357 vsize=433948 CPUtime=822.31 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 106808 0 0 0 82186 45 0 0 25 0 4 0 730397876 444362752 78253 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=433948 CPUtime=822.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 121395 0 0 0 82180 51 0 0 25 0 4 0 730397876 444362752 78253 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=433948 CPUtime=815.25 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 122382 0 0 0 81476 49 0 0 25 0 4 0 730397876 444362752 78253 33554432000 4194304 4650419 140736825519680 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3282.21
Current children cumulated vsize (KiB) 433948

[startup+882.301 s]
/proc/loadavg: 8.07 8.11 8.03 9/281 31449
/proc/meminfo: memFree=24425788/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=434216 CPUtime=3521.67 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 498838 0 0 0 351962 205 0 0 25 0 4 0 730397876 444637184 79608 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 108554 79608 392 112 0 103519 0
[pid=31359/tid=31360] ppid=31357 vsize=434216 CPUtime=882.31 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 111485 0 0 0 88183 48 0 0 25 0 4 0 730397876 444637184 79608 33554432000 4194304 4650419 140736825519680 18446744073709551615 4339794 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=434216 CPUtime=882.3 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 127506 0 0 0 88177 53 0 0 25 0 4 0 730397876 444637184 79608 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=434216 CPUtime=874.7 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 128190 0 0 0 87418 52 0 0 25 0 4 0 730397876 444637184 79608 33554432000 4194304 4650419 140736825519680 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.67
Current children cumulated vsize (KiB) 434216

[startup+942.301 s]
/proc/loadavg: 8.06 8.10 8.03 10/281 31451
/proc/meminfo: memFree=24390052/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=499964 CPUtime=3761.13 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 513779 0 0 0 375903 210 0 0 25 0 4 0 730397876 511963136 85078 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 124991 85078 392 112 0 119956 0
[pid=31359/tid=31360] ppid=31357 vsize=499964 CPUtime=942.31 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 114233 0 0 0 94182 49 0 0 25 0 4 0 730397876 511963136 85078 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=499964 CPUtime=942.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 131639 0 0 0 94176 55 0 0 25 0 4 0 730397876 511963136 85078 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=499964 CPUtime=934.16 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 136236 0 0 0 93362 54 0 0 25 0 4 0 730397876 511963136 85078 33554432000 4194304 4650419 140736825519680 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3761.13
Current children cumulated vsize (KiB) 499964

[startup+1002.3 s]
/proc/loadavg: 8.06 8.09 8.03 10/281 31453
/proc/meminfo: memFree=24376256/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=500068 CPUtime=4000.6 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 527253 0 0 0 399843 217 0 0 25 0 4 0 730397876 512069632 85782 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 125017 85782 392 112 0 119982 0
[pid=31359/tid=31360] ppid=31357 vsize=500068 CPUtime=1002.31 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 114233 0 0 0 100182 49 0 0 25 0 4 0 730397876 512069632 85782 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=500068 CPUtime=1002.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 140143 0 0 0 100173 58 0 0 25 0 4 0 730397876 512069632 85782 33554432000 4194304 4650419 140736825519680 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=500068 CPUtime=993.61 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 137496 0 0 0 99307 54 0 0 25 0 4 0 730397876 512069632 85782 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000.6
Current children cumulated vsize (KiB) 500068

[startup+1062.3 s]
/proc/loadavg: 8.02 8.07 8.02 9/281 31454
/proc/meminfo: memFree=24351192/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=500068 CPUtime=4240.05 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 533231 0 0 0 423785 220 0 0 25 0 4 0 730397876 512069632 89409 33554432000 4194304 4650419 140736825519680 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 125017 89409 392 112 0 119982 0
[pid=31359/tid=31360] ppid=31357 vsize=500068 CPUtime=1062.32 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 114233 0 0 0 106183 49 0 0 25 0 4 0 730397876 512069632 89409 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=500068 CPUtime=1062.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 142120 0 0 0 106172 59 0 0 25 0 4 0 730397876 512069632 89409 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=500068 CPUtime=1053.07 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 138341 0 0 0 105253 54 0 0 25 0 4 0 730397876 512069632 89409 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4240.05
Current children cumulated vsize (KiB) 500068

[startup+1122.3 s]
/proc/loadavg: 8.20 8.11 8.03 10/281 31456
/proc/meminfo: memFree=24321036/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=493404 CPUtime=4479.55 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 544510 0 0 0 447728 227 0 0 25 0 4 0 730397876 505245696 83830 33554432000 4194304 4650419 140736825519680 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 123351 83830 392 112 0 118316 0
[pid=31359/tid=31360] ppid=31357 vsize=493404 CPUtime=1122.32 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 116529 0 0 0 112181 51 0 0 25 0 4 0 730397876 505245696 83830 33554432000 4194304 4650419 140736825519680 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=493404 CPUtime=1122.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 147759 0 0 0 112169 62 0 0 25 0 4 0 730397876 505245696 83830 33554432000 4194304 4650419 140736825519680 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=493404 CPUtime=1112.56 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 138521 0 0 0 111202 54 0 0 25 0 4 0 730397876 505245696 83830 33554432000 4194304 4650419 140736825519680 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4479.55
Current children cumulated vsize (KiB) 493404

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.03 10/281 31457
/proc/meminfo: memFree=24297208/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=493544 CPUtime=4719.04 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 560987 0 0 0 471669 235 0 0 25 0 4 0 730397876 505389056 93486 33554432000 4194304 4650419 140736825519680 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 123386 93486 392 112 0 118351 0
[pid=31359/tid=31360] ppid=31357 vsize=493544 CPUtime=1182.33 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 122493 0 0 0 118178 55 0 0 25 0 4 0 730397876 505389056 93486 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=493544 CPUtime=1182.31 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 152456 0 0 0 118167 64 0 0 25 0 4 0 730397876 505389056 93486 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=493544 CPUtime=1172.04 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 139627 0 0 0 117149 55 0 0 25 0 4 0 730397876 505389056 93486 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4719.04
Current children cumulated vsize (KiB) 493544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 8.09 8.09 8.03 9/281 31458
/proc/meminfo: memFree=24303392/32951124 swapFree=67083432/67111528
[pid=31359] ppid=31357 vsize=505464 CPUtime=4800.1 cores=1,3,5,7
/proc/31359/stat : 31359 (strangenight1-m) R 31357 31359 31021 0 -1 4202496 566886 0 0 0 479770 240 0 0 25 0 4 0 730397876 517595136 92729 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31359/statm: 126366 92729 392 112 0 121331 0
[pid=31359/tid=31360] ppid=31357 vsize=505464 CPUtime=1202.63 cores=1,3,5,7
/proc/31359/task/31360/stat : 31360 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 124450 0 0 0 120207 56 0 0 25 0 4 0 730397876 517595136 92729 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31359/tid=31361] ppid=31357 vsize=505464 CPUtime=1202.63 cores=1,3,5,7
/proc/31359/task/31361/stat : 31361 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 154951 0 0 0 120197 66 0 0 25 0 4 0 730397876 517595136 92729 33554432000 4194304 4650419 140736825519680 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31359/tid=31362] ppid=31357 vsize=505464 CPUtime=1192.17 cores=1,3,5,7
/proc/31359/task/31362/stat : 31362 (strangenight1-m) R 31357 31359 31021 0 -1 4202560 139627 0 0 0 119162 55 0 0 25 0 4 0 730397876 517595136 92729 33554432000 4194304 4650419 140736825519680 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 505464

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): 1202.63
CPU time (s): 4800.14
CPU user time (s): 4797.73
CPU system time (s): 2.41663
CPU usage (%): 399.136
Max. virtual memory (cumulated for all children) (KiB): 566420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.73
system time used= 2.41663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566886
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= 826
involuntary context switches= 29959

runsolver used 2.96455 second user time and 7.51386 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-14 21:34:33
IDJOB=3368723
IDBENCH=82732
IDSOLVER=1846
FILE ID=node110/3368723-1305401673
RUNJOBID= node110-1305401673-31337
PBS_JOBID= 13324476
Free space on /tmp= 73588 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3368723-1305401673/watcher-3368723-1305401673 -o /tmp/evaluation-result-3368723-1305401673/solver-3368723-1305401673 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368723-1305401673.cnf

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

MD5SUM BENCH= 6416f44b34786f590ff716f4b8e2cf7c
RANDOM SEED=47776377

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25154908 kB
Buffers:        276628 kB
Cached:        4040556 kB
SwapCached:       1440 kB
Active:        4282824 kB
Inactive:      3183904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25154908 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:           12436 kB
Writeback:           0 kB
AnonPages:     3147928 kB
Mapped:          23148 kB
Slab:           246056 kB
PageTables:      20840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46190016 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= 73580 MiB
End job on node110 at 2011-05-14 21:54:38