Trace number 3368698

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.28 1203.84

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf
MD5SUMc0af45ae07be0ad78c796952c610fc60
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.427934
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-3368698-1305400970.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.37/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.37/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.56/1.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.56/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.56/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3.56/1.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.56/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3.56/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.56/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.56/1.00	c calculated reachability. Time: 0.00
3.56/1.00	c Calc default polars -  time:   0.00 s pos:      39 undec:       2 neg:      39
3.56/1.00	c =========================================================================================
3.56/1.00	c types(t): F = full restart, N = normal restart
3.56/1.00	c types(t): S = simplification begin/end, E = solution found
3.56/1.00	c restart types(rt): st = static, dy = dynamic
3.56/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.56/1.00	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.56/1.00	c  N dy     9      5663        80      7120         0      2895     49840     68813     23.14     24.36  --
3.56/1.00	c  N dy    16      9690        80      7120         0      6591     49840    168040     23.02     24.93  --
3.56/1.00	c  N dy    24     14639        80      7120         0      7216     49840    171612     22.95     24.23  --
3.56/1.00	c  N dy    39     18661        80      7120         0      5765     49840    118654     22.98     25.27  --
4.75/1.24	c  N dy    56     24890        80      7120         0     11459     49840    271666     22.96     24.18  --
4.75/1.25	c  F st    57     25000        80      7120         0     11558     49840    274239     22.96     22.94  --
5.55/1.48	c  N dy    63     30001        80      7120         0      9881     49840    215836     22.96   no data  --
5.55/1.48	c  S st    63     30001        80      7120         0      9881     49840    215836     22.96   no data  --
5.95/1.51	c  S st    63     30508        80      7120         0     10360     49840    228897     22.96   no data  --
5.95/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.95/1.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.95/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.95/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.95/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.95/1.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.34/2.63	c lits-rem:      1463  cl-subs:      805  v-elim:      0  v-fix:    0  time:  4.39 s
11.54/2.96	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.30
11.54/2.96	c calculated reachability. Time: 0.00
11.54/2.96	c  N dy    63     30508        80      7120         0      9555     49840    204217     22.96   no data  --
12.75/3.23	c  N dy    73     35694        80      7120         0     14331     49840    332477     22.94     24.18  --
13.52/3.47	c  N dy    90     40559        80      7120         0     11602     49840    244441     22.95     24.24  --
14.72/3.74	c  N dy    94     45247        80      7120         0     15873     49840    358429     22.88     24.09  --
14.72/3.77	c  S st    95     45762        80      7120         0     16346     49840    370930     22.88     22.55  --
15.12/3.82	c  S st    95     46266        80      7120         0      8629     49840    150817     22.88   no data  --
15.12/3.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.12/3.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.12/3.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.12/3.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.12/3.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.12/3.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.12/3.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.32/4.64	c lits-rem:       200  cl-subs:       38  v-elim:      0  v-fix:    0  time:  3.24 s
18.32/4.64	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.32/4.64	c vivif2 --  cl tried     8591 cl shrink        0 lits rem          0 time: 0.00
19.51/4.92	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.09
19.51/4.92	c calculated reachability. Time: 0.00
19.51/4.92	c  N dy    95     46266        80      7120         0      8591     49840    149332     22.88   no data  --
20.72/5.21	c  N dy   118     51569        80      7120         0     13461     49840    281370     22.97     24.26  --
21.53/5.48	c  N dy   139     55671        80      7120         0     17247     49840    384640     23.06     25.21  --
22.70/5.77	c  N dy   143     60779        80      7120         0     12771     49840    246050     23.00     24.24  --
23.90/6.07	c  N dy   151     65901        80      7120         0     17422     49840    368721     22.95     24.23  --
25.10/6.33	c  S st   167     69400        80      7120         0     10579     49840    173206     22.98   no data  --
25.10/6.37	c  S st   167     69901        80      7120         0     11049     49840    186239     22.98   no data  --
25.10/6.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.10/6.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.10/6.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
25.10/6.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.10/6.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.10/6.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.10/6.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.09/7.35	c lits-rem:       321  cl-subs:      141  v-elim:      0  v-fix:    0  time:  3.85 s
29.09/7.35	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.09/7.35	c vivif2 --  cl tried    10908 cl shrink        0 lits rem          0 time: 0.01
30.30/7.71	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.42
30.30/7.71	c calculated reachability. Time: 0.00
30.30/7.71	c  N dy   167     69901        80      7120         0     10908     49840    181627     22.98   no data  --
33.07/8.30	c  N dy   179     79233        80      7120         0     19439     49840    407531     22.81     24.06  --
34.69/8.77	c  N dy   207     85499        80      7120         0     14229     49840    257839     22.86     24.12  --
35.46/8.93	c  F st   223     87501        80      7120         0     16063     49840    307992     22.90   no data  --
37.06/9.30	c  N dy   229     92696        80      7120         0     20866     49840    440653     22.90   no data  --
39.08/9.81	c  N dy   259     98928        80      7120         0     14646     49840    253991     22.97     24.21  --
40.65/10.22	c  S st   272    104851        80      7120         0     20054     49840    398524     22.96     21.37  --
40.65/10.28	c  S st   272    105353        80      7120         0     20519     49840    411264     22.96   no data  --
40.65/10.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.65/10.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.65/10.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
41.05/10.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.05/10.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.05/10.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
41.05/10.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.86/12.08	c lits-rem:      1891  cl-subs:     1679  v-elim:      0  v-fix:    0  time:  7.07 s
47.86/12.08	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.86/12.08	c vivif2 --  cl tried    18840 cl shrink        0 lits rem          0 time: 0.02
49.43/12.48	c asymm  cl-useful: 0/5198/7120 lits-rem:0 time: 1.57
49.43/12.48	c calculated reachability. Time: 0.00
49.43/12.48	c  N dy   272    105353        80      7120         0     18840     49840    362047     22.96   no data  --
52.67/13.23	c  N dy   275    113423        80      7120         0     13443     49840    205934     22.86     24.07  --
54.61/13.73	c  N dy   303    120700        80      7120         0     20131     49840    386604     22.89     25.17  --
58.20/14.63	c  N dy   339    131807        80      7120         0     16550     49840    275183     22.89     24.16  --
62.19/15.64	c  N dy   363    144739        80      7120         0     28401     49840    589110     22.83     24.13  --
66.18/16.68	c  N dy   404    158029        80      7120         0     25966     49840    510012     22.81     22.92  --
66.18/16.68	c  S st   404    158029        80      7120         0     25966     49840    510012     22.81     22.92  --
66.58/16.75	c  S st   404    158535        80      7120         0     26438     49840    522883     22.81   no data  --
66.58/16.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.58/16.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.58/16.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
66.58/16.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.58/16.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.58/16.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.58/16.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.15/19.19	c lits-rem:      1978  cl-subs:     2365  v-elim:      0  v-fix:    0  time:  9.59 s
76.15/19.19	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
76.15/19.19	c vivif2 --  cl tried    24073 cl shrink        0 lits rem          0 time: 0.02
77.35/19.42	c asymm  cl-useful: 0/1815/7120 lits-rem:0 time: 0.93
77.35/19.43	c calculated reachability. Time: 0.00
77.35/19.43	c  N dy   404    158535        80      7120         0     24073     49840    456687     22.81   no data  --
82.95/20.90	c  N dy   443    175635        80      7120         0     24255     49840    450942     22.80     24.13  --
87.34/21.98	c  N dy   474    186989        80      7120         0     18210     49840    276091     22.79     24.05  --
92.15/23.12	c  N dy   523    199830        80      7120         0     29987     49840    591170     22.81     24.03  --
102.47/25.74	c  N dy   539    227994        80      7120         0     19976     49840    291033     22.56     23.80  --
106.05/26.67	c  S st   608    237802        80      7120         0     29029     49840    536043     22.63   no data  --
106.46/26.75	c  S st   608    238310        80      7120         0     29514     49840    549564     22.63   no data  --
106.46/26.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.46/26.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.46/26.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
106.46/26.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.46/26.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.46/26.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
106.46/26.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.83/29.31	c lits-rem:      2062  cl-subs:     2013  v-elim:      0  v-fix:    0  time: 10.09 s
116.83/29.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
116.83/29.32	c vivif2 --  cl tried    27501 cl shrink        0 lits rem          0 time: 0.02
117.63/29.53	c asymm  cl-useful: 0/2143/7120 lits-rem:0 time: 0.86
117.63/29.53	c calculated reachability. Time: 0.00
117.63/29.53	c  N dy   608    238310        80      7120         0     27501     49840    490929     22.63   no data  --
124.00/31.19	c  N dy   667    253521        80      7120         0     22295     49840    339038     22.66     23.95  --
131.99/33.10	c  N dy   708    272939        80      7120         0     40063     49840    810204     22.65     23.89  --
139.99/35.19	c  N dy   800    292833        80      7120         0     38240     49840    751254     22.70     23.93  --
146.34/36.70	c  F st   868    306251        80      7120         0     29513     49840    501133     22.74     22.40  --
148.34/37.23	c  N dy   875    311545        80      7120         0     34395     49840    632479     22.74     24.88  --
157.96/39.68	c  N dy   954    333309        80      7120         0     32343     49840    562490     22.76     24.06  --
168.29/42.23	c  N dy  1058    353349        80      7120         0     27826     49840    426114     22.81     26.71  --
169.88/42.69	c  S st  1076    357465        80      7120         0     31568     49840    526426     22.82     22.89  --
170.29/42.77	c  S st  1076    357970        80      7120         0     32033     49840    539461     22.82   no data  --
170.29/42.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
170.29/42.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.29/42.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.29/42.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.29/42.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.29/42.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.29/42.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.84/45.62	c lits-rem:      2025  cl-subs:     1641  v-elim:      0  v-fix:    0  time: 11.24 s
181.84/45.62	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
181.84/45.62	c vivif2 --  cl tried    30392 cl shrink        0 lits rem          0 time: 0.02
182.64/45.89	c asymm  cl-useful: 0/1627/7120 lits-rem:0 time: 1.07
182.64/45.89	c calculated reachability. Time: 0.00
182.64/45.89	c  N dy  1076    357970        80      7120         0     30392     49840    490139     22.82   no data  --
196.61/49.38	c  N dy  1156    379632        80      7120         0     26464     49840    372052     22.85     24.09  --
209.76/52.62	c  N dy  1224    402576        80      7120         0     47478     49840    932785     22.84     24.09  --
219.73/55.10	c  N dy  1292    422917        80      7120         0     41435     49840    757176     22.85     24.09  --
228.90/57.49	c  N dy  1331    442960        80      7120         0     34184     49840    546899     22.84     25.29  --
240.48/60.33	c  N dy  1395    462982        80      7120         0     52533     49840   1037164     22.85     26.19  --
256.82/64.42	c  N dy  1483    494509        80      7120         0     54724     49840   1079637     22.84     24.15  --
268.40/67.37	c  N dy  1513    520063        80      7120         0     50575     49840    952172     22.79     24.02  --
277.96/69.77	c  S st  1567    536956        80      7120         0     37742     49840    599297     22.80     22.67  --
278.36/69.87	c  S st  1567    537459        80      7120         0     38216     49840    611916     22.80   no data  --
278.36/69.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
278.36/69.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
278.36/69.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
278.76/69.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
278.76/69.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
278.76/69.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
278.76/69.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
290.32/72.84	c lits-rem:       840  cl-subs:     1995  v-elim:      0  v-fix:    0  time: 11.69 s
290.32/72.84	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
290.32/72.85	c vivif2 --  cl tried    36221 cl shrink        0 lits rem          0 time: 0.03
291.12/73.06	c asymm  cl-useful: 0/1380/7120 lits-rem:0 time: 0.85
291.12/73.06	c calculated reachability. Time: 0.00
291.12/73.06	c  N dy  1567    537459        80      7120         0     36221     49840    555606     22.80   no data  --
302.74/75.94	c  N dy  1608    557675        80      7120         0     54706     49840   1050903     22.80     24.09  --
314.26/78.83	c  N dy  1683    577726        80      7120         0     43857     49840    744569     22.82     24.03  --
327.03/82.10	c  N dy  1735    597729        80      7120         0     32031     49840    411439     22.81     24.68  --
337.84/84.78	c  N dy  1766    618619        80      7120         0     51098     49840    913913     22.79     23.99  --
351.36/88.18	c  N dy  1831    639956        80      7120         0     39586     49840    596509     22.79     24.03  --
366.12/91.86	c  N dy  1945    660016        80      7120         0     58040     49840   1097952     22.83     24.08  --
380.88/95.54	c  N dy  2051    680047        80      7120         0     44276     49840    709778     22.85     24.68  --
396.03/99.36	c  N dy  2153    700162        80      7120         0     62777     49840   1211445     22.88     24.34  --
409.59/102.72	c  N dy  2226    721177        80      7120         0     49064     49840    822266     22.90     24.22  --
427.54/107.23	c  N dy  2307    742049        80      7120         0     34229     49840    405377     22.90     24.17  --
438.76/110.07	c  N dy  2367    762436        80      7120         0     52950     49840    908352     22.90     24.23  --
454.67/114.05	c  N dy  2455    782510        80      7120         0     36536     49840    451939     22.91     24.95  --
466.22/116.93	c  N dy  2517    803154        80      7120         0     55419     49840    956805     22.91     24.20  --
468.62/117.54	c  S st  2538    806188        80      7120         0     58212     49840   1033664     22.91   no data  --
469.04/117.69	c  S st  2538    806690        80      7120         0     58681     49840   1046660     22.91   no data  --
469.04/117.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
469.04/117.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.46/117.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
469.46/117.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.46/117.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.46/117.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
469.46/117.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
512.09/128.49	c lits-rem:      2140  cl-subs:     4726  v-elim:      0  v-fix:    0  time: 42.83 s
512.09/128.49	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
512.49/128.50	c vivif2 --  cl tried    53955 cl shrink        0 lits rem          0 time: 0.04
513.33/128.79	c asymm  cl-useful: 0/918/7120 lits-rem:0 time: 1.14
513.33/128.79	c calculated reachability. Time: 0.00
513.33/128.79	c  N dy  2538    806690        80      7120         0     53955     49840    913552     22.91   no data  --
530.46/133.10	c  N dy  2652    826788        80      7120         0     36833     49840    446536     22.93     25.67  --
545.20/136.73	c  N dy  2787    848573        80      7120         0     56836     49840    992769     22.97     24.29  --
561.18/140.75	c  N dy  2839    868984        80      7120         0     38936     49840    485922     22.97     24.18  --
574.20/144.04	c  N dy  2927    889056        80      7120         0     57366     49840    985902     22.98     24.19  --
593.57/148.91	c  N dy  3035    909146        80      7120         0     38263     49840    450489     23.00     24.23  --
605.78/152.00	c  N dy  3069    929918        80      7120         0     57086     49840    943838     22.97     24.29  --
620.76/155.82	c  N dy  3113    949953        80      7120         0     75401     49840   1433894     22.96     24.68  --
634.97/159.47	c  N dy  3215    970754        80      7120         0     56101     49840    918735     22.98     24.27  --
652.50/163.82	c  N dy  3292    990769        80      7120         0     74407     49840   1414645     22.98     24.64  --
668.84/167.94	c  N dy  3326   1015453        80      7120         0     57458     49840    925554     22.96     24.17  --
685.18/172.01	c  N dy  3382   1035536        80      7120         0     75859     49840   1416562     22.95     24.22  --
701.19/176.08	c  N dy  3496   1055543        80      7120         0     54070     49840    831268     22.97     25.46  --
713.11/179.05	c  F st  3530   1071877        80      7120         0     68958     49840   1228491     22.96     22.10  --
717.10/180.07	c  N dy  3536   1077069        80      7120         0     73725     49840   1360254     22.96   no data  --
733.05/184.07	c  N dy  3605   1097095        80      7120         0     50899     49840    728522     22.96     25.05  --
759.77/190.79	c  N dy  3650   1130198        80      7120         0     80862     49840   1513791     22.93     24.14  --
776.93/195.01	c  N dy  3786   1150282        80      7120         0     57356     49840    893801     22.95     24.53  --
798.06/200.35	c  N dy  3864   1170305        80      7120         0     75688     49840   1387344     22.96     24.20  --
827.58/207.71	c  N dy  3924   1202669        80      7120         0     62222     49840    988681     22.94     24.20  --
836.35/209.99	c  S st  3956   1210035        80      7120         0     68957     49840   1170964     22.94     20.81  --
837.54/210.25	c  S st  3956   1210538        80      7120         0     69433     49840   1184506     22.94   no data  --
837.54/210.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
837.54/210.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
837.94/210.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
837.94/210.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
837.94/210.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
837.94/210.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
837.94/210.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
921.29/231.24	c lits-rem:      3238  cl-subs:     6279  v-elim:      0  v-fix:    0  time: 83.30 s
921.29/231.24	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
921.29/231.25	c vivif2 --  cl tried    63154 cl shrink        0 lits rem          0 time: 0.05
922.89/231.63	c asymm  cl-useful: 0/786/7120 lits-rem:0 time: 1.50
922.89/231.63	c calculated reachability. Time: 0.00
922.89/231.63	c  N dy  3956   1210538        80      7120         0     63154     49840   1018633     22.94   no data  --
946.44/237.59	c  N dy  4066   1230819        80      7120         0     81800     49840   1527729     22.96     24.23  --
963.18/241.77	c  N dy  4142   1250920        80      7120         0     56637     49840    840145     22.97     24.54  --
988.70/248.18	c  N dy  4228   1276386        80      7120         0     79957     49840   1468280     22.97     24.21  --
1020.60/256.11	c  N dy  4293   1309125        80      7120         0     65147     49840   1046466     22.96     24.17  --
1045.32/262.36	c  N dy  4360   1331591        80      7120         0     85655     49840   1594369     22.95     24.25  --
1065.66/267.42	c  N dy  4441   1351683        80      7120         0     58432     49840    854908     22.96     24.37  --
1087.60/272.93	c  N dy  4538   1373007        80      7120         0     77918     49840   1383862     22.97     24.20  --
1111.93/279.03	c  N dy  4651   1393044        80      7120         0     49696     49840    602792     22.99     25.23  --
1129.49/283.44	c  N dy  4767   1414183        80      7120         0     69063     49840   1131738     23.00     24.54  --
1151.82/289.08	c  N dy  4809   1436686        80      7120         0     89655     49840   1681852     22.99     24.39  --
1174.16/294.64	c  N dy  4867   1462362        80      7120         0     65526     49840   1006812     22.98     24.28  --
1192.89/299.35	c  N dy  4920   1482443        80      7120         0     83887     49840   1501278     22.98     25.06  --
1218.03/305.62	c  N dy  5010   1505504        80      7120         0     56481     49840    749590     22.99     24.31  --
1236.77/310.37	c  N dy  5112   1525769        80      7120         0     74982     49840   1251663     23.00     24.28  --
1263.89/317.17	c  N dy  5133   1555426        80      7120         0     52694     49840    633393     22.98     24.33  --
1282.24/321.71	c  N dy  5217   1577121        80      7120         0     72539     49840   1168158     22.99     24.30  --
1320.53/331.34	c  N dy  5272   1620920        80      7120         0     62088     49840    868083     22.95     24.16  --
1342.47/336.83	c  N dy  5275   1649266        80      7120         0     87671     49840   1538275     22.92     24.15  --
1360.81/341.48	c  N dy  5276   1669886        80      7120         0     55509     49840    678004     22.90     24.17  --
1380.77/346.48	c  N dy  5385   1690848        80      7120         0     74721     49840   1200148     22.91     24.13  --
1406.29/352.81	c  S st  5501   1710538        80      7120         0     92800     49840   1695259     22.92   no data  --
1407.11/353.09	c  S st  5501   1711040        80      7120         0     93273     49840   1708595     22.92   no data  --
1407.11/353.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1407.11/353.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1407.53/353.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1407.87/353.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1407.87/353.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1407.87/353.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1407.87/353.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1747.66/438.49	c lits-rem:      5534  cl-subs:     8237  v-elim:      0  v-fix:    0  time: 339.97 s
1747.66/438.49	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1748.06/438.51	c vivif2 --  cl tried    85036 cl shrink        0 lits rem          0 time: 0.08
1749.28/438.89	c asymm  cl-useful: 0/786/7120 lits-rem:0 time: 1.54
1749.28/438.90	c calculated reachability. Time: 0.00
1749.28/438.90	c  N dy  5501   1711040        80      7120         0     85036     49840   1470037     22.92   no data  --
1782.76/447.25	c  N dy  5640   1731097        80      7120         0     51798     49840    568142     22.94     24.71  --
1801.11/451.84	c  N dy  5757   1751111        80      7120         0     70130     49840   1068659     22.95     25.27  --
1823.44/457.49	c  N dy  5840   1771206        80      7120         0     88480     49840   1567556     22.96     25.32  --
1849.77/464.06	c  N dy  5914   1791230        80      7120         0     54045     49840    610173     22.96     24.22  --
1866.12/468.16	c  N dy  5977   1811317        80      7120         0     72448     49840   1107414     22.96     24.23  --
1888.46/473.73	c  N dy  6053   1831400        80      7120         0     90817     49840   1603475     22.96     25.67  --
1918.36/481.28	c  N dy  6187   1851709        80      7120         0     55555     49840    631623     22.98     24.43  --
1938.35/486.21	c  N dy  6202   1878877        80      7120         0     80188     49840   1291004     22.96     24.17  --
1965.82/493.19	c  N dy  6327   1898945        80      7120         0     98596     49840   1793057     22.97     25.63  --
1990.99/499.47	c  N dy  6423   1918968        80      7120         0     62261     49840    800921     22.98     24.91  --
2013.29/505.02	c  N dy  6527   1940203        80      7120         0     81755     49840   1333378     22.99     24.20  --
2038.84/511.49	c  N dy  6596   1960626        80      7120         0    100400     49840   1834716     22.99     24.29  --
2065.59/518.14	c  N dy  6646   1981314        80      7120         0     63450     49840    809455     22.98     24.20  --
2086.28/523.38	c  N dy  6748   2001394        80      7120         0     81807     49840   1308631     22.99     24.24  --
2113.00/530.07	c  N dy  6847   2021455        80      7120         0    100203     49840   1810794     23.00     25.11  --
2144.55/537.94	c  N dy  6947   2042360        80      7120         0     62572     49840    771200     23.00     24.24  --
2176.01/545.88	c  N dy  7047   2073327        80      7120         0     90782     49840   1537070     23.01     24.24  --
2204.74/553.02	c  N dy  7121   2094178        80      7120         0    109824     49840   2051526     23.01     24.22  --
2227.91/558.86	c  N dy  7203   2114212        80      7120         0     70557     49840    973680     23.01     25.04  --
2248.61/564.03	c  N dy  7270   2134311        80      7120         0     88947     49840   1472826     23.01     25.69  --
2276.52/571.04	c  N dy  7334   2155918        80      7120         0    108578     49840   1993202     23.01     24.23  --
2302.49/577.51	c  N dy  7420   2176325        80      7120         0     68870     49840    917322     23.01     24.36  --
2335.55/585.89	c  N dy  7439   2211041        80      7120         0    100273     49840   1741341     22.99     20.45  --
2335.55/585.89	c  S st  7439   2211041        80      7120         0    100273     49840   1741341     22.99     20.45  --
2336.75/586.18	c  S st  7439   2211546        80      7120         0    100742     49840   1754312     22.99   no data  --
2336.75/586.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2336.75/586.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2337.17/586.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2337.17/586.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2337.17/586.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2337.17/586.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2337.17/586.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2496.66/626.20	c lits-rem:      5677  cl-subs:    10590  v-elim:      0  v-fix:    0  time: 159.11 s
2496.66/626.20	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2496.66/626.22	c vivif2 --  cl tried    90152 cl shrink        0 lits rem          0 time: 0.08
2497.86/626.57	c asymm  cl-useful: 0/673/7120 lits-rem:0 time: 1.39
2497.86/626.57	c calculated reachability. Time: 0.00
2497.86/626.57	c  N dy  7439   2211546        80      7120         0     90152     49840   1472531     22.99   no data  --
2528.57/634.25	c  N dy  7541   2232522        80      7120         0    109416     49840   1998848     23.00     24.35  --
2556.52/641.21	c  N dy  7641   2253665        80      7120         0     69931     49840    939334     23.01     24.26  --
2623.09/657.91	c  N dy  7658   2325804        80      7120         0     75344     49840   1055284     22.95     24.31  --
2648.22/664.22	c  N dy  7792   2345888        80      7120         0     93792     49840   1563250     22.96     25.40  --
2700.06/677.28	c  N dy  7873   2392848        80      7120         0     75526     49840   1036917     22.93     24.16  --
2739.15/687.00	c  N dy  7978   2426173        80      7120         0    105937     49840   1858480     22.93     24.26  --
2777.84/696.72	c  N dy  8133   2446258        80      7120         0     62567     49840    690144     22.95     25.63  --
2806.56/703.95	c  N dy  8225   2474592        80      7120         0     88325     49840   1386049     22.95     24.29  --
2838.85/712.09	c  N dy  8317   2495311        80      7120         0    107219     49840   1897332     22.95     24.18  --
2873.54/720.79	c  N dy  8378   2515340        80      7120         0    125505     49840   2393300     22.95     25.06  --
2900.66/727.54	c  N dy  8510   2535470        80      7120         0     81075     49840   1183129     22.97     24.20  --
2926.99/734.14	c  N dy  8616   2555506        80      7120         0     99442     49840   1686138     22.97     24.21  --
2960.53/742.59	c  N dy  8714   2576149        80      7120         0    118310     49840   2199519     22.98     24.20  --
2988.41/749.57	c  N dy  8766   2596200        80      7120         0     72720     49840    932356     22.98     24.29  --
3015.52/756.38	c  N dy  8874   2619521        80      7120         0     94073     49840   1513173     22.99     24.24  --
3048.62/764.69	c  N dy  9006   2639619        80      7120         0    112524     49840   2019920     23.00     24.21  --
3086.53/774.18	c  N dy  9035   2669698        80      7120         0     75096     49840    974620     22.98     24.29  --
3111.25/780.36	c  N dy  9077   2693270        80      7120         0     96571     49840   1549317     22.98     24.31  --
3138.78/787.25	c  S st  9158   2711546        80      7120         0    113201     49840   1998089     22.98     20.29  --
3140.00/787.58	c  S st  9158   2712052        80      7120         0    113673     49840   2011653     22.98   no data  --
3140.00/787.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3140.00/787.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3140.41/787.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3140.76/787.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3140.76/787.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3140.76/787.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3140.76/787.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3659.61/917.88	c lits-rem:      5387  cl-subs:    10776  v-elim:      0  v-fix:    0  time: 518.96 s
3659.61/917.88	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3660.01/917.90	c vivif2 --  cl tried   102897 cl shrink        0 lits rem          0 time: 0.10
3661.61/918.35	c asymm  cl-useful: 0/547/7120 lits-rem:0 time: 1.81
3661.61/918.36	c calculated reachability. Time: 0.00
3661.61/918.36	c  N dy  9158   2712052        80      7120         0    102897     49840   1718147     22.98   no data  --
3707.86/929.91	c  N dy  9245   2732386        80      7120         0    121465     49840   2220782     22.99     24.42  --
3750.18/940.56	c  N dy  9357   2752477        80      7120         0     74618     49840    958236     23.00     26.15  --
3783.24/948.85	c  N dy  9444   2772568        80      7120         0     92965     49840   1456400     23.00     24.24  --
3823.52/958.99	c  N dy  9552   2792593        80      7120         0    111337     49840   1958840     23.01     25.73  --
3868.20/970.15	c  N dy  9638   2812659        80      7120         0    129746     49840   2459870     23.01     26.22  --
3914.45/981.77	c  N dy  9644   2848672        80      7120         0     95744     49840   1474403     22.98     24.24  --
3952.33/991.20	c  N dy  9717   2871317        80      7120         0    116427     49840   2030244     22.98     24.20  --
3998.60/1002.80	c  N dy  9793   2891384        80      7120         0     67460     49840    728763     22.99     25.12  --
4029.31/1010.54	c  N dy  9902   2912523        80      7120         0     86748     49840   1255133     22.99     24.22  --
4062.00/1018.79	c  N dy  9953   2932613        80      7120         0    105015     49840   1745212     22.99     25.52  --
4107.06/1030.09	c  N dy 10070   2952702        80      7120         0    123398     49840   2249561     23.00     24.31  --
4157.75/1042.76	c  N dy 10143   2975832        80      7120         0     76063     49840    939962     23.00     24.26  --
4196.41/1052.42	c  N dy 10231   2997287        80      7120         0     95707     49840   1476114     23.00     24.29  --
4236.70/1062.61	c  N dy 10291   3017309        80      7120         0    114014     49840   1968862     23.00     25.24  --
4288.93/1075.60	c  N dy 10354   3040115        80      7120         0    134818     49840   2528842     23.00     24.44  --
4329.26/1085.74	c  N dy 10448   3060847        80      7120         0     84475     49840   1160391     23.01     24.34  --
4368.31/1095.58	c  N dy 10515   3083196        80      7120         0    104882     49840   1708495     23.01     24.24  --
4412.95/1106.72	c  N dy 10596   3103295        80      7120         0    123171     49840   2202967     23.01     26.21  --
4460.44/1118.64	c  N dy 10634   3123935        80      7120         0     71764     49840    797879     23.01     24.22  --
4490.33/1126.13	c  N dy 10691   3144017        80      7120         0     90057     49840   1290975     23.01     25.21  --
4526.67/1135.21	c  N dy 10752   3165036        80      7120         0    109251     49840   1807652     23.01     24.24  --
4597.99/1153.14	c  N dy 10859   3198820        80      7120         0    139935     49840   2632255     23.00     24.31  --
4620.34/1158.70	c  S st 10917   3212052        80      7120         0     80954     49840   1033070     23.01     22.58  --
4621.14/1158.98	c  S st 10917   3212557        80      7120         0     81423     49840   1046026     23.01   no data  --
4621.14/1158.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4621.14/1158.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4621.53/1159.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
4621.53/1159.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4621.53/1159.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4621.53/1159.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4621.53/1159.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4708.47/1180.80	c lits-rem:      1190  cl-subs:     2124  v-elim:      0  v-fix:    0  time: 86.66 s
4708.47/1180.80	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4708.47/1180.81	c vivif2 --  cl tried    79299 cl shrink        0 lits rem          0 time: 0.06
4709.67/1181.12	c asymm  cl-useful: 0/706/7120 lits-rem:0 time: 1.25
4709.67/1181.13	c calculated reachability. Time: 0.00
4709.67/1181.13	c  N dy 10917   3212557        80      7120         0     79299     49840    984757     23.01   no data  --
4735.20/1187.56	c  N dy 11003   3233146        80      7120         0     98140     49840   1496966     23.01     24.34  --
4767.94/1195.75	c  N dy 11117   3253151        80      7120         0    116454     49840   2000036     23.02     24.26  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.96 7.93 3/354 17219
/proc/meminfo: memFree=24257284/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 416 0 0 0 0 0 0 0 22 0 4 0 632512452 52465664 356 33554432000 4194304 4650419 140735155530608 18446744073709551615 47947570644904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 12809 356 306 112 0 7774 0
[pid=17219/tid=17223] ppid=17217 vsize=134296 CPUtime=0 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 129 0 0 0 0 0 0 0 24 0 4 0 632512452 137519104 697 33554432000 4194304 4650419 140735155530608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=134296 CPUtime=0 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 124 0 0 0 0 0 0 0 24 0 4 0 632512452 137519104 701 33554432000 4194304 4650419 140735155530608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=134296 CPUtime=0 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 56 0 0 0 0 0 0 0 23 0 4 0 632512452 137519104 704 33554432000 4194304 4650419 140735155530608 18446744073709551615 228095556078 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.068005 s]
/proc/loadavg: 7.41 7.96 7.93 3/354 17219
/proc/meminfo: memFree=24257284/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=216840 CPUtime=0.24 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 1469 0 0 0 24 0 0 0 23 0 4 0 632512452 222044160 1381 33554432000 4194304 4650419 140735155530608 18446744073709551615 4370732 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 54210 1381 366 112 0 49175 0
[pid=17219/tid=17223] ppid=17217 vsize=216840 CPUtime=0.06 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 251 0 0 0 6 0 0 0 18 0 4 0 632512452 222044160 1381 33554432000 4194304 4650419 140735155530608 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=216840 CPUtime=0.06 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 251 0 0 0 6 0 0 0 18 0 4 0 632512452 222044160 1381 33554432000 4194304 4650419 140735155530608 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=216840 CPUtime=0.05 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 306 0 0 0 5 0 0 0 24 0 4 0 632512452 222044160 1381 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 216840

