Trace number 3368819

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368819-1305403827.cnf'
0.00/0.01	c -- header says num vars:             80
0.00/0.01	c -- header says num clauses:        7120
0.00/0.01	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.01	c -- vars added         80
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.37/0.18	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.63
0.37/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.37/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
0.37/0.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3.57/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.57/1.00	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c Calc default polars -  time:   0.00 s pos:      43 undec:       1 neg:      36
3.57/1.00	c =========================================================================================
3.57/1.00	c types(t): F = full restart, N = normal restart
3.57/1.00	c types(t): S = simplification begin/end, E = solution found
3.57/1.00	c restart types(rt): st = static, dy = dynamic
3.57/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/1.00	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.57/1.00	c  N dy     8      6080        80      7120         0      3281     49840     78854     23.24     24.46  --
3.57/1.00	c  N dy     9     13624        80      7120         0      6337     49840    147636     22.39     23.59  --
3.57/1.00	c  N dy    37     17824        80      7120         0     10229     49840    253850     22.89     24.20  --
4.40/1.19	c  N dy    64     24220        80      7120         0     10922     49840    259050     23.16     24.43  --
4.76/1.23	c  F st    66     25000        80      7120         0     11647     49840    278468     23.16     23.27  --
5.16/1.39	c  N st    71     28296        80      7120         0      8387     49840    174369     23.16   no data  --
5.56/1.47	c  S st    72     30001        80      7120         0      9950     49840    217171     23.16   no data  --
5.96/1.50	c  S st    72     30504        80      7120         0     10424     49840    230102     23.16   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.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.35/2.63	c lits-rem:      1524  cl-subs:      758  v-elim:      0  v-fix:    0  time:  4.44 s
11.55/2.96	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.32
11.55/2.96	c calculated reachability. Time: 0.00
11.55/2.96	c  N dy    72     30504        80      7120         0      9666     49840    206381     23.16   no data  --
12.77/3.27	c  N dy    86     35901        80      7120         0      7382     49840    130407     23.17     24.40  --
13.54/3.46	c  N dy    93     39974        80      7120         0     11132     49840    230911     23.09     24.79  --
14.74/3.70	c  N dy   104     43975        80      7120         0     14795     49840    327939     23.05     24.38  --
15.14/3.82	c  S st   108     45756        80      7120         0     16421     49840    371216     23.03     21.72  --
15.14/3.86	c  S st   108     46257        80      7120         0      8687     49840    152622     23.03   no data  --
15.14/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.14/3.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.14/3.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.14/3.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.72/4.71	c lits-rem:       184  cl-subs:       47  v-elim:      0  v-fix:    0  time:  3.34 s
18.72/4.71	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.72/4.71	c vivif2 --  cl tried     8640 cl shrink        0 lits rem          0 time: 0.00
19.53/4.99	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.12
19.53/4.99	c calculated reachability. Time: 0.00
19.53/4.99	c  N dy   108     46257        80      7120         0      8640     49840    150891     23.03   no data  --
20.73/5.22	c  N dy   122     50318        80      7120         0     12356     49840    250752     23.05     24.51  --
21.55/5.47	c  N dy   134     54330        80      7120         0     16045     49840    349881     23.06     24.39  --
23.52/5.93	c  N dy   152     61890        80      7120         0     13797     49840    274335     23.06     24.29  --
24.72/6.23	c  N dy   165     66763        80      7120         0     18293     49840    394891     23.03     24.34  --
25.52/6.43	c  S st   177     69387        80      7120         0     10636     49840    174924     23.06   no data  --
25.52/6.47	c  S st   177     69892        80      7120         0     11101     49840    187492     23.06   no data  --
25.52/6.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.52/6.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.52/6.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.52/6.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.52/6.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.52/6.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.52/6.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.50/7.43	c lits-rem:       429  cl-subs:      144  v-elim:      0  v-fix:    0  time:  3.78 s
29.50/7.43	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.50/7.43	c vivif2 --  cl tried    10957 cl shrink        0 lits rem          0 time: 0.01
30.74/7.77	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.34
30.74/7.77	c calculated reachability. Time: 0.00
30.74/7.77	c  N dy   177     69892        80      7120         0     10957     49840    182668     23.06   no data  --
31.89/8.01	c  N dy   187     74524        80      7120         0     15199     49840    297316     23.05     24.30  --
33.09/8.36	c  N dy   207     79328        80      7120         0     19631     49840    418204     23.10     24.33  --
35.48/8.91	c  F st   215     87500        80      7120         0     16109     49840    306348     23.04     22.40  --
35.48/8.91	c  N st   215     87500        80      7120         0     16109     49840    306348     23.04     22.40  --
38.28/9.68	c  N dy   224     97745        80      7120         0     13563     49840    224911     22.98     24.31  --
40.26/10.15	c  N dy   238    104548        80      7120         0     19836     49840    394034     22.99     24.23  --
40.26/10.17	c  S st   241    104839        80      7120         0     20098     49840    401345     23.00   no data  --
40.66/10.23	c  S st   241    105343        80      7120         0     20575     49840    414264     23.00   no data  --
40.66/10.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
40.66/10.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.66/10.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.66/10.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.66/10.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.66/10.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.66/10.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
48.29/12.18	c lits-rem:      2237  cl-subs:     1672  v-elim:      0  v-fix:    0  time:  7.66 s
48.29/12.18	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
48.29/12.18	c vivif2 --  cl tried    18903 cl shrink        0 lits rem          0 time: 0.02
49.84/12.56	c asymm  cl-useful: 0/5573/7120 lits-rem:0 time: 1.52
49.84/12.56	c calculated reachability. Time: 0.00
49.84/12.56	c  N dy   241    105343        80      7120         0     18903     49840    365260     23.00   no data  --
51.84/13.05	c  N dy   259    112174        80      7120         0     25183     49840    532066     22.99     24.27  --
53.83/13.58	c  N dy   278    120304        80      7120         0     19859     49840    379186     23.00     24.25  --
56.65/14.27	c  N dy   306    128585        80      7120         0     27484     49840    584727     23.03     24.25  --
61.46/15.49	c  N dy   309    144942        80      7120         0     28585     49840    590515     22.82     24.11  --
65.43/16.49	c  N dy   330    158014        80      7120         0     25892     49840    503503     22.75     20.28  --
65.43/16.49	c  S st   330    158014        80      7120         0     25892     49840    503503     22.75     20.28  --
65.85/16.56	c  S st   330    158516        80      7120         0     26366     49840    516675     22.75   no data  --
65.85/16.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.85/16.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.85/16.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
65.85/16.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.85/16.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.85/16.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.85/16.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.97/18.82	c lits-rem:      1605  cl-subs:     2720  v-elim:      0  v-fix:    0  time:  8.93 s
74.97/18.82	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
74.97/18.83	c vivif2 --  cl tried    23646 cl shrink        0 lits rem          0 time: 0.02
75.77/19.01	c asymm  cl-useful: 0/1547/7120 lits-rem:0 time: 0.73
75.77/19.01	c calculated reachability. Time: 0.00
75.77/19.01	c  N dy   330    158516        80      7120         0     23646     49840    444202     22.75   no data  --
79.37/19.99	c  N dy   360    168725        80      7120         0     17622     49840    274675     22.74     26.26  --
83.75/21.01	c  N dy   394    180367        80      7120         0     28344     49840    562485     22.76     24.01  --
88.54/22.22	c  N dy   401    195354        80      7120         0     25582     49840    468431     22.65     23.88  --
94.13/23.64	c  N dy   428    207837        80      7120         0     19650     49840    298919     22.66     24.20  --
99.32/24.97	c  N dy   487    221457        80      7120         0     32139     49840    634430     22.69     23.91  --
104.93/26.33	c  N dy   528    236165        80      7120         0     27323     49840    484084     22.69     23.89  --
105.70/26.50	c  S st   543    237775        80      7120         0     28805     49840    524536     22.71     22.92  --
105.70/26.57	c  S st   543    238276        80      7120         0     29272     49840    537377     22.71   no data  --
105.70/26.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
105.70/26.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.70/26.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
106.09/26.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106.09/26.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106.09/26.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
106.09/26.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.67/29.02	c lits-rem:      1652  cl-subs:     2237  v-elim:      0  v-fix:    0  time:  9.67 s
115.67/29.03	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
115.67/29.03	c vivif2 --  cl tried    27035 cl shrink        0 lits rem          0 time: 0.02
116.47/29.24	c asymm  cl-useful: 0/2076/7120 lits-rem:0 time: 0.83
116.47/29.24	c calculated reachability. Time: 0.00
116.47/29.24	c  N dy   543    238276        80      7120         0     27035     49840    475223     22.71   no data  --
129.23/32.47	c  N dy   618    269763        80      7120         0     36539     49840    701963     22.63     23.84  --
136.82/34.34	c  N dy   724    286983        80      7120         0     32318     49840    595747     22.71     25.54  --
145.19/36.45	c  F st   796    306253        80      7120         0     29028     49840    489170     22.73     21.83  --
145.19/36.45	c  N st   796    306253        80      7120         0     29028     49840    489170     22.73     21.83  --
154.77/38.80	c  N dy   890    325823        80      7120         0     24996     49840    367585     22.79     25.22  --
163.94/41.19	c  N dy   947    347227        80      7120         0     44569     49840    888149     22.77     24.02  --
168.73/42.35	c  S st  1000    357414        80      7120         0     31006     49840    509717     22.79   no data  --
169.13/42.42	c  S st  1000    357918        80      7120         0     31483     49840    522782     22.79   no data  --
169.13/42.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
169.13/42.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
169.13/42.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
169.13/42.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
169.13/42.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
169.13/42.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
169.13/42.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
179.11/44.96	c lits-rem:      1578  cl-subs:     1587  v-elim:      0  v-fix:    0  time: 10.00 s
179.11/44.96	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
179.11/44.96	c vivif2 --  cl tried    29896 cl shrink        0 lits rem          0 time: 0.02
180.29/45.22	c asymm  cl-useful: 0/1655/7120 lits-rem:0 time: 1.02
180.29/45.23	c calculated reachability. Time: 0.00
180.29/45.23	c  N dy  1000    357918        80      7120         0     29896     49840    476067     22.79   no data  --
193.86/48.62	c  N dy  1078    378915        80      7120         0     25346     49840    339160     22.82     24.24  --
204.23/51.22	c  N dy  1134    399160        80      7120         0     43870     49840    823955     22.79     24.05  --
215.05/53.94	c  N dy  1208    419239        80      7120         0     37511     49840    644008     22.78     24.04  --
226.57/56.87	c  N dy  1311    439823        80      7120         0     30838     49840    458777     22.82     24.06  --
237.74/59.65	c  N dy  1392    459849        80      7120         0     49112     49840    948690     22.84     25.71  --
248.12/62.22	c  N dy  1462    479950        80      7120         0     41043     49840    714256     22.85     25.25  --
260.88/65.46	c  N dy  1541    502294        80      7120         0     34063     49840    512012     22.87     24.55  --
272.09/68.29	c  N dy  1596    522314        80      7120         0     52366     49840   1000338     22.87     24.37  --
280.87/70.49	c  S st  1668    536877        80      7120         0     37337     49840    585476     22.89     20.13  --
281.22/70.58	c  S st  1668    537378        80      7120         0     37813     49840    598651     22.89   no data  --
281.22/70.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
281.22/70.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
281.22/70.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
281.62/70.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
281.62/70.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
281.62/70.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
281.62/70.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
291.60/73.10	c lits-rem:      1099  cl-subs:     1863  v-elim:      0  v-fix:    0  time:  9.91 s
291.60/73.10	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
291.60/73.10	c vivif2 --  cl tried    35950 cl shrink        0 lits rem          0 time: 0.02
292.40/73.33	c asymm  cl-useful: 0/1324/7120 lits-rem:0 time: 0.88
292.40/73.33	c calculated reachability. Time: 0.00
292.40/73.33	c  N dy  1668    537378        80      7120         0     35950     49840    545603     22.89   no data  --
304.37/76.32	c  N dy  1724    559574        80      7120         0     56260     49840   1089243     22.88     24.09  --
315.98/79.22	c  N dy  1809    579641        80      7120         0     45513     49840    793298     22.90     24.26  --
330.69/82.90	c  N dy  1863    603148        80      7120         0     36708     49840    530159     22.88     24.19  --
343.46/86.14	c  N dy  1976    623442        80      7120         0     55334     49840   1034872     22.91     24.18  --
356.23/89.33	c  N dy  2025    643803        80      7120         0     42865     49840    680655     22.91     24.28  --
371.79/93.24	c  N dy  2103    665793        80      7120         0     63020     49840   1221636     22.91     24.22  --
391.73/98.25	c  N dy  2165    700587        80      7120         0     62734     49840   1189452     22.87     24.15  --
404.50/101.49	c  N dy  2246    720697        80      7120         0     48300     49840    804316     22.89     24.14  --
421.65/105.77	c  N dy  2314    740710        80      7120         0     66678     49840   1300745     22.90     25.11  --
434.47/108.96	c  N dy  2394    760947        80      7120         0     51317     49840    865635     22.91     24.16  --
453.58/113.70	c  N dy  2496    784426        80      7120         0     37963     49840    487469     22.93     24.28  --
466.74/117.08	c  N dy  2585    806069        80      7120         0     57774     49840   1021742     22.94     22.80  --
466.74/117.08	c  S st  2585    806069        80      7120         0     57774     49840   1021742     22.94     22.80  --
467.54/117.23	c  S st  2585    806573        80      7120         0     58241     49840   1034627     22.94   no data  --
467.54/117.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
467.54/117.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
467.54/117.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
467.54/117.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.54/117.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.54/117.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
467.54/117.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
511.81/128.31	c lits-rem:      2965  cl-subs:     4739  v-elim:      0  v-fix:    0  time: 43.92 s
511.81/128.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
511.81/128.32	c vivif2 --  cl tried    53502 cl shrink        0 lits rem          0 time: 0.04
512.61/128.60	c asymm  cl-useful: 0/918/7120 lits-rem:0 time: 1.11
512.61/128.60	c calculated reachability. Time: 0.00
512.61/128.60	c  N dy  2585    806573        80      7120         0     53502     49840    900788     22.94   no data  --
529.38/132.75	c  N dy  2652    826772        80      7120         0     36430     49840    435916     22.94     24.16  --
541.74/135.82	c  N dy  2720    847083        80      7120         0     55077     49840    934084     22.94     24.17  --
558.90/140.16	c  N dy  2789    868337        80      7120         0     37984     49840    461341     22.95     24.18  --
571.66/143.34	c  N dy  2860    888372        80      7120         0     56329     49840    955434     22.95     24.54  --
588.81/147.60	c  N dy  2946    908375        80      7120         0     74666     49840   1453276     22.96     25.07  --
601.58/150.84	c  N dy  3010    928491        80      7120         0     55564     49840    917501     22.97     24.29  --
617.55/154.88	c  N dy  3068    948545        80      7120         0     73891     49840   1410545     22.97     24.54  --
631.95/158.48	c  N dy  3161    968648        80      7120         0     53920     49840    860863     22.98     24.21  --
648.26/162.50	c  N dy  3226    988678        80      7120         0     72256     49840   1353716     22.98     25.61  --
663.01/166.23	c  N dy  3287   1008699        80      7120         0     51220     49840    765041     22.98     24.23  --
680.22/170.52	c  N dy  3386   1029329        80      7120         0     70143     49840   1280035     23.00     24.36  --
697.77/174.95	c  N dy  3469   1049384        80      7120         0     48179     49840    668266     23.01     24.25  --
712.49/178.60	c  N dy  3523   1069386        80      7120         0     66485     49840   1160555     23.00     24.25  --
714.91/179.23	c  F st  3538   1071875        80      7120         0     68782     49840   1223209     23.01     22.74  --
738.02/185.03	c  N dy  3590   1100886        80      7120         0     54007     49840    801904     22.99     24.31  --
759.56/190.46	c  N dy  3692   1126262        80      7120         0     77242     49840   1431649     23.01     24.28  --
779.92/195.52	c  N dy  3757   1149240        80      7120         0     56209     49840    849742     23.00     24.24  --
801.45/200.98	c  N dy  3861   1169283        80      7120         0     74634     49840   1353492     23.02     24.37  --
824.20/206.71	c  N dy  3921   1192516        80      7120         0     52845     49840    744203     23.01     24.33  --
842.17/211.16	c  S st  3962   1209860        80      7120         0     68630     49840   1164515     23.01     22.44  --
843.34/211.42	c  S st  3962   1210365        80      7120         0     69109     49840   1177676     23.01   no data  --
843.34/211.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
843.34/211.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
843.34/211.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
843.74/211.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
843.74/211.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.74/211.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
843.74/211.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
915.94/229.65	c lits-rem:      3125  cl-subs:     5858  v-elim:      0  v-fix:    0  time: 72.32 s
915.94/229.65	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
915.94/229.67	c vivif2 --  cl tried    63251 cl shrink        0 lits rem          0 time: 0.05
917.54/230.05	c asymm  cl-useful: 0/792/7120 lits-rem:0 time: 1.51
917.54/230.05	c calculated reachability. Time: 0.00
917.54/230.05	c  N dy  3962   1210365        80      7120         0     63251     49840   1017579     23.01   no data  --
940.28/235.74	c  N dy  4029   1230414        80      7120         0     81565     49840   1515006     23.01     24.36  --
958.63/240.39	c  N dy  4135   1250460        80      7120         0     56367     49840    831457     23.03     24.30  --
978.62/245.33	c  N dy  4202   1270540        80      7120         0     74796     49840   1331453     23.03     24.38  --
1013.31/254.04	c  N dy  4221   1308233        80      7120         0     64265     49840   1015402     23.00     24.33  --
1039.22/260.54	c  N dy  4307   1330035        80      7120         0     84263     49840   1555851     23.01     24.33  --
1063.14/266.52	c  N dy  4379   1353591        80      7120         0     60127     49840    892515     23.01     24.27  --
1084.29/271.81	c  N dy  4460   1374547        80      7120         0     79301     49840   1411915     23.01     24.24  --
1106.23/277.33	c  N dy  4542   1394616        80      7120         0     51160     49840    642076     23.02     24.95  --
1121.80/281.27	c  N dy  4620   1414863        80      7120         0     69724     49840   1146967     23.03     24.39  --
1141.34/286.19	c  N dy  4676   1434949        80      7120         0     88067     49840   1637885     23.03     25.79  --
1162.09/291.31	c  N dy  4734   1457261        80      7120         0     60915     49840    886963     23.03     24.38  --
1182.43/296.44	c  N dy  4857   1477311        80      7120         0     79282     49840   1390245     23.04     25.40  --
1205.97/302.34	c  N dy  4925   1497355        80      7120         0     49173     49840    554307     23.04     24.27  --
1222.72/306.56	c  N dy  5031   1518336        80      7120         0     68492     49840   1080794     23.05     24.27  --
1244.27/311.95	c  N dy  5116   1538499        80      7120         0     86947     49840   1578509     23.06     24.40  --
1268.99/318.13	c  N dy  5210   1560062        80      7120         0     57201     49840    753367     23.07     24.40  --
1285.38/322.27	c  N dy  5261   1580250        80      7120         0     75615     49840   1249220     23.07     24.40  --
1305.70/327.36	c  N dy  5296   1600911        80      7120         0     94399     49840   1755162     23.06     24.33  --
1328.04/332.93	c  N dy  5344   1625027        80      7120         0     66194     49840    980317     23.06     24.44  --
1348.78/338.19	c  N dy  5422   1646577        80      7120         0     85937     49840   1516876     23.06     24.29  --
1372.32/344.02	c  N dy  5476   1666614        80      7120         0     53046     49840    611934     23.06     25.03  --
1390.69/348.65	c  N dy  5592   1687040        80      7120         0     71766     49840   1125274     23.08     24.57  --
1415.40/354.86	c  N dy  5675   1707242        80      7120         0     90299     49840   1628172     23.08     24.47  --
1420.59/356.11	c  S st  5691   1710365        80      7120         0     93193     49840   1706956     23.08   no data  --
1421.83/356.44	c  S st  5691   1710868        80      7120         0     93667     49840   1720214     23.08   no data  --
1421.83/356.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1421.83/356.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1422.18/356.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
1422.18/356.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1422.18/356.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1422.18/356.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1422.18/356.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1602.10/401.65	c lits-rem:      5895  cl-subs:     8076  v-elim:      0  v-fix:    0  time: 179.77 s
1602.10/401.65	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1602.10/401.67	c vivif2 --  cl tried    85591 cl shrink        0 lits rem          0 time: 0.08
1603.70/402.06	c asymm  cl-useful: 0/833/7120 lits-rem:0 time: 1.57
1603.70/402.06	c calculated reachability. Time: 0.00
1603.70/402.06	c  N dy  5691   1710868        80      7120         0     85591     49840   1483531     23.08   no data  --
1633.62/409.53	c  N dy  5753   1731434        80      7120         0     52549     49840    584447     23.08     24.34  --
1660.74/416.33	c  N dy  5830   1755140        80      7120         0     74277     49840   1171173     23.08     24.38  --
1693.06/424.50	c  N dy  5899   1776726        80      7120         0     94018     49840   1707941     23.09     24.39  --
1729.00/433.46	c  N dy  6029   1797931        80      7120         0     60491     49840    783957     23.10     24.34  --
1768.08/443.21	c  N dy  6049   1833933        80      7120         0     92884     49840   1613164     23.06     24.61  --
1801.56/451.61	c  N dy  6095   1859044        80      7120         0     62117     49840    804984     23.05     24.30  --
1829.09/458.55	c  N dy  6129   1886345        80      7120         0     86896     49840   1461835     23.03     24.27  --
1867.78/468.27	c  N dy  6194   1913701        80      7120         0     57302     49840    667987     23.03     24.39  --
1891.71/474.25	c  N dy  6244   1939183        80      7120         0     80566     49840   1292084     23.02     24.51  --
1931.60/484.26	c  N dy  6344   1965628        80      7120         0    104764     49840   1945187     23.02     24.34  --
1982.68/497.05	c  N dy  6380   2012060        80      7120         0     91224     49840   1532730     22.99     24.24  --
2010.19/503.94	c  N dy  6440   2032493        80      7120         0    109807     49840   2035472     22.99     24.25  --
2035.75/510.40	c  N dy  6550   2057078        80      7120         0     75894     49840   1140538     23.00     24.22  --
2064.85/517.66	c  N dy  6646   2081977        80      7120         0     98615     49840   1756405     23.00     24.24  --
2095.57/525.30	c  N dy  6738   2101993        80      7120         0     59481     49840    678601     23.00     26.79  --
2116.31/530.59	c  N dy  6802   2125302        80      7120         0     80747     49840   1249253     23.00     24.24  --
2143.84/537.47	c  N dy  6923   2145372        80      7120         0     99152     49840   1753802     23.02     24.87  --
2173.36/544.87	c  N dy  6974   2166767        80      7120         0     60286     49840    683030     23.01     24.29  --
2198.88/551.20	c  N dy  7046   2191618        80      7120         0     82931     49840   1290982     23.01     24.23  --
2219.23/556.35	c  S st  7083   2210868        80      7120         0    100560     49840   1765858     23.01     20.98  --
2220.47/556.63	c  S st  7083   2211369        80      7120         0    101026     49840   1778730     23.01   no data  --
2220.47/556.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2220.47/556.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2220.47/556.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2220.82/556.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2220.82/556.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2220.82/556.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2220.82/556.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2354.87/590.36	c lits-rem:      8306  cl-subs:     9095  v-elim:      0  v-fix:    0  time: 134.07 s
2354.87/590.36	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2354.87/590.38	c vivif2 --  cl tried    91931 cl shrink        0 lits rem          0 time: 0.08
2356.50/590.73	c asymm  cl-useful: 0/628/7120 lits-rem:0 time: 1.38
2356.50/590.73	c calculated reachability. Time: 0.00
2356.50/590.73	c  N dy  7083   2211369        80      7120         0     91931     49840   1524753     23.01   no data  --
2383.98/597.65	c  N dy  7164   2231419        80      7120         0    110285     49840   2024470     23.02     25.38  --
2410.72/604.34	c  N dy  7185   2260075        80      7120         0     77282     49840   1118165     23.00     24.35  --
2440.23/611.73	c  N dy  7279   2283789        80      7120         0     98989     49840   1704988     23.00     24.34  --
2476.54/620.89	c  N dy  7370   2304138        80      7120         0    117630     49840   2211114     23.00     24.29  --
2498.88/626.40	c  N dy  7459   2324208        80      7120         0     75957     49840   1082370     23.01     24.85  --
2521.63/632.17	c  N dy  7524   2344280        80      7120         0     94294     49840   1579399     23.01     26.34  --
2554.33/640.30	c  N dy  7637   2364686        80      7120         0    112957     49840   2088538     23.02     24.27  --
2582.66/647.43	c  N dy  7738   2385868        80      7120         0     71252     49840    940628     23.03     24.26  --
2603.40/652.69	c  N dy  7807   2406057        80      7120         0     89711     49840   1441064     23.03     24.25  --
2639.31/661.66	c  N dy  7918   2428847        80      7120         0    110572     49840   2011495     23.04     24.26  --
2680.01/671.86	c  N dy  8042   2449250        80      7120         0     67194     49840    810259     23.05     24.31  --
2701.95/677.31	c  N dy  8084   2469758        80      7120         0     85884     49840   1311304     23.04     24.36  --
2737.06/686.10	c  N dy  8144   2493406        80      7120         0    107437     49840   1893708     23.04     24.28  --
2774.16/695.41	c  N dy  8208   2513464        80      7120         0    125817     49840   2392097     23.04     25.30  --
2800.09/701.93	c  N dy  8286   2534201        80      7120         0     81754     49840   1188804     23.04     24.27  --
2830.82/709.64	c  N dy  8376   2554535        80      7120         0    100330     49840   1691288     23.05     24.34  --
2866.72/718.67	c  N dy  8465   2574554        80      7120         0    118654     49840   2189480     23.05     25.14  --
2937.33/736.34	c  N dy  8475   2629420        80      7120         0    104116     49840   1742943     23.01     24.33  --
2978.03/746.54	c  N dy  8592   2649473        80      7120         0    122478     49840   2246629     23.02     25.84  --
3009.55/754.50	c  N dy  8675   2669516        80      7120         0     76253     49840   1015004     23.02     25.76  --
3035.88/761.03	c  N dy  8737   2689608        80      7120         0     94566     49840   1509662     23.02     24.24  --
3068.58/769.25	c  N dy  8804   2709776        80      7120         0    113019     49840   2009900     23.02     24.29  --
3072.17/770.10	c  S st  8820   2711370        80      7120         0    114470     49840   2050617     23.03   no data  --
3073.37/770.48	c  S st  8820   2711873        80      7120         0    114943     49840   2063807     23.03   no data  --
3073.37/770.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3073.37/770.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3073.78/770.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3074.18/770.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3074.18/770.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3074.18/770.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3074.18/770.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3662.56/918.35	c lits-rem:      6516  cl-subs:    10266  v-elim:      0  v-fix:    0  time: 588.31 s
3662.56/918.35	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
3662.56/918.37	c vivif2 --  cl tried   104677 cl shrink        0 lits rem          0 time: 0.09
3664.15/918.74	c asymm  cl-useful: 0/521/7120 lits-rem:0 time: 1.47
3664.15/918.75	c calculated reachability. Time: 0.00
3664.15/918.75	c  N dy  8820   2711873        80      7120         0    104677     49840   1770150     23.03   no data  --
3698.10/927.24	c  N dy  8920   2731938        80      7120         0    123025     49840   2272788     23.03     26.01  --
3723.61/933.63	c  N dy  8982   2752105        80      7120         0     76194     49840    997234     23.03     24.25  --
3747.93/939.71	c  N dy  9064   2772677        80      7120         0     94997     49840   1506578     23.04     24.26  --
3779.05/947.51	c  N dy  9171   2792815        80      7120         0    113402     49840   2009551     23.04     24.29  --
3827.72/959.76	c  N dy  9229   2820976        80      7120         0     72617     49840    879467     23.04     24.29  --
3867.62/969.77	c  N dy  9286   2854694        80      7120         0    103179     49840   1691490     23.03     24.53  --
3899.13/977.60	c  N dy  9311   2875098        80      7120         0    121774     49840   2186461     23.02     24.40  --
3936.63/987.00	c  N dy  9352   2898747        80      7120         0     75962     49840    947039     23.01     24.38  --
3961.39/993.24	c  N dy  9395   2918843        80      7120         0     94168     49840   1429431     23.01     24.65  --
3997.26/1002.29	c  N dy  9511   2938881        80      7120         0    112555     49840   1933683     23.01     24.24  --
4035.16/1011.74	c  N dy  9556   2958885        80      7120         0    130703     49840   2416697     23.01     24.33  --
4079.45/1022.85	c  N dy  9588   2986481        80      7120         0     87643     49840   1249593     23.00     24.26  --
4122.13/1033.53	c  N dy  9687   3009373        80      7120         0    108521     49840   1812869     23.00     24.50  --
4168.39/1045.13	c  N dy  9780   3029694        80      7120         0    127105     49840   2319047     23.01     24.25  --
4216.67/1057.21	c  N dy  9900   3049955        80      7120         0     76464     49840    943531     23.02     24.24  --
4261.76/1068.50	c  N dy  9999   3076606        80      7120         0    100773     49840   1602269     23.02     24.29  --
4304.44/1079.21	c  N dy 10055   3098041        80      7120         0    120256     49840   2128352     23.02     24.27  --
4366.27/1094.73	c  N dy 10154   3123607        80      7120         0     73450     49840    840210     23.02     24.30  --
4404.60/1104.31	c  N dy 10178   3151969        80      7120         0     99085     49840   1520371     23.01     24.48  --
4447.26/1115.08	c  N dy 10243   3172914        80      7120         0    118178     49840   2033489     23.01     24.36  --
4499.91/1128.23	c  N dy 10341   3192926        80      7120         0    136444     49840   2531047     23.01     26.76  --
4542.59/1138.90	c  S st 10470   3211874        80      7120         0     82807     49840   1088985     23.02   no data  --
4543.79/1139.21	c  S st 10470   3212378        80      7120         0     83291     49840   1102390     23.02   no data  --
4543.79/1139.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4543.79/1139.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4543.79/1139.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
4544.19/1139.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4544.19/1139.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4544.19/1139.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
4544.19/1139.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4667.07/1170.14	c lits-rem:      2036  cl-subs:     2126  v-elim:      0  v-fix:    0  time: 122.95 s
4667.07/1170.14	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4667.07/1170.15	c vivif2 --  cl tried    81165 cl shrink        0 lits rem          0 time: 0.06
4669.06/1170.61	c asymm  cl-useful: 0/670/7120 lits-rem:0 time: 1.82
4669.06/1170.62	c calculated reachability. Time: 0.00
4669.06/1170.62	c  N dy 10470   3212378        80      7120         0     81165     49840   1036470     23.02   no data  --
4705.36/1179.73	c  N dy 10524   3237823        80      7120         0    104267     49840   1651060     23.01     24.38  --
4750.44/1191.02	c  N dy 10633   3257891        80      7120         0    122655     49840   2155339     23.02     24.42  --
4797.91/1202.99	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368819-1305403827/watcher-3368819-1305403827 -o /tmp/evaluation-result-3368819-1305403827/solver-3368819-1305403827 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368819-1305403827.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.82 5.62 7.03 6/333 20631
/proc/meminfo: memFree=23407996/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 4 0 632798295 52465664 352 33554432000 4194304 4650419 140733666633776 18446744073709551615 47087834871728 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 12809 352 303 112 0 7774 0
[pid=20631/tid=20632] ppid=20629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 632798295 52465664 352 33554432000 4194304 4650419 140733666633776 18446744073709551615 47087834871724 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 632798295 52465664 352 33554432000 4194304 4650419 140733666633776 18446744073709551615 47087834871730 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632798295 52465664 352 33554432000 4194304 4650419 140733666633776 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0318279 s]
/proc/loadavg: 3.82 5.62 7.03 6/333 20631
/proc/meminfo: memFree=23407996/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=281768 CPUtime=0.1 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 1374 0 0 0 10 0 0 0 18 0 4 0 632798295 288530432 1292 33554432000 4194304 4650419 140733666633776 18446744073709551615 4371088 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 70442 1292 366 112 0 65407 0
[pid=20631/tid=20632] ppid=20629 vsize=281768 CPUtime=0.02 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 228 0 0 0 2 0 0 0 18 0 4 0 632798295 288530432 1292 33554432000 4194304 4650419 140733666633776 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=281768 CPUtime=0.02 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 241 0 0 0 2 0 0 0 18 0 4 0 632798295 288530432 1292 33554432000 4194304 4650419 140733666633776 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=281768 CPUtime=0.01 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 236 0 0 0 1 0 0 0 25 0 4 0 632798295 288530432 1292 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 281768

