Trace number 3262729

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.31 1201.95

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3262729-1304133740.cnf'
0.00/0.00	c -- header says num vars:           7534
0.00/0.00	c -- header says num clauses:       72812
0.05/0.05	c -- clauses added:            0 learnts,        72812 normals,            0 xors
0.05/0.05	c -- vars added       7534
0.05/0.05	c Parsing time:  0.10 s
0.05/0.05	c  N st     0         0      7534      3406     69406         0    161368         0   no data   no data  --
0.05/0.05	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.02
0.05/0.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   23 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
0.05/0.11	c Replacing       23 vars Replaced      690 lits Time:     0.01 s 
0.05/0.11	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.05/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
0.05/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7511 time:  0.04 s
0.05/0.83	c Removed useless bin:      73  fixed:     0  props:   0.39M  time:  0.04 s
0.05/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
0.05/0.83	c Finding binary XORs  T:     0.02 s  found:       0
0.05/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.05/0.83	c calculated reachability. Time: 0.00
0.05/0.83	c Calc default polars -  time:   0.01 s pos:    3817 undec:      25 neg:    3692
0.05/0.83	c =========================================================================================
0.05/0.83	c types(t): F = full restart, N = normal restart
0.05/0.83	c types(t): S = simplification begin/end, E = solution found
0.05/0.83	c restart types(rt): st = static, dy = dynamic
0.05/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.05/0.83	c  B st     0         0      7511      3406     69287         0    161130         0   no data   no data  --
0.05/0.83	c  N dy    22      4017      7511      3406     69287      4013    161130    355141     35.69     45.79  --
3.82/1.03	c  N dy    51      8053      7511      3406     69287      5547    161130    293974     38.83     41.14  --
5.56/1.48	c  N dy    79     12125      7511      3406     69288      5372    161130    146510     39.19     44.14  --
7.55/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.94/3.01	c  N dy   170     24451      7511      3406     69288     12063    161130    653656     40.71     42.95  --
11.94/3.09	c  F st   176     25000      7511      3406     69288     12612    161130    710058     40.79   no data  --
15.14/3.80	c  N dy   182     30000      7511      3406     69289     10798    161130    784578     40.79   no data  --
15.14/3.80	c  S st   182     30000      7511      3406     69289     10798    161130    784578     40.79   no data  --
15.14/3.86	c  S st   182     30503      7511      3406     69289     11301    161130    823864     40.79   no data  --
15.14/3.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15.14/3.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.56/3.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:      0 BRemN:      0 P:  2.2M T:  0.34
15.96/4.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
21.13/5.36	c subs with bin:        0  lits-rem:       124  v-fix:    0  time:  5.38 s
21.13/5.38	c Subs w/ non-existent bins:      0 l-rem:    187 v-fix:     0 done:   7511 time:  0.06 s
21.13/5.39	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
31.92/8.03	c lits-rem:       481  cl-subs:       28  v-elim:      0  v-fix:    0  time: 10.53 s
31.92/8.04	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.04
31.92/8.04	c calculated reachability. Time: 0.01
31.92/8.04	c  N dy   182     30503      7511      3406     69305     11273    161130    821996     40.79   no data  --
34.31/8.64	c  N dy   215     34522      7511      3406     69305     15290    161130   1215357     41.14     43.70  --
36.71/9.20	c  N dy   249     38691      7511      3406     69308     11563    161130    451944     41.75     44.23  --
38.71/9.79	c  N dy   279     42756      7511      3406     69310     15622    161130    873038     42.16     44.40  --
40.71/10.26	c  S st   301     45754      7511      3406     69310      9684    161130    138973     42.27     28.73  --
41.11/10.33	c  S st   301     46256      7511      3406     69310     10185    161130    178199     42.27   no data  --
41.11/10.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
41.11/10.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.50/10.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P:  2.1M T:  0.32
41.50/10.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
43.10/10.83	c subs with bin:        2  lits-rem:         3  v-fix:    0  time:  1.63 s
43.10/10.85	c Subs w/ non-existent bins:      0 l-rem:      9 v-fix:     0 done:   7511 time:  0.05 s
43.10/10.86	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
43.90/11.03	c lits-rem:        27  cl-subs:       10  v-elim:      0  v-fix:    0  time:  0.70 s
43.90/11.03	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
43.90/11.04	c vivif2 --  cl tried    10173 cl shrink        1 lits rem          1 time: 0.01
43.90/11.04	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.04
43.90/11.05	c calculated reachability. Time: 0.01
43.90/11.05	c  N dy   301     46256      7511      3406     69314     10173    161130    177801     42.27   no data  --
46.31/11.61	c  N dy   335     50324      7511      3406     69314     14236    161130    599048     42.64     45.52  --
48.69/12.24	c  N dy   368     54325      7511      3406     69314     18234    161130   1024391     42.98     61.50  --
51.11/12.87	c  N dy   403     58413      7511      3406     69315     12348    161130    328767     43.25     46.93  --
53.49/13.47	c  N dy   435     62548      7511      3406     69315     16481    161130    750608     43.47     47.02  --
56.28/14.13	c  N dy   469     66554      7511      3406     69315     20481    161130   1160046     43.66     60.64  --
57.88/14.59	c  S st   491     69384      7511      3406     69315     12345    161130    235632     43.76   no data  --
58.28/14.66	c  S st   491     69889      7511      3406     69315     12849    161130    279210     43.76   no data  --
58.28/14.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
58.28/14.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.68/14.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.34
58.68/14.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
62.68/15.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.99 s
62.68/15.78	c Subs w/ non-existent bins:      0 l-rem:     61 v-fix:     0 done:   7511 time:  0.05 s
62.68/15.79	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
65.07/16.38	c lits-rem:        88  cl-subs:       14  v-elim:      0  v-fix:    0  time:  2.38 s
65.07/16.39	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
65.07/16.39	c vivif2 --  cl tried    12835 cl shrink       21 lits rem         45 time: 0.02
65.47/16.40	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.04
65.47/16.40	c calculated reachability. Time: 0.01
65.47/16.40	c  N dy   491     69889      7511      3406     69315     12835    161130    278719     43.76   no data  --
67.86/17.07	c  N dy   524     74505      7511      3406     69315     17445    161130    758985     43.87     46.26  --
71.06/17.85	c  N dy   559     79331      7511      3406     69315     22270    161130   1271149     44.03     47.74  --
74.26/18.66	c  N dy   599     84444      7511      3406     69315     15391    161130    484133     44.28     47.28  --
76.26/19.13	c  F st   624     87500      7511      3406     69315     18441    161130    810215     44.39   no data  --
78.65/19.70	c  N st   629     90799      7511      3406     69315     21736    161130   1400313     44.39   no data  --
82.65/20.79	c  N dy   657     96629      7511      3406     69316     14568    161130    267353     44.46     47.93  --
87.04/21.80	c  N dy   706    102819      7511      3406     69316     20747    161130    944881     44.68     48.69  --
88.24/22.16	c  S st   723    104833      7511      3406     69316     22757    161130   1157327     44.72   no data  --
88.64/22.26	c  S st   723    105336      7511      3406     69316     23260    161130   1198727     44.72   no data  --
88.64/22.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
88.64/22.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.44/22.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.3M T:  0.55
89.44/22.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
95.05/23.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.52 s
95.05/23.86	c Subs w/ non-existent bins:      0 l-rem:    319 v-fix:     0 done:   7511 time:  0.07 s
95.05/23.87	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
102.62/25.72	c lits-rem:       290  cl-subs:       38  v-elim:      0  v-fix:    0  time:  7.38 s
102.62/25.72	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
102.62/25.74	c vivif2 --  cl tried    23222 cl shrink      106 lits rem        233 time: 0.08
102.62/25.76	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.07
102.62/25.77	c calculated reachability. Time: 0.01
102.62/25.77	c  N dy   723    105336      7511      3406     69316     23222    161130   1195990     44.72   no data  --
107.41/26.96	c  N dy   779    112063      7511      3406     69318     15965    161130    328828     45.00     50.99  --
112.22/28.18	c  N dy   838    119299      7511      3406     69318     23195    161130   1142981     45.26     48.03  --
118.19/29.67	c  N dy   903    126924      7511      3406     69320     15832    161130    223052     45.68     48.12  --
123.39/30.99	c  N dy   965    135068      7511      3406     69320     23966    161130   1142419     45.87     48.30  --
130.20/32.69	c  N dy  1031    143774      7511      3406     69320     16670    161130    199843     45.98     48.46  --
136.57/34.28	c  N dy  1103    153054      7511      3406     69320     25941    161130   1285677     46.24     48.93  --
140.97/35.31	c  S st  1145    158004      7511      3406     69320     30883    161130   1875562     46.40   no data  --
141.36/35.42	c  S st  1145    158504      7511      3406     69320     31383    161130   1932578     46.40   no data  --
141.36/35.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
141.36/35.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
141.76/35.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.8M T:  0.63
142.16/35.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
147.77/37.07	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  5.57 s
147.77/37.09	c Subs w/ non-existent bins:      0 l-rem:    631 v-fix:     0 done:   7511 time:  0.08 s
148.15/37.10	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
156.57/39.25	c lits-rem:       169  cl-subs:       84  v-elim:      0  v-fix:    0  time:  8.58 s
156.57/39.25	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
156.57/39.29	c vivif2 --  cl tried    31298 cl shrink      216 lits rem        425 time: 0.14
156.94/39.31	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.09
156.94/39.31	c calculated reachability. Time: 0.01
156.94/39.31	c  N dy  1145    158504      7511      3406     69320     31298    161130   1928106     46.40   no data  --
164.13/41.14	c  N dy  1225    168685      7511      3406     69320     24493    161130   1007192     46.63     58.78  --
173.32/43.42	c  N dy  1313    179508      7511      3406     69320     35303    161130   2283199     46.90     49.99  --
181.31/45.49	c  N dy  1402    191026      7511      3406     69320     28839    161130   1377006     47.03     50.16  --
192.10/48.14	c  N dy  1503    203224      7511      3406     69320     22046    161130    528560     47.28     49.91  --
202.48/50.73	c  N dy  1603    216270      7511      3406     69320     35075    161130   2071663     47.45     54.89  --
213.68/53.58	c  N dy  1715    230160      7511      3406     69321     28976    161130   1234334     47.68     62.00  --
220.06/55.19	c  S st  1772    237756      7511      3406     69321     36563    161130   2165254     47.79   no data  --
220.86/55.33	c  S st  1772    238258      7511      3406     69321     37065    161130   2212333     47.79   no data  --
220.86/55.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
220.86/55.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
221.66/55.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.2M T:  0.72
222.08/55.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
227.64/57.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.67 s
227.64/57.05	c Subs w/ non-existent bins:      0 l-rem:    752 v-fix:     0 done:   5470 time:  0.08 s
227.64/57.06	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
238.83/59.84	c lits-rem:       168  cl-subs:       80  v-elim:      0  v-fix:    0  time: 11.10 s
238.83/59.84	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
238.83/59.89	c vivif2 --  cl tried    36985 cl shrink      408 lits rem        787 time: 0.19
239.23/59.91	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.10
239.23/59.92	c calculated reachability. Time: 0.01
239.23/59.92	c  N dy  1772    238258      7511      3406     69321     36985    161130   2206578     47.79   no data  --
251.21/62.98	c  N dy  1895    253481      7511      3406     69321     31230    161130   1389618     48.03     52.56  --
266.01/66.66	c  N dy  2032    269692      7511      3406     69321     25431    161130    623993     48.32     51.78  --
281.18/70.44	c  N dy  2169    286913      7511      3406     69321     42639    161130   2771450     48.59     76.12  --
297.17/74.40	c  N dy  2315    305228      7511      3406     69321     37975    161130   2032944     48.79     54.19  --
297.95/74.64	c  F st  2325    306250      7511      3406     69321     38997    161130   2168334     48.81   no data  --
314.75/78.83	c  N dy  2439    324785      7511      3406     69321     33531    161130   1438496     48.98     71.43  --
333.90/83.69	c  N dy  2596    344965      7511      3406     69321     28706    161130    659212     49.21     54.12  --
345.10/86.45	c  S st  2693    357388      7511      3406     69321     41113    161130   2241713     49.36   no data  --
345.50/86.59	c  S st  2693    357890      7511      3406     69321     41613    161130   2293906     49.36   no data  --
345.50/86.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
345.50/86.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
346.29/86.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.79
346.69/86.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
352.28/88.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.59 s
352.68/88.30	c Subs w/ non-existent bins:      0 l-rem:    689 v-fix:     0 done:   5531 time:  0.08 s
352.68/88.31	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
364.66/91.35	c lits-rem:       164  cl-subs:       66  v-elim:      0  v-fix:    0  time: 12.14 s
364.66/91.36	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
365.06/91.41	c vivif2 --  cl tried    41547 cl shrink      624 lits rem       1278 time: 0.21
365.06/91.44	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.12
365.06/91.44	c calculated reachability. Time: 0.01
365.06/91.44	c  N dy  2693    357890      7511      3406     69321     41547    161130   2289519     49.36   no data  --
383.43/96.04	c  N dy  2855    377926      7511      3406     69321     35594    161130   1431339     49.58     53.67  --
404.60/101.36	c  N dy  3011    398072      7511      3406     69321     28760    161130    408457     49.72     53.42  --
423.38/106.08	c  N dy  3166    418076      7511      3406     69321     48743    161130   2952248     49.88     55.72  --
443.34/111.04	c  N dy  3328    438143      7511      3406     69321     40810    161130   1853450     50.04     52.84  --
464.52/116.36	c  N dy  3489    458165      7511      3406     69321     31843    161130    572251     50.18     53.81  --
484.09/121.27	c  N dy  3651    478239      7511      3406     69321     51905    161130   3174706     50.36     53.40  --
504.86/126.45	c  N dy  3812    498318      7511      3406     69321     42001    161130   1775571     50.51     54.89  --
528.03/132.27	c  N dy  3966    518326      7511      3406     69321     31010    161130    241160     50.64     54.47  --
546.01/136.73	c  S st  4110    536835      7511      3406     69321     49505    161130   2731482     50.79   no data  --
546.41/136.88	c  S st  4110    537336      7511      3406     69321     50005    161130   2785132     50.79   no data  --
546.41/136.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
546.41/136.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
547.62/137.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.0M T:  0.93
548.00/137.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
553.60/138.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.65 s
553.60/138.66	c Subs w/ non-existent bins:      0 l-rem:    846 v-fix:     0 done:   4289 time:  0.08 s
553.60/138.67	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
571.17/143.01	c lits-rem:       104  cl-subs:       76  v-elim:      0  v-fix:    0  time: 17.31 s
571.17/143.01	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
571.17/143.09	c vivif2 --  cl tried    49929 cl shrink      987 lits rem       2163 time: 0.31
571.57/143.14	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.20
571.57/143.15	c calculated reachability. Time: 0.01
571.57/143.15	c  N dy  4110    537336      7511      3406     69321     49929    161130   2777755     50.79   no data  --
592.74/148.43	c  N dy  4265    557341      7511      3406     69321     37944    161130   1018023     50.93     54.81  --
614.31/153.89	c  N dy  4429    577381      7511      3406     69321     57966    161130   3711849     51.08     54.64  --
636.28/159.37	c  N dy  4587    597565      7511      3406     69321     45163    161130   1929020     51.22     58.63  --
660.25/165.34	c  N dy  4744    617610      7511      3406     69321     65185    161130   4602318     51.33     60.07  --
681.41/170.60	c  N dy  4904    637612      7511      3406     69321     51191    161130   2556422     51.44     54.94  --
707.38/177.13	c  N dy  5070    657615      7511      3406     69321     36200    161130    445673     51.57     55.11  --
728.16/182.33	c  N dy  5229    677677      7511      3406     69321     56250    161130   3095294     51.67     54.76  --
754.51/188.95	c  N dy  5395    697707      7511      3406     69321     40300    161130    852427     51.80     56.07  --
776.89/194.58	c  N dy  5557    717809      7511      3406     69321     60380    161130   3600410     51.91     56.06  --
801.66/200.79	c  N dy  5718    737818      7511      3406     69321     43413    161130   1162986     52.00     54.93  --
825.22/206.62	c  N dy  5877    757880      7511      3406     69321     63459    161130   3848003     52.08     55.11  --
849.99/212.84	c  N dy  6038    777911      7511      3406     69321     45510    161130   1285916     52.17     86.86  --
873.55/218.73	c  N dy  6202    797994      7511      3406     69321     65570    161130   4005929     52.27     55.28  --
885.14/221.61	c  S st  6271    806004      7511      3406     69321     73573    161130   5108675     52.31   no data  --
885.96/221.82	c  S st  6271    806506      7511      3406     69321     74074    161130   5160225     52.31   no data  --
885.96/221.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
885.96/221.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
887.13/222.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.9M T:  1.35
888.34/222.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
893.92/223.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.79 s
893.92/223.89	c Subs w/ non-existent bins:      0 l-rem:    859 v-fix:     0 done:   1555 time:  0.08 s
893.92/223.89	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
1090.86/273.18	c lits-rem:        34  cl-subs:      145  v-elim:      0  v-fix:    0  time: 196.62 s
1090.86/273.18	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
1091.66/273.34	c vivif2 --  cl tried    73929 cl shrink     2225 lits rem       5168 time: 0.62
1091.66/273.39	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.22
1092.07/273.41	c calculated reachability. Time: 0.01
1092.07/273.41	c  N dy  6271    806506      7511      3406     69321     73929    161130   5147639     52.31   no data  --
1113.62/278.81	c  N dy  6431    826531      7511      3406     69321     54960    161130   2421267     52.38     58.49  --
1140.41/285.58	c  N dy  6599    846568      7511      3406     69321     74973    161130   5233149     52.50     56.01  --
1163.95/291.44	c  N dy  6760    866592      7511      3406     69321     55021    161130   2392943     52.60     55.88  --
1190.32/298.09	c  N dy  6924    886638      7511      3406     69321     75051    161130   5166730     52.69     58.84  --
1215.51/304.36	c  N dy  7089    906770      7511      3406     69321     54209    161130   2155679     52.78     56.21  --
1241.05/310.78	c  N dy  7244    926858      7511      3406     69321     74279    161130   4890797     52.85     72.09  --
1266.61/317.18	c  N dy  7400    946921      7511      3406     69321     52376    161130   1696663     52.91     63.02  --
1292.18/323.53	c  N dy  7562    966994      7511      3406     69321     72430    161130   4433579     52.98     57.52  --
1319.74/330.48	c  N dy  7722    986997      7511      3406     69321     49437    161130   1252134     53.06     70.41  --
1344.51/336.61	c  N dy  7886   1007043      7511      3406     69321     69471    161130   4058540     53.14     56.04  --
1375.66/344.44	c  N dy  8055   1027064      7511      3406     69321     45504    161130    553885     53.22     56.80  --
1400.05/350.56	c  N dy  8213   1047126      7511      3406     69321     65548    161130   3340456     53.29     63.70  --
1431.99/358.58	c  N dy  8375   1067312      7511      3406     69321     85710    161130   6208341     53.37     56.99  --
1440.38/360.66	c  F st  8415   1071877      7511      3406     69321     45324    161130    390474     53.39   no data  --
1458.75/365.27	c  N dy  8501   1087326      7511      3406     69321     60762    161130   3153175     53.41     56.83  --
1488.31/372.61	c  N dy  8658   1107328      7511      3406     69321     80738    161130   5943259     53.47     56.72  --
1517.47/379.99	c  N dy  8818   1127421      7511      3406     69321     54849    161130   1646158     53.54     56.83  --
1545.82/387.03	c  N dy  8982   1147425      7511      3406     69321     74834    161130   4443465     53.60     56.75  --
1580.20/395.63	c  N dy  9136   1167489      7511      3406     69321     47929    161130    505939     53.65     56.57  --
1604.55/401.76	c  N dy  9296   1187567      7511      3406     69321     67978    161130   3352598     53.71     56.72  --
1636.92/409.84	c  N dy  9458   1207576      7511      3406     69321     87963    161130   6274233     53.79     58.70  --
1640.90/410.83	c  S st  9475   1209760      7511      3406     69321     90146    161130   6547761     53.79   no data  --
1642.09/411.11	c  S st  9475   1210262      7511      3406     69321     90645    161130   6596132     53.79   no data  --
1642.09/411.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1642.09/411.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1643.69/411.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.8M T:  1.75
1644.90/411.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1650.88/413.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.95 s
1650.88/413.37	c Subs w/ non-existent bins:      0 l-rem:    695 v-fix:     0 done:   1105 time:  0.07 s
1650.88/413.37	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
1982.43/496.35	c lits-rem:       100  cl-subs:      176  v-elim:      0  v-fix:    0  time: 330.96 s
1982.43/496.35	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
1983.23/496.56	c vivif2 --  cl tried    90469 cl shrink     3217 lits rem       7287 time: 0.84
1983.64/496.63	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.28
1983.64/496.64	c calculated reachability. Time: 0.01
1983.64/496.64	c  N dy  9475   1210262      7511      3406     69321     90469    161130   6578514     53.79   no data  --
2008.79/502.90	c  N dy  9633   1230282      7511      3406     69321     62555    161130   2407148     53.85     59.61  --
2036.77/510.00	c  N dy  9797   1250325      7511      3406     69321     82583    161130   5287195     53.91     58.26  --
2068.72/517.93	c  N dy  9958   1270375      7511      3406     69321     53643    161130   1041101     53.97     57.25  --
2093.89/524.28	c  N dy 10116   1290509      7511      3406     69321     73751    161130   3894737     54.02     57.12  --
2126.63/532.45	c  N dy 10283   1310707      7511      3406     69321     93921    161130   6837777     54.10     57.20  --
2153.80/539.28	c  N dy 10440   1330794      7511      3406     69321     64036    161130   2304634     54.14     62.59  --
2182.18/546.38	c  N dy 10595   1350990      7511      3406     69321     84222    161130   5145252     54.18     58.64  --
2216.51/554.90	c  N dy 10762   1370999      7511      3406     69321     53254    161130    723530     54.25     58.81  --
2242.07/561.31	c  N dy 10925   1391055      7511      3406     69321     73280    161130   3560134     54.29     60.78  --
2275.62/569.76	c  N dy 11090   1411081      7511      3406     69321     93294    161130   6471342     54.35     64.35  --
2306.79/577.59	c  N dy 11253   1431097      7511      3406     69321     61342    161130   1715032     54.40     62.00  --
2335.56/584.73	c  N dy 11412   1451153      7511      3406     69321     81373    161130   4555299     54.45     65.11  --
2372.69/594.07	c  N dy 11586   1471215      7511      3406     69321    101410    161130   7494703     54.52     58.37  --
2402.25/601.42	c  N dy 11751   1491289      7511      3406     69321     68531    161130   2663358     54.57     66.10  --
2433.81/609.33	c  N dy 11908   1511338      7511      3406     69321     88563    161130   5532083     54.62     57.93  --
2472.56/619.03	c  N dy 12069   1531563      7511      3406     69321     54822    161130    533555     54.67     58.25  --
2499.32/625.74	c  N dy 12221   1551592      7511      3406     69321     74830    161130   3368906     54.70     57.64  --
2533.69/634.32	c  N dy 12380   1571710      7511      3406     69321     94926    161130   6268163     54.74     58.26  --
2570.43/643.52	c  N dy 12541   1591857      7511      3406     69321     60096    161130   1147904     54.79     58.32  --
2598.79/650.62	c  N dy 12697   1611945      7511      3406     69321     80164    161130   4029034     54.83     71.46  --
2634.76/659.66	c  N dy 12856   1631995      7511      3406     69321    100187    161130   6905137     54.87     57.98  --
2670.29/668.55	c  N dy 13016   1652112      7511      3406     69321     64358    161130   1642495     54.91     58.07  --
2700.27/676.07	c  N dy 13177   1672195      7511      3406     69321     84421    161130   4549705     54.96     71.46  --
2738.21/685.51	c  N dy 13346   1692228      7511      3406     69321    104428    161130   7569792     55.02     58.25  --
2769.36/693.39	c  S st 13496   1710262      7511      3406     69321     65516    161130   1682876     55.06   no data  --
2770.16/693.56	c  S st 13496   1710763      7511      3406     69321     66015    161130   1734375     55.06   no data  --
2770.16/693.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2770.16/693.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2771.35/693.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.8M T:  1.19
2771.75/693.95	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2777.35/695.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.67 s
2777.35/695.39	c Subs w/ non-existent bins:      0 l-rem:    659 v-fix:     0 done:   5321 time:  0.08 s
2777.75/695.40	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
2788.56/698.14	c lits-rem:       265  cl-subs:       98  v-elim:      0  v-fix:    0  time: 10.94 s
2788.56/698.14	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
2788.93/698.20	c vivif2 --  cl tried    65917 cl shrink      506 lits rem       1177 time: 0.21
2788.93/698.26	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.24
2788.93/698.26	c calculated reachability. Time: 0.01
2788.93/698.26	c  N dy 13496   1710763      7511      3406     69321     65917    161130   1730420     55.06   no data  --
2818.50/705.64	c  N dy 13666   1730765      7511      3406     69321     85905    161130   4727779     55.11     66.86  --
2853.25/714.34	c  N dy 13826   1750768      7511      3406     69321    105889    161130   7649231     55.15     59.12  --
2884.82/722.25	c  N dy 13986   1770855      7511      3406     69321     68021    161130   1876764     55.19     61.60  --
2913.56/729.46	c  N dy 14144   1790948      7511      3406     69321     88092    161130   4769691     55.23     58.40  --
2949.51/738.44	c  N dy 14293   1811065      7511      3406     69321    108194    161130   7675659     55.26     58.41  --
2982.67/746.79	c  N dy 14459   1831077      7511      3406     69321     69232    161130   2012333     55.31     58.59  --
3012.25/754.18	c  N dy 14628   1851153      7511      3406     69321     89296    161130   5025094     55.37     67.21  --
3048.18/763.17	c  N dy 14792   1871174      7511      3406     69321    109293    161130   7966350     55.41     59.00  --
3082.14/771.61	c  N dy 14954   1891199      7511      3406     69321     69352    161130   1824645     55.45     59.68  --
3111.30/778.91	c  N dy 15109   1911301      7511      3406     69321     89436    161130   4748727     55.48     58.42  --
3146.85/787.85	c  N dy 15267   1931339      7511      3406     69321    109462    161130   7654695     55.51     64.84  --
3182.80/796.89	c  N dy 15424   1951360      7511      3406     69321     68508    161130   1561198     55.55     68.93  --
3213.16/804.44	c  N dy 15591   1971425      7511      3406     69321     88550    161130   4561992     55.59     58.94  --
3250.31/813.74	c  N dy 15759   1991427      7511      3406     69321    108536    161130   7496066     55.63     58.82  --
3288.66/823.39	c  N dy 15921   2011431      7511      3406     69321     66582    161130   1194962     55.66     62.28  --
3317.02/830.40	c  N dy 16084   2031438      7511      3406     69321     86570    161130   4216479     55.70     71.84  --
3351.77/839.10	c  N dy 16246   2051475      7511      3406     69321    106595    161130   7162673     55.73     69.93  --
3393.32/849.50	c  N dy 16412   2071513      7511      3406     69321     63684    161130    605740     55.78     60.67  --
3420.08/856.22	c  N dy 16568   2091520      7511      3406     69321     83672    161130   3538122     55.81     59.19  --
3454.84/864.97	c  N dy 16735   2111740      7511      3406     69321    103879    161130   6573275     55.85     59.95  --
3495.59/875.13	c  N dy 16905   2131808      7511      3406     69321    123923    161130   9585679     55.89     63.99  --
3525.93/882.70	c  N dy 17065   2151869      7511      3406     69321     80022    161130   2857970     55.92     69.76  --
3558.69/890.95	c  N dy 17226   2171932      7511      3406     69321    100068    161130   5794173     55.95     69.78  --
3598.64/900.93	c  N dy 17399   2191936      7511      3406     69321    120052    161130   8882701     56.00     60.55  --
3632.21/909.39	c  S st 17557   2210763      7511      3406     69321     73932    161130   1853726     56.04     52.43  --
3632.99/909.58	c  S st 17557   2211267      7511      3406     69321     74432    161130   1914345     56.04   no data  --
3632.99/909.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3632.99/909.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3634.19/909.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  1.21
3634.59/909.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3640.18/911.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.67 s
3640.60/911.42	c Subs w/ non-existent bins:      0 l-rem:    716 v-fix:     0 done:   3410 time:  0.09 s
3640.60/911.43	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
3654.18/914.85	c lits-rem:       123  cl-subs:       85  v-elim:      0  v-fix:    0  time: 13.65 s
3654.18/914.85	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
3654.56/914.91	c vivif2 --  cl tried    74347 cl shrink      642 lits rem       1579 time: 0.25
3654.56/914.98	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.28
3654.56/914.98	c calculated reachability. Time: 0.01
3654.56/914.98	c  N dy 17557   2211267      7511      3406     69321     74347    161130   1908366     56.04   no data  --
3686.52/922.98	c  N dy 17726   2231382      7511      3406     69321     94444    161130   5061316     56.09     60.53  --
3724.86/932.53	c  N dy 17883   2251472      7511      3406     69321    114516    161130   8029473     56.12     72.69  --
3768.02/943.35	c  N dy 18041   2271523      7511      3406     69321     68605    161130    880579     56.15     65.42  --
3797.97/950.84	c  N dy 18209   2291528      7511      3406     69321     88600    161130   3943623     56.19     62.73  --
3835.52/960.28	c  N dy 18374   2311618      7511      3406     69321    108678    161130   6996364     56.23     60.70  --
3880.26/971.47	c  N dy 18539   2331709      7511      3406     69321    128752    161130  10011550     56.26     63.43  --
3914.61/980.05	c  N dy 18703   2351838      7511      3406     69321     81898    161130   2781466     56.29     59.34  --
3949.36/988.70	c  N dy 18856   2371858      7511      3406     69321    101896    161130   5789885     56.32     60.02  --
3990.51/999.08	c  N dy 19019   2391942      7511      3406     69321    121960    161130   8900180     56.35     61.31  --
4030.16/1009.03	c  N dy 19177   2411994      7511      3406     69321     74057    161130   1458836     56.38     63.42  --
4058.96/1016.38	c  N dy 19334   2432021      7511      3406     69321     94068    161130   4464838     56.40     60.11  --
4096.35/1025.73	c  N dy 19498   2452114      7511      3406     69321    114148    161130   7457068     56.42     61.04  --
4140.70/1036.82	c  N dy 19666   2472184      7511      3406     69321    134198    161130  10502110     56.46     59.44  --
4171.86/1044.64	c  N dy 19829   2492285      7511      3406     69321     85349    161130   2980009     56.49     60.52  --
4205.80/1053.15	c  N dy 19994   2512308      7511      3406     69321    105353    161130   6029735     56.52     67.41  --
4248.94/1063.96	c  N dy 20160   2532320      7511      3406     69321    125350    161130   9073749     56.55     65.05  --
4292.48/1074.80	c  N dy 20316   2552408      7511      3406     69321     75470    161130   1351157     56.58     69.34  --
4324.84/1082.99	c  N dy 20477   2572472      7511      3406     69321     95514    161130   4365495     56.60     84.28  --
4366.39/1093.31	c  N dy 20638   2592591      7511      3406     69321    115611    161130   7394871     56.63     59.84  --
4415.12/1105.53	c  N dy 20810   2612611      7511      3406     69321    135604    161130  10523563     56.67     62.40  --
4452.69/1114.98	c  N dy 20971   2632681      7511      3406     69321     84732    161130   2652111     56.70     72.09  --
4487.84/1123.72	c  N dy 21134   2652684      7511      3406     69321    104719    161130   5672764     56.73     61.61  --
4526.97/1133.58	c  N dy 21291   2672715      7511      3406     69321    124732    161130   8739018     56.76     60.12  --
4573.31/1145.15	c  N dy 21456   2692764      7511      3406     69321     72817    161130    687923     56.79     60.29  --
4599.67/1151.76	c  S st 21605   2711267      7511      3406     69321     91307    161130   3419115     56.80     61.13  --
4600.88/1152.00	c  S st 21605   2711772      7511      3406     69321     91812    161130   3481703     56.80   no data  --
4600.88/1152.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4600.88/1152.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4602.49/1152.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.7M T:  1.54
4602.87/1152.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4608.46/1153.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.78 s
4608.86/1154.01	c Subs w/ non-existent bins:      0 l-rem:    694 v-fix:     0 done:   2338 time:  0.07 s
4608.86/1154.02	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.04 s
4644.41/1162.93	c lits-rem:        76  cl-subs:      105  v-elim:      0  v-fix:    0  time: 35.58 s
4644.41/1162.93	c vivif2 --  cl tried     3406 cl shrink        0 lits rem          0 time: 0.00
4644.81/1163.04	c vivif2 --  cl tried    91707 cl shrink     1482 lits rem       3438 time: 0.45
4645.21/1163.13	c asymm  cl-useful: 0/3406/3406 lits-rem:0 time: 0.34
4645.21/1163.14	c calculated reachability. Time: 0.01
4645.21/1163.14	c  N dy 21605   2711772      7511      3406     69321     91707    161130   3474545     56.80   no data  --
4679.16/1171.61	c  N dy 21768   2731868      7511      3406     69321    111793    161130   6565168     56.83     79.38  --
4719.11/1181.65	c  N dy 21931   2751924      7511      3406     69321    131834    161130   9691031     56.86     62.67  --
4759.85/1191.80	c  N dy 22096   2771981      7511      3406     69321     78950    161130   1514780     56.89     60.77  --
4790.61/1199.57	c  N dy 22251   2792160      7511      3406     69321     99107    161130   4567116     56.92     60.62  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3262729-1304133740/watcher-3262729-1304133740 -o /tmp/evaluation-result-3262729-1304133740/solver-3262729-1304133740 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3262729-1304133740.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: 7.57 8.00 7.90 6/180 8316
/proc/meminfo: memFree=29215300/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 603604503 52465664 353 33554432000 4194304 4650419 140735577609440 18446744073709551615 47373970671538 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 12809 353 303 112 0 7774 0
[pid=8316/tid=8317] ppid=8314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 603604504 52465664 353 33554432000 4194304 4650419 140735577609440 18446744073709551615 47373970671528 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 603604504 52465664 353 33554432000 4194304 4650419 140735577609440 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 603604504 52465664 353 33554432000 4194304 4650419 140735577609440 18446744073709551615 47373970671528 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0214741 s]
/proc/loadavg: 7.57 8.00 7.90 6/180 8316
/proc/meminfo: memFree=29215300/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=287560 CPUtime=0.05 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 4440 0 0 0 4 1 0 0 18 0 4 0 603604503 294461440 3986 33554432000 4194304 4650419 140735577609440 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 71890 4020 344 112 0 66855 0
[pid=8316/tid=8317] ppid=8314 vsize=287560 CPUtime=0.01 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 1064 0 0 0 1 0 0 0 18 0 4 0 603604504 294461440 4039 33554432000 4194304 4650419 140735577609440 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=287560 CPUtime=0 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) S 8314 8316 7114 0 -1 4202560 1056 0 0 0 0 0 0 0 18 0 4 0 603604504 294461440 4082 33554432000 4194304 4650419 140735577609440 18446744073709551615 252458170862 0 0 4096 2 18446604471146456256 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=287692 CPUtime=0.01 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) S 8314 8316 7114 0 -1 4202560 1171 0 0 0 1 0 0 0 18 0 4 0 603604504 294596608 4111 33554432000 4194304 4650419 140735577609440 18446744073709551615 252458170862 0 0 4096 2 18446604471146456256 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 287560

