Trace number 3368699

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.39 1203.65

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf
MD5SUM68db236c1470208d12f1f4e80de80849
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 variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

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-3368699-1305400970.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.00/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.54
0.00/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.00/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.00/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
3.97/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.97/1.00	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.97/1.00	c calculated reachability. Time: 0.00
3.97/1.00	c Calc default polars -  time:   0.00 s pos:      36 undec:       0 neg:      34
3.97/1.00	c =========================================================================================
3.97/1.00	c types(t): F = full restart, N = normal restart
3.97/1.00	c types(t): S = simplification begin/end, E = solution found
3.97/1.00	c restart types(rt): st = static, dy = dynamic
3.97/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.97/1.00	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
3.97/1.00	c  N dy     8      4030        70      6230         0      3626     43610     86980     19.88     21.10  --
3.97/1.00	c  N dy    20      8081        70      6230         0      5036     43610    112505     20.31     21.50  --
3.97/1.00	c  N dy    30     12487        70      6230         0      5184     43610    106871     20.32     21.41  --
3.97/1.00	c  N dy    44     16500        70      6230         0      8833     43610    194419     20.50     21.63  --
3.97/1.00	c  N dy    58     20524        70      6230         0      7381     43610    147632     20.56     21.69  --
4.37/1.13	c  N dy    68     24891        70      6230         0     11302     43610    240424     20.49     21.59  --
4.37/1.14	c  F st    70     25000        70      6230         0     11402     43610    242904     20.50   no data  --
5.20/1.37	c  N dy    76     30000        70      6230         0      9793     43610    194934     20.50   no data  --
5.20/1.37	c  S st    76     30000        70      6230         0      9793     43610    194934     20.50   no data  --
5.56/1.40	c  S st    76     30506        70      6230         0     10267     43610    206585     20.50   no data  --
5.56/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.56/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.56/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.56/1.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.59/2.43	c lits-rem:      1509  cl-subs:      865  v-elim:      0  v-fix:    0  time:  4.06 s
10.74/2.74	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.20
10.74/2.74	c calculated reachability. Time: 0.00
10.74/2.74	c  N dy    76     30506        70      6230         0      9402     43610    183777     20.50   no data  --
11.54/2.95	c  N dy    97     34513        70      6230         0     13034     43610    272467     20.62     21.73  --
13.98/3.56	c  N dy   110     45761        70      6230         0     16010     43610    324668     20.28     18.59  --
13.98/3.56	c  S st   110     45761        70      6230         0     16010     43610    324668     20.28     18.59  --
14.33/3.60	c  S st   110     46264        70      6230         0      8421     43610    138133     20.28   no data  --
14.33/3.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.33/3.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.33/3.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.33/3.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.33/3.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.33/3.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
14.33/3.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.13/4.38	c lits-rem:       180  cl-subs:       52  v-elim:      0  v-fix:    0  time:  3.07 s
17.13/4.38	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.13/4.38	c vivif2 --  cl tried     8369 cl shrink        0 lits rem          0 time: 0.00
18.37/4.63	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.00
18.37/4.63	c calculated reachability. Time: 0.00
18.37/4.63	c  N dy   110     46264        70      6230         0      8369     43610    136485     20.28   no data  --
19.11/4.85	c  N dy   113     50978        70      6230         0     12563     43610    233247     20.18     21.29  --
20.32/5.14	c  N dy   144     55061        70      6230         0     16308     43610    324180     20.30     21.96  --
21.52/5.42	c  N dy   166     59225        70      6230         0     11077     43610    189372     20.39     21.57  --
22.34/5.66	c  N dy   188     63308        70      6230         0     14766     43610    278384     20.46     21.87  --
23.91/6.04	c  N dy   194     69398        70      6230         0     10358     43610    159584     20.38     20.62  --
23.91/6.04	c  S st   194     69398        70      6230         0     10358     43610    159584     20.38     20.62  --
23.91/6.08	c  S st   194     69903        70      6230         0     10824     43610    170996     20.38   no data  --
23.91/6.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.91/6.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.91/6.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.91/6.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.91/6.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.91/6.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.91/6.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.49/6.95	c lits-rem:       251  cl-subs:      163  v-elim:      0  v-fix:    0  time:  3.42 s
27.49/6.95	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.49/6.95	c vivif2 --  cl tried    10661 cl shrink        0 lits rem          0 time: 0.01
28.69/7.25	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.20
28.69/7.25	c calculated reachability. Time: 0.00
28.69/7.25	c  N dy   194     69903        70      6230         0     10661     43610    166687     20.38   no data  --
29.90/7.52	c  N dy   214     74419        70      6230         0     14773     43610    265456     20.41     21.51  --
32.28/8.11	c  N dy   233     83345        70      6230         0     11987     43610    186984     20.39     21.53  --
33.08/8.39	c  F st   246     87502        70      6230         0     15758     43610    275267     20.37     17.78  --
33.48/8.47	c  N st   249     88691        70      6230         0     16843     43610    301498     20.37   no data  --
35.08/8.91	c  N dy   257     94639        70      6230         0     22225     43610    432951     20.38     21.46  --
37.06/9.33	c  N dy   273    100873        70      6230         0     16113     43610    271871     20.37     21.51  --
37.87/9.56	c  S st   275    104856        70      6230         0     19648     43610    354455     20.33     18.63  --
38.27/9.62	c  S st   275    105357        70      6230         0     20113     43610    365781     20.33   no data  --
38.27/9.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.27/9.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.27/9.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.27/9.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.27/9.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.27/9.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.27/9.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.69/11.23	c lits-rem:      1877  cl-subs:     2058  v-elim:      0  v-fix:    0  time:  6.36 s
44.69/11.23	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.69/11.24	c vivif2 --  cl tried    18055 cl shrink        0 lits rem          0 time: 0.01
46.24/11.61	c asymm  cl-useful: 0/4795/6230 lits-rem:0 time: 1.50
46.24/11.61	c calculated reachability. Time: 0.00
46.24/11.61	c  N dy   275    105357        70      6230         0     18055     43610    315725     20.33   no data  --
48.25/12.21	c  N dy   324    112111        70      6230         0     24222     43610    466639     20.43     22.12  --
50.63/12.79	c  N dy   335    120293        70      6230         0     19011     43610    327955     20.39     21.69  --
53.47/13.47	c  N dy   378    128360        70      6230         0     26344     43610    504898     20.44     21.58  --
56.62/14.23	c  N dy   400    138743        70      6230         0     22188     43610    394892     20.42     21.58  --
59.80/15.07	c  N dy   448    147800        70      6230         0     15986     43610    232000     20.48     21.58  --
63.00/15.84	c  N dy   481    158037        70      6230         0     25240     43610    453700     20.48     19.51  --
63.00/15.84	c  S st   481    158037        70      6230         0     25240     43610    453700     20.48     19.51  --
63.40/15.91	c  S st   481    158539        70      6230         0     25706     43610    465446     20.48   no data  --
63.40/15.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.40/15.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.40/15.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.40/15.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.40/15.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.40/15.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.40/15.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.77/18.02	c lits-rem:      2066  cl-subs:     2501  v-elim:      0  v-fix:    0  time:  8.33 s
71.77/18.02	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
71.77/18.03	c vivif2 --  cl tried    23205 cl shrink        0 lits rem          0 time: 0.02
72.57/18.20	c asymm  cl-useful: 0/1435/6230 lits-rem:0 time: 0.70
72.57/18.20	c calculated reachability. Time: 0.00
72.57/18.20	c  N dy   481    158539        70      6230         0     23205     43610    402750     20.48   no data  --
76.55/19.20	c  N dy   540    168749        70      6230         0     17212     43610    249764     20.55     22.56  --
80.14/20.14	c  N dy   584    179521        70      6230         0     26938     43610    484030     20.58     23.34  --
84.18/21.16	c  N dy   621    190987        70      6230         0     21092     43610    329625     20.59     23.78  --
89.71/22.51	c  N dy   632    205337        70      6230         0     34049     43610    634275     20.50     21.62  --
94.51/23.73	c  N dy   674    218582        70      6230         0     28821     43610    502575     20.48     21.78  --
101.30/25.49	c  N dy   720    237808        70      6230         0     28139     43610    470275     20.44     18.24  --
101.30/25.49	c  S st   720    237808        70      6230         0     28139     43610    470275     20.44     18.24  --
101.73/25.56	c  S st   720    238314        70      6230         0     28610     43610    481897     20.44   no data  --
101.73/25.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
101.73/25.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
101.73/25.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
101.73/25.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.73/25.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
101.73/25.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
101.73/25.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
110.85/27.84	c lits-rem:      1772  cl-subs:     2558  v-elim:      0  v-fix:    0  time:  8.99 s
110.85/27.84	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
110.85/27.85	c vivif2 --  cl tried    26052 cl shrink        0 lits rem          0 time: 0.02
112.45/28.26	c asymm  cl-useful: 0/3656/6230 lits-rem:0 time: 1.64
112.45/28.26	c calculated reachability. Time: 0.00
112.45/28.26	c  N dy   720    238314        70      6230         0     26052     43610    421658     20.44   no data  --
123.24/30.92	c  N dy   740    269138        70      6230         0     34712     43610    596044     20.21     21.36  --
130.40/32.72	c  N dy   827    286352        70      6230         0     30665     43610    513653     20.27     21.49  --
139.18/34.95	c  F st   887    306251        70      6230         0     27860     43610    421296     20.26     18.12  --
139.18/34.95	c  N st   887    306251        70      6230         0     27860     43610    421296     20.26     18.12  --
148.75/37.36	c  N dy   985    325814        70      6230         0     23989     43610    324383     20.31     21.39  --
157.93/39.69	c  N dy  1074    345829        70      6230         0     42133     43610    762300     20.34     21.67  --
163.50/41.02	c  S st  1108    357473        70      6230         0     30089     43610    455407     20.33     17.85  --
163.50/41.09	c  S st  1108    357976        70      6230         0     30549     43610    466837     20.33   no data  --
163.50/41.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
163.50/41.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.90/41.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
163.90/41.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.90/41.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.90/41.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
163.90/41.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
172.28/43.26	c lits-rem:      1316  cl-subs:     1898  v-elim:      0  v-fix:    0  time:  8.56 s
172.28/43.27	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
172.28/43.27	c vivif2 --  cl tried    28651 cl shrink        0 lits rem          0 time: 0.02
173.87/43.62	c asymm  cl-useful: 0/2574/6230 lits-rem:0 time: 1.41
173.87/43.62	c calculated reachability. Time: 0.00
173.87/43.62	c  N dy  1108    357976        70      6230         0     28651     43610    422045     20.33   no data  --
188.23/47.24	c  N dy  1182    383721        70      6230         0     28408     43610    399930     20.33     21.47  --
199.80/50.10	c  N dy  1274    403831        70      6230         0     46596     43610    840818     20.37     21.60  --
209.37/52.54	c  N dy  1354    423878        70      6230         0     40443     43610    678077     20.38     21.58  --
220.93/55.40	c  N dy  1453    443912        70      6230         0     33264     43610    494310     20.41     21.59  --
232.50/58.34	c  N dy  1544    464189        70      6230         0     51680     43610    940321     20.44     21.62  --
242.47/60.83	c  N dy  1605    484674        70      6230         0     43911     43610    735388     20.45     21.75  --
256.03/64.22	c  N dy  1680    509672        70      6230         0     39342     43610    609231     20.45     21.58  --
268.79/67.40	c  N dy  1759    530097        70      6230         0     29831     43610    370792     20.46     21.59  --
271.59/68.16	c  S st  1770    536964        70      6230         0     36049     43610    518829     20.45     20.89  --
271.99/68.25	c  S st  1770    537468        70      6230         0     36514     43610    530614     20.45   no data  --
271.99/68.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
271.99/68.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.99/68.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
271.99/68.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
271.99/68.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.99/68.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
271.99/68.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
281.18/70.58	c lits-rem:       705  cl-subs:     2091  v-elim:      0  v-fix:    0  time:  9.13 s
281.18/70.58	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
281.18/70.58	c vivif2 --  cl tried    34423 cl shrink        0 lits rem          0 time: 0.02
281.95/70.78	c asymm  cl-useful: 0/1584/6230 lits-rem:0 time: 0.80
281.95/70.78	c calculated reachability. Time: 0.00
281.95/70.78	c  N dy  1770    537468        70      6230         0     34423     43610    481716     20.45   no data  --
297.91/74.78	c  N dy  1802    567653        70      6230         0     32794     43610    428321     20.38     21.49  --
315.86/79.29	c  N dy  1910    598292        70      6230         0     30748     43610    368352     20.39     21.48  --
327.03/82.04	c  N dy  1997    618369        70      6230         0     48911     43610    808269     20.40     21.58  --
340.18/85.37	c  N dy  2080    638391        70      6230         0     36334     43610    488857     20.42     21.93  --
354.55/88.98	c  N dy  2134    661455        70      6230         0     56991     43610    973482     20.39     21.59  --
386.48/96.93	c  N dy  2178    716462        70      6230         0     42280     43610    591856     20.21     21.30  --
401.21/100.67	c  N dy  2267    736500        70      6230         0     60370     43610   1025765     20.23     23.44  --
417.95/104.80	c  N dy  2416    757438        70      6230         0     46236     43610    697163     20.27     21.35  --
434.73/109.03	c  N dy  2514    779502        70      6230         0     66165     43610   1178070     20.29     21.41  --
447.48/112.26	c  N dy  2600    800170        70      6230         0     50602     43610    786347     20.30     21.41  --
452.28/113.48	c  S st  2635    806203        70      6230         0     56056     43610    918086     20.31     20.82  --
453.05/113.64	c  S st  2635    806704        70      6230         0     56510     43610    929450     20.31   no data  --
453.05/113.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
453.05/113.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
453.05/113.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
453.46/113.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
453.46/113.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
453.46/113.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
453.46/113.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
490.15/122.99	c lits-rem:      2650  cl-subs:     4576  v-elim:      0  v-fix:    0  time: 37.06 s
490.15/122.99	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
490.55/123.00	c vivif2 --  cl tried    51934 cl shrink        0 lits rem          0 time: 0.04
491.76/123.32	c asymm  cl-useful: 0/965/6230 lits-rem:0 time: 1.25
491.76/123.32	c calculated reachability. Time: 0.00
491.76/123.32	c  N dy  2635    806704        70      6230         0     51934     43610    812359     20.31   no data  --
510.08/127.93	c  N dy  2743    826803        70      6230         0     35074     43610    395825     20.33     24.32  --
522.48/131.04	c  N dy  2837    846927        70      6230         0     53242     43610    835735     20.35     21.43  --
540.79/135.64	c  N dy  2965    866930        70      6230         0     71402     43610   1281267     20.38     22.00  --
553.96/138.94	c  N dy  3017    888767        70      6230         0     54956     43610    852812     20.37     21.45  --
575.90/144.47	c  N dy  3101    916030        70      6230         0     42598     43610    546847     20.37     21.59  --
593.84/148.97	c  N dy  3161    942550        70      6230         0     66464     43610   1115627     20.35     21.47  --
610.22/153.03	c  N dy  3263    962562        70      6230         0     46731     43610    642800     20.37     22.75  --
625.35/156.80	c  N dy  3355    982582        70      6230         0     64812     43610   1079501     20.38     21.77  --
645.31/161.81	c  N dy  3469   1004939        70      6230         0     46189     43610    613303     20.40     21.53  --
687.97/172.58	c  N dy  3571   1068359        70      6230         0     63143     43610    978136     20.30     21.38  --
690.76/173.20	c  F st  3572   1071876        70      6230         0     66320     43610   1052709     20.30     18.11  --
707.90/177.52	c  N dy  3670   1088436        70      6230         0     40977     43610    462359     20.32     23.58  --
722.27/181.17	c  N dy  3793   1108505        70      6230         0     59175     43610    907409     20.34     22.11  --
743.41/186.43	c  N dy  3944   1128566        70      6230         0     77301     43610   1354739     20.37     23.87  --
758.17/190.17	c  N dy  3987   1148858        70      6230         0     54145     43610    760854     20.36     21.45  --
776.93/194.85	c  N dy  4095   1169013        70      6230         0     72391     43610   1205217     20.38     21.53  --
808.42/202.77	c  N dy  4161   1202875        70      6230         0     60219     43610    881934     20.35     21.45  --
816.00/204.64	c  S st  4199   1210056        70      6230         0     66674     43610   1038787     20.36   no data  --
816.84/204.87	c  S st  4199   1210561        70      6230         0     67130     43610   1050238     20.36   no data  --
816.84/204.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
816.84/204.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
817.19/204.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
817.19/204.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
817.19/204.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
817.19/204.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
817.19/204.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
906.52/227.35	c lits-rem:      3564  cl-subs:     7065  v-elim:      0  v-fix:    0  time: 89.35 s
906.52/227.35	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
906.52/227.37	c vivif2 --  cl tried    60065 cl shrink        0 lits rem          0 time: 0.05
908.11/227.74	c asymm  cl-useful: 0/786/6230 lits-rem:0 time: 1.49
908.11/227.74	c calculated reachability. Time: 0.00
908.11/227.74	c  N dy  4199   1210561        70      6230         0     60065     43610    889723     20.36   no data  --
930.47/233.39	c  N dy  4295   1230648        70      6230         0     78242     43610   1330823     20.37     23.36  --
948.78/237.94	c  N dy  4397   1251356        70      6230         0     54165     43610    747732     20.37     21.62  --
969.53/243.13	c  N dy  4519   1271432        70      6230         0     72341     43610   1191987     20.39     23.53  --
995.06/249.55	c  N dy  4596   1292153        70      6230         0     47035     43610    552965     20.39     21.47  --
1013.01/254.06	c  N dy  4678   1312169        70      6230         0     65093     43610    989885     20.40     21.77  --
1040.57/260.93	c  N dy  4810   1332931        70      6230         0     83847     43610   1448945     20.41     21.52  --
1062.09/266.33	c  N dy  4889   1353129        70      6230         0     57057     43610    781610     20.42     21.52  --
1077.62/270.24	c  N dy  4918   1373227        70      6230         0     75091     43610   1207726     20.41     23.28  --
1103.13/276.67	c  N dy  5048   1393275        70      6230         0     47319     43610    535127     20.43     22.20  --
1120.69/281.08	c  N dy  5130   1416451        70      6230         0     68239     43610   1036010     20.43     21.67  --
1143.42/286.73	c  N dy  5243   1436466        70      6230         0     86325     43610   1480212     20.44     23.63  --
1166.16/292.42	c  N dy  5351   1458769        70      6230         0     59539     43610    817047     20.46     21.68  --
1182.50/296.59	c  N dy  5378   1479544        70      6230         0     78134     43610   1256947     20.45     21.61  --
1209.62/303.36	c  N dy  5489   1500116        70      6230         0     48960     43610    548416     20.46     21.54  --
1226.77/307.64	c  N dy  5596   1520199        70      6230         0     67104     43610    992238     20.47     21.63  --
1249.11/313.24	c  N dy  5668   1542572        70      6230         0     87117     43610   1471466     20.47     21.64  --
1272.25/319.04	c  N dy  5764   1562789        70      6230         0     56739     43610    724544     20.48     21.57  --
1287.79/322.94	c  N dy  5789   1582846        70      6230         0     74753     43610   1154697     20.47     22.51  --
1311.73/328.94	c  N dy  5883   1602990        70      6230         0     92942     43610   1599024     20.48     21.61  --
1332.07/334.00	c  N dy  5950   1624239        70      6230         0     62516     43610    845243     20.48     21.58  --
1354.00/339.50	c  N dy  6090   1644347        70      6230         0     80720     43610   1294409     20.49     21.62  --
1381.92/346.52	c  N dy  6207   1664992        70      6230         0     99400     43610   1753035     20.51     21.59  --
1404.28/352.14	c  N dy  6297   1689800        70      6230         0     71162     43610   1041988     20.51     21.82  --
1427.38/357.93	c  N dy  6345   1710561        70      6230         0     89832     43610   1488986     20.50     17.08  --
1427.38/357.93	c  S st  6345   1710561        70      6230         0     89832     43610   1488986     20.50     17.08  --
1428.58/358.25	c  S st  6345   1711067        70      6230         0     90296     43610   1500838     20.50   no data  --
1428.58/358.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1428.58/358.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1428.98/358.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
1428.98/358.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1428.98/358.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1428.98/358.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1428.98/358.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1641.18/411.57	c lits-rem:      5578  cl-subs:    10287  v-elim:      0  v-fix:    0  time: 212.11 s
1641.18/411.57	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1641.18/411.59	c vivif2 --  cl tried    80009 cl shrink        0 lits rem          0 time: 0.07
1643.15/412.05	c asymm  cl-useful: 0/551/6230 lits-rem:0 time: 1.86
1643.15/412.05	c calculated reachability. Time: 0.00
1643.15/412.05	c  N dy  6345   1711067        70      6230         0     80009     43610   1254287     20.50   no data  --
1674.26/419.89	c  N dy  6413   1731150        70      6230         0     98093     43610   1691497     20.51     22.05  --
1702.60/427.00	c  N dy  6471   1751215        70      6230         0     65313     43610    894779     20.50     21.97  --
1729.69/433.72	c  N dy  6532   1771259        70      6230         0     83400     43610   1332052     20.50     22.35  --
1767.99/443.37	c  N dy  6678   1791285        70      6230         0    101489     43610   1781125     20.52     23.60  --
1795.90/450.39	c  N dy  6746   1814542        70      6230         0     70301     43610    998669     20.52     21.61  --
1823.42/457.25	c  N dy  6839   1834622        70      6230         0     88387     43610   1439209     20.52     22.43  --
1860.53/466.58	c  N dy  6981   1854669        70      6230         0     53521     43610    586786     20.54     21.72  --
1878.08/470.95	c  N dy  7042   1874922        70      6230         0     71679     43610   1020041     20.53     21.72  --
1902.78/477.14	c  N dy  7132   1897050        70      6230         0     91617     43610   1506574     20.54     21.69  --
1931.14/484.25	c  N dy  7153   1923392        70      6230         0     61316     43610    758803     20.53     21.67  --
1949.04/488.79	c  N dy  7197   1943546        70      6230         0     79427     43610   1192202     20.52     21.69  --
1976.57/495.67	c  N dy  7247   1966876        70      6230         0    100308     43610   1691926     20.52     21.85  --
2002.89/502.25	c  N dy  7336   1986949        70      6230         0     63542     43610    799753     20.52     22.04  --
2025.23/507.84	c  N dy  7434   2008595        70      6230         0     83050     43610   1274167     20.53     21.65  --
2054.34/515.19	c  N dy  7517   2031338        70      6230         0    103482     43610   1766970     20.53     21.64  --
2080.32/521.65	c  N dy  7622   2051354        70      6230         0     65887     43610    851410     20.54     23.17  --
2102.59/527.25	c  N dy  7742   2071424        70      6230         0     84010     43610   1297694     20.55     23.27  --
2140.09/536.60	c  N dy  7827   2100387        70      6230         0    109906     43610   1919753     20.55     21.74  --
2167.21/543.50	c  N dy  7907   2126062        70      6230         0     76321     43610   1086206     20.54     21.66  --
2194.38/550.29	c  N dy  8052   2146076        70      6230         0     94482     43610   1535276     20.56     21.65  --
2223.45/557.56	c  N dy  8119   2166148        70      6230         0    112532     43610   1974477     20.56     22.33  --
2244.99/562.92	c  N dy  8190   2186293        70      6230         0     73088     43610    997490     20.56     21.66  --
2273.69/570.18	c  N dy  8306   2210501        70      6230         0     94982     43610   1532352     20.57     21.66  --
2274.49/570.37	c  S st  8311   2211067        70      6230         0     95508     43610   1545489     20.57     20.96  --
2275.69/570.66	c  S st  8311   2211572        70      6230         0     95964     43610   1557015     20.57   no data  --
2275.69/570.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2275.69/570.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2276.09/570.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2276.09/570.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2276.09/570.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2276.09/570.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2276.09/570.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2421.66/607.23	c lits-rem:      5187  cl-subs:     8874  v-elim:      0  v-fix:    0  time: 145.41 s
2421.66/607.23	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2421.66/607.25	c vivif2 --  cl tried    87090 cl shrink        0 lits rem          0 time: 0.07
2423.25/607.67	c asymm  cl-useful: 0/519/6230 lits-rem:0 time: 1.66
2423.25/607.67	c calculated reachability. Time: 0.00
2423.25/607.67	c  N dy  8311   2211572        70      6230         0     87090     43610   1334489     20.57   no data  --
2450.77/614.51	c  N dy  8356   2231726        70      6230         0    105094     43610   1764451     20.57     21.71  --
2487.46/623.77	c  N dy  8483   2251746        70      6230         0     65119     43610    799559     20.58     23.30  --
2515.37/630.72	c  N dy  8556   2272260        70      6230         0     83593     43610   1248772     20.58     21.71  --
2546.89/638.61	c  N dy  8638   2292317        70      6230         0    101604     43610   1687103     20.58     21.72  --
2594.75/650.62	c  N dy  8768   2312432        70      6230         0     60548     43610    669149     20.59     21.75  --
2622.67/657.61	c  N dy  8874   2332505        70      6230         0     78710     43610   1115368     20.60     22.43  --
2659.75/666.95	c  N dy  9005   2353618        70      6230         0     97713     43610   1583933     20.61     21.71  --
2703.28/677.89	c  N dy  9115   2373657        70      6230         0    115758     43610   2025142     20.62     22.77  --
2742.34/687.65	c  N dy  9223   2399337        70      6230         0     78546     43610   1091192     20.62     21.76  --
2777.44/696.43	c  N dy  9315   2420765        70      6230         0     97820     43610   1558546     20.62     21.71  --
2813.30/705.43	c  N dy  9341   2441145        70      6230         0    116014     43610   1984376     20.61     21.82  --
2840.03/712.16	c  N dy  9362   2461187        70      6230         0     72863     43610    934181     20.60     22.80  --
2869.99/719.67	c  N dy  9436   2484134        70      6230         0     93474     43610   1433426     20.60     21.75  --
2898.26/726.78	c  N dy  9480   2504214        70      6230         0    111399     43610   1863650     20.60     21.98  --
2947.31/739.02	c  N dy  9564   2540194        70      6230         0     81716     43610   1128423     20.59     21.71  --
2977.23/746.51	c  N dy  9626   2560802        70      6230         0    100282     43610   1572997     20.59     21.71  --
3018.31/756.90	c  N dy  9748   2584465        70      6230         0    121541     43610   2093933     20.60     21.69  --
3044.64/763.47	c  N dy  9860   2605281        70      6230         0     77543     43610   1037372     20.60     21.71  --
3070.56/769.93	c  N dy  9954   2625713        70      6230         0     95959     43610   1487772     20.61     21.73  --
3103.66/778.23	c  N dy 10054   2646200        70      6230         0    114502     43610   1943057     20.61     21.80  --
3131.98/785.32	c  N dy 10096   2666281        70      6230         0     68621     43610    798134     20.61     22.76  --
3154.31/790.95	c  N dy 10191   2686381        70      6230         0     86783     43610   1240463     20.61     22.55  --
3177.08/796.68	c  N dy 10210   2706846        70      6230         0    104975     43610   1671258     20.61     21.79  --
3185.02/798.63	c  S st 10229   2711572        70      6230         0    109221     43610   1773872     20.61     20.10  --
3186.21/798.94	c  S st 10229   2712077        70      6230         0    109679     43610   1785502     20.61   no data  --
3186.21/798.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3186.21/798.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3186.61/799.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3186.61/799.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3186.61/799.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3186.61/799.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3186.61/799.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3655.63/916.66	c lits-rem:      6676  cl-subs:    11746  v-elim:      0  v-fix:    0  time: 468.89 s
3655.63/916.66	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3655.63/916.68	c vivif2 --  cl tried    97933 cl shrink        0 lits rem          0 time: 0.08
3657.63/917.12	c asymm  cl-useful: 0/486/6230 lits-rem:0 time: 1.74
3657.63/917.12	c calculated reachability. Time: 0.00
3657.63/917.12	c  N dy 10229   2712077        70      6230         0     97933     43610   1502724     20.61   no data  --
3691.93/925.76	c  N dy 10296   2732239        70      6230         0    116060     43610   1942907     20.61     21.74  --
3735.40/936.69	c  N dy 10407   2755772        70      6230         0     73089     43610    898449     20.61     21.73  --
3768.50/944.95	c  N dy 10419   2784933        70      6230         0     99038     43610   1510083     20.60     22.05  --
3802.39/953.41	c  N dy 10461   2805072        70      6230         0    117142     43610   1947606     20.59     21.68  --
3847.47/964.74	c  N dy 10557   2825113        70      6230         0     70056     43610    818167     20.60     22.76  --
3880.17/972.99	c  N dy 10673   2845635        70      6230         0     88630     43610   1275275     20.61     21.73  --
3919.25/982.75	c  N dy 10742   2867492        70      6230         0    108206     43610   1744813     20.61     21.73  --
3964.72/994.19	c  N dy 10830   2887920        70      6230         0    126627     43610   2193664     20.61     21.87  --
4013.38/1006.36	c  N dy 10905   2918272        70      6230         0     87300     43610   1200755     20.60     21.72  --
4053.26/1016.31	c  N dy 10975   2940636        70      6230         0    107338     43610   1683263     20.60     21.78  --
4102.34/1028.66	c  N dy 11083   2962060        70      6230         0    126627     43610   2158263     20.61     21.70  --
4145.40/1039.47	c  N dy 11221   2982129        70      6230         0     77526     43610    975431     20.62     22.66  --
4178.09/1047.60	c  N dy 11315   3002178        70      6230         0     95579     43610   1415217     20.62     23.58  --
4212.78/1056.32	c  N dy 11357   3022233        70      6230         0    113596     43610   1846234     20.62     21.88  --
4251.08/1065.94	c  N dy 11425   3042255        70      6230         0    131562     43610   2283836     20.62     23.36  --
4291.41/1076.05	c  N dy 11550   3067722        70      6230         0     86208     43610   1164773     20.62     21.76  --
4362.74/1093.96	c  N dy 11655   3110548        70      6230         0    124620     43610   2091541     20.61     21.97  --
4422.59/1109.00	c  N dy 11776   3138343        70      6230         0     80425     43610   1004084     20.61     21.86  --
4457.69/1117.74	c  N dy 11897   3159116        70      6230         0     99113     43610   1465405     20.62     21.80  --
4489.57/1125.70	c  N dy 11927   3179186        70      6230         0    116994     43610   1890035     20.61     21.95  --
4525.07/1134.62	c  N dy 11970   3199732        70      6230         0    135423     43610   2332667     20.61     21.86  --
4542.61/1139.01	c  S st 11988   3212077        70      6230         0     76557     43610    904296     20.61     21.11  --
4543.41/1139.28	c  S st 11988   3212583        70      6230         0     77029     43610    916222     20.61   no data  --
4543.41/1139.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4543.41/1139.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4543.82/1139.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.18
4543.82/1139.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4543.82/1139.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4543.82/1139.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4543.82/1139.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4607.61/1155.33	c lits-rem:      1069  cl-subs:     1678  v-elim:      0  v-fix:    0  time: 63.65 s
4607.61/1155.33	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4607.61/1155.35	c vivif2 --  cl tried    75351 cl shrink        0 lits rem          0 time: 0.05
4609.21/1155.74	c asymm  cl-useful: 0/620/6230 lits-rem:0 time: 1.57
4609.21/1155.74	c calculated reachability. Time: 0.00
4609.21/1155.74	c  N dy 11988   3212583        70      6230         0     75351     43610    874786     20.61   no data  --
4635.14/1162.26	c  N dy 12048   3232597        70      6230         0     93325     43610   1310238     20.61     22.77  --
4671.44/1171.38	c  N dy 12159   3252598        70      6230         0    111364     43610   1754422     20.61     23.06  --
4709.72/1180.92	c  N dy 12222   3272691        70      6230         0    129391     43610   2189423     20.61     22.11  --
4743.27/1189.34	c  N dy 12252   3294852        70      6230         0     78326     43610    924504     20.60     21.96  --
4766.75/1195.27	c  N dy 12311   3315700        70      6230         0     97048     43610   1379435     20.60     21.75  --

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-3368699-1305400970/watcher-3368699-1305400970 -o /tmp/evaluation-result-3368699-1305400970/solver-3368699-1305400970 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368699-1305400970.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.41 7.96 7.93 2/351 17216
/proc/meminfo: memFree=24257432/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=281900 CPUtime=0.4 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 1446 0 0 0 40 0 0 0 19 0 4 0 632512452 288665600 1365 33554432000 4194304 4650419 140736450259488 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 70475 1365 366 112 0 65440 0
[pid=17216/tid=17220] ppid=17213 vsize=281900 CPUtime=0.1 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 210 0 0 0 10 0 0 0 20 0 4 0 632512452 288665600 1366 33554432000 4194304 4650419 140736450259488 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=281900 CPUtime=0.1 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 222 0 0 0 10 0 0 0 20 0 4 0 632512452 288665600 1366 33554432000 4194304 4650419 140736450259488 18446744073709551615 4370477 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=281900 CPUtime=0.09 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 384 0 0 0 9 0 0 0 20 0 4 0 632512452 288665600 1366 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 7 0 0 0

