Trace number 3175089

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.28 1201.73

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.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-3175089-1304084161.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.40/0.16	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.63
0.40/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.40/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.40/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.40/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.40/0.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/0.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
0.40/0.19	c Finding binary XORs  T:     0.00 s  found:       0
0.40/0.19	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.40/0.19	c calculated reachability. Time: 0.00
0.40/0.19	c Calc default polars -  time:   0.00 s pos:      39 undec:       2 neg:      39
0.40/0.19	c =========================================================================================
0.40/0.19	c types(t): F = full restart, N = normal restart
0.40/0.19	c types(t): S = simplification begin/end, E = solution found
0.40/0.19	c restart types(rt): st = static, dy = dynamic
0.40/0.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.40/0.19	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
1.17/0.37	c  N dy     9      5663        80      7120         0      2895     49840     68813     23.14     24.36  --
1.97/0.52	c  N dy    16      9690        80      7120         0      6591     49840    168040     23.02     24.93  --
2.77/0.71	c  N dy    24     14639        80      7120         0      7216     49840    171612     22.95     24.23  --
3.56/0.93	c  N dy    39     18661        80      7120         0      5765     49840    118654     22.98     25.27  --
4.77/1.23	c  N dy    56     24890        80      7120         0     11459     49840    271666     22.96     24.18  --
4.77/1.24	c  F st    57     25000        80      7120         0     11558     49840    274239     22.96     22.94  --
5.56/1.47	c  N dy    63     30001        80      7120         0      9881     49840    215836     22.96   no data  --
5.56/1.47	c  S st    63     30001        80      7120         0      9881     49840    215836     22.96   no data  --
5.96/1.50	c  S st    63     30508        80      7120         0     10360     49840    228897     22.96   no data  --
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.61	c lits-rem:      1463  cl-subs:      805  v-elim:      0  v-fix:    0  time:  4.38 s
11.56/2.93	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.29
11.56/2.94	c calculated reachability. Time: 0.00
11.56/2.94	c  N dy    63     30508        80      7120         0      9555     49840    204217     22.96   no data  --
12.76/3.21	c  N dy    73     35694        80      7120         0     14331     49840    332477     22.94     24.18  --
13.55/3.45	c  N dy    90     40559        80      7120         0     11602     49840    244441     22.95     24.24  --
14.75/3.72	c  N dy    94     45247        80      7120         0     15873     49840    358429     22.88     24.09  --
14.75/3.75	c  S st    95     45762        80      7120         0     16346     49840    370930     22.88     22.55  --
14.75/3.79	c  S st    95     46266        80      7120         0      8629     49840    150817     22.88   no data  --
14.75/3.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.75/3.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.15/3.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.15/3.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.34/4.62	c lits-rem:       200  cl-subs:       38  v-elim:      0  v-fix:    0  time:  3.25 s
18.34/4.62	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.34/4.62	c vivif2 --  cl tried     8591 cl shrink        0 lits rem          0 time: 0.00
19.14/4.89	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.10
19.14/4.89	c calculated reachability. Time: 0.00
19.14/4.89	c  N dy    95     46266        80      7120         0      8591     49840    149332     22.88   no data  --
20.35/5.19	c  N dy   118     51569        80      7120         0     13461     49840    281370     22.97     24.26  --
21.55/5.46	c  N dy   139     55671        80      7120         0     17247     49840    384640     23.06     25.21  --
22.73/5.75	c  N dy   143     60779        80      7120         0     12771     49840    246050     23.00     24.24  --
23.94/6.04	c  N dy   151     65901        80      7120         0     17422     49840    368721     22.95     24.23  --
25.14/6.31	c  S st   167     69400        80      7120         0     10579     49840    173206     22.98   no data  --
25.14/6.34	c  S st   167     69901        80      7120         0     11049     49840    186239     22.98   no data  --
25.14/6.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.14/6.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.14/6.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
25.14/6.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.14/6.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.14/6.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.14/6.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.13/7.31	c lits-rem:       321  cl-subs:      141  v-elim:      0  v-fix:    0  time:  3.82 s
29.13/7.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.13/7.31	c vivif2 --  cl tried    10908 cl shrink        0 lits rem          0 time: 0.01
30.34/7.66	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.37
30.34/7.66	c calculated reachability. Time: 0.00
30.34/7.66	c  N dy   167     69901        80      7120         0     10908     49840    181627     22.98   no data  --
32.73/8.25	c  N dy   179     79233        80      7120         0     19439     49840    407531     22.81     24.06  --
34.74/8.72	c  N dy   207     85499        80      7120         0     14229     49840    257839     22.86     24.12  --
35.15/8.87	c  F st   223     87501        80      7120         0     16063     49840    307992     22.90   no data  --
36.72/9.25	c  N dy   229     92696        80      7120         0     20866     49840    440653     22.90   no data  --
38.72/9.76	c  N dy   259     98928        80      7120         0     14646     49840    253991     22.97     24.21  --
40.31/10.17	c  S st   272    104851        80      7120         0     20054     49840    398524     22.96     21.37  --
40.71/10.23	c  S st   272    105353        80      7120         0     20519     49840    411264     22.96   no data  --
40.71/10.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.71/10.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.71/10.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.71/10.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.71/10.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.71/10.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.71/10.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.92/12.03	c lits-rem:      1891  cl-subs:     1679  v-elim:      0  v-fix:    0  time:  7.11 s
47.92/12.03	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.92/12.04	c vivif2 --  cl tried    18840 cl shrink        0 lits rem          0 time: 0.02
49.50/12.43	c asymm  cl-useful: 0/5198/7120 lits-rem:0 time: 1.58
49.50/12.43	c calculated reachability. Time: 0.00
49.50/12.43	c  N dy   272    105353        80      7120         0     18840     49840    362047     22.96   no data  --
52.31/13.18	c  N dy   275    113423        80      7120         0     13443     49840    205934     22.86     24.07  --
54.30/13.67	c  N dy   303    120700        80      7120         0     20131     49840    386604     22.89     25.17  --
57.89/14.57	c  N dy   339    131807        80      7120         0     16550     49840    275183     22.89     24.16  --
61.88/15.57	c  N dy   363    144739        80      7120         0     28401     49840    589110     22.83     24.13  --
66.28/16.61	c  N dy   404    158029        80      7120         0     25966     49840    510012     22.81     22.92  --
66.28/16.61	c  S st   404    158029        80      7120         0     25966     49840    510012     22.81     22.92  --
66.28/16.68	c  S st   404    158535        80      7120         0     26438     49840    522883     22.81   no data  --
66.28/16.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.28/16.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.28/16.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
66.68/16.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.68/16.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
66.68/16.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
66.68/16.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.87/19.09	c lits-rem:      1978  cl-subs:     2365  v-elim:      0  v-fix:    0  time:  9.48 s
75.87/19.09	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.87/19.09	c vivif2 --  cl tried    24073 cl shrink        0 lits rem          0 time: 0.02
77.07/19.32	c asymm  cl-useful: 0/1815/7120 lits-rem:0 time: 0.94
77.07/19.33	c calculated reachability. Time: 0.00
77.07/19.33	c  N dy   404    158535        80      7120         0     24073     49840    456687     22.81   no data  --
82.66/20.79	c  N dy   443    175635        80      7120         0     24255     49840    450942     22.80     24.13  --
87.05/21.88	c  N dy   474    186989        80      7120         0     18210     49840    276091     22.79     24.05  --
91.85/23.04	c  N dy   523    199830        80      7120         0     29987     49840    591170     22.81     24.03  --
102.23/25.65	c  N dy   539    227994        80      7120         0     19976     49840    291033     22.56     23.80  --
105.82/26.56	c  S st   608    237802        80      7120         0     29029     49840    536043     22.63   no data  --
106.22/26.64	c  S st   608    238310        80      7120         0     29514     49840    549564     22.63   no data  --
106.22/26.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
106.22/26.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.22/26.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
106.22/26.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.22/26.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.22/26.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
106.22/26.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.61/29.21	c lits-rem:      2062  cl-subs:     2013  v-elim:      0  v-fix:    0  time: 10.15 s
116.61/29.21	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
116.61/29.22	c vivif2 --  cl tried    27501 cl shrink        0 lits rem          0 time: 0.02
117.41/29.44	c asymm  cl-useful: 0/2143/7120 lits-rem:0 time: 0.88
117.41/29.44	c calculated reachability. Time: 0.00
117.41/29.44	c  N dy   608    238310        80      7120         0     27501     49840    490929     22.63   no data  --
123.80/31.09	c  N dy   667    253521        80      7120         0     22295     49840    339038     22.66     23.95  --
131.40/33.00	c  N dy   708    272939        80      7120         0     40063     49840    810204     22.65     23.89  --
139.79/35.08	c  N dy   800    292833        80      7120         0     38240     49840    751254     22.70     23.93  --
145.77/36.59	c  F st   868    306251        80      7120         0     29513     49840    501133     22.74     22.40  --
148.17/37.12	c  N dy   875    311545        80      7120         0     34395     49840    632479     22.74     24.88  --
157.77/39.57	c  N dy   954    333309        80      7120         0     32343     49840    562490     22.76     24.06  --
168.15/42.13	c  N dy  1058    353349        80      7120         0     27826     49840    426114     22.81     26.71  --
169.75/42.59	c  S st  1076    357465        80      7120         0     31568     49840    526426     22.82     22.89  --
170.15/42.67	c  S st  1076    357970        80      7120         0     32033     49840    539461     22.82   no data  --
170.15/42.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
170.15/42.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
170.15/42.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
170.15/42.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
170.15/42.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
170.15/42.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
170.15/42.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.33/45.47	c lits-rem:      2025  cl-subs:     1641  v-elim:      0  v-fix:    0  time: 11.09 s
181.33/45.47	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
181.33/45.48	c vivif2 --  cl tried    30392 cl shrink        0 lits rem          0 time: 0.02
182.53/45.73	c asymm  cl-useful: 0/1627/7120 lits-rem:0 time: 1.00
182.53/45.73	c calculated reachability. Time: 0.00
182.53/45.73	c  N dy  1076    357970        80      7120         0     30392     49840    490139     22.82   no data  --
196.91/49.35	c  N dy  1156    379632        80      7120         0     26464     49840    372052     22.85     24.09  --
209.69/52.58	c  N dy  1224    402576        80      7120         0     47478     49840    932785     22.84     24.09  --
219.69/55.02	c  N dy  1292    422917        80      7120         0     41435     49840    757176     22.85     24.09  --
229.26/57.41	c  N dy  1331    442960        80      7120         0     34184     49840    546899     22.84     25.29  --
240.45/60.25	c  N dy  1395    462982        80      7120         0     52533     49840   1037164     22.85     26.19  --
256.82/64.33	c  N dy  1483    494509        80      7120         0     54724     49840   1079637     22.84     24.15  --
268.41/67.27	c  N dy  1513    520063        80      7120         0     50575     49840    952172     22.79     24.02  --
277.98/69.68	c  S st  1567    536956        80      7120         0     37742     49840    599297     22.80     22.67  --
278.38/69.78	c  S st  1567    537459        80      7120         0     38216     49840    611916     22.80   no data  --
278.38/69.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
278.38/69.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
278.38/69.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
278.78/69.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
278.78/69.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
278.78/69.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
278.78/69.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
290.37/72.74	c lits-rem:       840  cl-subs:     1995  v-elim:      0  v-fix:    0  time: 11.70 s
290.37/72.74	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
290.37/72.75	c vivif2 --  cl tried    36221 cl shrink        0 lits rem          0 time: 0.02
291.17/72.96	c asymm  cl-useful: 0/1380/7120 lits-rem:0 time: 0.85
291.17/72.96	c calculated reachability. Time: 0.00
291.17/72.96	c  N dy  1567    537459        80      7120         0     36221     49840    555606     22.80   no data  --
302.77/75.83	c  N dy  1608    557675        80      7120         0     54706     49840   1050903     22.80     24.09  --
314.34/78.71	c  N dy  1683    577726        80      7120         0     43857     49840    744569     22.82     24.03  --
327.13/81.96	c  N dy  1735    597729        80      7120         0     32031     49840    411439     22.81     24.68  --
337.92/84.65	c  N dy  1766    618619        80      7120         0     51098     49840    913913     22.79     23.99  --
351.51/88.03	c  N dy  1831    639956        80      7120         0     39586     49840    596509     22.79     24.03  --
366.27/91.78	c  N dy  1945    660016        80      7120         0     58040     49840   1097952     22.83     24.08  --
380.65/95.38	c  N dy  2051    680047        80      7120         0     44276     49840    709778     22.85     24.68  --
396.23/99.21	c  N dy  2153    700162        80      7120         0     62777     49840   1211445     22.88     24.34  --
409.41/102.59	c  N dy  2226    721177        80      7120         0     49064     49840    822266     22.90     24.22  --
427.39/107.03	c  N dy  2307    742049        80      7120         0     34229     49840    405377     22.90     24.17  --
438.57/109.87	c  N dy  2367    762436        80      7120         0     52950     49840    908352     22.90     24.23  --
454.55/113.84	c  N dy  2455    782510        80      7120         0     36536     49840    451939     22.91     24.95  --
465.76/116.69	c  N dy  2517    803154        80      7120         0     55419     49840    956805     22.91     24.20  --
468.53/117.32	c  S st  2538    806188        80      7120         0     58212     49840   1033664     22.91   no data  --
468.93/117.47	c  S st  2538    806690        80      7120         0     58681     49840   1046660     22.91   no data  --
468.93/117.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
468.93/117.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.33/117.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
469.33/117.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.33/117.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.33/117.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
469.33/117.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
512.07/128.27	c lits-rem:      2140  cl-subs:     4726  v-elim:      0  v-fix:    0  time: 42.88 s
512.07/128.28	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
512.07/128.29	c vivif2 --  cl tried    53955 cl shrink        0 lits rem          0 time: 0.04
513.27/128.57	c asymm  cl-useful: 0/918/7120 lits-rem:0 time: 1.13
513.27/128.57	c calculated reachability. Time: 0.00
513.27/128.57	c  N dy  2538    806690        80      7120         0     53955     49840    913552     22.91   no data  --
530.44/132.85	c  N dy  2652    826788        80      7120         0     36833     49840    446536     22.93     25.67  --
544.85/136.47	c  N dy  2787    848573        80      7120         0     56836     49840    992769     22.97     24.29  --
561.21/140.51	c  N dy  2839    868984        80      7120         0     38936     49840    485922     22.97     24.18  --
573.99/143.78	c  N dy  2927    889056        80      7120         0     57366     49840    985902     22.98     24.19  --
593.55/148.62	c  N dy  3035    909146        80      7120         0     38263     49840    450489     23.00     24.23  --
605.96/151.72	c  N dy  3069    929918        80      7120         0     57086     49840    943838     22.97     24.29  --
621.12/155.53	c  N dy  3113    949953        80      7120         0     75401     49840   1433894     22.96     24.68  --
635.50/159.17	c  N dy  3215    970754        80      7120         0     56101     49840    918735     22.98     24.27  --
653.08/163.56	c  N dy  3292    990769        80      7120         0     74407     49840   1414645     22.98     24.64  --
669.46/167.63	c  N dy  3326   1015453        80      7120         0     57458     49840    925554     22.96     24.17  --
685.84/171.72	c  N dy  3382   1035536        80      7120         0     75859     49840   1416562     22.95     24.22  --
701.82/175.78	c  N dy  3496   1055543        80      7120         0     54070     49840    831268     22.97     25.46  --
713.80/178.75	c  F st  3530   1071877        80      7120         0     68958     49840   1228491     22.96     22.10  --
717.80/179.79	c  N dy  3536   1077069        80      7120         0     73725     49840   1360254     22.96   no data  --
733.80/183.76	c  N dy  3605   1097095        80      7120         0     50899     49840    728522     22.96     25.05  --
760.54/190.47	c  N dy  3650   1130198        80      7120         0     80862     49840   1513791     22.93     24.14  --
777.74/194.77	c  N dy  3786   1150282        80      7120         0     57356     49840    893801     22.95     24.53  --
799.29/200.17	c  N dy  3864   1170305        80      7120         0     75688     49840   1387344     22.96     24.20  --
829.24/207.69	c  N dy  3924   1202669        80      7120         0     62222     49840    988681     22.94     24.20  --
838.44/209.91	c  S st  3956   1210035        80      7120         0     68957     49840   1170964     22.94     20.81  --
839.25/210.15	c  S st  3956   1210538        80      7120         0     69433     49840   1184506     22.94   no data  --
839.25/210.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
839.25/210.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
839.63/210.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.17
839.63/210.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
839.63/210.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
839.63/210.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
839.63/210.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
920.72/230.53	c lits-rem:      3238  cl-subs:     6279  v-elim:      0  v-fix:    0  time: 81.06 s
920.72/230.53	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
920.72/230.55	c vivif2 --  cl tried    63154 cl shrink        0 lits rem          0 time: 0.05
922.33/230.92	c asymm  cl-useful: 0/786/7120 lits-rem:0 time: 1.49
922.33/230.92	c calculated reachability. Time: 0.00
922.33/230.92	c  N dy  3956   1210538        80      7120         0     63154     49840   1018633     22.94   no data  --
945.49/236.74	c  N dy  4066   1230819        80      7120         0     81800     49840   1527729     22.96     24.23  --
961.87/240.88	c  N dy  4142   1250920        80      7120         0     56637     49840    840145     22.97     24.54  --
985.83/246.84	c  N dy  4228   1276386        80      7120         0     79957     49840   1468280     22.97     24.21  --
1017.39/254.70	c  N dy  4293   1309125        80      7120         0     65147     49840   1046466     22.96     24.17  --
1042.15/260.90	c  N dy  4360   1331591        80      7120         0     85655     49840   1594369     22.95     24.25  --
1062.13/265.96	c  N dy  4441   1351683        80      7120         0     58432     49840    854908     22.96     24.37  --
1084.91/271.64	c  N dy  4538   1373007        80      7120         0     77918     49840   1383862     22.97     24.20  --
1110.46/278.01	c  N dy  4651   1393044        80      7120         0     49696     49840    602792     22.99     25.23  --
1127.64/282.39	c  N dy  4767   1414183        80      7120         0     69063     49840   1131738     23.00     24.54  --
1150.01/287.95	c  N dy  4809   1436686        80      7120         0     89655     49840   1681852     22.99     24.39  --
1172.37/293.50	c  N dy  4867   1462362        80      7120         0     65526     49840   1006812     22.98     24.28  --
1191.14/298.21	c  N dy  4920   1482443        80      7120         0     83887     49840   1501278     22.98     25.06  --
1215.92/304.48	c  N dy  5010   1505504        80      7120         0     56481     49840    749590     22.99     24.31  --
1234.72/309.17	c  N dy  5112   1525769        80      7120         0     74982     49840   1251663     23.00     24.28  --
1261.86/315.94	c  N dy  5133   1555426        80      7120         0     52694     49840    633393     22.98     24.33  --
1279.83/320.48	c  N dy  5217   1577121        80      7120         0     72539     49840   1168158     22.99     24.30  --
1318.20/330.06	c  N dy  5272   1620920        80      7120         0     62088     49840    868083     22.95     24.16  --
1340.17/335.56	c  N dy  5275   1649266        80      7120         0     87671     49840   1538275     22.92     24.15  --
1358.52/340.16	c  N dy  5276   1669886        80      7120         0     55509     49840    678004     22.90     24.17  --
1378.49/345.13	c  N dy  5385   1690848        80      7120         0     74721     49840   1200148     22.91     24.13  --
1404.46/351.63	c  S st  5501   1710538        80      7120         0     92800     49840   1695259     22.92   no data  --
1405.67/351.90	c  S st  5501   1711040        80      7120         0     93273     49840   1708595     22.92   no data  --
1405.67/351.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1405.67/351.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1405.67/351.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1406.08/352.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1406.08/352.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1406.08/352.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1406.08/352.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1736.80/434.84	c lits-rem:      5534  cl-subs:     8237  v-elim:      0  v-fix:    0  time: 330.73 s
1736.80/434.84	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1736.80/434.86	c vivif2 --  cl tried    85036 cl shrink        0 lits rem          0 time: 0.08
1738.40/435.26	c asymm  cl-useful: 0/786/7120 lits-rem:0 time: 1.58
1738.40/435.26	c calculated reachability. Time: 0.00
1738.40/435.26	c  N dy  5501   1711040        80      7120         0     85036     49840   1470037     22.92   no data  --
1772.36/443.79	c  N dy  5640   1731097        80      7120         0     51798     49840    568142     22.94     24.71  --
1792.75/448.88	c  N dy  5757   1751111        80      7120         0     70130     49840   1068659     22.95     25.27  --
1815.50/454.54	c  N dy  5840   1771206        80      7120         0     88480     49840   1567556     22.96     25.32  --
1841.86/461.11	c  N dy  5914   1791230        80      7120         0     54045     49840    610173     22.96     24.22  --
1857.84/465.15	c  N dy  5977   1811317        80      7120         0     72448     49840   1107414     22.96     24.23  --
1879.82/470.66	c  N dy  6053   1831400        80      7120         0     90817     49840   1603475     22.96     25.67  --
1910.17/478.24	c  N dy  6187   1851709        80      7120         0     55555     49840    631623     22.98     24.43  --
1929.74/483.14	c  N dy  6202   1878877        80      7120         0     80188     49840   1291004     22.96     24.17  --
1957.31/490.08	c  N dy  6327   1898945        80      7120         0     98596     49840   1793057     22.97     25.63  --
1982.47/496.39	c  N dy  6423   1918968        80      7120         0     62261     49840    800921     22.98     24.91  --
2004.83/501.91	c  N dy  6527   1940203        80      7120         0     81755     49840   1333378     22.99     24.20  --
2030.41/508.38	c  N dy  6596   1960626        80      7120         0    100400     49840   1834716     22.99     24.29  --
2057.56/515.11	c  N dy  6646   1981314        80      7120         0     63450     49840    809455     22.98     24.20  --
2077.54/520.14	c  N dy  6748   2001394        80      7120         0     81807     49840   1308631     22.99     24.24  --
2103.90/526.76	c  N dy  6847   2021455        80      7120         0    100203     49840   1810794     23.00     25.11  --
2134.67/534.46	c  N dy  6947   2042360        80      7120         0     62572     49840    771200     23.00     24.24  --
2167.01/542.54	c  N dy  7047   2073327        80      7120         0     90782     49840   1537070     23.01     24.24  --
2195.38/549.64	c  N dy  7121   2094178        80      7120         0    109824     49840   2051526     23.01     24.22  --
2218.96/555.51	c  N dy  7203   2114212        80      7120         0     70557     49840    973680     23.01     25.04  --
2239.32/560.65	c  N dy  7270   2134311        80      7120         0     88947     49840   1472826     23.01     25.69  --
2266.89/567.58	c  N dy  7334   2155918        80      7120         0    108578     49840   1993202     23.01     24.23  --
2292.85/574.04	c  N dy  7420   2176325        80      7120         0     68870     49840    917322     23.01     24.36  --
2326.40/582.43	c  N dy  7439   2211041        80      7120         0    100273     49840   1741341     22.99     20.45  --
2326.40/582.43	c  S st  7439   2211041        80      7120         0    100273     49840   1741341     22.99     20.45  --
2327.60/582.72	c  S st  7439   2211546        80      7120         0    100742     49840   1754312     22.99   no data  --
2327.60/582.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2327.60/582.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2327.60/582.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2328.00/582.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2328.00/582.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2328.00/582.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2328.00/582.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2485.79/622.35	c lits-rem:      5677  cl-subs:    10590  v-elim:      0  v-fix:    0  time: 157.80 s
2485.79/622.35	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2485.79/622.37	c vivif2 --  cl tried    90152 cl shrink        0 lits rem          0 time: 0.08
2487.38/622.71	c asymm  cl-useful: 0/673/7120 lits-rem:0 time: 1.35
2487.38/622.71	c calculated reachability. Time: 0.00
2487.38/622.71	c  N dy  7439   2211546        80      7120         0     90152     49840   1472531     22.99   no data  --
2517.76/630.40	c  N dy  7541   2232522        80      7120         0    109416     49840   1998848     23.00     24.35  --
2545.70/637.36	c  N dy  7641   2253665        80      7120         0     69931     49840    939334     23.01     24.26  --
2612.01/653.94	c  N dy  7658   2325804        80      7120         0     75344     49840   1055284     22.95     24.31  --
2637.18/660.24	c  N dy  7792   2345888        80      7120         0     93792     49840   1563250     22.96     25.40  --
2689.12/673.27	c  N dy  7873   2392848        80      7120         0     75526     49840   1036917     22.93     24.16  --
2728.26/683.01	c  N dy  7978   2426173        80      7120         0    105937     49840   1858480     22.93     24.26  --
2766.60/692.67	c  N dy  8133   2446258        80      7120         0     62567     49840    690144     22.95     25.63  --
2796.56/700.18	c  N dy  8225   2474592        80      7120         0     88325     49840   1386049     22.95     24.29  --
2829.32/708.31	c  N dy  8317   2495311        80      7120         0    107219     49840   1897332     22.95     24.18  --
2861.66/716.43	c  N dy  8378   2515340        80      7120         0    125505     49840   2393300     22.95     25.06  --
2888.44/723.17	c  N dy  8510   2535470        80      7120         0     81075     49840   1183129     22.97     24.20  --
2915.59/729.90	c  N dy  8616   2555506        80      7120         0     99442     49840   1686138     22.97     24.21  --
2949.14/738.34	c  N dy  8714   2576149        80      7120         0    118310     49840   2199519     22.98     24.20  --
2977.11/745.33	c  N dy  8766   2596200        80      7120         0     72720     49840    932356     22.98     24.29  --
3004.27/752.13	c  N dy  8874   2619521        80      7120         0     94073     49840   1513173     22.99     24.24  --
3037.02/760.38	c  N dy  9006   2639619        80      7120         0    112524     49840   2019920     23.00     24.21  --
3074.98/769.89	c  N dy  9035   2669698        80      7120         0     75096     49840    974620     22.98     24.29  --
3099.74/776.04	c  N dy  9077   2693270        80      7120         0     96571     49840   1549317     22.98     24.31  --
3126.90/782.89	c  S st  9158   2711546        80      7120         0    113201     49840   1998089     22.98     20.29  --
3128.52/783.22	c  S st  9158   2712052        80      7120         0    113673     49840   2011653     22.98   no data  --
3128.52/783.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3128.52/783.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3128.52/783.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3128.89/783.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3128.89/783.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3128.89/783.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3128.89/783.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3652.18/914.37	c lits-rem:      5387  cl-subs:    10776  v-elim:      0  v-fix:    0  time: 523.20 s
3652.18/914.37	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3652.18/914.39	c vivif2 --  cl tried   102897 cl shrink        0 lits rem          0 time: 0.10
3654.18/914.83	c asymm  cl-useful: 0/547/7120 lits-rem:0 time: 1.75
3654.18/914.83	c calculated reachability. Time: 0.00
3654.18/914.83	c  N dy  9158   2712052        80      7120         0    102897     49840   1718147     22.98   no data  --
3697.72/925.72	c  N dy  9245   2732386        80      7120         0    121465     49840   2220782     22.99     24.42  --
3739.66/936.27	c  N dy  9357   2752477        80      7120         0     74618     49840    958236     23.00     26.15  --
3773.23/944.65	c  N dy  9444   2772568        80      7120         0     92965     49840   1456400     23.00     24.24  --
3813.58/954.77	c  N dy  9552   2792593        80      7120         0    111337     49840   1958840     23.01     25.73  --
3857.92/965.88	c  N dy  9638   2812659        80      7120         0    129746     49840   2459870     23.01     26.22  --
3904.24/977.47	c  N dy  9644   2848672        80      7120         0     95744     49840   1474403     22.98     24.24  --
3941.79/986.85	c  N dy  9717   2871317        80      7120         0    116427     49840   2030244     22.98     24.20  --
3988.13/998.44	c  N dy  9793   2891384        80      7120         0     67460     49840    728763     22.99     25.12  --
4018.89/1006.11	c  N dy  9902   2912523        80      7120         0     86748     49840   1255133     22.99     24.22  --
4051.64/1014.36	c  N dy  9953   2932613        80      7120         0    105015     49840   1745212     22.99     25.52  --
4096.38/1025.57	c  N dy 10070   2952702        80      7120         0    123398     49840   2249561     23.00     24.31  --
4143.13/1037.21	c  N dy 10143   2975832        80      7120         0     76063     49840    939962     23.00     24.26  --
4179.86/1046.45	c  N dy 10231   2997287        80      7120         0     95707     49840   1476114     23.00     24.29  --
4221.81/1056.96	c  N dy 10291   3017309        80      7120         0    114014     49840   1968862     23.00     25.24  --
4273.74/1069.97	c  N dy 10354   3040115        80      7120         0    134818     49840   2528842     23.00     24.44  --
4314.08/1080.10	c  N dy 10448   3060847        80      7120         0     84475     49840   1160391     23.01     24.34  --
4353.23/1089.84	c  N dy 10515   3083196        80      7120         0    104882     49840   1708495     23.01     24.24  --
4397.57/1100.95	c  N dy 10596   3103295        80      7120         0    123171     49840   2202967     23.01     26.21  --
4444.70/1112.77	c  N dy 10634   3123935        80      7120         0     71764     49840    797879     23.01     24.22  --
4475.06/1120.38	c  N dy 10691   3144017        80      7120         0     90057     49840   1290975     23.01     25.21  --
4511.42/1129.48	c  N dy 10752   3165036        80      7120         0    109251     49840   1807652     23.01     24.24  --
4581.31/1146.90	c  N dy 10859   3198820        80      7120         0    139935     49840   2632255     23.00     24.31  --
4602.49/1152.27	c  S st 10917   3212052        80      7120         0     80954     49840   1033070     23.01     22.58  --
4603.69/1152.54	c  S st 10917   3212557        80      7120         0     81423     49840   1046026     23.01   no data  --
4603.69/1152.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4603.69/1152.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4603.69/1152.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.19
4604.09/1152.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4604.09/1152.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4604.09/1152.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4604.09/1152.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4696.36/1175.79	c lits-rem:      1190  cl-subs:     2124  v-elim:      0  v-fix:    0  time: 92.51 s
4696.36/1175.79	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4696.77/1175.81	c vivif2 --  cl tried    79299 cl shrink        0 lits rem          0 time: 0.05
4698.36/1176.21	c asymm  cl-useful: 0/706/7120 lits-rem:0 time: 1.59
4698.36/1176.21	c calculated reachability. Time: 0.00
4698.36/1176.21	c  N dy 10917   3212557        80      7120         0     79299     49840    984757     23.01   no data  --
4725.52/1183.07	c  N dy 11003   3233146        80      7120         0     98140     49840   1496966     23.01     24.34  --
4758.29/1191.22	c  N dy 11117   3253151        80      7120         0    116454     49840   2000036     23.02     24.26  --
4795.02/1200.47	c  N dy 11195   3273749        80      7120         0    135253     49840   2508174     23.02     24.28  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.02 8.05 8.00 1/172 2382
/proc/meminfo: memFree=30673116/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 252607355 52465664 352 33554432000 4194304 4650419 140736690236160 18446744073709551615 268660718577 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2382/statm: 12809 352 303 112 0 7774 0
[pid=2382/tid=2383] ppid=2380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 252607355 52465664 352 33554432000 4194304 4650419 140736690236160 18446744073709551615 47316956714930 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 252607355 52465664 352 33554432000 4194304 4650419 140736690236160 18446744073709551615 268672459830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 252607355 52465664 352 33554432000 4194304 4650419 140736690236160 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0435051 s]
/proc/loadavg: 8.02 8.05 8.00 1/172 2382
/proc/meminfo: memFree=30673116/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=282356 CPUtime=0.14 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 1430 0 0 0 14 0 0 0 25 0 4 0 252607355 289132544 1350 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370888 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 70589 1350 366 112 0 65554 0
[pid=2382/tid=2383] ppid=2380 vsize=282356 CPUtime=0.03 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 247 0 0 0 3 0 0 0 25 0 4 0 252607355 289132544 1350 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=282356 CPUtime=0.03 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 223 0 0 0 3 0 0 0 25 0 4 0 252607355 289132544 1350 33554432000 4194304 4650419 140736690236160 18446744073709551615 268660767263 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=282356 CPUtime=0.03 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 309 0 0 0 3 0 0 0 25 0 4 0 252607355 289132544 1350 33554432000 4194304 4650419 140736690236160 18446744073709551615 268660767214 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 282356