[startup+0.112064 s]
/proc/loadavg: 7.57 8.00 7.90 6/180 8316
/proc/meminfo: memFree=29215300/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=292312 CPUtime=1.69 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 9112 0 0 0 166 3 0 0 18 0 4 0 603604503 299327488 8556 33554432000 4194304 4650419 140735577609440 18446744073709551615 4363747 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 73341 8389 393 112 0 68306 0
[pid=8316/tid=8317] ppid=8314 vsize=293364 CPUtime=0.85 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 2931 0 0 0 85 0 0 0 19 0 4 0 603604504 300404736 8389 33554432000 4194304 4650419 140735577609440 18446744073709551615 4334352 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=293364 CPUtime=0.84 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 2800 0 0 0 83 1 0 0 19 0 4 0 603604504 300404736 8389 33554432000 4194304 4650419 140735577609440 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=293364 CPUtime=0.84 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 2556 0 0 0 84 0 0 0 19 0 4 0 603604504 300404736 8389 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 292312

[startup+0.965077 s]
/proc/loadavg: 7.57 8.00 7.90 6/180 8316
/proc/meminfo: memFree=29215300/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=293364 CPUtime=3.82 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 11506 0 0 0 378 4 0 0 19 0 4 0 603604503 300404736 8757 33554432000 4194304 4650419 140735577609440 18446744073709551615 4331003 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 73341 8757 393 112 0 68306 0
[pid=8316/tid=8317] ppid=8314 vsize=293364 CPUtime=0.95 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 3025 0 0 0 95 0 0 0 19 0 4 0 603604504 300404736 8757 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=293364 CPUtime=0.94 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 2884 0 0 0 93 1 0 0 19 0 4 0 603604504 300404736 8757 33554432000 4194304 4650419 140735577609440 18446744073709551615 4333550 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=293364 CPUtime=0.94 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 2658 0 0 0 94 0 0 0 19 0 4 0 603604504 300404736 8757 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 293364