[startup+0.21322 s]
/proc/loadavg: 7.41 7.96 7.93 2/351 17216
/proc/meminfo: memFree=24257432/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=283556 CPUtime=0.81 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 3395 0 0 0 81 0 0 0 18 0 4 0 632512452 290361344 2892 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 70889 2892 390 112 0 65854 0
[pid=17216/tid=17220] ppid=17213 vsize=283556 CPUtime=0.2 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 760 0 0 0 20 0 0 0 18 0 4 0 632512452 290361344 2892 33554432000 4194304 4650419 140736450259488 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=283556 CPUtime=0.2 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 754 0 0 0 20 0 0 0 18 0 4 0 632512452 290361344 2892 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=283556 CPUtime=0.19 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 659 0 0 0 19 0 0 0 20 0 4 0 632512452 290361344 2892 33554432000 4194304 4650419 140736450259488 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 283556

[startup+0.313201 s]
/proc/loadavg: 7.41 7.96 7.93 2/351 17216
/proc/meminfo: memFree=24257432/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=283556 CPUtime=1.21 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 3710 0 0 0 121 0 0 0 18 0 4 0 632512452 290361344 3207 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 70889 3207 390 112 0 65854 0
[pid=17216/tid=17220] ppid=17213 vsize=283556 CPUtime=0.3 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 840 0 0 0 30 0 0 0 18 0 4 0 632512452 290361344 3207 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=283556 CPUtime=0.3 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 839 0 0 0 30 0 0 0 18 0 4 0 632512452 290361344 3207 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=283556 CPUtime=0.29 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 726 0 0 0 29 0 0 0 20 0 4 0 632512452 290361344 3207 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 283556