[startup+0.100999 s]
/proc/loadavg: 7.41 7.96 7.93 3/354 17219
/proc/meminfo: memFree=24257284/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=216996 CPUtime=0.37 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 1531 0 0 0 37 0 0 0 23 0 4 0 632512452 222203904 1443 33554432000 4194304 4650419 140735155530608 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 54249 1443 366 112 0 49214 0
[pid=17219/tid=17223] ppid=17217 vsize=216996 CPUtime=0.09 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 252 0 0 0 9 0 0 0 18 0 4 0 632512452 222203904 1443 33554432000 4194304 4650419 140735155530608 18446744073709551615 4370596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=216996 CPUtime=0.09 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 256 0 0 0 9 0 0 0 18 0 4 0 632512452 222203904 1443 33554432000 4194304 4650419 140735155530608 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=216996 CPUtime=0.08 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 358 0 0 0 8 0 0 0 24 0 4 0 632512452 222203904 1443 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 216996

[startup+0.300964 s]
/proc/loadavg: 7.41 7.96 7.93 3/354 17219
/proc/meminfo: memFree=24257284/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=220692 CPUtime=1.17 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 3848 0 0 0 116 1 0 0 18 0 4 0 632512452 225988608 3274 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 55173 3274 390 112 0 50138 0
[pid=17219/tid=17223] ppid=17217 vsize=220692 CPUtime=0.29 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 914 0 0 0 29 0 0 0 18 0 4 0 632512452 225988608 3274 33554432000 4194304 4650419 140735155530608 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=220692 CPUtime=0.28 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 910 0 0 0 28 0 0 0 18 0 4 0 632512452 225988608 3274 33554432000 4194304 4650419 140735155530608 18446744073709551615 4314985 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=220692 CPUtime=0.28 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 760 0 0 0 28 0 0 0 25 0 4 0 632512452 225988608 3274 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220692