[startup+0.100814 s]
/proc/loadavg: 3.82 5.62 7.03 6/333 20631
/proc/meminfo: memFree=23407996/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=281768 CPUtime=0.37 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 1515 0 0 0 37 0 0 0 18 0 4 0 632798295 288530432 1433 33554432000 4194304 4650419 140733666633776 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 70442 1433 366 112 0 65407 0
[pid=20631/tid=20632] ppid=20629 vsize=281768 CPUtime=0.09 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 239 0 0 0 9 0 0 0 18 0 4 0 632798295 288530432 1433 33554432000 4194304 4650419 140733666633776 18446744073709551615 4370671 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=281768 CPUtime=0.09 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 246 0 0 0 9 0 0 0 18 0 4 0 632798295 288530432 1433 33554432000 4194304 4650419 140733666633776 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=281768 CPUtime=0.08 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 349 0 0 0 8 0 0 0 25 0 4 0 632798295 288530432 1433 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281768

[startup+0.300776 s]
/proc/loadavg: 3.82 5.62 7.03 6/333 20631
/proc/meminfo: memFree=23407996/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=285472 CPUtime=1.17 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 3917 0 0 0 117 0 0 0 18 0 4 0 632798295 292323328 3274 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366928 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 71368 3274 390 112 0 66333 0
[pid=20631/tid=20632] ppid=20629 vsize=285472 CPUtime=0.29 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 896 0 0 0 29 0 0 0 18 0 4 0 632798295 292323328 3274 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=285472 CPUtime=0.29 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 896 0 0 0 29 0 0 0 18 0 4 0 632798295 292323328 3274 33554432000 4194304 4650419 140733666633776 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=285472 CPUtime=0.28 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 730 0 0 0 28 0 0 0 25 0 4 0 632798295 292323328 3274 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285472

