Trace number 3369333

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.14 1203.36

General information on the benchmark

NameSAT03/handmade/gomes/bqwh/
bqwh.60.1152.shuffled-as.sat03-1650.cnf
MD5SUM98d6317b259165bb4fb7a39e783668e0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark118.001
Satisfiable
(Un)Satisfiability was proved
Number of variables7534
Number of clauses72812
Sum of the clauses size161368
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 269406
Number of clauses of size 3128
Number of clauses of size 4291
Number of clauses of size 5538
Number of clauses of size over 52449

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-3369333-1305415036.cnf'
0.00/0.01	c -- header says num vars:           7534
0.00/0.01	c -- header says num clauses:       72812
0.00/0.04	c -- clauses added:            0 learnts,        72812 normals,            0 xors
0.00/0.04	c -- vars added       7534
0.00/0.04	c Parsing time:  0.07 s
0.00/0.04	c  N st     0         0      7534      3406     69406         0    161368         0   no data   no data  --
0.00/0.05	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.02
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   23 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
0.00/0.12	c Replacing       23 vars Replaced      690 lits Time:     0.01 s 
0.00/0.12	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.00/0.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
0.00/0.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7511 time:  0.04 s
0.00/0.58	c Removed useless bin:      73  fixed:     0  props:   0.39M  time:  0.04 s
0.00/0.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
0.00/0.58	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.58	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.58	c calculated reachability. Time: 0.00
0.00/0.58	c Calc default polars -  time:   0.01 s pos:    3817 undec:      25 neg:    3692
0.00/0.58	c =========================================================================================
0.00/0.58	c types(t): F = full restart, N = normal restart
0.00/0.58	c types(t): S = simplification begin/end, E = solution found
0.00/0.58	c restart types(rt): st = static, dy = dynamic
0.00/0.58	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.58	c  B st     0         0      7511      3406     69287         0    161130         0   no data   no data  --
0.00/0.58	c  N dy    22      4017      7511      3406     69287      4013    161130    355141     35.69     45.79  --
4.22/1.10	c  N dy    51      8053      7511      3406     69287      5547    161130    293974     38.83     41.14  --
5.55/1.48	c  N dy    79     12125      7511      3406     69288      5372    161130    146510     39.19     44.14  --
7.59/1.98	c  N dy   109     16357      7511      3406     69288      9599    161130    523782     39.86     44.18  --
9.55/2.47	c  N dy   139     20358      7511      3406     69288      7979    161130    269550     40.18     45.29  --
11.98/3.01	c  N dy   170     24451      7511      3406     69288     12063    161130    653656     40.71     42.95  --
11.98/3.09	c  F st   176     25000      7511      3406     69288     12612    161130    710058     40.79   no data  --
15.13/3.80	c  N dy   182     30000      7511      3406     69289     10798    161130    784578     40.79   no data  --
15.13/3.80	c  S st   182     30000      7511      3406     69289     10798    161130    784578     40.79   no data  --
15.13/3.86	c  S st   182     30503      7511      3406     69289     11301    161130    823864     40.79   no data  --
15.13/3.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15.13/3.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.52/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:      0 BRemN:      0 P:  2.2M T:  0.34
15.94/4.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
21.10/5.36	c subs with bin:        0  lits-rem:       124  v-fix:    0  time:  5.39 s
21.10/5.38	c Subs w/ non-existent bins:      0 l-rem:    187 v-fix:     0 done:   7511 time:  0.06 s
21.10/5.39	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
31.88/8.03	c lits-rem:       481  cl-subs:       28  v-elim:      0  v-fix:    0  time: 10.52 s
31.88/8.04	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.04
31.88/8.05	c calculated reachability. Time: 0.01
31.88/8.05	c  N dy   182     30503      7511      3406     69305     11273    161130    821996     40.79   no data  --
34.27/8.63	c  N dy   215     34522      7511      3406     69305     15290    161130   1215357     41.14     43.70  --
36.67/9.20	c  N dy   249     38691      7511      3406     69308     11563    161130    451944     41.75     44.23  --
38.66/9.79	c  N dy   279     42756      7511      3406     69310     15622    161130    873038     42.16     44.40  --
40.66/10.26	c  S st   301     45754      7511      3406     69310      9684    161130    138973     42.27     28.73  --
41.06/10.33	c  S st   301     46256      7511      3406     69310     10185    161130    178199     42.27   no data  --
41.06/10.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
41.06/10.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.46/10.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  2.1M T:  0.32
41.46/10.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
43.05/10.84	c subs with bin:        2  lits-rem:         3  v-fix:    0  time:  1.68 s
43.05/10.86	c Subs w/ non-existent bins:      0 l-rem:      9 v-fix:     0 done:   7511 time:  0.05 s
43.05/10.87	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
43.85/11.05	c lits-rem:        27  cl-subs:       10  v-elim:      0  v-fix:    0  time:  0.71 s
43.85/11.05	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
43.85/11.05	c vivif2 --  cl tried    10173 cl shrink        1 lits rem          1 time: 0.01
43.85/11.06	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.03
43.85/11.06	c calculated reachability. Time: 0.01
43.85/11.06	c  N dy   301     46256      7511      3406     69314     10173    161130    177801     42.27   no data  --
46.24/11.63	c  N dy   335     50324      7511      3406     69314     14236    161130    599048     42.64     45.52  --
48.64/12.25	c  N dy   368     54325      7511      3406     69314     18234    161130   1024391     42.98     61.50  --
51.05/12.88	c  N dy   403     58413      7511      3406     69315     12348    161130    328767     43.25     46.93  --
53.43/13.48	c  N dy   435     62548      7511      3406     69315     16481    161130    750608     43.47     47.02  --
56.21/14.14	c  N dy   469     66554      7511      3406     69315     20481    161130   1160046     43.66     60.64  --
58.21/14.61	c  S st   491     69384      7511      3406     69315     12345    161130    235632     43.76   no data  --
58.21/14.68	c  S st   491     69889      7511      3406     69315     12849    161130    279210     43.76   no data  --
58.21/14.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
58.21/14.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.61/14.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.34
58.61/14.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.00/15.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.07 s
63.00/15.82	c Subs w/ non-existent bins:      0 l-rem:     61 v-fix:     0 done:   7511 time:  0.05 s
63.00/15.83	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
65.38/16.43	c lits-rem:        88  cl-subs:       14  v-elim:      0  v-fix:    0  time:  2.40 s
65.38/16.43	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
65.38/16.44	c vivif2 --  cl tried    12835 cl shrink       21 lits rem         45 time: 0.02
65.38/16.45	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.04
65.38/16.45	c calculated reachability. Time: 0.01
65.38/16.45	c  N dy   491     69889      7511      3406     69315     12835    161130    278719     43.76   no data  --
68.18/17.11	c  N dy   524     74505      7511      3406     69315     17445    161130    758985     43.87     46.26  --
70.97/17.89	c  N dy   559     79331      7511      3406     69315     22270    161130   1271149     44.03     47.74  --
74.56/18.70	c  N dy   599     84444      7511      3406     69315     15391    161130    484133     44.28     47.28  --
76.16/19.17	c  F st   624     87500      7511      3406     69315     18441    161130    810215     44.39   no data  --
78.55/19.74	c  N st   629     90799      7511      3406     69315     21736    161130   1400313     44.39   no data  --
82.93/20.83	c  N dy   657     96629      7511      3406     69316     14568    161130    267353     44.46     47.93  --
86.92/21.84	c  N dy   706    102819      7511      3406     69316     20747    161130    944881     44.68     48.69  --
88.52/22.20	c  S st   723    104833      7511      3406     69316     22757    161130   1157327     44.72   no data  --
88.92/22.30	c  S st   723    105336      7511      3406     69316     23260    161130   1198727     44.72   no data  --
88.92/22.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
88.92/22.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.32/22.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.3M T:  0.52
89.32/22.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
94.93/23.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.58 s
95.35/23.92	c Subs w/ non-existent bins:      0 l-rem:    319 v-fix:     0 done:   7511 time:  0.07 s
95.35/23.92	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
102.48/25.79	c lits-rem:       290  cl-subs:       38  v-elim:      0  v-fix:    0  time:  7.45 s
102.48/25.79	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
102.88/25.82	c vivif2 --  cl tried    23222 cl shrink      106 lits rem        233 time: 0.09
102.88/25.83	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.07
102.88/25.84	c calculated reachability. Time: 0.01
102.88/25.84	c  N dy   723    105336      7511      3406     69316     23222    161130   1195990     44.72   no data  --
107.67/27.03	c  N dy   779    112063      7511      3406     69317     15965    161130    328826     45.00     50.99  --
112.48/28.23	c  N dy   837    119272      7511      3406     69318     23166    161130   1152850     45.27     54.17  --
118.44/29.71	c  N dy   900    126881      7511      3406     69320     15788    161130    207408     45.56     48.14  --
123.62/31.06	c  N dy   963    135058      7511      3406     69320     23952    161130   1121738     45.76     59.22  --
130.45/32.76	c  N dy  1031    143679      7511      3406     69320     16586    161130    199242     46.03     49.24  --
136.78/34.35	c  N dy  1104    152924      7511      3406     69320     25818    161130   1312942     46.36     72.59  --
140.77/35.38	c  S st  1144    158004      7511      3406     69320     30893    161130   1889159     46.48   no data  --
141.17/35.49	c  S st  1144    158506      7511      3406     69320     31394    161130   1931215     46.48   no data  --
141.57/35.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
141.57/35.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.98/35.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.62
142.38/35.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
148.00/37.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.66 s
148.00/37.18	c Subs w/ non-existent bins:      0 l-rem:    740 v-fix:     0 done:   7511 time:  0.08 s
148.00/37.19	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
156.77/39.36	c lits-rem:       172  cl-subs:       61  v-elim:      0  v-fix:    0  time:  8.62 s
156.77/39.36	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
157.12/39.40	c vivif2 --  cl tried    31333 cl shrink      281 lits rem        574 time: 0.15
157.12/39.42	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.10
157.12/39.42	c calculated reachability. Time: 0.01
157.12/39.42	c  N dy  1144    158506      7511      3406     69320     31333    161130   1927070     46.48   no data  --
164.31/41.25	c  N dy  1224    168659      7511      3406     69320     24506    161130   1029549     46.76     50.60  --
173.48/43.52	c  N dy  1304    179745      7511      3406     69321     35580    161130   2279771     46.88     49.43  --
181.46/45.57	c  N dy  1389    191249      7511      3406     69321     29093    161130   1408555     47.04     49.82  --
191.87/48.14	c  N dy  1486    203481      7511      3406     69321     22323    161130    551480     47.27     53.81  --
202.20/50.70	c  N dy  1589    216466      7511      3406     69321     35294    161130   2129047     47.53     62.94  --
212.97/53.48	c  N dy  1698    230321      7511      3406     69321     29158    161130   1253678     47.77     54.21  --
219.35/55.09	c  S st  1759    237759      7511      3406     69321     36583    161130   2176772     47.92   no data  --
220.15/55.21	c  S st  1759    238261      7511      3406     69321     37085    161130   2231764     47.92   no data  --
220.15/55.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
220.15/55.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
220.96/55.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.74
221.36/55.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
226.98/56.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.73 s
226.98/56.96	c Subs w/ non-existent bins:      0 l-rem:    769 v-fix:     0 done:   6043 time:  0.08 s
226.98/56.97	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
238.11/59.77	c lits-rem:       132  cl-subs:       70  v-elim:      0  v-fix:    0  time: 11.19 s
238.11/59.77	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
238.51/59.82	c vivif2 --  cl tried    37015 cl shrink      430 lits rem        990 time: 0.19
238.51/59.85	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.10
238.51/59.85	c calculated reachability. Time: 0.01
238.51/59.85	c  N dy  1759    238261      7511      3406     69321     37015    161130   2227676     47.92   no data  --
250.47/62.86	c  N dy  1874    253480      7511      3406     69321     31243    161130   1415116     48.13     50.82  --
264.83/66.46	c  N dy  2004    269702      7511      3406     69321     25475    161130    602188     48.37     52.94  --
279.63/70.18	c  N dy  2137    286922      7511      3406     69321     42683    161130   2676904     48.57     52.55  --
295.55/74.18	c  N dy  2284    305349      7511      3406     69321     38105    161130   2060391     48.80     52.06  --
296.36/74.40	c  F st  2292    306251      7511      3406     69321     39006    161130   2173275     48.81     47.16  --
313.10/78.58	c  N dy  2397    324933      7511      3406     69321     33696    161130   1376329     48.95     51.70  --
332.64/83.40	c  N dy  2562    345027      7511      3406     69321     28796    161130    673718     49.20     57.74  --
343.02/86.07	c  S st  2654    357391      7511      3406     69321     41147    161130   2195595     49.29   no data  --
343.82/86.21	c  S st  2654    357895      7511      3406     69321     41651    161130   2242574     49.29   no data  --
343.82/86.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
343.82/86.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
344.62/86.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.78
344.62/86.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
350.60/87.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.63 s
350.60/87.94	c Subs w/ non-existent bins:      0 l-rem:    665 v-fix:     0 done:   5475 time:  0.08 s
350.60/87.95	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
362.18/90.87	c lits-rem:       130  cl-subs:       66  v-elim:      0  v-fix:    0  time: 11.64 s
362.18/90.87	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
362.59/90.92	c vivif2 --  cl tried    41585 cl shrink      468 lits rem        901 time: 0.18
362.59/90.95	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.11
362.59/90.95	c calculated reachability. Time: 0.01
362.59/90.95	c  N dy  2654    357895      7511      3406     69321     41585    161130   2237742     49.29   no data  --
380.91/95.54	c  N dy  2813    377988      7511      3406     69321     35694    161130   1421342     49.51     52.32  --
402.08/100.81	c  N dy  2974    398073      7511      3406     69321     28776    161130    428643     49.70     52.61  --
420.41/105.49	c  N dy  3141    418155      7511      3406     69321     48836    161130   2973779     49.87     52.79  --
439.96/110.32	c  N dy  3306    438240      7511      3406     69321     40921    161130   1881249     50.08     59.89  --
461.49/115.73	c  N dy  3471    458323      7511      3406     69321     32026    161130    589796     50.26     53.39  --
480.65/120.56	c  N dy  3635    478452      7511      3406     69321     52108    161130   3218920     50.42     54.15  --
500.99/125.65	c  N dy  3792    498476      7511      3406     69321     42162    161130   1841188     50.55     54.92  --
524.12/131.44	c  N dy  3953    518568      7511      3406     69321     31280    161130    275364     50.65     54.47  --
541.68/135.80	c  S st  4109    536845      7511      3406     69321     49542    161130   2717393     50.81   no data  --
542.08/135.95	c  S st  4109    537352      7511      3406     69321     50049    161130   2775829     50.81   no data  --
542.08/135.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
542.08/135.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
542.92/136.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.0M T:  0.90
543.66/136.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
549.26/137.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.70 s
549.26/137.75	c Subs w/ non-existent bins:      0 l-rem:    670 v-fix:     0 done:   2984 time:  0.07 s
549.26/137.76	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
566.01/141.99	c lits-rem:       144  cl-subs:       82  v-elim:      0  v-fix:    0  time: 16.85 s
566.01/141.99	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
566.41/142.06	c vivif2 --  cl tried    49967 cl shrink      887 lits rem       1936 time: 0.29
566.80/142.11	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.20
566.80/142.12	c calculated reachability. Time: 0.01
566.80/142.12	c  N dy  4109    537352      7511      3406     69321     49967    161130   2769464     50.81   no data  --
587.14/147.28	c  N dy  4273    557411      7511      3406     69321     38020    161130   1019921     50.95     53.89  --
608.32/152.59	c  N dy  4430    577515      7511      3406     69321     58105    161130   3687237     51.08     55.34  --
629.84/157.91	c  N dy  4580    597600      7511      3406     69321     45212    161130   1851678     51.16     66.74  --
653.36/163.83	c  N dy  4741    617609      7511      3406     69321     65205    161130   4525592     51.29     64.36  --
673.71/168.91	c  N dy  4894    637701      7511      3406     69321     51319    161130   2457976     51.36     54.07  --
698.05/175.06	c  N dy  5055    657813      7511      3406     69321     36437    161130    466978     51.47     55.08  --
718.79/180.23	c  N dy  5209    677861      7511      3406     69321     56459    161130   3139939     51.58     62.53  --
743.92/186.60	c  N dy  5372    697930      7511      3406     69321     40558    161130    907118     51.67     54.57  --
766.70/192.24	c  N dy  5534    718009      7511      3406     69321     60617    161130   3557242     51.76     59.01  --
791.79/198.50	c  N dy  5705    738013      7511      3406     69321     43633    161130   1187772     51.88     55.37  --
814.55/204.22	c  N dy  5863    758165      7511      3406     69321     63767    161130   3897431     51.97     56.72  --
838.86/210.33	c  N dy  6018    778272      7511      3406     69321     45869    161130   1372836     52.06     56.38  --
862.39/216.22	c  N dy  6184    798338      7511      3406     69321     65917    161130   4141527     52.16     55.76  --
873.16/218.97	c  S st  6246    806029      7511      3406     69321     73602    161130   5205105     52.20     51.06  --
873.96/219.19	c  S st  6246    806530      7511      3406     69321     74103    161130   5261983     52.20   no data  --
874.36/219.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
874.36/219.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
875.56/219.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.8M T:  1.36
876.40/219.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
882.34/221.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.92 s
882.34/221.29	c Subs w/ non-existent bins:      0 l-rem:    790 v-fix:     0 done:   2132 time:  0.07 s
882.73/221.30	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
1088.17/272.83	c lits-rem:        43  cl-subs:      129  v-elim:      0  v-fix:    0  time: 205.24 s
1088.17/272.83	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
1088.57/272.99	c vivif2 --  cl tried    73974 cl shrink     2318 lits rem       5418 time: 0.63
1088.97/273.04	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.23
1088.97/273.05	c calculated reachability. Time: 0.01
1088.97/273.05	c  N dy  6246    806530      7511      3406     69321     73974    161130   5249838     52.20   no data  --
1110.51/278.47	c  N dy  6403    826570      7511      3406     69321     55037    161130   2462255     52.29     55.71  --
1137.64/285.26	c  N dy  6570    846661      7511      3406     69321     75107    161130   5203975     52.38     56.11  --
1160.38/290.98	c  N dy  6732    866707      7511      3406     69321     55197    161130   2377539     52.46     62.19  --
1187.11/297.70	c  N dy  6896    886825      7511      3406     69321     75295    161130   5189959     52.56     55.56  --
1211.04/303.68	c  N dy  7051    906883      7511      3406     69321     54375    161130   2122351     52.64     55.61  --
1237.37/310.29	c  N dy  7222    926920      7511      3406     69321     74396    161130   5009578     52.77     73.67  --
1263.30/316.76	c  N dy  7392    947160      7511      3406     69321     52630    161130   1818688     52.85     55.99  --
1288.87/323.11	c  N dy  7548    967223      7511      3406     69321     72675    161130   4572186     52.92     56.38  --
1316.35/330.04	c  N dy  7712    987252      7511      3406     69321     49726    161130   1235598     53.01     56.10  --
1340.69/336.12	c  N dy  7872   1007361      7511      3406     69321     69818    161130   3955222     53.07     58.96  --
1370.21/343.54	c  N dy  8039   1027393      7511      3406     69321     45889    161130    576888     53.14     56.39  --
1393.35/349.33	c  N dy  8204   1047456      7511      3406     69321     65933    161130   3336614     53.20     56.29  --
1424.90/357.26	c  N dy  8374   1067546      7511      3406     69321     86009    161130   6182376     53.28     62.47  --
1432.43/359.15	c  F st  8410   1071879      7511      3406     69321     45362    161130    394144     53.30     56.25  --
1449.98/363.56	c  N dy  8502   1087709      7511      3406     69321     61174    161130   2814181     53.34     56.43  --
1479.50/370.98	c  N dy  8666   1107747      7511      3406     69321     81194    161130   5637368     53.42     57.00  --
1509.02/378.33	c  N dy  8828   1127957      7511      3406     69321     55436    161130   1662799     53.48     57.40  --
1535.75/385.06	c  N dy  8993   1147991      7511      3406     69321     75412    161130   4435484     53.54     56.75  --
1568.87/393.32	c  N dy  9154   1167997      7511      3406     69321     48461    161130    577282     53.60     58.51  --
1593.60/399.54	c  N dy  9317   1188279      7511      3406     69321     68719    161130   3423455     53.66     56.78  --
1625.91/407.62	c  N dy  9475   1208416      7511      3406     69321     88829    161130   6212273     53.71     59.48  --
1628.30/408.25	c  S st  9487   1209796      7511      3406     69321     90207    161130   6394724     53.71   no data  --
1629.10/408.49	c  S st  9487   1210298      7511      3406     69321     90709    161130   6458575     53.71   no data  --
1629.50/408.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1629.50/408.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1631.14/408.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.3M T:  1.79
1632.29/409.24	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1638.28/410.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.08 s
1638.28/410.78	c Subs w/ non-existent bins:      0 l-rem:    727 v-fix:     0 done:   1431 time:  0.07 s
1638.28/410.79	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
1945.04/487.66	c lits-rem:        34  cl-subs:      168  v-elim:      0  v-fix:    0  time: 306.13 s
1945.04/487.66	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
1945.84/487.86	c vivif2 --  cl tried    90541 cl shrink     3038 lits rem       6619 time: 0.80
1946.24/487.93	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.27
1946.24/487.94	c calculated reachability. Time: 0.01
1946.24/487.94	c  N dy  9487   1210298      7511      3406     69321     90541    161130   6443602     53.71   no data  --
1970.97/494.13	c  N dy  9647   1230433      7511      3406     69321     62726    161130   2471163     53.77     58.00  --
1998.50/501.07	c  N dy  9803   1250448      7511      3406     69321     82719    161130   5280840     53.82     58.51  --
2028.42/508.54	c  N dy  9956   1270488      7511      3406     69321     53770    161130   1045104     53.87     67.38  --
2053.15/514.79	c  N dy 10123   1290540      7511      3406     69321     73806    161130   3920632     53.93     58.58  --
2085.46/522.81	c  N dy 10289   1310589      7511      3406     69321     93838    161130   6784438     53.99     58.11  --
2112.19/529.55	c  N dy 10456   1330624      7511      3406     69321     63914    161130   2369946     54.05     60.59  --
2140.90/536.73	c  N dy 10622   1350666      7511      3406     69321     83941    161130   5318094     54.12     57.42  --
2174.01/545.01	c  N dy 10778   1370754      7511      3406     69321     53063    161130    692316     54.17     61.10  --
2197.94/551.06	c  N dy 10934   1390790      7511      3406     69321     73079    161130   3480348     54.21     57.56  --
2229.45/558.99	c  N dy 11099   1411012      7511      3406     69321     93282    161130   6423262     54.26     57.60  --
2261.37/566.91	c  N dy 11270   1431074      7511      3406     69321     61397    161130   1768847     54.33     59.85  --
2290.08/574.10	c  N dy 11435   1451160      7511      3406     69321     81467    161130   4674775     54.39     59.20  --
2324.79/582.86	c  N dy 11599   1471188      7511      3406     69321    101481    161130   7562686     54.45     71.89  --
2353.12/589.92	c  N dy 11758   1491206      7511      3406     69321     68524    161130   2640179     54.49     61.99  --
2384.23/597.71	c  N dy 11916   1511249      7511      3406     69321     88549    161130   5539687     54.54     65.48  --
2422.13/607.28	c  N dy 12080   1531252      7511      3406     69321     54592    161130    492978     54.59     69.46  --
2448.05/613.73	c  N dy 12232   1551352      7511      3406     69321     74673    161130   3337545     54.63     57.53  --
2481.17/622.02	c  N dy 12395   1571389      7511      3406     69321     94697    161130   6237215     54.67     57.63  --
2517.10/631.01	c  N dy 12554   1591416      7511      3406     69321     59743    161130   1089685     54.72     59.46  --
2545.39/638.16	c  N dy 12718   1611479      7511      3406     69321     79784    161130   4116812     54.78     58.11  --
2581.30/647.10	c  N dy 12885   1631691      7511      3406     69321     99982    161130   7162141     54.85     58.30  --
2616.00/655.84	c  N dy 13047   1651831      7511      3406     69321     64138    161130   1591904     54.90     57.86  --
2644.77/663.02	c  N dy 13204   1671839      7511      3406     69321     84098    161130   4459030     54.93     66.62  --
2681.43/672.26	c  N dy 13367   1691881      7511      3406     69321    104113    161130   7386085     54.97     58.03  --
2712.94/680.10	c  S st 13518   1710299      7511      3406     69321     65588    161130   1749132     55.02   no data  --
2713.34/680.28	c  S st 13518   1710802      7511      3406     69321     66091    161130   1807868     55.02   no data  --
2713.34/680.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2713.34/680.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2714.56/680.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.0M T:  1.17
2714.98/680.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2720.52/682.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.68 s
2720.92/682.11	c Subs w/ non-existent bins:      0 l-rem:    739 v-fix:     0 done:   4247 time:  0.08 s
2720.92/682.12	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
2732.53/685.08	c lits-rem:        88  cl-subs:       83  v-elim:      0  v-fix:    0  time: 11.77 s
2732.53/685.08	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
2732.88/685.13	c vivif2 --  cl tried    66008 cl shrink      503 lits rem       1257 time: 0.22
2732.88/685.20	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.24
2733.28/685.20	c calculated reachability. Time: 0.01
2733.28/685.20	c  N dy 13518   1710802      7511      3406     69321     66008    161130   1802001     55.02   no data  --
2762.01/692.41	c  N dy 13677   1730861      7511      3406     69321     86055    161130   4759899     55.06     58.16  --
2797.51/701.39	c  N dy 13839   1750956      7511      3406     69321    106128    161130   7695976     55.11     58.28  --
2830.62/709.61	c  N dy 14003   1771111      7511      3406     69321     68317    161130   1987654     55.16     58.11  --
2861.33/717.39	c  N dy 14165   1791267      7511      3406     69321     88463    161130   4919907     55.19     59.80  --
2898.44/726.64	c  N dy 14330   1811310      7511      3406     69321    108493    161130   7869978     55.24     61.23  --
2930.34/734.64	c  N dy 14488   1831324      7511      3406     69321     69549    161130   1973150     55.28     58.55  --
2959.47/741.98	c  N dy 14648   1851439      7511      3406     69321     89651    161130   4919539     55.31     58.49  --
2995.39/750.95	c  N dy 14811   1871445      7511      3406     69321    109633    161130   7859428     55.35     60.08  --
3027.68/759.09	c  N dy 14969   1891525      7511      3406     69321     69758    161130   1885220     55.39     58.67  --
3056.82/766.40	c  N dy 15135   1911702      7511      3406     69321     89921    161130   4893834     55.44     59.78  --
3092.35/775.28	c  N dy 15297   1931843      7511      3406     69321    110045    161130   7936752     55.49     58.52  --
3127.04/783.92	c  N dy 15460   1951958      7511      3406     69321     69189    161130   1693270     55.52     59.39  --
3155.73/791.18	c  N dy 15630   1971979      7511      3406     69321     89199    161130   4674104     55.56     67.04  --
3192.43/800.31	c  N dy 15788   1991983      7511      3406     69321    109187    161130   7626477     55.60     69.40  --
3230.73/809.95	c  N dy 15954   2012045      7511      3406     69321     67272    161130   1275135     55.64     62.01  --
3259.85/817.27	c  N dy 16116   2032146      7511      3406     69321     87357    161130   4247137     55.67     59.22  --
3295.75/826.24	c  N dy 16285   2052168      7511      3406     69321    107360    161130   7340828     55.73     76.48  --
3336.44/836.43	c  N dy 16452   2072195      7511      3406     69321     64416    161130    705587     55.77     59.78  --
3363.16/843.10	c  N dy 16608   2092242      7511      3406     69321     84443    161130   3604708     55.80     59.28  --
3396.27/851.43	c  N dy 16765   2112243      7511      3406     69321    104429    161130   6549635     55.83     60.13  --
3437.37/861.71	c  N dy 16931   2132343      7511      3406     69321    124514    161130   9649331     55.88     67.14  --
3466.89/869.12	c  N dy 17096   2152416      7511      3406     69321     80612    161130   3015228     55.91     66.65  --
3499.20/877.21	c  N dy 17261   2172469      7511      3406     69321    100651    161130   6075087     55.95     74.38  --
3537.89/886.97	c  N dy 17424   2192527      7511      3406     69321    120690    161130   9067657     55.99     59.20  --
3569.40/894.84	c  S st 17565   2210802      7511      3406     69321     74005    161130   1851071     56.02     57.63  --
3570.22/895.03	c  S st 17565   2211303      7511      3406     69321     74506    161130   1914771     56.02   no data  --
3570.22/895.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3570.22/895.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3571.39/895.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.4M T:  1.19
3571.79/895.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3577.38/896.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.70 s
3577.38/896.86	c Subs w/ non-existent bins:      0 l-rem:    630 v-fix:     0 done:   3974 time:  0.07 s
3577.38/896.87	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
3590.94/900.28	c lits-rem:       118  cl-subs:       79  v-elim:      0  v-fix:    0  time: 13.56 s
3590.94/900.28	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
3591.34/900.34	c vivif2 --  cl tried    74427 cl shrink      637 lits rem       1380 time: 0.23
3591.74/900.40	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.25
3591.74/900.41	c calculated reachability. Time: 0.01
3591.74/900.41	c  N dy 17565   2211303      7511      3406     69321     74427    161130   1910628     56.02   no data  --
3620.86/907.72	c  N dy 17730   2231306      7511      3406     69321     94413    161130   4950996     56.06     64.10  --
3655.56/916.49	c  N dy 17887   2251393      7511      3406     69321    114487    161130   7951363     56.09     62.33  --
3696.25/926.63	c  N dy 18049   2271539      7511      3406     69321     68671    161130    898983     56.12     60.10  --
3725.37/933.97	c  N dy 18202   2291556      7511      3406     69321     88672    161130   3825188     56.14     60.03  --
3762.88/943.33	c  N dy 18372   2311657      7511      3406     69321    108750    161130   6940301     56.18     60.07  --
3807.18/954.41	c  N dy 18536   2331700      7511      3406     69321    128768    161130   9964227     56.22     59.65  --
3841.06/962.91	c  N dy 18710   2351710      7511      3406     69321     81829    161130   2837167     56.27     60.94  --
3874.96/971.44	c  N dy 18868   2371728      7511      3406     69321    101829    161130   5869137     56.30     63.99  --
3916.06/981.74	c  N dy 19029   2391743      7511      3406     69321    121824    161130   8881166     56.33     61.99  --
3957.54/992.14	c  N dy 19188   2411765      7511      3406     69321     73884    161130   1415835     56.36     61.07  --
3988.25/999.83	c  N dy 19346   2431845      7511      3406     69321     93942    161130   4436902     56.39     59.39  --
4025.35/1009.16	c  N dy 19509   2451926      7511      3406     69321    114003    161130   7446512     56.42     61.76  --
4068.04/1019.87	c  N dy 19673   2471933      7511      3406     69321    133982    161130  10429620     56.44     60.56  --
4099.15/1027.67	c  N dy 19835   2491994      7511      3406     69321     85108    161130   3003038     56.48     78.37  --
4132.31/1035.93	c  N dy 19995   2512000      7511      3406     69321    105103    161130   6059810     56.50     60.32  --
4172.55/1046.03	c  N dy 20163   2532064      7511      3406     69321    125151    161130   9207449     56.55     63.97  --
4213.64/1056.39	c  N dy 20324   2552119      7511      3406     69321     75252    161130   1339260     56.57     60.97  --
4245.16/1064.21	c  N dy 20488   2572195      7511      3406     69321     95313    161130   4439033     56.60     59.88  --
4283.45/1073.88	c  N dy 20653   2592216      7511      3406     69321    115317    161130   7491420     56.64     60.34  --
4328.53/1085.19	c  N dy 20814   2612297      7511      3406     69321    135378    161130  10592825     56.67     61.39  --
4366.42/1094.62	c  N dy 20979   2632316      7511      3406     69321     84448    161130   2673782     56.71     60.22  --
4401.93/1103.56	c  N dy 21133   2652339      7511      3406     69321    104456    161130   5663108     56.73     63.36  --
4445.41/1114.42	c  N dy 21298   2672414      7511      3406     69321    124510    161130   8742105     56.76     60.02  --
4494.08/1126.63	c  N dy 21463   2692476      7511      3406     69321     72601    161130    667985     56.79     88.93  --
4521.21/1133.43	c  S st 21618   2711303      7511      3406     69321     91412    161130   3560436     56.82   no data  --
4522.01/1133.66	c  S st 21618   2711805      7511      3406     69321     91913    161130   3621815     56.82   no data  --
4522.01/1133.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4522.01/1133.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4523.60/1134.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.6M T:  1.49
4524.00/1134.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4529.98/1135.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.74 s
4529.98/1135.65	c Subs w/ non-existent bins:      0 l-rem:    805 v-fix:     0 done:   2266 time:  0.07 s
4529.98/1135.66	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
4631.31/1161.07	c lits-rem:        70  cl-subs:      100  v-elim:      0  v-fix:    0  time: 101.24 s
4631.31/1161.07	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
4631.71/1161.20	c vivif2 --  cl tried    91813 cl shrink     1838 lits rem       4519 time: 0.50
4632.12/1161.28	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.33
4632.12/1161.29	c calculated reachability. Time: 0.01
4632.12/1161.29	c  N dy 21618   2711805      7511      3406     69321     91813    161130   3612521     56.82   no data  --
4665.21/1169.55	c  N dy 21778   2731835      7511      3406     69321    111829    161130   6662516     56.85     60.16  --
4704.70/1179.45	c  N dy 21942   2751894      7511      3406     69321    131871    161130   9753806     56.88     66.84  --
4744.19/1189.31	c  N dy 22101   2771956      7511      3406     69321     78991    161130   1492309     56.91     61.78  --
4774.50/1196.95	c  N dy 22265   2791974      7511      3406     69321     98988    161130   4549323     56.93     61.22  --

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-3369333-1305415036/watcher-3369333-1305415036 -o /tmp/evaluation-result-3369333-1305415036/solver-3369333-1305415036 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369333-1305415036.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: 6.87 7.86 7.95 6/342 13975
/proc/meminfo: memFree=18140308/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 4 0 653101579 52465664 353 33554432000 4194304 4650419 140733474179968 18446744073709551615 46948577744808 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 12809 353 303 112 0 7774 0
[pid=13975/tid=13976] ppid=13973 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 653101580 52465664 353 33554432000 4194304 4650419 140733474179968 18446744073709551615 46948577744822 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 4 0 653101580 52465664 353 33554432000 4194304 4650419 140733474179968 18446744073709551615 46948577744808 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 653101580 52465664 353 33554432000 4194304 4650419 140733474179968 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.082342 s]
/proc/loadavg: 6.87 7.86 7.95 6/342 13975
/proc/meminfo: memFree=18140308/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=290596 CPUtime=0.38 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 6759 0 0 0 34 4 0 0 18 0 4 0 653101579 297570304 6170 33554432000 4194304 4650419 140733474179968 18446744073709551615 4469160 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 72912 7002 388 112 0 67877 0
[pid=13975/tid=13976] ppid=13973 vsize=291800 CPUtime=0.47 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2217 0 0 0 46 1 0 0 18 0 4 0 653101580 298803200 8533 33554432000 4194304 4650419 140733474179968 18446744073709551615 228244453919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=301588 CPUtime=0.69 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2490 0 0 0 68 1 0 0 18 0 4 0 653101580 308826112 8477 33554432000 4194304 4650419 140733474179968 18446744073709551615 228244392071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=293460 CPUtime=0.84 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2421 0 0 0 83 1 0 0 19 0 4 0 653101580 300503040 8232 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363747 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 290596

