Trace number 3175210

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf
MD5SUM4fa782cc700b96dfddf41b0ed3b14006
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175210-1304099799.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.02 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.38/0.17	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.38/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
1.17/0.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.17/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.17/0.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1.17/0.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1.17/0.36	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.36	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.17/0.36	c calculated reachability. Time: 0.00
1.17/0.36	c Calc default polars -  time:   0.00 s pos:      43 undec:       1 neg:      36
1.17/0.36	c =========================================================================================
1.17/0.36	c types(t): F = full restart, N = normal restart
1.17/0.36	c types(t): S = simplification begin/end, E = solution found
1.17/0.36	c restart types(rt): st = static, dy = dynamic
1.17/0.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.36	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.98/1.02	c  N dy     8      6080        80      7120         0      3281     49840     78854     23.24     24.46  --
3.98/1.02	c  N dy     9     13624        80      7120         0      6337     49840    147636     22.39     23.59  --
3.98/1.02	c  N dy    37     17824        80      7120         0     10229     49840    253850     22.89     24.20  --
4.77/1.22	c  N dy    64     24220        80      7120         0     10922     49840    259050     23.16     24.43  --
4.77/1.23	c  F st    66     25000        80      7120         0     11647     49840    278468     23.16     23.27  --
5.17/1.39	c  N st    71     28296        80      7120         0      8387     49840    174369     23.16   no data  --
5.57/1.47	c  S st    72     30001        80      7120         0      9950     49840    217171     23.16   no data  --
5.97/1.50	c  S st    72     30504        80      7120         0     10424     49840    230102     23.16   no data  --
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.97/1.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.36/2.64	c lits-rem:      1524  cl-subs:      758  v-elim:      0  v-fix:    0  time:  4.47 s
11.56/2.97	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.33
11.56/2.97	c calculated reachability. Time: 0.00
11.56/2.97	c  N dy    72     30504        80      7120         0      9666     49840    206381     23.16   no data  --
12.77/3.28	c  N dy    86     35901        80      7120         0      7382     49840    130407     23.17     24.40  --
13.56/3.47	c  N dy    93     39974        80      7120         0     11132     49840    230911     23.09     24.79  --
14.76/3.71	c  N dy   104     43975        80      7120         0     14795     49840    327939     23.05     24.38  --
15.16/3.83	c  S st   108     45756        80      7120         0     16421     49840    371216     23.03     21.72  --
15.16/3.87	c  S st   108     46257        80      7120         0      8687     49840    152622     23.03   no data  --
15.16/3.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.16/3.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.16/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.16/3.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.75/4.72	c lits-rem:       184  cl-subs:       47  v-elim:      0  v-fix:    0  time:  3.35 s
18.75/4.72	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.75/4.72	c vivif2 --  cl tried     8640 cl shrink        0 lits rem          0 time: 0.01
19.95/5.00	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.12
19.95/5.01	c calculated reachability. Time: 0.00
19.95/5.01	c  N dy   108     46257        80      7120         0      8640     49840    150891     23.03   no data  --
20.75/5.24	c  N dy   122     50318        80      7120         0     12356     49840    250752     23.05     24.51  --
21.56/5.49	c  N dy   134     54330        80      7120         0     16045     49840    349881     23.06     24.39  --
23.54/5.94	c  N dy   152     61890        80      7120         0     13797     49840    274335     23.06     24.29  --
24.74/6.24	c  N dy   165     66763        80      7120         0     18293     49840    394891     23.03     24.34  --
25.54/6.44	c  S st   177     69387        80      7120         0     10636     49840    174924     23.06   no data  --
25.54/6.48	c  S st   177     69892        80      7120         0     11101     49840    187492     23.06   no data  --
25.54/6.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.54/6.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.54/6.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.54/6.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.54/7.43	c lits-rem:       429  cl-subs:      144  v-elim:      0  v-fix:    0  time:  3.76 s
29.54/7.43	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.54/7.44	c vivif2 --  cl tried    10957 cl shrink        0 lits rem          0 time: 0.01
30.75/7.78	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.35
30.75/7.78	c calculated reachability. Time: 0.00
30.75/7.78	c  N dy   177     69892        80      7120         0     10957     49840    182668     23.06   no data  --
31.93/8.02	c  N dy   187     74524        80      7120         0     15199     49840    297316     23.05     24.30  --
33.13/8.37	c  N dy   207     79328        80      7120         0     19631     49840    418204     23.10     24.33  --
35.53/8.92	c  F st   215     87500        80      7120         0     16109     49840    306348     23.04     22.40  --
35.53/8.93	c  N st   215     87500        80      7120         0     16109     49840    306348     23.04     22.40  --
38.32/9.69	c  N dy   224     97745        80      7120         0     13563     49840    224911     22.98     24.31  --
40.32/10.16	c  N dy   238    104548        80      7120         0     19836     49840    394034     22.99     24.23  --
40.32/10.18	c  S st   241    104839        80      7120         0     20098     49840    401345     23.00   no data  --
40.72/10.24	c  S st   241    105343        80      7120         0     20575     49840    414264     23.00   no data  --
40.72/10.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.72/10.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.72/10.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.72/10.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.72/10.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.72/10.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.72/10.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.33/12.17	c lits-rem:      2237  cl-subs:     1672  v-elim:      0  v-fix:    0  time:  7.61 s
48.33/12.17	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
48.33/12.18	c vivif2 --  cl tried    18903 cl shrink        0 lits rem          0 time: 0.02
49.90/12.56	c asymm  cl-useful: 0/5573/7120 lits-rem:0 time: 1.54
49.90/12.56	c calculated reachability. Time: 0.00
49.90/12.56	c  N dy   241    105343        80      7120         0     18903     49840    365260     23.00   no data  --
51.91/13.05	c  N dy   259    112174        80      7120         0     25183     49840    532066     22.99     24.27  --
53.90/13.57	c  N dy   278    120304        80      7120         0     19859     49840    379186     23.00     24.25  --
56.71/14.26	c  N dy   306    128585        80      7120         0     27484     49840    584727     23.03     24.25  --
61.52/15.48	c  N dy   309    144942        80      7120         0     28585     49840    590515     22.82     24.11  --
65.50/16.48	c  N dy   330    158014        80      7120         0     25892     49840    503503     22.75     20.28  --
65.50/16.48	c  S st   330    158014        80      7120         0     25892     49840    503503     22.75     20.28  --
65.91/16.55	c  S st   330    158516        80      7120         0     26366     49840    516675     22.75   no data  --
65.91/16.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.91/16.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.91/16.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
65.91/16.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.91/16.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.91/16.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.91/16.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.07/18.80	c lits-rem:      1605  cl-subs:     2720  v-elim:      0  v-fix:    0  time:  8.88 s
75.07/18.80	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.07/18.81	c vivif2 --  cl tried    23646 cl shrink        0 lits rem          0 time: 0.02
75.87/19.00	c asymm  cl-useful: 0/1547/7120 lits-rem:0 time: 0.77
75.87/19.00	c calculated reachability. Time: 0.00
75.87/19.00	c  N dy   330    158516        80      7120         0     23646     49840    444202     22.75   no data  --
79.46/19.98	c  N dy   360    168725        80      7120         0     17622     49840    274675     22.74     26.26  --
83.49/20.99	c  N dy   394    180367        80      7120         0     28344     49840    562485     22.76     24.01  --
88.65/22.22	c  N dy   401    195354        80      7120         0     25582     49840    468431     22.65     23.88  --
94.24/23.63	c  N dy   428    207837        80      7120         0     19650     49840    298919     22.66     24.20  --
99.44/24.96	c  N dy   487    221457        80      7120         0     32139     49840    634430     22.69     23.91  --
105.04/26.32	c  N dy   528    236165        80      7120         0     27323     49840    484084     22.69     23.89  --
105.45/26.49	c  S st   543    237775        80      7120         0     28805     49840    524536     22.71     22.92  --
105.83/26.57	c  S st   543    238276        80      7120         0     29272     49840    537377     22.71   no data  --
105.83/26.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
105.83/26.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.83/26.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
105.83/26.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.83/26.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.83/26.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
105.83/26.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.82/29.07	c lits-rem:      1652  cl-subs:     2237  v-elim:      0  v-fix:    0  time:  9.88 s
115.82/29.07	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
115.82/29.08	c vivif2 --  cl tried    27035 cl shrink        0 lits rem          0 time: 0.02
116.62/29.27	c asymm  cl-useful: 0/2076/7120 lits-rem:0 time: 0.77
116.62/29.27	c calculated reachability. Time: 0.00
116.62/29.27	c  N dy   543    238276        80      7120         0     27035     49840    475223     22.71   no data  --
129.40/32.48	c  N dy   618    269763        80      7120         0     36539     49840    701963     22.63     23.84  --
136.99/34.35	c  N dy   724    286983        80      7120         0     32318     49840    595747     22.71     25.54  --
145.38/36.46	c  F st   796    306253        80      7120         0     29028     49840    489170     22.73     21.83  --
145.38/36.46	c  N st   796    306253        80      7120         0     29028     49840    489170     22.73     21.83  --
154.96/38.81	c  N dy   890    325823        80      7120         0     24996     49840    367585     22.79     25.22  --
164.55/41.20	c  N dy   947    347227        80      7120         0     44569     49840    888149     22.77     24.02  --
168.95/42.36	c  S st  1000    357414        80      7120         0     31006     49840    509717     22.79   no data  --
169.35/42.44	c  S st  1000    357918        80      7120         0     31483     49840    522782     22.79   no data  --
169.35/42.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
169.35/42.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.35/42.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
169.35/42.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.35/42.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.35/42.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
169.35/42.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
179.33/44.99	c lits-rem:      1578  cl-subs:     1587  v-elim:      0  v-fix:    0  time: 10.06 s
179.33/44.99	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
179.33/44.99	c vivif2 --  cl tried    29896 cl shrink        0 lits rem          0 time: 0.02
180.53/45.21	c asymm  cl-useful: 0/1655/7120 lits-rem:0 time: 0.87
180.53/45.21	c calculated reachability. Time: 0.00
180.53/45.21	c  N dy  1000    357918        80      7120         0     29896     49840    476067     22.79   no data  --
194.11/48.64	c  N dy  1078    378915        80      7120         0     25346     49840    339160     22.82     24.24  --
204.50/51.25	c  N dy  1134    399160        80      7120         0     43870     49840    823955     22.79     24.05  --
215.30/53.98	c  N dy  1208    419239        80      7120         0     37511     49840    644008     22.78     24.04  --
227.27/56.90	c  N dy  1311    439823        80      7120         0     30838     49840    458777     22.82     24.06  --
238.05/59.66	c  N dy  1392    459849        80      7120         0     49112     49840    948690     22.84     25.71  --
248.44/62.24	c  N dy  1462    479950        80      7120         0     41043     49840    714256     22.85     25.25  --
261.22/65.48	c  N dy  1541    502294        80      7120         0     34063     49840    512012     22.87     24.55  --
272.80/68.33	c  N dy  1596    522314        80      7120         0     52366     49840   1000338     22.87     24.37  --
281.60/70.52	c  S st  1668    536877        80      7120         0     37337     49840    585476     22.89     20.13  --
282.00/70.61	c  S st  1668    537378        80      7120         0     37813     49840    598651     22.89   no data  --
282.00/70.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.00/70.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.00/70.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.05
282.00/70.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.00/70.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.00/70.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
282.00/70.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
291.98/73.15	c lits-rem:      1099  cl-subs:     1863  v-elim:      0  v-fix:    0  time: 10.01 s
291.98/73.15	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
291.98/73.15	c vivif2 --  cl tried    35950 cl shrink        0 lits rem          0 time: 0.03
292.78/73.37	c asymm  cl-useful: 0/1324/7120 lits-rem:0 time: 0.86
292.78/73.37	c calculated reachability. Time: 0.00
292.78/73.37	c  N dy  1668    537378        80      7120         0     35950     49840    545603     22.89   no data  --
304.76/76.35	c  N dy  1724    559574        80      7120         0     56260     49840   1089243     22.88     24.09  --
316.36/79.25	c  N dy  1809    579641        80      7120         0     45513     49840    793298     22.90     24.26  --
331.12/82.94	c  N dy  1863    603148        80      7120         0     36708     49840    530159     22.88     24.19  --
343.91/86.18	c  N dy  1976    623442        80      7120         0     55334     49840   1034872     22.91     24.18  --
357.49/89.54	c  N dy  2025    643803        80      7120         0     42865     49840    680655     22.91     24.28  --
372.67/93.32	c  N dy  2103    665793        80      7120         0     63020     49840   1221636     22.91     24.22  --
392.64/98.34	c  N dy  2165    700587        80      7120         0     62734     49840   1189452     22.87     24.15  --
405.82/101.62	c  N dy  2246    720697        80      7120         0     48300     49840    804316     22.89     24.14  --
423.00/105.91	c  N dy  2314    740710        80      7120         0     66678     49840   1300745     22.90     25.11  --
435.39/109.08	c  N dy  2394    760947        80      7120         0     51317     49840    865635     22.91     24.16  --
454.56/113.86	c  N dy  2496    784426        80      7120         0     37963     49840    487469     22.93     24.28  --
468.15/117.23	c  N dy  2585    806069        80      7120         0     57774     49840   1021742     22.94     22.80  --
468.15/117.23	c  S st  2585    806069        80      7120         0     57774     49840   1021742     22.94     22.80  --
468.55/117.38	c  S st  2585    806573        80      7120         0     58241     49840   1034627     22.94   no data  --
468.55/117.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
468.55/117.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
468.95/117.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
468.95/117.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
468.95/117.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
468.95/117.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
468.95/117.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
512.09/128.29	c lits-rem:      2965  cl-subs:     4739  v-elim:      0  v-fix:    0  time: 43.32 s
512.09/128.30	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
512.49/128.31	c vivif2 --  cl tried    53502 cl shrink        0 lits rem          0 time: 0.04
513.69/128.65	c asymm  cl-useful: 0/918/7120 lits-rem:0 time: 1.35
513.69/128.65	c calculated reachability. Time: 0.00
513.69/128.65	c  N dy  2585    806573        80      7120         0     53502     49840    900788     22.94   no data  --
530.46/132.84	c  N dy  2652    826772        80      7120         0     36430     49840    435916     22.94     24.16  --
542.85/135.94	c  N dy  2720    847083        80      7120         0     55077     49840    934084     22.94     24.17  --
560.42/140.32	c  N dy  2789    868337        80      7120         0     37984     49840    461341     22.95     24.18  --
572.80/143.46	c  N dy  2860    888372        80      7120         0     56329     49840    955434     22.95     24.54  --
589.98/147.74	c  N dy  2946    908375        80      7120         0     74666     49840   1453276     22.96     25.07  --
602.76/150.99	c  N dy  3010    928491        80      7120         0     55564     49840    917501     22.97     24.29  --
619.15/155.01	c  N dy  3068    948545        80      7120         0     73891     49840   1410545     22.97     24.54  --
633.51/158.63	c  N dy  3161    968648        80      7120         0     53920     49840    860863     22.98     24.21  --
649.50/162.66	c  N dy  3226    988678        80      7120         0     72256     49840   1353716     22.98     25.61  --
664.68/166.40	c  N dy  3287   1008699        80      7120         0     51220     49840    765041     22.98     24.23  --
681.85/170.70	c  N dy  3386   1029329        80      7120         0     70143     49840   1280035     23.00     24.36  --
699.43/175.14	c  N dy  3469   1049384        80      7120         0     48179     49840    668266     23.01     24.25  --
713.81/178.78	c  N dy  3523   1069386        80      7120         0     66485     49840   1160555     23.00     24.25  --
716.60/179.41	c  F st  3538   1071875        80      7120         0     68782     49840   1223209     23.01     22.74  --
739.37/185.18	c  N dy  3590   1100886        80      7120         0     54007     49840    801904     22.99     24.31  --
762.55/190.90	c  N dy  3692   1126262        80      7120         0     77242     49840   1431649     23.01     24.28  --
783.31/196.19	c  N dy  3757   1149240        80      7120         0     56209     49840    849742     23.00     24.24  --
805.28/201.63	c  N dy  3861   1169283        80      7120         0     74634     49840   1353492     23.02     24.37  --
828.05/207.36	c  N dy  3921   1192516        80      7120         0     52845     49840    744203     23.01     24.33  --
845.24/211.68	c  S st  3962   1209860        80      7120         0     68630     49840   1164515     23.01     22.44  --
846.43/211.91	c  S st  3962   1210365        80      7120         0     69109     49840   1177676     23.01   no data  --
846.43/211.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
846.43/211.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
846.43/211.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
846.43/211.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
846.43/211.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
846.43/211.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
846.43/211.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
915.14/229.16	c lits-rem:      3125  cl-subs:     5858  v-elim:      0  v-fix:    0  time: 68.54 s
915.14/229.16	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
915.14/229.17	c vivif2 --  cl tried    63251 cl shrink        0 lits rem          0 time: 0.06
916.74/229.56	c asymm  cl-useful: 0/792/7120 lits-rem:0 time: 1.55
916.74/229.56	c calculated reachability. Time: 0.00
916.74/229.56	c  N dy  3962   1210365        80      7120         0     63251     49840   1017579     23.01   no data  --
939.51/235.23	c  N dy  4029   1230414        80      7120         0     81565     49840   1515006     23.01     24.36  --
957.90/239.81	c  N dy  4135   1250460        80      7120         0     56367     49840    831457     23.03     24.30  --
975.85/244.39	c  N dy  4202   1270540        80      7120         0     74796     49840   1331453     23.03     24.38  --
1011.01/253.13	c  N dy  4221   1308233        80      7120         0     64265     49840   1015402     23.00     24.33  --
1037.00/259.60	c  N dy  4307   1330035        80      7120         0     84263     49840   1555851     23.01     24.33  --
1060.53/265.56	c  N dy  4379   1353591        80      7120         0     60127     49840    892515     23.01     24.27  --
1083.30/271.21	c  N dy  4460   1374547        80      7120         0     79301     49840   1411915     23.01     24.24  --
1105.27/276.71	c  N dy  4542   1394616        80      7120         0     51160     49840    642076     23.02     24.95  --
1120.84/280.67	c  N dy  4620   1414863        80      7120         0     69724     49840   1146967     23.03     24.39  --
1140.82/285.62	c  N dy  4676   1434949        80      7120         0     88067     49840   1637885     23.03     25.79  --
1160.80/290.69	c  N dy  4734   1457261        80      7120         0     60915     49840    886963     23.03     24.38  --
1181.57/295.89	c  N dy  4857   1477311        80      7120         0     79282     49840   1390245     23.04     25.40  --
1205.13/301.79	c  N dy  4925   1497355        80      7120         0     49173     49840    554307     23.04     24.27  --
1221.91/305.99	c  N dy  5031   1518336        80      7120         0     68492     49840   1080794     23.05     24.27  --
1243.88/311.47	c  N dy  5116   1538499        80      7120         0     86947     49840   1578509     23.06     24.40  --
1268.25/317.57	c  N dy  5210   1560062        80      7120         0     57201     49840    753367     23.07     24.40  --
1285.02/321.73	c  N dy  5261   1580250        80      7120         0     75615     49840   1249220     23.07     24.40  --
1305.80/326.90	c  N dy  5296   1600911        80      7120         0     94399     49840   1755162     23.06     24.33  --
1327.77/332.44	c  N dy  5344   1625027        80      7120         0     66194     49840    980317     23.06     24.44  --
1348.55/337.66	c  N dy  5422   1646577        80      7120         0     85937     49840   1516876     23.06     24.29  --
1372.11/343.57	c  N dy  5476   1666614        80      7120         0     53046     49840    611934     23.06     25.03  --
1392.90/348.71	c  N dy  5592   1687040        80      7120         0     71766     49840   1125274     23.08     24.57  --
1420.44/355.67	c  N dy  5675   1707242        80      7120         0     90299     49840   1628172     23.08     24.47  --
1425.64/356.90	c  S st  5691   1710365        80      7120         0     93193     49840   1706956     23.08   no data  --
1426.84/357.23	c  S st  5691   1710868        80      7120         0     93667     49840   1720214     23.08   no data  --
1426.84/357.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1426.84/357.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1426.84/357.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1427.24/357.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1427.24/357.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1427.24/357.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1427.24/357.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1604.20/401.66	c lits-rem:      5895  cl-subs:     8076  v-elim:      0  v-fix:    0  time: 176.95 s
1604.20/401.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1604.20/401.68	c vivif2 --  cl tried    85591 cl shrink        0 lits rem          0 time: 0.08
1605.79/402.08	c asymm  cl-useful: 0/833/7120 lits-rem:0 time: 1.58
1605.79/402.08	c calculated reachability. Time: 0.00
1605.79/402.08	c  N dy  5691   1710868        80      7120         0     85591     49840   1483531     23.08   no data  --
1634.95/409.37	c  N dy  5753   1731434        80      7120         0     52549     49840    584447     23.08     24.34  --
1659.33/415.47	c  N dy  5830   1755140        80      7120         0     74277     49840   1171173     23.08     24.38  --
1692.87/423.83	c  N dy  5899   1776726        80      7120         0     94018     49840   1707941     23.09     24.39  --
1729.63/433.06	c  N dy  6029   1797931        80      7120         0     60491     49840    783957     23.10     24.34  --
1769.98/443.16	c  N dy  6049   1833933        80      7120         0     92884     49840   1613164     23.06     24.61  --
1804.33/451.76	c  N dy  6095   1859044        80      7120         0     62117     49840    804984     23.05     24.30  --
1832.31/458.70	c  N dy  6129   1886345        80      7120         0     86896     49840   1461835     23.03     24.27  --
1870.64/468.34	c  N dy  6194   1913701        80      7120         0     57302     49840    667987     23.03     24.39  --
1894.61/474.33	c  N dy  6244   1939183        80      7120         0     80566     49840   1292084     23.02     24.51  --
1934.55/484.32	c  N dy  6344   1965628        80      7120         0    104764     49840   1945187     23.02     24.34  --
1983.29/496.58	c  N dy  6380   2012060        80      7120         0     91224     49840   1532730     22.99     24.24  --
2009.66/503.12	c  N dy  6440   2032493        80      7120         0    109807     49840   2035472     22.99     24.25  --
2035.22/509.59	c  N dy  6550   2057078        80      7120         0     75894     49840   1140538     23.00     24.22  --
2064.39/516.82	c  N dy  6646   2081977        80      7120         0     98615     49840   1756405     23.00     24.24  --
2095.14/524.50	c  N dy  6738   2101993        80      7120         0     59481     49840    678601     23.00     26.79  --
2115.92/529.77	c  N dy  6802   2125302        80      7120         0     80747     49840   1249253     23.00     24.24  --
2143.48/536.60	c  N dy  6923   2145372        80      7120         0     99152     49840   1753802     23.02     24.87  --
2173.03/544.07	c  N dy  6974   2166767        80      7120         0     60286     49840    683030     23.01     24.29  --
2198.61/550.43	c  N dy  7046   2191618        80      7120         0     82931     49840   1290982     23.01     24.23  --
2219.00/555.50	c  S st  7083   2210868        80      7120         0    100560     49840   1765858     23.01     20.98  --
2219.78/555.78	c  S st  7083   2211369        80      7120         0    101026     49840   1778730     23.01   no data  --
2219.78/555.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2219.78/555.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2220.17/555.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2220.17/555.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2220.17/555.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2220.17/555.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2220.17/555.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2355.60/589.75	c lits-rem:      8306  cl-subs:     9095  v-elim:      0  v-fix:    0  time: 135.23 s
2355.60/589.75	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2355.60/589.77	c vivif2 --  cl tried    91931 cl shrink        0 lits rem          0 time: 0.08
2357.19/590.12	c asymm  cl-useful: 0/628/7120 lits-rem:0 time: 1.40
2357.19/590.13	c calculated reachability. Time: 0.00
2357.19/590.13	c  N dy  7083   2211369        80      7120         0     91931     49840   1524753     23.01   no data  --
2384.75/597.01	c  N dy  7164   2231419        80      7120         0    110285     49840   2024470     23.02     25.38  --
2411.11/603.67	c  N dy  7185   2260075        80      7120         0     77282     49840   1118165     23.00     24.35  --
2439.48/610.76	c  N dy  7279   2283789        80      7120         0     98989     49840   1704988     23.00     24.34  --
2474.23/619.47	c  N dy  7370   2304138        80      7120         0    117630     49840   2211114     23.00     24.29  --
2499.00/625.63	c  N dy  7459   2324208        80      7120         0     75957     49840   1082370     23.01     24.85  --
2522.56/631.50	c  N dy  7524   2344280        80      7120         0     94294     49840   1579399     23.01     26.34  --
2554.93/639.60	c  N dy  7637   2364686        80      7120         0    112957     49840   2088538     23.02     24.27  --
2583.71/646.81	c  N dy  7738   2385868        80      7120         0     71252     49840    940628     23.03     24.26  --
2607.26/652.72	c  N dy  7807   2406057        80      7120         0     89711     49840   1441064     23.03     24.25  --
2647.20/662.78	c  N dy  7918   2428847        80      7120         0    110572     49840   2011495     23.04     24.26  --
2687.15/672.71	c  N dy  8042   2449250        80      7120         0     67194     49840    810259     23.05     24.31  --
2709.12/678.25	c  N dy  8084   2469758        80      7120         0     85884     49840   1311304     23.04     24.36  --
2744.28/687.06	c  N dy  8144   2493406        80      7120         0    107437     49840   1893708     23.04     24.28  --
2781.44/696.36	c  N dy  8208   2513464        80      7120         0    125817     49840   2392097     23.04     25.30  --
2807.40/702.84	c  N dy  8286   2534201        80      7120         0     81754     49840   1188804     23.04     24.27  --
2838.16/710.58	c  N dy  8376   2554535        80      7120         0    100330     49840   1691288     23.05     24.34  --
2874.50/719.64	c  N dy  8465   2574554        80      7120         0    118654     49840   2189480     23.05     25.14  --
2945.21/737.37	c  N dy  8475   2629420        80      7120         0    104116     49840   1742943     23.01     24.33  --
2985.95/747.51	c  N dy  8592   2649473        80      7120         0    122478     49840   2246629     23.02     25.84  --
3017.51/755.48	c  N dy  8675   2669516        80      7120         0     76253     49840   1015004     23.02     25.76  --
3043.48/761.98	c  N dy  8737   2689608        80      7120         0     94566     49840   1509662     23.02     24.24  --
3076.63/770.26	c  N dy  8804   2709776        80      7120         0    113019     49840   2009900     23.02     24.29  --
3080.24/771.11	c  S st  8820   2711370        80      7120         0    114470     49840   2050617     23.03   no data  --
3081.82/771.50	c  S st  8820   2711873        80      7120         0    114943     49840   2063807     23.03   no data  --
3081.82/771.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3081.82/771.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3081.82/771.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3082.22/771.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3082.22/771.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3082.22/771.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3082.22/771.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3653.46/914.67	c lits-rem:      6516  cl-subs:    10266  v-elim:      0  v-fix:    0  time: 571.14 s
3653.46/914.67	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3653.46/914.70	c vivif2 --  cl tried   104677 cl shrink        0 lits rem          0 time: 0.09
3655.06/915.06	c asymm  cl-useful: 0/521/7120 lits-rem:0 time: 1.45
3655.06/915.06	c calculated reachability. Time: 0.00
3655.06/915.06	c  N dy  8820   2711873        80      7120         0    104677     49840   1770150     23.03   no data  --
3688.61/923.48	c  N dy  8920   2731938        80      7120         0    123025     49840   2272788     23.03     26.01  --
3714.57/929.99	c  N dy  8982   2752105        80      7120         0     76194     49840    997234     23.03     24.25  --
3739.35/936.11	c  N dy  9064   2772677        80      7120         0     94997     49840   1506578     23.04     24.26  --
3770.12/943.80	c  N dy  9171   2792815        80      7120         0    113402     49840   2009551     23.04     24.29  --
3817.24/955.64	c  N dy  9229   2820976        80      7120         0     72617     49840    879467     23.04     24.29  --
3857.59/965.70	c  N dy  9286   2854694        80      7120         0    103179     49840   1691490     23.03     24.53  --
3888.76/973.59	c  N dy  9311   2875098        80      7120         0    121774     49840   2186461     23.02     24.40  --
3926.68/983.04	c  N dy  9352   2898747        80      7120         0     75962     49840    947039     23.01     24.38  --
3952.65/989.59	c  N dy  9395   2918843        80      7120         0     94168     49840   1429431     23.01     24.65  --
3994.99/1000.19	c  N dy  9511   2938881        80      7120         0    112555     49840   1933683     23.01     24.24  --
4034.94/1010.10	c  N dy  9556   2958885        80      7120         0    130703     49840   2416697     23.01     24.33  --
4077.30/1020.79	c  N dy  9588   2986481        80      7120         0     87643     49840   1249593     23.00     24.26  --
4120.43/1031.56	c  N dy  9687   3009373        80      7120         0    108521     49840   1812869     23.00     24.50  --
4166.37/1043.08	c  N dy  9780   3029694        80      7120         0    127105     49840   2319047     23.01     24.25  --
4212.30/1054.55	c  N dy  9900   3049955        80      7120         0     76464     49840    943531     23.02     24.24  --
4253.06/1064.71	c  N dy  9999   3076606        80      7120         0    100773     49840   1602269     23.02     24.29  --
4297.00/1075.75	c  N dy 10055   3098041        80      7120         0    120256     49840   2128352     23.02     24.27  --
4359.71/1091.50	c  N dy 10154   3123607        80      7120         0     73450     49840    840210     23.02     24.30  --
4398.48/1101.14	c  N dy 10178   3151969        80      7120         0     99085     49840   1520371     23.01     24.48  --
4441.19/1111.82	c  N dy 10243   3172914        80      7120         0    118178     49840   2033489     23.01     24.36  --
4493.93/1125.03	c  N dy 10341   3192926        80      7120         0    136444     49840   2531047     23.01     26.76  --
4537.07/1135.81	c  S st 10470   3211874        80      7120         0     82807     49840   1088985     23.02   no data  --
4538.27/1136.15	c  S st 10470   3212378        80      7120         0     83291     49840   1102390     23.02   no data  --
4538.27/1136.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4538.27/1136.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4538.68/1136.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
4538.68/1136.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4538.68/1136.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4538.68/1136.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4538.68/1136.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4666.52/1168.24	c lits-rem:      2036  cl-subs:     2126  v-elim:      0  v-fix:    0  time: 127.75 s
4666.52/1168.24	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4666.52/1168.26	c vivif2 --  cl tried    81165 cl shrink        0 lits rem          0 time: 0.07
4668.50/1168.73	c asymm  cl-useful: 0/670/7120 lits-rem:0 time: 1.90
4668.50/1168.74	c calculated reachability. Time: 0.00
4668.50/1168.74	c  N dy 10470   3212378        80      7120         0     81165     49840   1036470     23.02   no data  --
4705.25/1177.90	c  N dy 10524   3237823        80      7120         0    104267     49840   1651060     23.01     24.38  --
4750.38/1189.22	c  N dy 10633   3257891        80      7120         0    122655     49840   2155339     23.02     24.42  --
4798.34/1201.21	c  N dy 10687   3278975        80      7120         0    141779     49840   2668438     23.02     24.48  --

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

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

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