[startup+0.700697 s]
/proc/loadavg: 3.82 5.62 7.03 6/333 20631
/proc/meminfo: memFree=23407996/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=286976 CPUtime=2.77 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 6361 0 0 0 276 1 0 0 18 0 4 0 632798295 293863424 3939 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 71744 3939 390 112 0 66709 0
[pid=20631/tid=20632] ppid=20629 vsize=286976 CPUtime=0.69 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 1554 0 0 0 69 0 0 0 18 0 4 0 632798295 293863424 3939 33554432000 4194304 4650419 140733666633776 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=286976 CPUtime=0.69 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 1601 0 0 0 69 0 0 0 18 0 4 0 632798295 293863424 3939 33554432000 4194304 4650419 140733666633776 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=286976 CPUtime=0.68 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 1172 0 0 0 68 0 0 0 25 0 4 0 632798295 293863424 3939 33554432000 4194304 4650419 140733666633776 18446744073709551615 4229508 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286976

[startup+1.50054 s]
/proc/loadavg: 4.23 5.67 7.04 11/337 20635
/proc/meminfo: memFree=23383412/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=287752 CPUtime=5.96 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 10275 0 0 0 595 1 0 0 20 0 4 0 632798295 294658048 4811 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 71938 4811 391 112 0 66903 0
[pid=20631/tid=20632] ppid=20629 vsize=287752 CPUtime=1.49 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 2560 0 0 0 149 0 0 0 19 0 4 0 632798295 294658048 4811 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=287752 CPUtime=1.49 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 2600 0 0 0 149 0 0 0 19 0 4 0 632798295 294658048 4811 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=287752 CPUtime=1.47 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 2112 0 0 0 147 0 0 0 25 0 4 0 632798295 294658048 4811 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287752