[startup+0.107514 s]
/proc/loadavg: 8.02 8.05 8.00 1/172 2382
/proc/meminfo: memFree=30673116/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=282488 CPUtime=0.4 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 1541 0 0 0 40 0 0 0 25 0 4 0 252607355 289267712 1461 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 70622 1461 366 112 0 65587 0
[pid=2382/tid=2383] ppid=2380 vsize=282488 CPUtime=0.1 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 259 0 0 0 10 0 0 0 25 0 4 0 252607355 289267712 1461 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=282488 CPUtime=0.1 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 224 0 0 0 10 0 0 0 25 0 4 0 252607355 289267712 1461 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=282488 CPUtime=0.1 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 395 0 0 0 10 0 0 0 25 0 4 0 252607355 289267712 1461 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282488

[startup+0.300439 s]
/proc/loadavg: 8.02 8.05 8.00 1/172 2382
/proc/meminfo: memFree=30673116/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=286360 CPUtime=1.17 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 3885 0 0 0 116 1 0 0 25 0 4 0 252607355 293232640 3299 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 71590 3299 390 112 0 66555 0
[pid=2382/tid=2383] ppid=2380 vsize=286360 CPUtime=0.29 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 918 0 0 0 29 0 0 0 25 0 4 0 252607355 293232640 3299 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=286360 CPUtime=0.29 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 843 0 0 0 29 0 0 0 25 0 4 0 252607355 293232640 3299 33554432000 4194304 4650419 140736690236160 18446744073709551615 4333687 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=286360 CPUtime=0.29 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 775 0 0 0 29 0 0 0 25 0 4 0 252607355 293232640 3299 33554432000 4194304 4650419 140736690236160 18446744073709551615 4363420 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) 286360