[startup+0.965924 s]
/proc/loadavg: 6.87 7.86 7.95 6/342 13975
/proc/meminfo: memFree=18140308/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=293460 CPUtime=3.82 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 11401 0 0 0 376 6 0 0 19 0 4 0 653101579 300503040 8609 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 73365 8609 393 112 0 68330 0
[pid=13975/tid=13976] ppid=13973 vsize=293460 CPUtime=0.94 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2731 0 0 0 93 1 0 0 19 0 4 0 653101580 300503040 8609 33554432000 4194304 4650419 140733474179968 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=293460 CPUtime=0.95 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2720 0 0 0 94 1 0 0 19 0 4 0 653101580 300503040 8609 33554432000 4194304 4650419 140733474179968 18446744073709551615 4331254 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=293460 CPUtime=0.94 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2518 0 0 0 93 1 0 0 19 0 4 0 653101580 300503040 8609 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 293460

[startup+1.06591 s]
/proc/loadavg: 6.87 7.86 7.95 6/342 13975
/proc/meminfo: memFree=18140308/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=293652 CPUtime=4.22 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 11772 0 0 0 416 6 0 0 19 0 4 0 653101579 300699648 8980 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 73413 8980 393 112 0 68378 0
[pid=13975/tid=13976] ppid=13973 vsize=293652 CPUtime=1.04 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2819 0 0 0 103 1 0 0 19 0 4 0 653101580 300699648 8980 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=293652 CPUtime=1.05 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2831 0 0 0 104 1 0 0 19 0 4 0 653101580 300699648 8981 33554432000 4194304 4650419 140733474179968 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=293652 CPUtime=1.04 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2605 0 0 0 103 1 0 0 19 0 4 0 653101580 300699648 8981 33554432000 4194304 4650419 140733474179968 18446744073709551615 4229486 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 293652