[startup+0.70089 s]
/proc/loadavg: 7.41 7.96 7.93 3/354 17219
/proc/meminfo: memFree=24257284/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=222524 CPUtime=2.76 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 6278 0 0 0 275 1 0 0 18 0 4 0 632512452 227864576 3914 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 55631 3914 390 112 0 50596 0
[pid=17219/tid=17223] ppid=17217 vsize=222524 CPUtime=0.69 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 1574 0 0 0 69 0 0 0 18 0 4 0 632512452 227864576 3914 33554432000 4194304 4650419 140735155530608 18446744073709551615 4311045 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=222524 CPUtime=0.68 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 1581 0 0 0 68 0 0 0 18 0 4 0 632512452 227864576 3914 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=222524 CPUtime=0.68 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 1197 0 0 0 68 0 0 0 25 0 4 0 632512452 227864576 3914 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 222524

[startup+1.50074 s]
/proc/loadavg: 7.41 7.96 7.93 11/362 17227
/proc/meminfo: memFree=24224980/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=224176 CPUtime=5.95 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 10069 0 0 0 593 2 0 0 19 0 4 0 632512452 229556224 4681 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 56044 4681 391 112 0 51009 0
[pid=17219/tid=17223] ppid=17217 vsize=224176 CPUtime=1.49 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 2566 0 0 0 149 0 0 0 19 0 4 0 632512452 229556224 4681 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=224176 CPUtime=1.48 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 2562 0 0 0 148 0 0 0 19 0 4 0 632512452 229556224 4681 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=224176 CPUtime=1.46 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 2064 0 0 0 146 0 0 0 25 0 4 0 632512452 229556224 4681 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 224176