[startup+0.413183 s]
/proc/loadavg: 7.41 7.96 7.93 2/351 17216
/proc/meminfo: memFree=24257432/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=284908 CPUtime=1.61 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 4612 0 0 0 161 0 0 0 18 0 4 0 632512452 291745792 3302 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 71227 3302 390 112 0 66192 0
[pid=17216/tid=17220] ppid=17213 vsize=284908 CPUtime=0.4 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 1054 0 0 0 40 0 0 0 18 0 4 0 632512452 291745792 3302 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=284908 CPUtime=0.4 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 1054 0 0 0 40 0 0 0 18 0 4 0 632512452 291745792 3302 33554432000 4194304 4650419 140736450259488 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=284908 CPUtime=0.39 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 938 0 0 0 39 0 0 0 20 0 4 0 632512452 291745792 3302 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 284908

[startup+0.701131 s]
/proc/loadavg: 7.41 7.96 7.93 2/351 17216
/proc/meminfo: memFree=24257432/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=285696 CPUtime=2.77 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 6086 0 0 0 276 1 0 0 18 0 4 0 632512452 292552704 3679 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 71424 3679 390 112 0 66389 0
[pid=17216/tid=17220] ppid=17213 vsize=285696 CPUtime=0.69 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 1403 0 0 0 69 0 0 0 18 0 4 0 632512452 292552704 3679 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=285696 CPUtime=0.69 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 1435 0 0 0 69 0 0 0 18 0 4 0 632512452 292552704 3679 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=285696 CPUtime=0.68 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 1294 0 0 0 68 0 0 0 21 0 4 0 632512452 292552704 3679 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285696