[startup+0 s]
/proc/loadavg: 3.83 5.95 7.16 2/172 1969
/proc/meminfo: memFree=25615408/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=30748 CPUtime=0 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 410 0 0 0 0 0 0 0 22 0 2 0 502395341 31485952 349 33554432000 4194304 4650419 140735176209872 18446744073709551615 228095507441 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/1969/statm: 7687 349 303 112 0 2652 0
[pid=1969/tid=1971] ppid=1967 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 502395342 52465664 352 33554432000 4194304 4650419 140735176209872 18446744073709551615 47995115890610 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 502395342 52465664 352 33554432000 4194304 4650419 140735176209872 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 502395342 52465664 352 33554432000 4194304 4650419 140735176209872 18446744073709551615 47995115890610 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.053806 s]
/proc/loadavg: 3.83 5.95 7.16 2/172 1969
/proc/meminfo: memFree=25615408/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=282260 CPUtime=0.19 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 1457 0 0 0 19 0 0 0 18 0 4 0 502395341 289034240 1362 33554432000 4194304 4650419 140735176209872 18446744073709551615 4370482 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 70565 1362 366 112 0 65530 0
[pid=1969/tid=1971] ppid=1967 vsize=282260 CPUtime=0.05 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 231 0 0 0 5 0 0 0 18 0 4 0 502395342 289034240 1362 33554432000 4194304 4650419 140735176209872 18446744073709551615 4371148 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=282260 CPUtime=0.04 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 243 0 0 0 4 0 0 0 25 0 4 0 502395342 289034240 1362 33554432000 4194304 4650419 140735176209872 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=282260 CPUtime=0.04 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 309 0 0 0 4 0 0 0 18 0 4 0 502395342 289034240 1362 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 282260