[startup+3.10045 s]
/proc/loadavg: 7.46 7.96 7.93 9/362 17227
/proc/meminfo: memFree=24199440/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=229796 CPUtime=12.34 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 19169 0 0 0 1231 3 0 0 24 0 4 0 632512452 235311104 11395 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 57449 11395 392 112 0 52414 0
[pid=17219/tid=17223] ppid=17217 vsize=229796 CPUtime=3.08 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 4222 0 0 0 308 0 0 0 24 0 4 0 632512452 235311104 11395 33554432000 4194304 4650419 140735155530608 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=229796 CPUtime=3.09 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 5174 0 0 0 308 1 0 0 24 0 4 0 632512452 235311104 11395 33554432000 4194304 4650419 140735155530608 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=229796 CPUtime=3.05 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 5224 0 0 0 305 0 0 0 25 0 4 0 632512452 235311104 11395 33554432000 4194304 4650419 140735155530608 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 229796

[startup+6.30086 s]
/proc/loadavg: 7.46 7.96 7.93 9/362 17227
/proc/meminfo: memFree=24146660/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=230336 CPUtime=25.1 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 28264 0 0 0 2505 5 0 0 25 0 4 0 632512452 235864064 14322 33554432000 4194304 4650419 140735155530608 18446744073709551615 4313051 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 57584 14322 392 112 0 52549 0
[pid=17219/tid=17223] ppid=17217 vsize=230336 CPUtime=6.29 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 7550 0 0 0 628 1 0 0 25 0 4 0 632512452 235864064 14322 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=230336 CPUtime=6.28 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 7012 0 0 0 627 1 0 0 25 0 4 0 632512452 235864064 14322 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=230336 CPUtime=6.22 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 7253 0 0 0 621 1 0 0 25 0 4 0 632512452 235864064 14322 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 230336