[startup+1.14099 s]
/proc/loadavg: 6.87 7.86 7.95 6/342 13975
/proc/meminfo: memFree=18140308/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=293652 CPUtime=4.52 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 12045 0 0 0 446 6 0 0 19 0 4 0 653101579 300699648 9253 33554432000 4194304 4650419 140733474179968 18446744073709551615 228244453919 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 73413 9253 393 112 0 68378 0
[pid=13975/tid=13976] ppid=13973 vsize=293652 CPUtime=1.12 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2891 0 0 0 111 1 0 0 19 0 4 0 653101580 300699648 9253 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=293652 CPUtime=1.12 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2908 0 0 0 111 1 0 0 19 0 4 0 653101580 300699648 9254 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=293652 CPUtime=1.12 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 2665 0 0 0 111 1 0 0 19 0 4 0 653101580 300699648 9254 33554432000 4194304 4650419 140733474179968 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 293652

[startup+1.50083 s]
/proc/loadavg: 6.87 7.86 7.95 6/342 13975
/proc/meminfo: memFree=18140308/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=294116 CPUtime=5.95 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 13788 0 0 0 589 6 0 0 20 0 4 0 653101579 301174784 8394 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 73529 8394 393 112 0 68494 0
[pid=13975/tid=13976] ppid=13973 vsize=294116 CPUtime=1.48 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 3296 0 0 0 147 1 0 0 20 0 4 0 653101580 301174784 8394 33554432000 4194304 4650419 140733474179968 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=294116 CPUtime=1.48 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 3349 0 0 0 147 1 0 0 19 0 4 0 653101580 301174784 8394 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=294116 CPUtime=1.47 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 3126 0 0 0 146 1 0 0 20 0 4 0 653101580 301174784 8394 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 294116