[startup+0.70037 s]
/proc/loadavg: 8.02 8.05 8.00 1/172 2382
/proc/meminfo: memFree=30673116/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=288364 CPUtime=2.77 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 6546 0 0 0 276 1 0 0 25 0 4 0 252607355 295284736 3823 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 72091 3824 390 112 0 67056 0
[pid=2382/tid=2383] ppid=2380 vsize=288364 CPUtime=0.69 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 1559 0 0 0 69 0 0 0 25 0 4 0 252607355 295284736 3824 33554432000 4194304 4650419 140736690236160 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=288364 CPUtime=0.69 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 1493 0 0 0 69 0 0 0 25 0 4 0 252607355 295284736 3824 33554432000 4194304 4650419 140736690236160 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=288364 CPUtime=0.68 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 1499 0 0 0 68 0 0 0 25 0 4 0 252607355 295284736 3824 33554432000 4194304 4650419 140736690236160 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288364

[startup+1.50023 s]
/proc/loadavg: 8.02 8.05 8.00 10/184 2399
/proc/meminfo: memFree=30635944/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=289940 CPUtime=5.96 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 10147 0 0 0 594 2 0 0 25 0 4 0 252607355 296898560 4746 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 72485 4746 391 112 0 67450 0
[pid=2382/tid=2383] ppid=2380 vsize=289940 CPUtime=1.48 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 2535 0 0 0 148 0 0 0 25 0 4 0 252607355 296898560 4746 33554432000 4194304 4650419 140736690236160 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=289940 CPUtime=1.48 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 2453 0 0 0 148 0 0 0 25 0 4 0 252607355 296898560 4746 33554432000 4194304 4650419 140736690236160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=289940 CPUtime=1.48 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 2204 0 0 0 148 0 0 0 25 0 4 0 252607355 296898560 4746 33554432000 4194304 4650419 140736690236160 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289940