[startup+12.7007 s]
/proc/loadavg: 7.54 7.96 7.93 9/362 17227
/proc/meminfo: memFree=24099932/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=258840 CPUtime=50.62 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 40827 0 0 0 5054 8 0 0 25 0 4 0 632512452 265052160 20369 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 64710 20369 392 112 0 59675 0
[pid=17219/tid=17223] ppid=17217 vsize=258840 CPUtime=12.69 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 8951 0 0 0 1268 1 0 0 25 0 4 0 632512452 265052160 20369 33554432000 4194304 4650419 140735155530608 18446744073709551615 4416663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=258840 CPUtime=12.68 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 11003 0 0 0 1266 2 0 0 25 0 4 0 632512452 265052160 20369 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=258840 CPUtime=12.54 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 11251 0 0 0 1252 2 0 0 25 0 4 0 632512452 265052160 20369 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 258840

[startup+25.5003 s]
/proc/loadavg: 7.61 7.96 7.93 9/362 17228
/proc/meminfo: memFree=24053064/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=233248 CPUtime=101.67 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 65100 0 0 0 10153 14 0 0 25 0 4 0 632512452 238845952 25476 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 58312 25476 392 112 0 53277 0
[pid=17219/tid=17223] ppid=17217 vsize=233248 CPUtime=25.49 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 15133 0 0 0 2547 2 0 0 25 0 4 0 632512452 238845952 25476 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=233248 CPUtime=25.47 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 16880 0 0 0 2543 4 0 0 25 0 4 0 632512452 238845952 25476 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=233248 CPUtime=25.2 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 17257 0 0 0 2516 4 0 0 25 0 4 0 632512452 238845952 25476 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 233248