[startup+0.100797 s]
/proc/loadavg: 3.83 5.95 7.16 2/172 1969
/proc/meminfo: memFree=25615408/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=282260 CPUtime=0.38 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 1535 0 0 0 38 0 0 0 18 0 4 0 502395341 289034240 1440 33554432000 4194304 4650419 140735176209872 18446744073709551615 4370456 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 70565 1440 366 112 0 65530 0
[pid=1969/tid=1971] ppid=1967 vsize=282260 CPUtime=0.09 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 236 0 0 0 9 0 0 0 18 0 4 0 502395342 289034240 1440 33554432000 4194304 4650419 140735176209872 18446744073709551615 4370633 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=282260 CPUtime=0.09 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 245 0 0 0 9 0 0 0 25 0 4 0 502395342 289034240 1441 33554432000 4194304 4650419 140735176209872 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=282260 CPUtime=0.09 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 379 0 0 0 9 0 0 0 18 0 4 0 502395342 289034240 1441 33554432000 4194304 4650419 140735176209872 18446744073709551615 4352090 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282260

[startup+0.300762 s]
/proc/loadavg: 3.83 5.95 7.16 2/172 1969
/proc/meminfo: memFree=25615408/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=284456 CPUtime=1.17 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 3931 0 0 0 117 0 0 0 18 0 4 0 502395341 291282944 3320 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 71114 3320 390 112 0 66079 0
[pid=1969/tid=1971] ppid=1967 vsize=284456 CPUtime=0.29 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 907 0 0 0 29 0 0 0 18 0 4 0 502395342 291282944 3320 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=284456 CPUtime=0.28 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 939 0 0 0 28 0 0 0 25 0 4 0 502395342 291282944 3320 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=284456 CPUtime=0.29 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 758 0 0 0 29 0 0 0 18 0 4 0 502395342 291282944 3320 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284456