[startup+1.06506 s]
/proc/loadavg: 7.57 8.00 7.90 6/180 8316
/proc/meminfo: memFree=29215300/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=293364 CPUtime=4.22 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 11888 0 0 0 418 4 0 0 19 0 4 0 603604503 300404736 9139 33554432000 4194304 4650419 140735577609440 18446744073709551615 4311974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 73341 9139 393 112 0 68306 0
[pid=8316/tid=8317] ppid=8314 vsize=293364 CPUtime=1.05 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 3125 0 0 0 105 0 0 0 19 0 4 0 603604504 300404736 9139 33554432000 4194304 4650419 140735577609440 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=293364 CPUtime=1.04 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 2987 0 0 0 103 1 0 0 19 0 4 0 603604504 300404736 9139 33554432000 4194304 4650419 140735577609440 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=293364 CPUtime=1.04 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 2751 0 0 0 104 0 0 0 19 0 4 0 603604504 300404736 9139 33554432000 4194304 4650419 140735577609440 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 293364

[startup+1.50098 s]
/proc/loadavg: 7.57 8.00 7.90 6/180 8316
/proc/meminfo: memFree=29215300/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=293604 CPUtime=5.96 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 13877 0 0 0 592 4 0 0 19 0 4 0 603604503 300650496 8526 33554432000 4194304 4650419 140735577609440 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 73401 8527 393 112 0 68366 0
[pid=8316/tid=8317] ppid=8314 vsize=293604 CPUtime=1.48 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 3607 0 0 0 148 0 0 0 20 0 4 0 603604504 300650496 8527 33554432000 4194304 4650419 140735577609440 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=293604 CPUtime=1.48 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 3497 0 0 0 147 1 0 0 20 0 4 0 603604504 300650496 8527 33554432000 4194304 4650419 140735577609440 18446744073709551615 4315488 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=293604 CPUtime=1.49 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 3306 0 0 0 148 1 0 0 20 0 4 0 603604504 300650496 8527 33554432000 4194304 4650419 140735577609440 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 293604