[startup+3.10022 s]
/proc/loadavg: 4.23 5.67 7.04 10/337 20635
/proc/meminfo: memFree=23353660/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=303392 CPUtime=12.35 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 19565 0 0 0 1232 3 0 0 25 0 4 0 632798295 310673408 12001 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 75848 12001 392 112 0 70813 0
[pid=20631/tid=20632] ppid=20629 vsize=303392 CPUtime=3.09 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 4272 0 0 0 309 0 0 0 24 0 4 0 632798295 310673408 12001 33554432000 4194304 4650419 140733666633776 18446744073709551615 4370626 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=303392 CPUtime=3.08 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 5527 0 0 0 308 0 0 0 24 0 4 0 632798295 310673408 12001 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=303392 CPUtime=3.06 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 5038 0 0 0 305 1 0 0 19 0 4 0 632798295 310673408 12001 33554432000 4194304 4650419 140733666633776 18446744073709551615 4371151 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 303392

[startup+6.30059 s]
/proc/loadavg: 4.23 5.67 7.04 9/337 20635
/proc/meminfo: memFree=23312628/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=303800 CPUtime=25.12 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 28367 0 0 0 2507 5 0 0 25 0 4 0 632798295 311091200 15271 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 75950 15271 392 112 0 70915 0
[pid=20631/tid=20632] ppid=20629 vsize=303800 CPUtime=6.28 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 7556 0 0 0 628 0 0 0 25 0 4 0 632798295 311091200 15271 33554432000 4194304 4650419 140733666633776 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=303800 CPUtime=6.29 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 7409 0 0 0 628 1 0 0 25 0 4 0 632798295 311091200 15271 33554432000 4194304 4650419 140733666633776 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=303800 CPUtime=6.22 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 7011 0 0 0 621 1 0 0 25 0 4 0 632798295 311091200 15271 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 303800