[startup+0.700689 s]
/proc/loadavg: 3.83 5.95 7.16 2/172 1969
/proc/meminfo: memFree=25615408/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=286180 CPUtime=2.77 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 6264 0 0 0 276 1 0 0 18 0 4 0 502395341 293048320 3874 33554432000 4194304 4650419 140735176209872 18446744073709551615 4334321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 71545 3874 390 112 0 66510 0
[pid=1969/tid=1971] ppid=1967 vsize=286180 CPUtime=0.69 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 1565 0 0 0 69 0 0 0 18 0 4 0 502395342 293048320 3874 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=286180 CPUtime=0.68 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 1579 0 0 0 68 0 0 0 25 0 4 0 502395342 293048320 3874 33554432000 4194304 4650419 140735176209872 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=286180 CPUtime=0.69 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 1185 0 0 0 69 0 0 0 18 0 4 0 502395342 293048320 3874 33554432000 4194304 4650419 140735176209872 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286180

[startup+1.50054 s]
/proc/loadavg: 3.83 5.95 7.16 12/184 1981
/proc/meminfo: memFree=25585180/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=287496 CPUtime=5.97 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 10217 0 0 0 595 2 0 0 19 0 4 0 502395341 294395904 4778 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 71874 4778 391 112 0 66839 0
[pid=1969/tid=1971] ppid=1967 vsize=287496 CPUtime=1.49 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 2563 0 0 0 149 0 0 0 19 0 4 0 502395342 294395904 4778 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=287496 CPUtime=1.47 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 2606 0 0 0 147 0 0 0 25 0 4 0 502395342 294395904 4778 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=287496 CPUtime=1.48 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 2144 0 0 0 148 0 0 0 20 0 4 0 502395342 294395904 4778 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287496