[startup+1.50099 s]
/proc/loadavg: 7.41 7.96 7.93 9/362 17227
/proc/meminfo: memFree=24222748/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=286728 CPUtime=5.96 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 11048 0 0 0 594 2 0 0 19 0 4 0 632512452 293609472 5800 33554432000 4194304 4650419 140736450259488 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 71682 5800 392 112 0 66647 0
[pid=17216/tid=17220] ppid=17213 vsize=286728 CPUtime=1.49 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 2289 0 0 0 149 0 0 0 19 0 4 0 632512452 293609472 5800 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=286728 CPUtime=1.49 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 2380 0 0 0 149 0 0 0 19 0 4 0 632512452 293609472 5800 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=286728 CPUtime=1.46 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 2180 0 0 0 146 0 0 0 23 0 4 0 632512452 293609472 5800 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366828 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) 286728

[startup+3.10069 s]
/proc/loadavg: 7.46 7.96 7.93 9/362 17227
/proc/meminfo: memFree=24179476/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=287176 CPUtime=12.34 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 17935 0 0 0 1232 2 0 0 24 0 4 0 632512452 294068224 10731 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 71794 10731 392 112 0 66759 0
[pid=17216/tid=17220] ppid=17213 vsize=287176 CPUtime=3.09 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 3836 0 0 0 309 0 0 0 24 0 4 0 632512452 294068224 10731 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=287176 CPUtime=3.08 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 4936 0 0 0 308 0 0 0 24 0 4 0 632512452 294068224 10731 33554432000 4194304 4650419 140736450259488 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=287176 CPUtime=3.05 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 4500 0 0 0 305 0 0 0 25 0 4 0 632512452 294068224 10731 33554432000 4194304 4650419 140736450259488 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 287176