[startup+51.1006 s]
/proc/loadavg: 7.82 7.98 7.93 9/362 17228
/proc/meminfo: memFree=24014316/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=273460 CPUtime=203.77 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 92262 0 0 0 20356 21 0 0 25 0 4 0 632512452 280023040 32380 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 68365 32380 392 112 0 63330 0
[pid=17219/tid=17223] ppid=17217 vsize=273460 CPUtime=51.09 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 21737 0 0 0 5105 4 0 0 25 0 4 0 632512452 280023040 32380 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=273460 CPUtime=51.07 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 25248 0 0 0 5101 6 0 0 25 0 4 0 632512452 280023040 32380 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=273460 CPUtime=50.51 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 23776 0 0 0 5046 5 0 0 25 0 4 0 632512452 280023040 32380 33554432000 4194304 4650419 140735155530608 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.77
Current children cumulated vsize (KiB) 273460

[startup+102.314 s]
/proc/loadavg: 7.98 8.00 7.94 9/362 17230
/proc/meminfo: memFree=23947828/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=305232 CPUtime=408.04 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 132673 0 0 0 40771 33 0 0 25 0 4 0 632512452 312557568 41512 33554432000 4194304 4650419 140735155530608 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 76308 41512 392 112 0 71273 0
[pid=17219/tid=17223] ppid=17217 vsize=305232 CPUtime=102.31 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 27029 0 0 0 10225 6 0 0 25 0 4 0 632512452 312557568 41512 33554432000 4194304 4650419 140735155530608 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=305232 CPUtime=102.27 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 37567 0 0 0 10218 9 0 0 25 0 4 0 632512452 312557568 41512 33554432000 4194304 4650419 140735155530608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=305232 CPUtime=101.14 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 32262 0 0 0 10106 8 0 0 25 0 4 0 632512452 312557568 41512 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 305232