[startup+3.10068 s]
/proc/loadavg: 7.93 8.07 7.93 9/184 8320
/proc/meminfo: memFree=29155800/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=293976 CPUtime=12.35 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 19717 0 0 0 1229 6 0 0 25 0 4 0 603604503 301031424 11233 33554432000 4194304 4650419 140735577609440 18446744073709551615 4239097 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 73494 11233 394 112 0 68459 0
[pid=8316/tid=8317] ppid=8314 vsize=293976 CPUtime=3.09 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 5025 0 0 0 308 1 0 0 25 0 4 0 603604504 301031424 11233 33554432000 4194304 4650419 140735577609440 18446744073709551615 252457720825 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=293976 CPUtime=3.06 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 4972 0 0 0 305 1 0 0 25 0 4 0 603604504 301031424 11233 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=293976 CPUtime=3.08 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 4835 0 0 0 307 1 0 0 25 0 4 0 603604504 301031424 11233 33554432000 4194304 4650419 140735577609440 18446744073709551615 4263684 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293976

[startup+6.30109 s]
/proc/loadavg: 7.93 8.07 7.93 9/184 8320
/proc/meminfo: memFree=29045104/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=310168 CPUtime=25.12 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 39776 0 0 0 2502 10 0 0 25 0 4 0 603604503 317612032 22358 33554432000 4194304 4650419 140735577609440 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 77542 22358 395 112 0 72507 0
[pid=8316/tid=8317] ppid=8314 vsize=310168 CPUtime=6.28 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 8475 0 0 0 627 1 0 0 25 0 4 0 603604504 317612032 22358 33554432000 4194304 4650419 140735577609440 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=310168 CPUtime=6.24 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 12931 0 0 0 621 3 0 0 25 0 4 0 603604504 317612032 22358 33554432000 4194304 4650419 140735577609440 18446744073709551615 4435451 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=310168 CPUtime=6.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 8021 0 0 0 626 2 0 0 25 0 4 0 603604504 317612032 22358 33554432000 4194304 4650419 140735577609440 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 310168