[startup+6.30111 s]
/proc/loadavg: 7.46 7.96 7.93 9/362 17227
/proc/meminfo: memFree=24146908/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=297728 CPUtime=25.11 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 26936 0 0 0 2507 4 0 0 25 0 4 0 632512452 304873472 13880 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 74432 13880 392 112 0 69397 0
[pid=17216/tid=17220] ppid=17213 vsize=297728 CPUtime=6.28 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 6859 0 0 0 628 0 0 0 25 0 4 0 632512452 304873472 13880 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=297728 CPUtime=6.29 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 6964 0 0 0 628 1 0 0 25 0 4 0 632512452 304873472 13880 33554432000 4194304 4650419 140736450259488 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=297728 CPUtime=6.22 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 6682 0 0 0 621 1 0 0 25 0 4 0 632512452 304873472 13880 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 297728

[startup+12.7009 s]
/proc/loadavg: 7.54 7.96 7.93 9/362 17227
/proc/meminfo: memFree=24099188/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=307632 CPUtime=50.63 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 39032 0 0 0 5056 7 0 0 25 0 4 0 632512452 315015168 19317 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 76908 19317 392 112 0 71873 0
[pid=17216/tid=17220] ppid=17213 vsize=307632 CPUtime=12.69 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 10119 0 0 0 1268 1 0 0 25 0 4 0 632512452 315015168 19317 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=307632 CPUtime=12.68 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 9748 0 0 0 1267 1 0 0 25 0 4 0 632512452 315015168 19317 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=307632 CPUtime=12.54 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 10448 0 0 0 1252 2 0 0 25 0 4 0 632512452 315015168 19317 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 307632