[startup+3.10025 s]
/proc/loadavg: 4.16 5.98 7.17 9/184 1981
/proc/meminfo: memFree=25558272/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=287916 CPUtime=12.36 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 19426 0 0 0 1233 3 0 0 24 0 4 0 502395341 294825984 11517 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 71979 11517 392 112 0 66944 0
[pid=1969/tid=1971] ppid=1967 vsize=287916 CPUtime=3.09 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 4260 0 0 0 309 0 0 0 24 0 4 0 502395342 294825984 11517 33554432000 4194304 4650419 140735176209872 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=287916 CPUtime=3.07 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 5457 0 0 0 306 1 0 0 25 0 4 0 502395342 294825984 11517 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=287916 CPUtime=3.09 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 5216 0 0 0 308 1 0 0 25 0 4 0 502395342 294825984 11517 33554432000 4194304 4650419 140735176209872 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287916

[startup+6.30066 s]
/proc/loadavg: 4.16 5.98 7.17 9/184 1981
/proc/meminfo: memFree=25515120/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=279676 CPUtime=25.14 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 28390 0 0 0 2509 5 0 0 25 0 4 0 502395341 286388224 15858 33554432000 4194304 4650419 140735176209872 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 69919 15858 392 112 0 64884 0
[pid=1969/tid=1971] ppid=1967 vsize=279676 CPUtime=6.29 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 7385 0 0 0 628 1 0 0 25 0 4 0 502395342 286388224 15858 33554432000 4194304 4650419 140735176209872 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=279676 CPUtime=6.25 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 7265 0 0 0 624 1 0 0 25 0 4 0 502395342 286388224 15858 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=279676 CPUtime=6.28 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 7306 0 0 0 627 1 0 0 25 0 4 0 502395342 286388224 15858 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 279676