[startup+3.10055 s]
/proc/loadavg: 7.28 7.93 7.97 10/346 13979
/proc/meminfo: memFree=18078524/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=294968 CPUtime=12.33 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 19665 0 0 0 1225 8 0 0 25 0 4 0 653101579 302047232 11138 33554432000 4194304 4650419 140733474179968 18446744073709551615 228244004744 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 73742 11138 394 112 0 68707 0
[pid=13975/tid=13976] ppid=13973 vsize=294968 CPUtime=3.08 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 4780 0 0 0 306 2 0 0 25 0 4 0 653101580 302047232 11138 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=294968 CPUtime=3.08 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 4852 0 0 0 306 2 0 0 25 0 4 0 653101580 302047232 11138 33554432000 4194304 4650419 140733474179968 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=294968 CPUtime=3.05 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 4606 0 0 0 304 1 0 0 25 0 4 0 653101580 302047232 11138 33554432000 4194304 4650419 140733474179968 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 294968

[startup+6.31299 s]
/proc/loadavg: 7.34 7.93 7.97 10/346 13979
/proc/meminfo: memFree=17967592/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=312320 CPUtime=25.15 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 39887 0 0 0 2502 13 0 0 25 0 4 0 653101579 319815680 22385 33554432000 4194304 4650419 140733474179968 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 78080 22385 395 112 0 73045 0
[pid=13975/tid=13976] ppid=13973 vsize=312320 CPUtime=6.29 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 8245 0 0 0 626 3 0 0 22 0 4 0 653101580 319815680 22385 33554432000 4194304 4650419 140733474179968 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=312320 CPUtime=6.3 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 12894 0 0 0 626 4 0 0 25 0 4 0 653101580 319815680 22385 33554432000 4194304 4650419 140733474179968 18446744073709551615 4435771 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=312320 CPUtime=6.23 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 7807 0 0 0 621 2 0 0 25 0 4 0 653101580 319815680 22385 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 312320