[startup+12.7003 s]
/proc/loadavg: 4.89 5.76 7.05 10/337 20635
/proc/meminfo: memFree=23264300/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=308472 CPUtime=50.64 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 41416 0 0 0 5055 9 0 0 25 0 4 0 632798295 315875328 21592 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 77118 21592 392 112 0 72083 0
[pid=20631/tid=20632] ppid=20629 vsize=308472 CPUtime=12.68 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 10313 0 0 0 1267 1 0 0 25 0 4 0 632798295 315875328 21592 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=308472 CPUtime=12.69 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 11174 0 0 0 1267 2 0 0 25 0 4 0 632798295 315875328 21592 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=308472 CPUtime=12.55 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 10469 0 0 0 1253 2 0 0 25 0 4 0 632798295 315875328 21592 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 308472

[startup+25.5008 s]
/proc/loadavg: 5.36 5.84 7.06 10/337 20635
/proc/meminfo: memFree=23218532/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=327800 CPUtime=101.7 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 63376 0 0 0 10155 15 0 0 25 0 4 0 632798295 335667200 27752 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 81950 27752 392 112 0 76915 0
[pid=20631/tid=20632] ppid=20629 vsize=327800 CPUtime=25.48 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 15673 0 0 0 2546 2 0 0 25 0 4 0 632798295 335667200 27752 33554432000 4194304 4650419 140733666633776 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=327800 CPUtime=25.49 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 17208 0 0 0 2545 4 0 0 25 0 4 0 632798295 335667200 27752 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=327800 CPUtime=25.21 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 16126 0 0 0 2517 4 0 0 25 0 4 0 632798295 335667200 27752 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 327800