[startup+162.301 s]

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

[pid=17219] ppid=17217 vsize=432872 CPUtime=2560.91 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 401104 0 0 0 255956 135 0 0 25 0 4 0 632512452 443260928 72611 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 108218 72611 392 112 0 103183 0
[pid=17219/tid=17223] ppid=17217 vsize=432872 CPUtime=641.66 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 73451 0 0 0 64140 26 0 0 25 0 4 0 632512452 443260928 72614 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=432872 CPUtime=642.19 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 113477 0 0 0 64177 42 0 0 25 0 4 0 632512452 443260928 72614 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=432872 CPUtime=634.75 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 103857 0 0 0 63440 35 0 0 25 0 4 0 632512452 443260928 72614 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.91
Current children cumulated vsize (KiB) 432872

[startup+702.301 s]
/proc/loadavg: 8.09 8.09 8.01 9/362 17249
/proc/meminfo: memFree=23615696/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=432968 CPUtime=2800.16 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 421318 0 0 0 279873 143 0 0 25 0 4 0 632512452 443359232 78590 33554432000 4194304 4650419 140735155530608 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 108242 78590 392 112 0 103207 0
[pid=17219/tid=17223] ppid=17217 vsize=432968 CPUtime=701.65 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 79887 0 0 0 70137 28 0 0 25 0 4 0 632512452 443359232 78590 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=432968 CPUtime=702.16 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 117931 0 0 0 70172 44 0 0 25 0 4 0 632512452 443359232 78590 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=432968 CPUtime=694.03 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 107362 0 0 0 69367 36 0 0 25 0 4 0 632512452 443359232 78590 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.16
Current children cumulated vsize (KiB) 432968

[startup+762.314 s]
/proc/loadavg: 8.12 8.10 8.01 9/362 17250
/proc/meminfo: memFree=23602168/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=433096 CPUtime=3039.51 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 434882 0 0 0 303801 150 0 0 25 0 4 0 632512452 443490304 79622 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 108274 79622 392 112 0 103239 0
[pid=17219/tid=17223] ppid=17217 vsize=433096 CPUtime=761.66 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 83219 0 0 0 76136 30 0 0 25 0 4 0 632512452 443490304 79622 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=433096 CPUtime=762.16 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 121129 0 0 0 76172 44 0 0 25 0 4 0 632512452 443490304 79622 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=433096 CPUtime=753.35 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 110809 0 0 0 75297 38 0 0 25 0 4 0 632512452 443490304 79622 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.51
Current children cumulated vsize (KiB) 433096

[startup+822.301 s]
/proc/loadavg: 8.14 8.11 8.02 9/362 17252
/proc/meminfo: memFree=23591360/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=433180 CPUtime=3278.75 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 450334 0 0 0 327718 157 0 0 25 0 4 0 632512452 443576320 79105 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 108295 79105 392 112 0 103260 0
[pid=17219/tid=17223] ppid=17217 vsize=433180 CPUtime=821.66 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 88195 0 0 0 82133 33 0 0 25 0 4 0 632512452 443576320 79105 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=433180 CPUtime=822.15 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 125264 0 0 0 82169 46 0 0 25 0 4 0 632512452 443576320 79105 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=433180 CPUtime=812.64 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 114078 0 0 0 81224 40 0 0 25 0 4 0 632512452 443576320 79105 33554432000 4194304 4650419 140735155530608 18446744073709551615 4341291 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.75
Current children cumulated vsize (KiB) 433180

[startup+882.301 s]
/proc/loadavg: 8.20 8.13 8.03 9/362 17254
/proc/meminfo: memFree=23575728/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=446392 CPUtime=3518.02 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 476557 0 0 0 351638 164 0 0 25 0 4 0 632512452 457105408 81897 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 111598 81897 392 112 0 106563 0
[pid=17219/tid=17223] ppid=17217 vsize=446392 CPUtime=881.65 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 91603 0 0 0 88131 34 0 0 25 0 4 0 632512452 457105408 81897 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=446392 CPUtime=882.12 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 128283 0 0 0 88165 47 0 0 25 0 4 0 632512452 457105408 81897 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=446392 CPUtime=871.93 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 119987 0 0 0 87150 43 0 0 25 0 4 0 632512452 457105408 81897 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.02
Current children cumulated vsize (KiB) 446392