[startup+12.7009 s]
/proc/loadavg: 7.39 7.93 7.97 10/346 13979
/proc/meminfo: memFree=17902648/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=346500 CPUtime=50.64 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 59099 0 0 0 5047 17 0 0 25 0 4 0 653101579 354816000 33555 33554432000 4194304 4650419 140733474179968 18446744073709551615 4310421 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 86625 33555 395 112 0 81590 0
[pid=13975/tid=13976] ppid=13973 vsize=346500 CPUtime=12.68 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 16753 0 0 0 1263 5 0 0 25 0 4 0 653101580 354816000 33555 33554432000 4194304 4650419 140733474179968 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=346500 CPUtime=12.68 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 13947 0 0 0 1264 4 0 0 25 0 4 0 653101580 354816000 33555 33554432000 4194304 4650419 140733474179968 18446744073709551615 4306624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=346500 CPUtime=12.56 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 14246 0 0 0 1252 4 0 0 25 0 4 0 653101580 354816000 33555 33554432000 4194304 4650419 140733474179968 18446744073709551615 4334075 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) 346500

[startup+25.5006 s]
/proc/loadavg: 7.48 7.93 7.97 10/346 13979
/proc/meminfo: memFree=17741492/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=417468 CPUtime=101.69 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 96203 0 0 0 10142 27 0 0 25 0 4 0 653101579 427487232 50056 33554432000 4194304 4650419 140733474179968 18446744073709551615 4440766 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 104367 50056 395 112 0 99332 0
[pid=13975/tid=13976] ppid=13973 vsize=417468 CPUtime=25.48 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 25929 0 0 0 2541 7 0 0 25 0 4 0 653101580 427487232 50056 33554432000 4194304 4650419 140733474179968 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=417468 CPUtime=25.48 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 26073 0 0 0 2540 8 0 0 25 0 4 0 653101580 427487232 50056 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=417468 CPUtime=25.21 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 26064 0 0 0 2515 6 0 0 25 0 4 0 653101580 427487232 50056 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364889 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 417468