[startup+12.7009 s]
/proc/loadavg: 7.94 8.07 7.93 9/184 8320
/proc/meminfo: memFree=28961576/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=335028 CPUtime=50.71 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 59469 0 0 0 5058 13 0 0 25 0 4 0 603604503 343068672 33927 33554432000 4194304 4650419 140735577609440 18446744073709551615 4304241 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 83757 33927 395 112 0 78722 0
[pid=8316/tid=8317] ppid=8314 vsize=335028 CPUtime=12.69 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 16817 0 0 0 1267 2 0 0 25 0 4 0 603604504 343068672 33928 33554432000 4194304 4650419 140735577609440 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=335028 CPUtime=12.61 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 13926 0 0 0 1258 3 0 0 25 0 4 0 603604504 343068672 33928 33554432000 4194304 4650419 140735577609440 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=335028 CPUtime=12.69 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 15024 0 0 0 1265 4 0 0 25 0 4 0 603604504 343068672 33928 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 335028

[startup+25.5005 s]
/proc/loadavg: 7.95 8.06 7.93 9/184 8320
/proc/meminfo: memFree=28826052/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=350748 CPUtime=101.82 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 96714 0 0 0 10160 22 0 0 25 0 4 0 603604503 359165952 52299 33554432000 4194304 4650419 140735577609440 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 87687 52299 395 112 0 82652 0
[pid=8316/tid=8317] ppid=8314 vsize=350748 CPUtime=25.48 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 26059 0 0 0 2544 4 0 0 25 0 4 0 603604504 359165952 52299 33554432000 4194304 4650419 140735577609440 18446744073709551615 4438951 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=350748 CPUtime=25.34 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 23308 0 0 0 2529 5 0 0 25 0 4 0 603604504 359165952 52299 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=350748 CPUtime=25.48 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 27557 0 0 0 2541 7 0 0 25 0 4 0 603604504 359165952 52299 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 350748