[startup+12.7005 s]
/proc/loadavg: 4.75 6.05 7.18 9/184 1982
/proc/meminfo: memFree=25477572/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=335992 CPUtime=50.71 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 40145 0 0 0 5062 9 0 0 25 0 4 0 502395341 344055808 21308 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 83998 21308 392 112 0 78963 0
[pid=1969/tid=1971] ppid=1967 vsize=335992 CPUtime=12.68 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 9966 0 0 0 1267 1 0 0 25 0 4 0 502395342 344055808 21308 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=335992 CPUtime=12.62 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 10086 0 0 0 1260 2 0 0 25 0 4 0 502395342 344055808 21308 33554432000 4194304 4650419 140735176209872 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=335992 CPUtime=12.68 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 10357 0 0 0 1266 2 0 0 25 0 4 0 502395342 344055808 21308 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 335992

[startup+25.5011 s]
/proc/loadavg: 5.25 6.11 7.19 9/184 1982
/proc/meminfo: memFree=25435428/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=290192 CPUtime=101.83 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 62887 0 0 0 10170 13 0 0 25 0 4 0 502395341 297156608 27716 33554432000 4194304 4650419 140735176209872 18446744073709551615 4334343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 72548 27716 392 112 0 67513 0
[pid=1969/tid=1971] ppid=1967 vsize=290192 CPUtime=25.49 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 16161 0 0 0 2546 3 0 0 25 0 4 0 502395342 297156608 27716 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=290192 CPUtime=25.35 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 15773 0 0 0 2532 3 0 0 25 0 4 0 502395342 297156608 27716 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=290192 CPUtime=25.48 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 16531 0 0 0 2545 3 0 0 25 0 4 0 502395342 297156608 27716 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 290192