[startup+51.1012 s]
/proc/loadavg: 7.66 7.94 7.97 10/346 13980
/proc/meminfo: memFree=17620412/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=513396 CPUtime=203.8 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 155255 0 0 0 20334 46 0 0 25 0 4 0 653101579 525717504 64136 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 128349 64136 395 112 0 123314 0
[pid=13975/tid=13976] ppid=13973 vsize=513396 CPUtime=51.08 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 41517 0 0 0 5097 11 0 0 25 0 4 0 653101580 525717504 64136 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=513396 CPUtime=51.08 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 38204 0 0 0 5096 12 0 0 25 0 4 0 653101580 525717504 64136 33554432000 4194304 4650419 140733474179968 18446744073709551615 4331879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=513396 CPUtime=50.53 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 43135 0 0 0 5040 13 0 0 25 0 4 0 653101580 525717504 64136 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 513396

[startup+102.301 s]
/proc/loadavg: 7.93 7.97 7.98 10/346 13981
/proc/meminfo: memFree=17548104/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=497388 CPUtime=408.04 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 246188 0 0 0 40730 74 0 0 25 0 4 0 653101579 509325312 75768 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366882 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 124347 75768 395 112 0 119312 0
[pid=13975/tid=13976] ppid=13973 vsize=497388 CPUtime=102.28 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 66833 0 0 0 10209 19 0 0 25 0 4 0 653101580 509325312 75768 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=497388 CPUtime=102.28 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 64758 0 0 0 10209 19 0 0 25 0 4 0 653101580 509325312 75768 33554432000 4194304 4650419 140733474179968 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=497388 CPUtime=101.17 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 67731 0 0 0 10096 21 0 0 25 0 4 0 653101580 509325312 75768 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 497388