[startup+25.5136 s]
/proc/loadavg: 7.61 7.96 7.93 9/362 17228
/proc/meminfo: memFree=24053064/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=308396 CPUtime=101.73 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 59230 0 0 0 10161 12 0 0 25 0 4 0 632512452 315797504 26058 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 77099 26058 392 112 0 72064 0
[pid=17216/tid=17220] ppid=17213 vsize=308396 CPUtime=25.49 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 16184 0 0 0 2547 2 0 0 25 0 4 0 632512452 315797504 26058 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=308396 CPUtime=25.5 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 15289 0 0 0 2547 3 0 0 25 0 4 0 632512452 315797504 26058 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=308396 CPUtime=25.2 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 15597 0 0 0 2517 3 0 0 25 0 4 0 632512452 315797504 26058 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 308396

[startup+51.1009 s]
/proc/loadavg: 7.82 7.98 7.93 9/362 17228
/proc/meminfo: memFree=24011588/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=300152 CPUtime=203.79 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 88251 0 0 0 20356 23 0 0 25 0 4 0 632512452 307355648 30265 33554432000 4194304 4650419 140736450259488 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 75038 30265 392 112 0 70003 0
[pid=17216/tid=17220] ppid=17213 vsize=300152 CPUtime=51.08 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 24150 0 0 0 5103 5 0 0 25 0 4 0 632512452 307355648 30265 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=300152 CPUtime=51.08 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 21963 0 0 0 5103 5 0 0 25 0 4 0 632512452 307355648 30265 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=300152 CPUtime=50.5 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 22434 0 0 0 5044 6 0 0 25 0 4 0 632512452 307355648 30265 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 300152