[startup+51.1008 s]
/proc/loadavg: 7.96 8.06 7.93 9/184 8321
/proc/meminfo: memFree=28742636/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=453764 CPUtime=204.08 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 157103 0 0 0 20368 40 0 0 25 0 4 0 603604503 464654336 60778 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8316/statm: 113441 60778 395 112 0 108406 0
[pid=8316/tid=8317] ppid=8314 vsize=453764 CPUtime=51.08 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 41076 0 0 0 5100 8 0 0 25 0 4 0 603604504 464654336 60778 33554432000 4194304 4650419 140735577609440 18446744073709551615 4333045 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=453764 CPUtime=50.8 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 38192 0 0 0 5069 11 0 0 25 0 4 0 603604504 464654336 60778 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=453764 CPUtime=51.09 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 44845 0 0 0 5096 13 0 0 25 0 4 0 603604504 464654336 60778 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 453764

[startup+102.3 s]
/proc/loadavg: 8.02 8.06 7.93 9/184 8322
/proc/meminfo: memFree=28674132/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=482984 CPUtime=408.59 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 267888 0 0 0 40785 74 0 0 25 0 4 0 603604503 494575616 66996 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 120746 66996 395 112 0 115711 0
[pid=8316/tid=8317] ppid=8314 vsize=482984 CPUtime=102.29 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 66502 0 0 0 10213 16 0 0 25 0 4 0 603604504 494575616 66996 33554432000 4194304 4650419 140735577609440 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=482984 CPUtime=101.75 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 70185 0 0 0 10154 21 0 0 25 0 4 0 603604504 494575616 66996 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=482984 CPUtime=102.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 72735 0 0 0 10207 21 0 0 25 0 4 0 603604504 494575616 66996 33554432000 4194304 4650419 140735577609440 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 482984