[startup+51.1007 s]
/proc/loadavg: 6.47 6.06 7.10 9/337 20666
/proc/meminfo: memFree=23233868/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=308208 CPUtime=203.84 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 94126 0 0 0 20358 26 0 0 25 0 4 0 632798295 315604992 32701 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 77052 32701 392 112 0 72017 0
[pid=20631/tid=20632] ppid=20629 vsize=308208 CPUtime=51.08 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 24053 0 0 0 5103 5 0 0 25 0 4 0 632798295 315604992 32701 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=308208 CPUtime=51.09 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 26114 0 0 0 5101 8 0 0 25 0 4 0 632798295 315604992 32701 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=308208 CPUtime=50.54 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 23949 0 0 0 5047 7 0 0 25 0 4 0 632798295 315604992 32701 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 308208

[startup+102.313 s]
/proc/loadavg: 7.38 6.37 7.15 9/337 20667
/proc/meminfo: memFree=23169884/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=318752 CPUtime=408.14 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 143182 0 0 0 40769 45 0 0 25 0 4 0 632798295 326402048 36272 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 79688 36272 392 112 0 74653 0
[pid=20631/tid=20632] ppid=20629 vsize=318752 CPUtime=102.29 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 34528 0 0 0 10220 9 0 0 25 0 4 0 632798295 326402048 36272 33554432000 4194304 4650419 140733666633776 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=318752 CPUtime=102.3 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 39032 0 0 0 10217 13 0 0 25 0 4 0 632798295 326402048 36272 33554432000 4194304 4650419 140733666633776 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=318752 CPUtime=101.2 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 36991 0 0 0 10109 11 0 0 25 0 4 0 632798295 326402048 36272 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 318752