[startup+102.3 s]
/proc/loadavg: 7.98 8.00 7.94 9/362 17230
/proc/meminfo: memFree=23947208/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=322756 CPUtime=407.99 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 131619 0 0 0 40763 36 0 0 25 0 4 0 632512452 330502144 36073 33554432000 4194304 4650419 140736450259488 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 80689 36073 392 112 0 75654 0
[pid=17216/tid=17220] ppid=17213 vsize=322756 CPUtime=102.28 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 35045 0 0 0 10219 9 0 0 25 0 4 0 632512452 330502144 36073 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=322756 CPUtime=102.28 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 33958 0 0 0 10219 9 0 0 25 0 4 0 632512452 330502144 36073 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=322756 CPUtime=101.1 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 34175 0 0 0 10102 8 0 0 25 0 4 0 632512452 330502144 36073 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 322756

[startup+162.3 s]

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

[pid=17216] ppid=17213 vsize=421404 CPUtime=2561.65 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 369056 0 0 0 256027 138 0 0 25 0 4 0 632512452 431517696 76454 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 105351 76454 392 112 0 100316 0
[pid=17216/tid=17220] ppid=17213 vsize=421404 CPUtime=642.29 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 95828 0 0 0 64193 36 0 0 25 0 4 0 632512452 431517696 76454 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=421404 CPUtime=642.31 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 106918 0 0 0 64191 40 0 0 25 0 4 0 632512452 431517696 76454 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=421404 CPUtime=634.71 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 89009 0 0 0 63438 33 0 0 25 0 4 0 632512452 431517696 76454 33554432000 4194304 4650419 140736450259488 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.65
Current children cumulated vsize (KiB) 421404

[startup+702.301 s]
/proc/loadavg: 8.08 8.09 8.01 9/362 17249
/proc/meminfo: memFree=23615324/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=446380 CPUtime=2800.94 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 379342 0 0 0 279949 145 0 0 25 0 4 0 632512452 457093120 81632 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 111595 81632 392 112 0 106560 0
[pid=17216/tid=17220] ppid=17213 vsize=446380 CPUtime=702.29 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 95828 0 0 0 70193 36 0 0 25 0 4 0 632512452 457093120 81632 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=446380 CPUtime=702.31 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 112364 0 0 0 70187 44 0 0 25 0 4 0 632512452 457093120 81632 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=446380 CPUtime=694 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 89051 0 0 0 69367 33 0 0 25 0 4 0 632512452 457093120 81632 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.94
Current children cumulated vsize (KiB) 446380

[startup+762.301 s]
/proc/loadavg: 8.13 8.10 8.01 9/362 17250
/proc/meminfo: memFree=23603164/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=499600 CPUtime=3040.25 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 391561 0 0 0 303870 155 0 0 25 0 4 0 632512452 511590400 83626 33554432000 4194304 4650419 140736450259488 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 124900 83626 392 112 0 119865 0
[pid=17216/tid=17220] ppid=17213 vsize=499600 CPUtime=762.3 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 98905 0 0 0 76192 38 0 0 25 0 4 0 632512452 511590400 83626 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=499600 CPUtime=762.31 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 117862 0 0 0 76182 49 0 0 25 0 4 0 632512452 511590400 83626 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=499600 CPUtime=753.3 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 89710 0 0 0 75296 34 0 0 25 0 4 0 632512452 511590400 83626 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3040.25
Current children cumulated vsize (KiB) 499600

[startup+822.301 s]
/proc/loadavg: 8.14 8.11 8.02 9/362 17252
/proc/meminfo: memFree=23591360/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=512372 CPUtime=3279.54 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 409583 0 0 0 327788 166 0 0 25 0 4 0 632512452 524668928 86954 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 128093 86954 392 112 0 123058 0
[pid=17216/tid=17220] ppid=17213 vsize=512372 CPUtime=822.3 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 104321 0 0 0 82188 42 0 0 25 0 4 0 632512452 524668928 86954 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=512372 CPUtime=822.31 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 123425 0 0 0 82178 53 0 0 25 0 4 0 632512452 524668928 86954 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=512372 CPUtime=812.59 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 94443 0 0 0 81223 36 0 0 25 0 4 0 632512452 524668928 86954 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3279.54
Current children cumulated vsize (KiB) 512372

[startup+882.301 s]
/proc/loadavg: 8.20 8.13 8.03 9/362 17254
/proc/meminfo: memFree=23575356/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=512496 CPUtime=3518.86 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 419753 0 0 0 351715 171 0 0 25 0 4 0 632512452 524795904 88281 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 128124 88281 392 112 0 123089 0
[pid=17216/tid=17220] ppid=17213 vsize=512496 CPUtime=882.31 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 106715 0 0 0 88189 42 0 0 25 0 4 0 632512452 524795904 88281 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=512496 CPUtime=882.32 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 128357 0 0 0 88177 55 0 0 25 0 4 0 632512452 524795904 88281 33554432000 4194304 4650419 140736450259488 18446744073709551615 228095148419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=512496 CPUtime=871.89 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 97287 0 0 0 87151 38 0 0 25 0 4 0 632512452 524795904 88281 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.86
Current children cumulated vsize (KiB) 512496