[startup+162.301 s]

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

[pid=8316] ppid=8314 vsize=968920 CPUtime=2565.63 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1238882 0 0 0 256163 400 0 0 25 0 4 0 603604503 992174080 185974 33554432000 4194304 4650419 140735577609440 18446744073709551615 4364979 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 242230 185974 395 112 0 237195 0
[pid=8316/tid=8317] ppid=8314 vsize=968920 CPUtime=642.29 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 321981 0 0 0 64124 105 0 0 25 0 4 0 603604504 992174080 185974 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=968920 CPUtime=641.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 345907 0 0 0 64064 112 0 0 25 0 4 0 603604504 992174080 185974 33554432000 4194304 4650419 140735577609440 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=968920 CPUtime=642.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 302896 0 0 0 64128 100 0 0 25 0 4 0 603604504 992174080 185974 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.63
Current children cumulated vsize (KiB) 968920

[startup+702.301 s]
/proc/loadavg: 8.05 8.03 7.96 9/184 8338
/proc/meminfo: memFree=27714388/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1083052 CPUtime=2805.31 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1300869 0 0 0 280102 429 0 0 25 0 4 0 603604503 1109045248 189076 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 270763 189076 395 112 0 265728 0
[pid=8316/tid=8317] ppid=8314 vsize=1083052 CPUtime=702.3 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 343993 0 0 0 70115 115 0 0 25 0 4 0 603604504 1109045248 189076 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1083052 CPUtime=701.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 345907 0 0 0 70064 112 0 0 25 0 4 0 603604504 1109045248 189076 33554432000 4194304 4650419 140735577609440 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1083052 CPUtime=702.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 322823 0 0 0 70118 110 0 0 25 0 4 0 603604504 1109045248 189076 33554432000 4194304 4650419 140735577609440 18446744073709551615 252458090391 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 1083052

[startup+762.301 s]
/proc/loadavg: 8.11 8.05 7.97 9/184 8340
/proc/meminfo: memFree=27651248/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1005724 CPUtime=3044.99 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1393957 0 0 0 304032 467 0 0 25 0 4 0 603604503 1029861376 199884 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 251431 199884 395 112 0 246396 0
[pid=8316/tid=8317] ppid=8314 vsize=1005724 CPUtime=762.3 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 367008 0 0 0 76107 123 0 0 25 0 4 0 603604504 1029861376 199884 33554432000 4194304 4650419 140735577609440 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1005724 CPUtime=761.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 370403 0 0 0 76055 121 0 0 25 0 4 0 603604504 1029861376 199884 33554432000 4194304 4650419 140735577609440 18446744073709551615 4364312 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1005724 CPUtime=762.29 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 345623 0 0 0 76109 120 0 0 25 0 4 0 603604504 1029861376 199884 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.99
Current children cumulated vsize (KiB) 1005724

[startup+822.3 s]
/proc/loadavg: 8.09 8.05 7.98 9/184 8342
/proc/meminfo: memFree=27686928/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1095624 CPUtime=3284.68 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1467008 0 0 0 327971 497 0 0 25 0 4 0 603604503 1121918976 203256 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 273906 203256 395 112 0 268871 0
[pid=8316/tid=8317] ppid=8314 vsize=1095624 CPUtime=822.3 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 377995 0 0 0 82103 127 0 0 25 0 4 0 603604504 1121918976 203256 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1095624 CPUtime=821.77 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 392046 0 0 0 82046 131 0 0 25 0 4 0 603604504 1121918976 203256 33554432000 4194304 4650419 140735577609440 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1095624 CPUtime=822.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 364613 0 0 0 82101 127 0 0 25 0 4 0 603604504 1121918976 203256 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 1095624