[startup+162.301 s]

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

[pid=20631] ppid=20629 vsize=474256 CPUtime=2801.69 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 439555 0 0 0 279986 183 0 0 25 0 4 0 632798295 485638144 75371 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 118564 75371 392 112 0 113529 0
[pid=20631/tid=20632] ppid=20629 vsize=474256 CPUtime=702.31 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 109202 0 0 0 70185 46 0 0 25 0 4 0 632798295 485638144 75371 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365387 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=474256 CPUtime=702.32 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 125147 0 0 0 70179 53 0 0 25 0 4 0 632798295 485638144 75371 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=474256 CPUtime=694.72 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 100544 0 0 0 69432 40 0 0 25 0 4 0 632798295 485638144 75371 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.69
Current children cumulated vsize (KiB) 474256

[startup+762.313 s]
/proc/loadavg: 8.15 7.93 7.63 9/337 20715
/proc/meminfo: memFree=22921932/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=474428 CPUtime=3041.1 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 455885 0 0 0 303916 194 0 0 25 0 4 0 632798295 485814272 82303 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 118607 82303 392 112 0 113572 0
[pid=20631/tid=20632] ppid=20629 vsize=474428 CPUtime=762.32 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 113685 0 0 0 76183 49 0 0 25 0 4 0 632798295 485814272 82303 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=474428 CPUtime=762.33 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 130921 0 0 0 76177 56 0 0 25 0 4 0 632798295 485814272 82303 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=474428 CPUtime=754.09 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 100568 0 0 0 75369 40 0 0 25 0 4 0 632798295 485814272 82303 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.1
Current children cumulated vsize (KiB) 474428

[startup+822.301 s]
/proc/loadavg: 8.16 7.97 7.66 9/337 20717
/proc/meminfo: memFree=22914452/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=474588 CPUtime=3280.42 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 468663 0 0 0 327841 201 0 0 25 0 4 0 632798295 485978112 83069 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 118647 83069 392 112 0 113612 0
[pid=20631/tid=20632] ppid=20629 vsize=474588 CPUtime=822.31 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 119431 0 0 0 82179 52 0 0 25 0 4 0 632798295 485978112 83069 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=474588 CPUtime=822.33 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 136611 0 0 0 82173 60 0 0 25 0 4 0 632798295 485978112 83069 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=474588 CPUtime=813.43 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 100930 0 0 0 81303 40 0 0 25 0 4 0 632798295 485978112 83069 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.42
Current children cumulated vsize (KiB) 474588

[startup+882.301 s]
/proc/loadavg: 8.23 8.02 7.69 10/338 20721
/proc/meminfo: memFree=22835540/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=483456 CPUtime=3519.65 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 486169 0 0 0 351753 212 0 0 25 0 4 0 632798295 495058944 85281 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 120864 85281 392 112 0 115829 0
[pid=20631/tid=20632] ppid=20629 vsize=483456 CPUtime=882.31 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 125760 0 0 0 88175 56 0 0 25 0 4 0 632798295 495058944 85281 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=483456 CPUtime=882.32 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 141448 0 0 0 88169 63 0 0 25 0 4 0 632798295 495058944 85281 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=483456 CPUtime=872.78 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 107270 0 0 0 87234 44 0 0 25 0 4 0 632798295 495058944 85281 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3519.65
Current children cumulated vsize (KiB) 483456

[startup+942.301 s]
/proc/loadavg: 8.27 8.08 7.73 9/337 20723
/proc/meminfo: memFree=22833692/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=483716 CPUtime=3758.31 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 504529 0 0 0 375608 223 0 0 25 0 4 0 632798295 495325184 91204 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 120929 91204 392 112 0 115894 0
[pid=20631/tid=20632] ppid=20629 vsize=483716 CPUtime=942.32 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 131777 0 0 0 94172 60 0 0 25 0 4 0 632798295 495325184 91204 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=483716 CPUtime=942.33 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 147620 0 0 0 94167 66 0 0 25 0 4 0 632798295 495325184 91204 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=483716 CPUtime=932.13 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 110674 0 0 0 93167 46 0 0 25 0 4 0 632798295 495325184 91204 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3758.31
Current children cumulated vsize (KiB) 483716