[startup+162.301 s]

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

[pid=13975] ppid=13973 vsize=1049700 CPUtime=2801.5 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1417467 0 0 0 279677 473 0 0 25 0 4 0 653101579 1074892800 197079 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 262425 197079 395 112 0 257390 0
[pid=13975/tid=13976] ppid=13973 vsize=1049700 CPUtime=702.28 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 332343 0 0 0 70106 122 0 0 25 0 4 0 653101580 1074892800 197079 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1049700 CPUtime=698.46 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 459502 0 0 0 69712 134 0 0 25 0 4 0 653101580 1074892800 197079 33554432000 4194304 4650419 140733474179968 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1049700 CPUtime=698.43 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 330636 0 0 0 69724 119 0 0 25 0 4 0 653101580 1074892800 197079 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.5
Current children cumulated vsize (KiB) 1049700

[startup+762.301 s]
/proc/loadavg: 8.08 8.10 8.03 10/346 13999
/proc/meminfo: memFree=16617224/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1051984 CPUtime=3040.84 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1496736 0 0 0 303580 504 0 0 25 0 4 0 653101579 1077231616 185966 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 262996 185966 395 112 0 257961 0
[pid=13975/tid=13976] ppid=13973 vsize=1051984 CPUtime=762.29 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 355056 0 0 0 76098 131 0 0 25 0 4 0 653101580 1077231616 185966 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1051984 CPUtime=757.8 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 476988 0 0 0 75641 139 0 0 25 0 4 0 653101580 1077231616 185966 33554432000 4194304 4650419 140733474179968 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1051984 CPUtime=758.43 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 351737 0 0 0 75716 127 0 0 25 0 4 0 653101580 1077231616 185966 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.84
Current children cumulated vsize (KiB) 1051984

[startup+822.301 s]
/proc/loadavg: 8.06 8.09 8.03 10/346 14001
/proc/meminfo: memFree=16532136/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1133904 CPUtime=3280.2 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1574199 0 0 0 327480 540 0 0 25 0 4 0 653101579 1161117696 206307 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 283476 206307 395 112 0 278441 0
[pid=13975/tid=13976] ppid=13973 vsize=1133904 CPUtime=822.28 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 367023 0 0 0 82092 136 0 0 25 0 4 0 653101580 1161117696 206307 33554432000 4194304 4650419 140733474179968 18446744073709551615 4310774 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1133904 CPUtime=817.16 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 500983 0 0 0 81566 150 0 0 25 0 4 0 653101580 1161117696 206307 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1133904 CPUtime=818.43 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 373527 0 0 0 81706 137 0 0 25 0 4 0 653101580 1161117696 206307 33554432000 4194304 4650419 140733474179968 18446744073709551615 4332995 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.2
Current children cumulated vsize (KiB) 1133904

[startup+882.301 s]
/proc/loadavg: 8.10 8.10 8.03 10/346 14002
/proc/meminfo: memFree=16566828/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1108260 CPUtime=3519.53 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1655183 0 0 0 351380 573 0 0 25 0 4 0 653101579 1134858240 202220 33554432000 4194304 4650419 140733474179968 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 277065 202220 395 112 0 272030 0
[pid=13975/tid=13976] ppid=13973 vsize=1108260 CPUtime=882.29 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 389566 0 0 0 88083 146 0 0 25 0 4 0 653101580 1134858240 202220 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1108260 CPUtime=876.5 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 522763 0 0 0 87492 158 0 0 25 0 4 0 653101580 1134858240 202221 33554432000 4194304 4650419 140733474179968 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1108260 CPUtime=878.43 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 393583 0 0 0 87698 145 0 0 25 0 4 0 653101580 1134858240 202221 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.53
Current children cumulated vsize (KiB) 1108260

[startup+942.301 s]
/proc/loadavg: 8.07 8.09 8.03 10/346 14004
/proc/meminfo: memFree=16595324/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1156136 CPUtime=3758.91 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1725703 0 0 0 375283 608 0 0 25 0 4 0 653101579 1183883264 201246 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 289034 201246 395 112 0 283999 0
[pid=13975/tid=13976] ppid=13973 vsize=1156136 CPUtime=942.3 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 411058 0 0 0 94073 157 0 0 25 0 4 0 653101580 1183883264 201249 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363350 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1156136 CPUtime=935.85 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 535572 0 0 0 93420 165 0 0 25 0 4 0 653101580 1183883264 201249 33554432000 4194304 4650419 140733474179968 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1156136 CPUtime=938.45 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 414993 0 0 0 93689 156 0 0 25 0 4 0 653101580 1183883264 201249 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.91
Current children cumulated vsize (KiB) 1156136