[startup+882.3 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 8343
/proc/meminfo: memFree=27677236/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1074504 CPUtime=3524.34 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1545971 0 0 0 351910 524 0 0 25 0 4 0 603604503 1100292096 196054 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 268626 196054 395 112 0 263591 0
[pid=8316/tid=8317] ppid=8314 vsize=1074504 CPUtime=882.29 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 400617 0 0 0 88093 136 0 0 25 0 4 0 603604504 1100292096 196054 33554432000 4194304 4650419 140735577609440 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1074504 CPUtime=881.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 413095 0 0 0 88038 138 0 0 25 0 4 0 603604504 1100292096 196054 33554432000 4194304 4650419 140735577609440 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1074504 CPUtime=882.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 382178 0 0 0 88096 132 0 0 25 0 4 0 603604504 1100292096 196054 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 1074504

[startup+942.306 s]
/proc/loadavg: 8.03 8.04 7.98 9/184 8345
/proc/meminfo: memFree=27688864/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1133916 CPUtime=3764.04 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1614959 0 0 0 375853 551 0 0 25 0 4 0 603604503 1161129984 201292 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 283479 201292 395 112 0 278444 0
[pid=8316/tid=8317] ppid=8314 vsize=1133916 CPUtime=942.3 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 422114 0 0 0 94087 143 0 0 25 0 4 0 603604504 1161129984 201292 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1133916 CPUtime=941.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 423522 0 0 0 94035 141 0 0 25 0 4 0 603604504 1161129984 201292 33554432000 4194304 4650419 140735577609440 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1133916 CPUtime=942.29 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 400358 0 0 0 94090 139 0 0 25 0 4 0 603604504 1161129984 201292 33554432000 4194304 4650419 140735577609440 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 1133916

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 8.00 10/185 8349
/proc/meminfo: memFree=27626952/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1039836 CPUtime=4003.62 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1674936 0 0 0 399787 575 0 0 25 0 4 0 603604503 1064792064 199088 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 259959 199088 395 112 0 254924 0
[pid=8316/tid=8317] ppid=8314 vsize=1039836 CPUtime=1002.29 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 442248 0 0 0 100078 151 0 0 25 0 4 0 603604504 1064792064 199088 33554432000 4194304 4650419 140735577609440 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1039836 CPUtime=1001.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 428022 0 0 0 100034 142 0 0 25 0 4 0 603604504 1064792064 199088 33554432000 4194304 4650419 140735577609440 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1039836 CPUtime=1002.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 417667 0 0 0 100082 146 0 0 25 0 4 0 603604504 1064792064 199088 33554432000 4194304 4650419 140735577609440 18446744073709551615 4334392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.62
Current children cumulated vsize (KiB) 1039836

[startup+1062.3 s]
/proc/loadavg: 8.22 8.12 8.02 9/184 8351
/proc/meminfo: memFree=27563064/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1167132 CPUtime=4242.55 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1757888 0 0 0 423649 606 0 0 25 0 4 0 603604503 1195143168 223513 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366943 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 291783 223513 395 112 0 286748 0
[pid=8316/tid=8317] ppid=8314 vsize=1167132 CPUtime=1061.69 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 460658 0 0 0 106011 158 0 0 25 0 4 0 603604504 1195143168 223513 33554432000 4194304 4650419 140735577609440 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1167132 CPUtime=1061.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 451495 0 0 0 106025 151 0 0 25 0 4 0 603604504 1195143168 223513 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1167132 CPUtime=1062.28 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 437408 0 0 0 106075 153 0 0 25 0 4 0 603604504 1195143168 223513 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.55
Current children cumulated vsize (KiB) 1167132

[startup+1122.3 s]
/proc/loadavg: 8.23 8.14 8.03 9/184 8353
/proc/meminfo: memFree=27598516/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1164396 CPUtime=4482.22 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1813352 0 0 0 447592 630 0 0 25 0 4 0 603604503 1192341504 215876 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 291099 215876 395 112 0 286064 0
[pid=8316/tid=8317] ppid=8314 vsize=1164396 CPUtime=1121.69 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 470575 0 0 0 112010 159 0 0 25 0 4 0 603604504 1192341504 215876 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1164396 CPUtime=1121.76 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 473511 0 0 0 112014 162 0 0 25 0 4 0 603604504 1192341504 215876 33554432000 4194304 4650419 140735577609440 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1164396 CPUtime=1122.29 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 441921 0 0 0 112074 155 0 0 25 0 4 0 603604504 1192341504 215876 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.22
Current children cumulated vsize (KiB) 1164396

[startup+1182.3 s]
/proc/loadavg: 8.19 8.14 8.03 9/184 8354
/proc/meminfo: memFree=27556592/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1141524 CPUtime=4721.91 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1894710 0 0 0 471528 663 0 0 25 0 4 0 603604503 1168920576 211570 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 285381 211570 395 112 0 280346 0
[pid=8316/tid=8317] ppid=8314 vsize=1141524 CPUtime=1181.69 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 492163 0 0 0 118001 168 0 0 25 0 4 0 603604504 1168920576 211570 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1141524 CPUtime=1181.77 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 496576 0 0 0 118005 172 0 0 25 0 4 0 603604504 1168920576 211570 33554432000 4194304 4650419 140735577609440 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1141524 CPUtime=1182.29 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 460312 0 0 0 118067 162 0 0 25 0 4 0 603604504 1168920576 211570 33554432000 4194304 4650419 140735577609440 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.91
Current children cumulated vsize (KiB) 1141524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.91 s]
/proc/loadavg: 8.20 8.15 8.04 5/179 8356
/proc/meminfo: memFree=28367708/32951124 swapFree=67111348/67111528
[pid=8316] ppid=8314 vsize=1142184 CPUtime=4800.24 cores=1,3,5,7
/proc/8316/stat : 8316 (strangenight1-m) R 8314 8316 7114 0 -1 4202496 1919600 0 0 0 479351 673 0 0 25 0 4 0 603604503 1169596416 214314 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8316/statm: 285546 214314 395 112 0 280511 0
[pid=8316/tid=8317] ppid=8314 vsize=1142184 CPUtime=1201.31 cores=1,3,5,7
/proc/8316/task/8317/stat : 8317 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 498464 0 0 0 119959 172 0 0 25 0 4 0 603604504 1169596416 214314 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8316/tid=8318] ppid=8314 vsize=1142184 CPUtime=1201.38 cores=1,3,5,7
/proc/8316/task/8318/stat : 8318 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 501552 0 0 0 119964 174 0 0 25 0 4 0 603604504 1169596416 214314 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8316/tid=8319] ppid=8314 vsize=1142184 CPUtime=1201.9 cores=1,3,5,7
/proc/8316/task/8319/stat : 8319 (strangenight1-m) R 8314 8316 7114 0 -1 4202560 466362 0 0 0 120026 164 0 0 25 0 4 0 603604504 1169596416 214314 33554432000 4194304 4650419 140735577609440 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1142184

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.95
CPU time (s): 4800.31
CPU user time (s): 4793.53
CPU system time (s): 6.77197
CPU usage (%): 399.375
Max. virtual memory (cumulated for all children) (KiB): 1202320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.53
system time used= 6.77197
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1919603
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= 3777
involuntary context switches= 33212

runsolver used 1.9897 second user time and 4.5863 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-30 05:22:20
IDJOB=3262729
IDBENCH=83797
IDSOLVER=1588
FILE ID=node111/3262729-1304133740
RUNJOBID= node111-1304133740-8294
PBS_JOBID= 13170774
Free space on /tmp= 72480 MiB

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

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

MD5SUM BENCH= 98d6317b259165bb4fb7a39e783668e0
RANDOM SEED=1196741542

node111.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.849
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.849
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	: 5428.12
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.849
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.849
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.86
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.849
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.849
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.849
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.67
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.849
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:      29216076 kB
Buffers:       1023628 kB
Cached:        2184608 kB
SwapCached:          0 kB
Active:         188868 kB
Inactive:      3095772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29216076 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           13700 kB
Writeback:           0 kB
AnonPages:       76208 kB
Mapped:          15260 kB
Slab:           386204 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   280076 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= 72480 MiB
End job on node111 at 2011-04-30 05:42:24