[startup+3.10095 s]
/proc/loadavg: 8.02 8.05 8.00 9/184 2399
/proc/meminfo: memFree=30611048/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=308408 CPUtime=12.35 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 19182 0 0 0 1231 4 0 0 25 0 4 0 252607355 315809792 11655 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 77102 11655 392 112 0 72067 0
[pid=2382/tid=2383] ppid=2380 vsize=308408 CPUtime=3.09 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 4184 0 0 0 308 1 0 0 25 0 4 0 252607355 315809792 11655 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=308408 CPUtime=3.08 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 5100 0 0 0 308 0 0 0 25 0 4 0 252607355 315809792 11655 33554432000 4194304 4650419 140736690236160 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=308408 CPUtime=3.08 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 5307 0 0 0 307 1 0 0 25 0 4 0 252607355 315809792 11655 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 308408

[startup+6.30039 s]
/proc/loadavg: 8.02 8.05 8.00 9/184 2399
/proc/meminfo: memFree=30558604/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=309016 CPUtime=25.14 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 28444 0 0 0 2507 7 0 0 25 0 4 0 252607355 316432384 14795 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 77254 14795 392 112 0 72219 0
[pid=2382/tid=2383] ppid=2380 vsize=309016 CPUtime=6.29 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 7380 0 0 0 627 2 0 0 25 0 4 0 252607355 316432384 14795 33554432000 4194304 4650419 140736690236160 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=309016 CPUtime=6.28 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 6824 0 0 0 627 1 0 0 25 0 4 0 252607355 316432384 14795 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=309016 CPUtime=6.26 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 7326 0 0 0 625 1 0 0 25 0 4 0 252607355 316432384 14795 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 309016