[startup+942.301 s]
/proc/loadavg: 8.26 8.15 8.04 9/362 17255
/proc/meminfo: memFree=23562948/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=512888 CPUtime=3757.31 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 497427 0 0 0 375562 169 0 0 25 0 4 0 632512452 525197312 87117 33554432000 4194304 4650419 140735155530608 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 128222 87117 392 112 0 123187 0
[pid=17219/tid=17223] ppid=17217 vsize=512888 CPUtime=941.66 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 95079 0 0 0 94130 36 0 0 25 0 4 0 632512452 525197312 87117 33554432000 4194304 4650419 140735155530608 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=512888 CPUtime=942.12 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 130175 0 0 0 94164 48 0 0 25 0 4 0 632512452 525197312 87117 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=512888 CPUtime=931.23 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 125297 0 0 0 93079 44 0 0 25 0 4 0 632512452 525197312 87117 33554432000 4194304 4650419 140735155530608 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.31
Current children cumulated vsize (KiB) 512888

[startup+1002.3 s]
/proc/loadavg: 8.09 8.12 8.03 9/362 17257
/proc/meminfo: memFree=23521884/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=512960 CPUtime=3996.6 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 511483 0 0 0 399485 175 0 0 25 0 4 0 632512452 525271040 92663 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 128240 92663 392 112 0 123205 0
[pid=17219/tid=17223] ppid=17217 vsize=512960 CPUtime=1001.66 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 95079 0 0 0 100130 36 0 0 25 0 4 0 632512452 525271040 92663 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=512960 CPUtime=1002.11 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 134971 0 0 0 100161 50 0 0 25 0 4 0 632512452 525271040 92663 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=512960 CPUtime=990.51 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 130030 0 0 0 99006 45 0 0 25 0 4 0 632512452 525271040 92663 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.6
Current children cumulated vsize (KiB) 512960

[startup+1062.3 s]
/proc/loadavg: 8.03 8.10 8.03 9/362 17258
/proc/meminfo: memFree=23514172/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=513024 CPUtime=4235.88 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 522986 0 0 0 423409 179 0 0 25 0 4 0 632512452 525336576 94309 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 128256 94309 392 112 0 123221 0
[pid=17219/tid=17223] ppid=17217 vsize=513024 CPUtime=1061.66 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 95079 0 0 0 106130 36 0 0 25 0 4 0 632512452 525336576 94309 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=513024 CPUtime=1062.1 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 140605 0 0 0 106158 52 0 0 25 0 4 0 632512452 525336576 94309 33554432000 4194304 4650419 140735155530608 18446744073709551615 4420256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=513024 CPUtime=1049.81 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 133513 0 0 0 104935 46 0 0 25 0 4 0 632512452 525336576 94309 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476491 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.88
Current children cumulated vsize (KiB) 513024

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/362 17260
/proc/meminfo: memFree=23526552/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=513024 CPUtime=4475.16 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 531301 0 0 0 447332 184 0 0 25 0 4 0 632512452 525336576 91678 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 128256 91678 392 112 0 123221 0
[pid=17219/tid=17223] ppid=17217 vsize=513024 CPUtime=1121.66 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 95079 0 0 0 112130 36 0 0 25 0 4 0 632512452 525336576 91678 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=513024 CPUtime=1122.09 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 143791 0 0 0 112156 53 0 0 25 0 4 0 632512452 525336576 91678 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=513024 CPUtime=1109.1 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 134799 0 0 0 110864 46 0 0 25 0 4 0 632512452 525336576 91678 33554432000 4194304 4650419 140735155530608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.16
Current children cumulated vsize (KiB) 513024

[startup+1182.3 s]
/proc/loadavg: 8.04 8.08 8.02 9/362 17262
/proc/meminfo: memFree=23520948/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=513096 CPUtime=4714.45 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 538235 0 0 0 471259 186 0 0 25 0 4 0 632512452 525410304 92571 33554432000 4194304 4650419 140735155530608 18446744073709551615 4363294 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 128274 92571 392 112 0 123239 0
[pid=17219/tid=17223] ppid=17217 vsize=513096 CPUtime=1181.67 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 96175 0 0 0 118130 37 0 0 25 0 4 0 632512452 525410304 92571 33554432000 4194304 4650419 140735155530608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=513096 CPUtime=1182.09 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 145483 0 0 0 118155 54 0 0 25 0 4 0 632512452 525410304 92571 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=513096 CPUtime=1168.4 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 137528 0 0 0 116793 47 0 0 25 0 4 0 632512452 525410304 92571 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.45
Current children cumulated vsize (KiB) 513096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.10 8.09 8.03 5/357 17263
/proc/meminfo: memFree=23871160/32951124 swapFree=65980216/67111528
[pid=17219] ppid=17217 vsize=513076 CPUtime=4800.21 cores=0,2,4,6
/proc/17219/stat : 17219 (strangenight1-m) R 17217 17219 16886 0 -1 4202496 544652 0 0 0 479831 190 0 0 25 0 4 0 632512452 525389824 95529 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17219/statm: 128269 95530 392 112 0 123234 0
[pid=17219/tid=17223] ppid=17217 vsize=513076 CPUtime=1203.18 cores=0,2,4,6
/proc/17219/task/17223/stat : 17223 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 98678 0 0 0 120280 38 0 0 25 0 4 0 632512452 525389824 95531 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17219/tid=17224] ppid=17217 vsize=513076 CPUtime=1203.59 cores=0,2,4,6
/proc/17219/task/17224/stat : 17224 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 146561 0 0 0 120305 54 0 0 25 0 4 0 632512452 525389824 95531 33554432000 4194304 4650419 140735155530608 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17219/tid=17225] ppid=17217 vsize=513076 CPUtime=1189.65 cores=0,2,4,6
/proc/17219/task/17225/stat : 17225 (strangenight1-m) R 17217 17219 16886 0 -1 4202560 138884 0 0 0 118917 48 0 0 25 0 4 0 632512452 525389824 95531 33554432000 4194304 4650419 140735155530608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 513076

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.84
CPU time (s): 4800.28
CPU user time (s): 4798.36
CPU system time (s): 1.92471
CPU usage (%): 398.748
Max. virtual memory (cumulated for all children) (KiB): 579436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.36
system time used= 1.92471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544654
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= 500
involuntary context switches= 36765

runsolver used 4.01339 second user time and 10.0445 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 21:22:50
IDJOB=3368698
IDBENCH=82707
IDSOLVER=1846
FILE ID=node142/3368698-1305400970
RUNJOBID= node142-1305400970-17200
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-v80-c7120-S1147977026-087.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368698-1305400970/watcher-3368698-1305400970 -o /tmp/evaluation-result-3368698-1305400970/solver-3368698-1305400970 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368698-1305400970.cnf

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

MD5SUM BENCH= c0af45ae07be0ad78c796952c610fc60
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:      24257456 kB
Buffers:        312844 kB
Cached:        3836108 kB
SwapCached:      11520 kB
Active:        6039628 kB
Inactive:      2321596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24257456 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= 73440 MiB
End job on node142 at 2011-05-14 21:42:56