[startup+1002.3 s]
/proc/loadavg: 8.14 8.08 7.75 9/337 20724
/proc/meminfo: memFree=22810596/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=549360 CPUtime=3997.66 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 525326 0 0 0 399535 231 0 0 25 0 4 0 632798295 562544640 92674 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 137340 92674 392 112 0 132305 0
[pid=20631/tid=20632] ppid=20629 vsize=549360 CPUtime=1002.32 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 140256 0 0 0 100171 61 0 0 25 0 4 0 632798295 562544640 92674 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=549360 CPUtime=1002.33 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 153577 0 0 0 100163 70 0 0 25 0 4 0 632798295 562544640 92674 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=549360 CPUtime=991.48 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 113718 0 0 0 99100 48 0 0 25 0 4 0 632798295 562544640 92674 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3997.66
Current children cumulated vsize (KiB) 549360

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 7.77 9/337 20726
/proc/meminfo: memFree=22817240/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=556892 CPUtime=4237.02 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 540158 0 0 0 423466 236 0 0 25 0 4 0 632798295 570257408 88233 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 139223 88233 392 112 0 134188 0
[pid=20631/tid=20632] ppid=20629 vsize=556892 CPUtime=1062.32 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 146582 0 0 0 106170 62 0 0 25 0 4 0 632798295 570257408 88233 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=556892 CPUtime=1062.33 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 157428 0 0 0 106162 71 0 0 25 0 4 0 632798295 570257408 88233 33554432000 4194304 4650419 140733666633776 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=556892 CPUtime=1050.83 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 114030 0 0 0 105035 48 0 0 25 0 4 0 632798295 570257408 88233 33554432000 4194304 4650419 140733666633776 18446744073709551615 4422499 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4237.02
Current children cumulated vsize (KiB) 556892

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 7.79 9/337 20728
/proc/meminfo: memFree=22781108/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=569928 CPUtime=4476.37 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 553625 0 0 0 447396 241 0 0 25 0 4 0 632798295 583606272 92430 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 142482 92430 392 112 0 137447 0
[pid=20631/tid=20632] ppid=20629 vsize=569928 CPUtime=1122.33 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 155678 0 0 0 112169 64 0 0 25 0 4 0 632798295 583606272 92430 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=569928 CPUtime=1122.33 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 157428 0 0 0 112162 71 0 0 25 0 4 0 632798295 583606272 92430 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=569928 CPUtime=1110.17 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 114138 0 0 0 110969 48 0 0 25 0 4 0 632798295 583606272 92430 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.37
Current children cumulated vsize (KiB) 569928

[startup+1182.3 s]
/proc/loadavg: 8.15 8.11 7.82 9/337 20729
/proc/meminfo: memFree=22786900/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=543856 CPUtime=4715.73 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 561420 0 0 0 471328 245 0 0 25 0 4 0 632798295 556908544 88526 33554432000 4194304 4650419 140733666633776 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 135964 88526 392 112 0 130929 0
[pid=20631/tid=20632] ppid=20629 vsize=543856 CPUtime=1182.33 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 160601 0 0 0 118167 66 0 0 25 0 4 0 632798295 556908544 88526 33554432000 4194304 4650419 140733666633776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=543856 CPUtime=1182.33 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 157428 0 0 0 118162 71 0 0 25 0 4 0 632798295 556908544 88526 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=543856 CPUtime=1169.53 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 114284 0 0 0 116905 48 0 0 25 0 4 0 632798295 556908544 88526 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4715.73
Current children cumulated vsize (KiB) 543856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.17 8.12 7.83 9/337 20730
/proc/meminfo: memFree=22783404/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=543856 CPUtime=4800.33 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 563385 0 0 0 479786 247 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 135964 90491 392 112 0 130929 0
[pid=20631/tid=20632] ppid=20629 vsize=543856 CPUtime=1203.54 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 161554 0 0 0 120288 66 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=543856 CPUtime=1203.55 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 157428 0 0 0 120284 71 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=543856 CPUtime=1190.49 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 114315 0 0 0 119001 48 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 543856

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

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

[startup+1203.5 s]
/proc/loadavg: 8.17 8.12 7.83 9/337 20730
/proc/meminfo: memFree=22783404/32951124 swapFree=59367104/67111528
[pid=20631] ppid=20629 vsize=543856 CPUtime=4800.33 cores=1,3,5,7
/proc/20631/stat : 20631 (strangenight1-m) R 20629 20631 20095 0 -1 4202496 563385 0 0 0 479786 247 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/20631/statm: 135964 90491 392 112 0 130929 0
[pid=20631/tid=20632] ppid=20629 vsize=543856 CPUtime=1203.54 cores=1,3,5,7
/proc/20631/task/20632/stat : 20632 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 161554 0 0 0 120288 66 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20631/tid=20633] ppid=20629 vsize=543856 CPUtime=1203.55 cores=1,3,5,7
/proc/20631/task/20633/stat : 20633 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 157428 0 0 0 120284 71 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20631/tid=20634] ppid=20629 vsize=543856 CPUtime=1190.49 cores=1,3,5,7
/proc/20631/task/20634/stat : 20634 (strangenight1-m) R 20629 20631 20095 0 -1 4202560 114315 0 0 0 119001 48 0 0 25 0 4 0 632798295 556908544 90491 33554432000 4194304 4650419 140733666633776 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 543856

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.53
CPU time (s): 4800.38
CPU user time (s): 4797.89
CPU system time (s): 2.48762
CPU usage (%): 398.857
Max. virtual memory (cumulated for all children) (KiB): 596424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.48762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 563385
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= 524
involuntary context switches= 30160

runsolver used 3.70144 second user time and 9.37757 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-14 22:10:27
IDJOB=3368819
IDBENCH=82828
IDSOLVER=1846
FILE ID=node143/3368819-1305403827
RUNJOBID= node143-1305403827-20609
PBS_JOBID= 13324468
Free space on /tmp= 73412 MiB

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

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

MD5SUM BENCH= 4fa782cc700b96dfddf41b0ed3b14006
RANDOM SEED=1006513769

node143.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	: 5226.15
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23408028 kB
Buffers:        144876 kB
Cached:         651316 kB
SwapCached:      67336 kB
Active:          92288 kB
Inactive:      9227708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23408028 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:           12524 kB
Writeback:           0 kB
AnonPages:     8456728 kB
Mapped:          22600 kB
Slab:           105204 kB
PageTables:      53044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70021880 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= 73404 MiB
End job on node143 at 2011-05-14 22:30:32