[startup+12.7003 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 2399
/proc/meminfo: memFree=30504544/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=321616 CPUtime=50.7 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 40793 0 0 0 5061 9 0 0 25 0 4 0 252607355 329334784 20168 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 80404 20168 392 112 0 75369 0
[pid=2382/tid=2383] ppid=2380 vsize=321616 CPUtime=12.69 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 9822 0 0 0 1267 2 0 0 25 0 4 0 252607355 329334784 20168 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=321616 CPUtime=12.68 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 10394 0 0 0 1266 2 0 0 25 0 4 0 252607355 329334784 20168 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=321616 CPUtime=12.62 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 10688 0 0 0 1261 1 0 0 25 0 4 0 252607355 329334784 20168 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 321616

[startup+25.501 s]
/proc/loadavg: 8.01 8.04 8.00 9/184 2400
/proc/meminfo: memFree=30460876/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=326316 CPUtime=101.83 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 61923 0 0 0 10167 16 0 0 25 0 4 0 252607355 334147584 26229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4313456 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 81579 26229 392 112 0 76544 0
[pid=2382/tid=2383] ppid=2380 vsize=326316 CPUtime=25.48 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 15863 0 0 0 2545 3 0 0 25 0 4 0 252607355 334147584 26229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=326316 CPUtime=25.49 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 14271 0 0 0 2545 4 0 0 25 0 4 0 252607355 334147584 26229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=326316 CPUtime=25.35 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 15792 0 0 0 2531 4 0 0 25 0 4 0 252607355 334147584 26229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 326316

[startup+51.1006 s]
/proc/loadavg: 8.15 8.07 8.01 9/184 2401
/proc/meminfo: memFree=30426436/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=317936 CPUtime=204.09 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 89301 0 0 0 20386 23 0 0 25 0 4 0 252607355 325566464 30036 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 79484 30036 392 112 0 74449 0
[pid=2382/tid=2383] ppid=2380 vsize=317936 CPUtime=51.08 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 24961 0 0 0 5103 5 0 0 25 0 4 0 252607355 325566464 30036 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=317936 CPUtime=51.09 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 20518 0 0 0 5103 6 0 0 25 0 4 0 252607355 325566464 30036 33554432000 4194304 4650419 140736690236160 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=317936 CPUtime=50.81 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 20975 0 0 0 5075 6 0 0 25 0 4 0 252607355 325566464 30036 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 317936

[startup+102.307 s]
/proc/loadavg: 8.21 8.09 8.02 9/184 2402
/proc/meminfo: memFree=30371076/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=324256 CPUtime=408.63 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 133663 0 0 0 40824 39 0 0 25 0 4 0 252607355 332038144 37229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 81064 37229 392 112 0 76029 0
[pid=2382/tid=2383] ppid=2380 vsize=324256 CPUtime=102.28 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 37266 0 0 0 10219 9 0 0 25 0 4 0 252607355 332038144 37229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=324256 CPUtime=102.29 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 33019 0 0 0 10218 11 0 0 25 0 4 0 252607355 332038144 37229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=324256 CPUtime=101.75 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 30527 0 0 0 10165 10 0 0 25 0 4 0 252607355 332038144 37229 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 324256

[startup+162.301 s]

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

[pid=2382] ppid=2380 vsize=465512 CPUtime=2805.34 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 431675 0 0 0 280382 152 0 0 25 0 4 0 252607355 476684288 75926 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 116378 75926 392 112 0 111343 0
[pid=2382/tid=2383] ppid=2380 vsize=465512 CPUtime=702.24 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 120669 0 0 0 70183 41 0 0 25 0 4 0 252607355 476684288 75926 33554432000 4194304 4650419 140736690236160 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=465512 CPUtime=702.3 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 96525 0 0 0 70193 37 0 0 25 0 4 0 252607355 476684288 75926 33554432000 4194304 4650419 140736690236160 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=465512 CPUtime=698.49 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 108708 0 0 0 69810 39 0 0 25 0 4 0 252607355 476684288 75926 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 465512

[startup+762.307 s]
/proc/loadavg: 8.13 8.06 8.01 9/184 2419
/proc/meminfo: memFree=30047576/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=479572 CPUtime=3045.04 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 450941 0 0 0 304342 162 0 0 25 0 4 0 252607355 491081728 73713 33554432000 4194304 4650419 140736690236160 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 119893 73713 392 112 0 114858 0
[pid=2382/tid=2383] ppid=2380 vsize=479572 CPUtime=762.24 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 127205 0 0 0 76181 43 0 0 25 0 4 0 252607355 491081728 73713 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=479572 CPUtime=762.3 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 100002 0 0 0 76191 39 0 0 25 0 4 0 252607355 491081728 73713 33554432000 4194304 4650419 140736690236160 18446744073709551615 4331351 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=479572 CPUtime=758.17 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 114548 0 0 0 75774 43 0 0 25 0 4 0 252607355 491081728 73713 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 479572

[startup+822.3 s]
/proc/loadavg: 8.12 8.06 8.01 9/184 2421
/proc/meminfo: memFree=30013300/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=491488 CPUtime=3284.69 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 466843 0 0 0 328300 169 0 0 25 0 4 0 252607355 503283712 80453 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 122872 80453 392 112 0 117837 0
[pid=2382/tid=2383] ppid=2380 vsize=491488 CPUtime=822.23 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 133360 0 0 0 82178 45 0 0 25 0 4 0 252607355 503283712 80453 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=491488 CPUtime=822.29 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 104823 0 0 0 82188 41 0 0 25 0 4 0 252607355 503283712 80453 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=491488 CPUtime=817.84 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 116508 0 0 0 81740 44 0 0 25 0 4 0 252607355 503283712 80453 33554432000 4194304 4650419 140736690236160 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 491488

[startup+882.301 s]
/proc/loadavg: 8.11 8.07 8.01 9/184 2423
/proc/meminfo: memFree=30017068/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=481008 CPUtime=3524.36 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 481553 0 0 0 352260 176 0 0 25 0 4 0 252607355 492552192 76529 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 120252 76529 392 112 0 115217 0
[pid=2382/tid=2383] ppid=2380 vsize=481008 CPUtime=882.22 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 140023 0 0 0 88174 48 0 0 25 0 4 0 252607355 492552192 76529 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=481008 CPUtime=882.29 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 108056 0 0 0 88187 42 0 0 25 0 4 0 252607355 492552192 76529 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=481008 CPUtime=877.51 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 121322 0 0 0 87705 46 0 0 25 0 4 0 252607355 492552192 76529 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 481008

[startup+942.3 s]
/proc/loadavg: 8.04 8.05 8.00 9/184 2424
/proc/meminfo: memFree=29983756/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=559668 CPUtime=3764.04 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 496507 0 0 0 376220 184 0 0 25 0 4 0 252607355 573100032 84398 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 139917 84398 392 112 0 134882 0
[pid=2382/tid=2383] ppid=2380 vsize=559668 CPUtime=942.22 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 148102 0 0 0 94171 51 0 0 25 0 4 0 252607355 573100032 84398 33554432000 4194304 4650419 140736690236160 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=559668 CPUtime=942.29 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 112418 0 0 0 94184 45 0 0 25 0 4 0 252607355 573100032 84398 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=559668 CPUtime=937.19 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 122986 0 0 0 93671 48 0 0 25 0 4 0 252607355 573100032 84398 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 559668

[startup+1002.3 s]
/proc/loadavg: 8.15 8.07 8.01 9/184 2426
/proc/meminfo: memFree=29954816/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=559668 CPUtime=4003.71 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 510169 0 0 0 400183 188 0 0 25 0 4 0 252607355 573100032 88368 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 139917 88368 392 112 0 134882 0
[pid=2382/tid=2383] ppid=2380 vsize=559668 CPUtime=1002.22 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 153878 0 0 0 100170 52 0 0 25 0 4 0 252607355 573100032 88368 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=559668 CPUtime=1002.3 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 115967 0 0 0 100182 48 0 0 25 0 4 0 252607355 573100032 88368 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=559668 CPUtime=996.87 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 123020 0 0 0 99639 48 0 0 25 0 4 0 252607355 573100032 88368 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 559668

[startup+1062.3 s]
/proc/loadavg: 8.19 8.09 8.01 9/184 2427
/proc/meminfo: memFree=29963684/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=572944 CPUtime=4243.38 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 522815 0 0 0 424144 194 0 0 25 0 4 0 252607355 586694656 85936 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 143236 85936 392 112 0 138201 0
[pid=2382/tid=2383] ppid=2380 vsize=572944 CPUtime=1062.2 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 162617 0 0 0 106167 53 0 0 25 0 4 0 252607355 586694656 85936 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=572944 CPUtime=1062.3 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 118111 0 0 0 106181 49 0 0 25 0 4 0 252607355 586694656 85936 33554432000 4194304 4650419 140736690236160 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=572944 CPUtime=1056.54 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 123020 0 0 0 105606 48 0 0 25 0 4 0 252607355 586694656 85936 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 572944

[startup+1122.3 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 2429
/proc/meminfo: memFree=29962280/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=572944 CPUtime=4483.05 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 532021 0 0 0 448109 196 0 0 25 0 4 0 252607355 586694656 86320 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 143236 86320 392 112 0 138201 0
[pid=2382/tid=2383] ppid=2380 vsize=572944 CPUtime=1122.2 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 168324 0 0 0 112166 54 0 0 25 0 4 0 252607355 586694656 86320 33554432000 4194304 4650419 140736690236160 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=572944 CPUtime=1122.3 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 118111 0 0 0 112181 49 0 0 25 0 4 0 252607355 586694656 86320 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=572944 CPUtime=1116.22 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 123020 0 0 0 111574 48 0 0 25 0 4 0 252607355 586694656 86320 33554432000 4194304 4650419 140736690236160 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.05
Current children cumulated vsize (KiB) 572944

[startup+1182.3 s]
/proc/loadavg: 8.18 8.11 8.02 9/184 2433
/proc/meminfo: memFree=29943868/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=586276 CPUtime=4722.73 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 542578 0 0 0 472071 202 0 0 25 0 4 0 252607355 600346624 86638 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 146569 86638 392 112 0 141534 0
[pid=2382/tid=2383] ppid=2380 vsize=586276 CPUtime=1182.2 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 173671 0 0 0 118163 57 0 0 25 0 4 0 252607355 600346624 86638 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=586276 CPUtime=1182.3 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 118310 0 0 0 118181 49 0 0 25 0 4 0 252607355 600346624 86638 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=586276 CPUtime=1175.89 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 126072 0 0 0 117539 50 0 0 25 0 4 0 252607355 600346624 86638 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 586276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.48 8.18 8.05 10/185 2434
/proc/meminfo: memFree=29895576/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=639360 CPUtime=4800.22 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 547372 0 0 0 479817 205 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 159840 91432 392 112 0 154805 0
[pid=2382/tid=2383] ppid=2380 vsize=639360 CPUtime=1201.61 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 175113 0 0 0 120103 58 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=639360 CPUtime=1201.7 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 119391 0 0 0 120120 50 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=639360 CPUtime=1195.18 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 127126 0 0 0 119468 50 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 639360

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

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

[startup+1201.7 s]
/proc/loadavg: 8.48 8.18 8.05 10/185 2434
/proc/meminfo: memFree=29895576/32951124 swapFree=67111524/67111528
[pid=2382] ppid=2380 vsize=639360 CPUtime=4800.22 cores=0,2,4,6
/proc/2382/stat : 2382 (strangenight1-m) R 2380 2382 2145 0 -1 4202496 547372 0 0 0 479817 205 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2382/statm: 159840 91432 392 112 0 154805 0
[pid=2382/tid=2383] ppid=2380 vsize=639360 CPUtime=1201.61 cores=0,2,4,6
/proc/2382/task/2383/stat : 2383 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 175113 0 0 0 120103 58 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2382/tid=2384] ppid=2380 vsize=639360 CPUtime=1201.7 cores=0,2,4,6
/proc/2382/task/2384/stat : 2384 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 119391 0 0 0 120120 50 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2382/tid=2385] ppid=2380 vsize=639360 CPUtime=1195.18 cores=0,2,4,6
/proc/2382/task/2385/stat : 2385 (strangenight1-m) R 2380 2382 2145 0 -1 4202560 127126 0 0 0 119468 50 0 0 25 0 4 0 252607355 654704640 91432 33554432000 4194304 4650419 140736690236160 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 639360

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.28
CPU user time (s): 4798.21
CPU system time (s): 2.07468
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 639360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.21
system time used= 2.07468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 547374
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= 245
involuntary context switches= 35014

runsolver used 1.86672 second user time and 4.68629 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 15:36:01
IDJOB=3175089
IDBENCH=82707
IDSOLVER=1588
FILE ID=node107/3175089-1304084161
RUNJOBID= node107-1304081753-2163
PBS_JOBID= 13170536
Free space on /tmp= 71800 MiB

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

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

MD5SUM BENCH= c0af45ae07be0ad78c796952c610fc60
RANDOM SEED=1189050817

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30673396 kB
Buffers:        634536 kB
Cached:        1215968 kB
SwapCached:          4 kB
Active:         119436 kB
Inactive:      1794072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30673396 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6188 kB
Writeback:           0 kB
AnonPages:       62708 kB
Mapped:          14432 kB
Slab:           300708 kB
PageTables:       4360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185352 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= 71788 MiB
End job on node107 at 2011-04-29 15:56:05