[startup+1002.3 s]
/proc/loadavg: 8.06 8.09 8.03 10/346 14005
/proc/meminfo: memFree=16526056/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1204460 CPUtime=3998.24 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1779421 0 0 0 399189 635 0 0 25 0 4 0 653101579 1233367040 215690 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 301115 215690 395 112 0 296080 0
[pid=13975/tid=13976] ppid=13973 vsize=1204460 CPUtime=1002.29 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 429959 0 0 0 100062 167 0 0 25 0 4 0 653101580 1233367040 215690 33554432000 4194304 4650419 140733474179968 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1204460 CPUtime=995.19 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 535623 0 0 0 99354 165 0 0 25 0 4 0 653101580 1233367040 215690 33554432000 4194304 4650419 140733474179968 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1204460 CPUtime=998.44 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 434853 0 0 0 99678 166 0 0 25 0 4 0 653101580 1233367040 215690 33554432000 4194304 4650419 140733474179968 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.24
Current children cumulated vsize (KiB) 1204460

[startup+1062.31 s]
/proc/loadavg: 8.13 8.10 8.04 10/346 14007
/proc/meminfo: memFree=16496576/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1206368 CPUtime=4237.61 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1856065 0 0 0 423095 666 0 0 25 0 4 0 653101579 1235320832 207967 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 301592 207967 395 112 0 296557 0
[pid=13975/tid=13976] ppid=13973 vsize=1206368 CPUtime=1062.3 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 447996 0 0 0 106055 175 0 0 25 0 4 0 653101580 1235320832 207967 33554432000 4194304 4650419 140733474179968 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1206368 CPUtime=1054.54 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 557221 0 0 0 105280 174 0 0 25 0 4 0 653101580 1235320832 207967 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1206368 CPUtime=1058.45 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 456469 0 0 0 105671 174 0 0 25 0 4 0 653101580 1235320832 207967 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.61
Current children cumulated vsize (KiB) 1206368

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.04 9/346 14009
/proc/meminfo: memFree=16508160/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1219164 CPUtime=4476.92 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1900948 0 0 0 447003 689 0 0 25 0 4 0 653101579 1248423936 214412 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364859 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 304791 214412 395 112 0 299756 0
[pid=13975/tid=13976] ppid=13973 vsize=1219164 CPUtime=1122.28 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 450599 0 0 0 112053 175 0 0 25 0 4 0 653101580 1248423936 214412 33554432000 4194304 4650419 140733474179968 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1219164 CPUtime=1113.88 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 572940 0 0 0 111206 182 0 0 25 0 4 0 653101580 1248423936 214412 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1219164 CPUtime=1118.43 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 464287 0 0 0 111665 178 0 0 25 0 4 0 653101580 1248423936 214412 33554432000 4194304 4650419 140733474179968 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.92
Current children cumulated vsize (KiB) 1219164

[startup+1182.3 s]
/proc/loadavg: 8.18 8.11 8.04 10/346 14010
/proc/meminfo: memFree=16430096/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1208556 CPUtime=4716.27 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 1974392 0 0 0 470906 721 0 0 25 0 4 0 653101579 1237561344 215549 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 302139 215549 395 112 0 297104 0
[pid=13975/tid=13976] ppid=13973 vsize=1208556 CPUtime=1182.29 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 468811 0 0 0 118045 184 0 0 25 0 4 0 653101580 1237561344 215549 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1208556 CPUtime=1173.22 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 595215 0 0 0 117131 191 0 0 25 0 4 0 653101580 1237561344 215549 33554432000 4194304 4650419 140733474179968 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1208556 CPUtime=1178.43 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 484615 0 0 0 117656 187 0 0 25 0 4 0 653101580 1237561344 215549 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.27
Current children cumulated vsize (KiB) 1208556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.13 8.10 8.04 9/346 14011
/proc/meminfo: memFree=16440972/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1197020 CPUtime=4800.05 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 2001841 0 0 0 479274 731 0 0 25 0 4 0 653101579 1225748480 217668 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 299255 217668 395 112 0 294220 0
[pid=13975/tid=13976] ppid=13973 vsize=1197020 CPUtime=1203.3 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 475426 0 0 0 120144 186 0 0 25 0 4 0 653101580 1225748480 217674 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1197020 CPUtime=1194 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 602491 0 0 0 119206 194 0 0 25 0 4 0 653101580 1225748480 217674 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1197020 CPUtime=1199.44 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 492933 0 0 0 119754 190 0 0 25 0 4 0 653101580 1225748480 217674 33554432000 4194304 4650419 140733474179968 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1197020

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

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

[startup+1203.3 s]
/proc/loadavg: 8.13 8.10 8.04 9/346 14011
/proc/meminfo: memFree=16440972/32951124 swapFree=67082152/67111528
[pid=13975] ppid=13973 vsize=1197020 CPUtime=4800.05 cores=1,3,5,7
/proc/13975/stat : 13975 (strangenight1-m) R 13973 13975 13934 0 -1 4202496 2001841 0 0 0 479274 731 0 0 25 0 4 0 653101579 1225748480 217668 33554432000 4194304 4650419 140733474179968 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13975/statm: 299255 217668 395 112 0 294220 0
[pid=13975/tid=13976] ppid=13973 vsize=1197020 CPUtime=1203.3 cores=1,3,5,7
/proc/13975/task/13976/stat : 13976 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 475426 0 0 0 120144 186 0 0 25 0 4 0 653101580 1225748480 217674 33554432000 4194304 4650419 140733474179968 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13975/tid=13977] ppid=13973 vsize=1197020 CPUtime=1194 cores=1,3,5,7
/proc/13975/task/13977/stat : 13977 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 602491 0 0 0 119206 194 0 0 25 0 4 0 653101580 1225748480 217674 33554432000 4194304 4650419 140733474179968 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13975/tid=13978] ppid=13973 vsize=1197020 CPUtime=1199.44 cores=1,3,5,7
/proc/13975/task/13978/stat : 13978 (strangenight1-m) R 13973 13975 13934 0 -1 4202560 492933 0 0 0 119754 190 0 0 25 0 4 0 653101580 1225748480 217674 33554432000 4194304 4650419 140733474179968 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 1197020

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.36
CPU time (s): 4800.14
CPU user time (s): 4792.79
CPU system time (s): 7.35288
CPU usage (%): 398.895
Max. virtual memory (cumulated for all children) (KiB): 1220672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.79
system time used= 7.35288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2001850
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= 5171
involuntary context switches= 31317

runsolver used 3.45247 second user time and 9.69952 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-15 01:17:16
IDJOB=3369333
IDBENCH=83797
IDSOLVER=1846
FILE ID=node136/3369333-1305415036
RUNJOBID= node136-1305415036-13953
PBS_JOBID= 13324558
Free space on /tmp= 72988 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/handmade/gomes/bqwh/bqwh.60.1152.shuffled-as.sat03-1650.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369333-1305415036/watcher-3369333-1305415036 -o /tmp/evaluation-result-3369333-1305415036/solver-3369333-1305415036 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369333-1305415036.cnf

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

MD5SUM BENCH= 98d6317b259165bb4fb7a39e783668e0
RANDOM SEED=1186942487

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18140836 kB
Buffers:        298164 kB
Cached:        5044784 kB
SwapCached:       2740 kB
Active:       10574760 kB
Inactive:      3892412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18140836 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           13920 kB
Writeback:           0 kB
AnonPages:     9122480 kB
Mapped:          27724 kB
Slab:           237024 kB
PageTables:      39488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69951352 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= 72980 MiB
End job on node136 at 2011-05-15 01:37:21