[startup+51.1004 s]
/proc/loadavg: 6.26 6.28 7.21 9/184 1983
/proc/meminfo: memFree=25398904/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=322232 CPUtime=204.1 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 91790 0 0 0 20387 23 0 0 25 0 4 0 502395341 329965568 33396 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 80558 33396 392 112 0 75523 0
[pid=1969/tid=1971] ppid=1967 vsize=322232 CPUtime=51.09 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 20705 0 0 0 5104 5 0 0 25 0 4 0 502395342 329965568 33396 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=322232 CPUtime=50.81 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 24220 0 0 0 5076 5 0 0 25 0 4 0 502395342 329965568 33396 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=322232 CPUtime=51.08 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 25344 0 0 0 5101 7 0 0 25 0 4 0 502395342 329965568 33396 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 322232

[startup+102.307 s]
/proc/loadavg: 7.45 6.60 7.26 9/184 1984
/proc/meminfo: memFree=25329800/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=303960 CPUtime=408.64 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 132077 0 0 0 40826 38 0 0 25 0 4 0 502395341 311255040 38847 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 75990 38847 392 112 0 70955 0
[pid=1969/tid=1971] ppid=1967 vsize=303960 CPUtime=102.3 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 29788 0 0 0 10222 8 0 0 25 0 4 0 502395342 311255040 38847 33554432000 4194304 4650419 140735176209872 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=303960 CPUtime=101.73 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 33501 0 0 0 10165 8 0 0 25 0 4 0 502395342 311255040 38847 33554432000 4194304 4650419 140735176209872 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=303960 CPUtime=102.3 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 39200 0 0 0 10217 13 0 0 25 0 4 0 502395342 311255040 38847 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 303960

[startup+162.301 s]

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

[pid=1969] ppid=1967 vsize=508620 CPUtime=2805.39 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 403836 0 0 0 280373 166 0 0 25 0 4 0 502395341 520826880 82261 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 127155 82261 392 112 0 122120 0
[pid=1969/tid=1971] ppid=1967 vsize=508620 CPUtime=702.29 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 96884 0 0 0 70187 42 0 0 25 0 4 0 502395342 520826880 82261 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=508620 CPUtime=698.46 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 110242 0 0 0 69802 44 0 0 25 0 4 0 502395342 520826880 82261 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=508620 CPUtime=702.31 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 96063 0 0 0 70195 36 0 0 25 0 4 0 502395342 520826880 82261 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 508620

[startup+762.307 s]
/proc/loadavg: 8.07 7.89 7.65 9/184 2041
/proc/meminfo: memFree=25101472/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=574324 CPUtime=3045.1 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 420009 0 0 0 304334 176 0 0 25 0 4 0 502395341 588107776 84231 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 143581 84231 392 112 0 138546 0
[pid=1969/tid=1971] ppid=1967 vsize=574324 CPUtime=762.31 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 100879 0 0 0 76186 45 0 0 25 0 4 0 502395342 588107776 84231 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=574324 CPUtime=758.15 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 116055 0 0 0 75767 48 0 0 25 0 4 0 502395342 588107776 84231 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=574324 CPUtime=762.32 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 96248 0 0 0 76196 36 0 0 25 0 4 0 502395342 588107776 84231 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 574324

[startup+822.301 s]
/proc/loadavg: 8.11 7.93 7.68 9/184 2042
/proc/meminfo: memFree=25045896/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=574544 CPUtime=3284.74 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 436872 0 0 0 328289 185 0 0 25 0 4 0 502395341 588333056 85707 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 143636 85707 392 112 0 138601 0
[pid=1969/tid=1971] ppid=1967 vsize=574544 CPUtime=822.3 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 106558 0 0 0 82181 49 0 0 25 0 4 0 502395342 588333056 85707 33554432000 4194304 4650419 140735176209872 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=574544 CPUtime=817.81 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 123514 0 0 0 81730 51 0 0 25 0 4 0 502395342 588333056 85707 33554432000 4194304 4650419 140735176209872 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=574544 CPUtime=822.31 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 98802 0 0 0 82193 38 0 0 25 0 4 0 502395342 588333056 85707 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 574544

[startup+882.301 s]
/proc/loadavg: 8.18 7.99 7.71 9/184 2044
/proc/meminfo: memFree=25021796/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=587240 CPUtime=3524.42 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 453847 0 0 0 352246 196 0 0 25 0 4 0 502395341 601333760 84114 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 146810 84114 392 112 0 141775 0
[pid=1969/tid=1971] ppid=1967 vsize=587240 CPUtime=882.3 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 112463 0 0 0 88177 53 0 0 25 0 4 0 502395342 601333760 84114 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=587240 CPUtime=877.49 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 128409 0 0 0 87695 54 0 0 25 0 4 0 502395342 601333760 84114 33554432000 4194304 4650419 140735176209872 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=587240 CPUtime=882.31 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 104977 0 0 0 88189 42 0 0 25 0 4 0 502395342 601333760 84114 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 587240

[startup+942.301 s]
/proc/loadavg: 8.11 8.00 7.73 9/184 2045
/proc/meminfo: memFree=24961004/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=587312 CPUtime=3764.11 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 474247 0 0 0 376205 206 0 0 25 0 4 0 502395341 601407488 95148 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 146828 95148 392 112 0 141793 0
[pid=1969/tid=1971] ppid=1967 vsize=587312 CPUtime=942.3 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 116423 0 0 0 94175 55 0 0 25 0 4 0 502395342 601407488 95148 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=587312 CPUtime=937.16 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 134503 0 0 0 93659 57 0 0 25 0 4 0 502395342 601407488 95148 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=587312 CPUtime=942.31 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 112333 0 0 0 94186 45 0 0 25 0 4 0 502395342 601407488 95148 33554432000 4194304 4650419 140735176209872 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 587312