[startup+942.301 s]
/proc/loadavg: 8.26 8.15 8.04 9/362 17255
/proc/meminfo: memFree=23562824/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=499912 CPUtime=3758.13 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 428517 0 0 0 375635 178 0 0 25 0 4 0 632512452 511909888 86105 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 124978 86105 392 112 0 119943 0
[pid=17216/tid=17220] ppid=17213 vsize=499912 CPUtime=942.3 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 107364 0 0 0 94187 43 0 0 25 0 4 0 632512452 511909888 86105 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=499912 CPUtime=942.31 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 132445 0 0 0 94173 58 0 0 25 0 4 0 632512452 511909888 86105 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=499912 CPUtime=931.16 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 100496 0 0 0 93076 40 0 0 25 0 4 0 632512452 511909888 86105 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.13
Current children cumulated vsize (KiB) 499912

[startup+1002.31 s]
/proc/loadavg: 8.09 8.12 8.03 9/362 17257
/proc/meminfo: memFree=23521760/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=500024 CPUtime=3997.47 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 439824 0 0 0 399563 184 0 0 25 0 4 0 632512452 512024576 91097 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 125006 91097 392 112 0 119971 0
[pid=17216/tid=17220] ppid=17213 vsize=500024 CPUtime=1002.31 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 107364 0 0 0 100188 43 0 0 25 0 4 0 632512452 512024576 91097 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=500024 CPUtime=1002.33 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 137634 0 0 0 100171 62 0 0 25 0 4 0 632512452 512024576 91097 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=500024 CPUtime=990.47 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 102657 0 0 0 99006 41 0 0 25 0 4 0 632512452 512024576 91097 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.47
Current children cumulated vsize (KiB) 500024

[startup+1062.3 s]
/proc/loadavg: 8.03 8.10 8.03 9/362 17258
/proc/meminfo: memFree=23514292/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=500084 CPUtime=4236.71 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 445654 0 0 0 423481 190 0 0 25 0 4 0 632512452 512086016 91085 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 125021 91085 392 112 0 119986 0
[pid=17216/tid=17220] ppid=17213 vsize=500084 CPUtime=1062.3 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 107636 0 0 0 106187 43 0 0 25 0 4 0 632512452 512086016 91085 33554432000 4194304 4650419 140736450259488 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=500084 CPUtime=1062.32 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 141608 0 0 0 106166 66 0 0 25 0 4 0 632512452 512086016 91085 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=500084 CPUtime=1049.75 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 102658 0 0 0 104934 41 0 0 25 0 4 0 632512452 512086016 91085 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4236.71
Current children cumulated vsize (KiB) 500084

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/362 17260
/proc/meminfo: memFree=23526304/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=565660 CPUtime=4476.01 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 461376 0 0 0 447404 197 0 0 25 0 4 0 632512452 579235840 90535 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 141415 90535 392 112 0 136380 0
[pid=17216/tid=17220] ppid=17213 vsize=565660 CPUtime=1122.31 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 110725 0 0 0 112185 46 0 0 25 0 4 0 632512452 579235840 90535 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=565660 CPUtime=1122.32 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 147672 0 0 0 112165 67 0 0 25 0 4 0 632512452 579235840 90535 33554432000 4194304 4650419 140736450259488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=565660 CPUtime=1109.03 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 106583 0 0 0 110862 41 0 0 25 0 4 0 632512452 579235840 90535 33554432000 4194304 4650419 140736450259488 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.01
Current children cumulated vsize (KiB) 565660

[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 8.02 9/362 17262
/proc/meminfo: memFree=23520452/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=500124 CPUtime=4715.31 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 485132 0 0 0 471327 204 0 0 25 0 4 0 632512452 512126976 91740 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 125031 91740 392 112 0 119996 0
[pid=17216/tid=17220] ppid=17213 vsize=500124 CPUtime=1182.3 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 113229 0 0 0 118183 47 0 0 25 0 4 0 632512452 512126976 91740 33554432000 4194304 4650419 140736450259488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=500124 CPUtime=1182.32 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 164240 0 0 0 118162 70 0 0 25 0 4 0 632512452 512126976 91741 33554432000 4194304 4650419 140736450259488 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=500124 CPUtime=1168.32 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 110467 0 0 0 116789 43 0 0 25 0 4 0 632512452 512126976 91741 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.31
Current children cumulated vsize (KiB) 500124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.61 s]
/proc/loadavg: 8.10 8.09 8.03 9/362 17262
/proc/meminfo: memFree=23506064/32951124 swapFree=65980216/67111528
[pid=17216] ppid=17213 vsize=567144 CPUtime=4800.31 cores=1,3,5,7
/proc/17216/stat : 17216 (strangenight1-m) R 17213 17216 16886 0 -1 4202496 491277 0 0 0 479824 207 0 0 25 0 4 0 632512452 580755456 91982 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17216/statm: 141786 91982 392 112 0 136751 0
[pid=17216/tid=17220] ppid=17213 vsize=567144 CPUtime=1203.63 cores=1,3,5,7
/proc/17216/task/17220/stat : 17220 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 115699 0 0 0 120315 48 0 0 25 0 4 0 632512452 580755456 91984 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17216/tid=17221] ppid=17213 vsize=567144 CPUtime=1203.65 cores=1,3,5,7
/proc/17216/task/17221/stat : 17221 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 166433 0 0 0 120294 71 0 0 25 0 4 0 632512452 580755456 91984 33554432000 4194304 4650419 140736450259488 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17216/tid=17222] ppid=17213 vsize=567144 CPUtime=1189.37 cores=1,3,5,7
/proc/17216/task/17222/stat : 17222 (strangenight1-m) R 17213 17216 16886 0 -1 4202560 111838 0 0 0 118893 44 0 0 25 0 4 0 632512452 580755456 91984 33554432000 4194304 4650419 140736450259488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 567144

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): 1203.65
CPU time (s): 4800.39
CPU user time (s): 4798.29
CPU system time (s): 2.09668
CPU usage (%): 398.819
Max. virtual memory (cumulated for all children) (KiB): 567144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.29
system time used= 2.09668
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491279
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= 598
involuntary context switches= 19256

runsolver used 3.82442 second user time and 10.4674 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 21:22:50
IDJOB=3368699
IDBENCH=82708
IDSOLVER=1846
FILE ID=node142/3368699-1305400970
RUNJOBID= node142-1305400970-17201
PBS_JOBID= 13324456
Free space on /tmp= 73444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368699-1305400970/watcher-3368699-1305400970 -o /tmp/evaluation-result-3368699-1305400970/solver-3368699-1305400970 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368699-1305400970.cnf

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

MD5SUM BENCH= 68db236c1470208d12f1f4e80de80849
RANDOM SEED=1248587575

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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:     32951124 kB
MemFree:      24257472 kB
Buffers:        312844 kB
Cached:        3836108 kB
SwapCached:      11520 kB
Active:        6038904 kB
Inactive:      2322100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24257472 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:           12516 kB
Writeback:           8 kB
AnonPages:     4208916 kB
Mapped:          19660 kB
Slab:           234552 kB
PageTables:      31936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77015196 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= 73432 MiB
End job on node142 at 2011-05-14 21:42:55