[startup+1002.3 s]
/proc/loadavg: 8.08 8.01 7.75 9/184 2047
/proc/meminfo: memFree=24915356/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=587812 CPUtime=4003.78 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 487807 0 0 0 400163 215 0 0 25 0 4 0 502395341 601919488 96428 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 146953 96428 392 112 0 141918 0
[pid=1969/tid=1971] ppid=1967 vsize=587812 CPUtime=1002.3 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 118119 0 0 0 100175 55 0 0 25 0 4 0 502395342 601919488 96428 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=587812 CPUtime=996.83 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 139115 0 0 0 99622 61 0 0 25 0 4 0 502395342 601919488 96428 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=587812 CPUtime=1002.31 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 116048 0 0 0 100185 46 0 0 25 0 4 0 502395342 601919488 96428 33554432000 4194304 4650419 140735176209872 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 587812

[startup+1062.3 s]
/proc/loadavg: 8.07 8.02 7.77 9/184 2049
/proc/meminfo: memFree=24919424/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=600888 CPUtime=4243.47 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 500490 0 0 0 424126 221 0 0 25 0 4 0 502395341 615309312 94273 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 150222 94274 392 112 0 145187 0
[pid=1969/tid=1971] ppid=1967 vsize=600888 CPUtime=1062.3 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 118700 0 0 0 106175 55 0 0 25 0 4 0 502395342 615309312 94274 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=600888 CPUtime=1056.51 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 144380 0 0 0 105587 64 0 0 25 0 4 0 502395342 615309312 94274 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=600888 CPUtime=1062.32 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 117248 0 0 0 106185 47 0 0 25 0 4 0 502395342 615309312 94274 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 600888

[startup+1122.3 s]
/proc/loadavg: 8.06 8.03 7.78 9/184 2050
/proc/meminfo: memFree=24909220/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=600888 CPUtime=4483.14 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 508550 0 0 0 448090 224 0 0 25 0 4 0 502395341 615309312 98541 33554432000 4194304 4650419 140735176209872 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 150222 98541 392 112 0 145187 0
[pid=1969/tid=1971] ppid=1967 vsize=600888 CPUtime=1122.3 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 119483 0 0 0 112175 55 0 0 25 0 4 0 502395342 615309312 98541 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=600888 CPUtime=1116.18 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 144595 0 0 0 111554 64 0 0 25 0 4 0 502395342 615309312 98541 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=600888 CPUtime=1122.32 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 119926 0 0 0 112185 47 0 0 25 0 4 0 502395342 615309312 98541 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 600888

[startup+1182.3 s]
/proc/loadavg: 8.12 8.05 7.81 9/184 2052
/proc/meminfo: memFree=24864304/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=614108 CPUtime=4722.82 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 514749 0 0 0 472055 227 0 0 25 0 4 0 502395341 628846592 103133 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 153527 103133 392 112 0 148492 0
[pid=1969/tid=1971] ppid=1967 vsize=614108 CPUtime=1182.31 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 122387 0 0 0 118174 57 0 0 25 0 4 0 502395342 628846592 103133 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=614108 CPUtime=1175.86 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 144595 0 0 0 117522 64 0 0 25 0 4 0 502395342 628846592 103133 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=614108 CPUtime=1182.32 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 120694 0 0 0 118185 47 0 0 25 0 4 0 502395342 628846592 103133 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 614108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.06 7.82 9/184 2052
/proc/meminfo: memFree=24873976/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=614108 CPUtime=4800.32 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 516557 0 0 0 479804 228 0 0 25 0 4 0 502395341 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 153527 104941 392 112 0 148492 0
[pid=1969/tid=1971] ppid=1967 vsize=614108 CPUtime=1201.71 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 123304 0 0 0 120114 57 0 0 25 0 4 0 502395342 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=614108 CPUtime=1195.15 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 144595 0 0 0 119451 64 0 0 25 0 4 0 502395342 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=614108 CPUtime=1201.73 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 120694 0 0 0 120126 47 0 0 25 0 4 0 502395342 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 614108

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.13 8.06 7.82 9/184 2052
/proc/meminfo: memFree=24873976/32951124 swapFree=67111524/67111528
[pid=1969] ppid=1967 vsize=614108 CPUtime=4800.32 cores=1,3,5,7
/proc/1969/stat : 1969 (strangenight1-m) R 1967 1969 1454 0 -1 4202496 516557 0 0 0 479804 228 0 0 25 0 4 0 502395341 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1969/statm: 153527 104941 392 112 0 148492 0
[pid=1969/tid=1971] ppid=1967 vsize=614108 CPUtime=1201.71 cores=1,3,5,7
/proc/1969/task/1971/stat : 1971 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 123304 0 0 0 120114 57 0 0 25 0 4 0 502395342 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1969/tid=1973] ppid=1967 vsize=614108 CPUtime=1195.15 cores=1,3,5,7
/proc/1969/task/1973/stat : 1973 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 144595 0 0 0 119451 64 0 0 25 0 4 0 502395342 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1969/tid=1974] ppid=1967 vsize=614108 CPUtime=1201.73 cores=1,3,5,7
/proc/1969/task/1974/stat : 1974 (strangenight1-m) R 1967 1969 1454 0 -1 4202560 120694 0 0 0 120126 47 0 0 25 0 4 0 502395342 628846592 104941 33554432000 4194304 4650419 140735176209872 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 614108

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.38
CPU user time (s): 4798.08
CPU system time (s): 2.30565
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 653516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.08
system time used= 2.30565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516557
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= 1238
involuntary context switches= 34647

runsolver used 1.81372 second user time and 4.75928 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 19:56:39
IDJOB=3175210
IDBENCH=82828
IDSOLVER=1588
FILE ID=node142/3175210-1304099799
RUNJOBID= node142-1304099799-1955
PBS_JOBID= 13170602
Free space on /tmp= 71316 MiB

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

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

MD5SUM BENCH= 4fa782cc700b96dfddf41b0ed3b14006
RANDOM SEED=627042135

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:      25615440 kB
Buffers:       1680072 kB
Cached:        5049716 kB
SwapCached:          4 kB
Active:         880692 kB
Inactive:      5913220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25615440 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12480 kB
Writeback:           0 kB
AnonPages:       63892 kB
Mapped:          14480 kB
Slab:           477976 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184960 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= 71300 MiB
End job on node142 at 2011-04-29 20:16:42