Trace number 3175369

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.39 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf
MD5SUMa87f820c1b7597a3062237c526130fa4
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.236963
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

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-3175369-1304121345.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.00	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.00	c -- vars added         60
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.00/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.00/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.49/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.49/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.49/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.49/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.98/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3.98/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.98/1.00	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.98/1.00	c calculated reachability. Time: 0.00
3.98/1.00	c Calc default polars -  time:   0.00 s pos:      26 undec:       1 neg:      33
3.98/1.00	c =========================================================================================
3.98/1.00	c types(t): F = full restart, N = normal restart
3.98/1.00	c types(t): S = simplification begin/end, E = solution found
3.98/1.00	c restart types(rt): st = static, dy = dynamic
3.98/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.98/1.00	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.98/1.00	c  N dy     7      4452        60      5340         0      3948     37380     84740     18.75     19.81  --
3.98/1.00	c  N dy    14     12397        60      5340         0      4999     37380     93660     18.11     19.09  --
3.98/1.00	c  N dy    16     18634        60      5340         0      5540     37380     97986     17.66     18.65  --
3.98/1.00	c  N dy    42     22658        60      5340         0      9131     37380    174934     17.90     20.62  --
3.98/1.10	c  F st    58     25000        60      5340         0     11233     37380    220632     18.04     18.11  --
4.39/1.20	c  N st    62     27034        60      5340         0      6996     37380    119337     18.04   no data  --
5.17/1.30	c  S st    64     30000        60      5340         0      9644     37380    176696     18.04   no data  --
5.57/1.40	c  S st    64     30504        60      5340         0     10109     37380    187074     18.04   no data  --
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.23	c lits-rem:      1481  cl-subs:      973  v-elim:      0  v-fix:    0  time:  3.65 s
9.56/2.49	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.03
9.56/2.49	c calculated reachability. Time: 0.00
9.56/2.49	c  N dy    64     30504        60      5340         0      9136     37380    164697     18.04   no data  --
11.16/2.85	c  N dy    85     37909        60      5340         0      8712     37380    144647     18.04     18.99  --
11.96/3.07	c  N dy   101     42375        60      5340         0     12688     37380    228851     18.08     19.06  --
12.76/3.27	c  S st   106     45756        60      5340         0     15708     37380    291894     18.02     15.28  --
13.18/3.31	c  S st   106     46261        60      5340         0      8214     37380    126330     18.02   no data  --
13.18/3.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.18/3.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.18/3.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.18/3.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.18/3.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.18/3.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.18/3.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.07	c lits-rem:       163  cl-subs:       46  v-elim:      0  v-fix:    0  time:  3.00 s
15.96/4.07	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
15.96/4.07	c vivif2 --  cl tried     8168 cl shrink        0 lits rem          0 time: 0.00
17.16/4.31	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.92
17.16/4.31	c calculated reachability. Time: 0.00
17.16/4.31	c  N dy   106     46261        60      5340         0      8168     37380    125001     18.02   no data  --
17.97/4.51	c  N dy   124     50462        60      5340         0     11899     37380    204018     18.07     19.03  --
18.75/4.78	c  N dy   149     54838        60      5340         0     15799     37380    287920     18.15     19.20  --
21.55/5.48	c  N dy   153     67563        60      5340         0     18153     37380    317620     17.81     18.82  --
22.37/5.64	c  S st   168     69391        60      5340         0     10054     37380    146846     17.86     17.74  --
22.37/5.67	c  S st   168     69892        60      5340         0     10508     37380    156850     17.86   no data  --
22.37/5.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.37/5.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
22.37/5.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
22.37/5.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.37/5.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.37/5.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
22.37/5.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.52	c lits-rem:       285  cl-subs:      168  v-elim:      0  v-fix:    0  time:  3.34 s
25.95/6.52	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
25.95/6.52	c vivif2 --  cl tried    10340 cl shrink        0 lits rem          0 time: 0.01
27.14/6.80	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.11
27.14/6.80	c calculated reachability. Time: 0.00
27.14/6.80	c  N dy   168     69892        60      5340         0     10340     37380    152913     17.86   no data  --
27.94/7.07	c  N dy   196     74524        60      5340         0     14505     37380    243546     17.95     18.90  --
29.54/7.44	c  N dy   239     79419        60      5340         0     18900     37380    339817     18.07     19.03  --
31.15/7.88	c  N dy   244     87311        60      5340         0     15216     37380    243976     17.97     18.92  --
31.15/7.89	c  F st   246     87502        60      5340         0     15387     37380    247610     17.97   no data  --
32.73/8.26	c  N dy   253     93031        60      5340         0     20311     37380    352932     17.98     18.96  --
34.33/8.66	c  N dy   255     99279        60      5340         0     14259     37380    213975     17.90     19.16  --
35.93/9.04	c  S st   283    104839        60      5340         0     19182     37380    319060     17.94     18.07  --
35.93/9.10	c  S st   283    105340        60      5340         0     19628     37380    328884     17.94   no data  --
36.33/9.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
36.33/9.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
36.33/9.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
36.33/9.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
36.33/9.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
36.33/9.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
36.33/9.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.32/10.63	c lits-rem:      1861  cl-subs:     2047  v-elim:      0  v-fix:    0  time:  6.05 s
42.32/10.63	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
42.32/10.63	c vivif2 --  cl tried    17581 cl shrink        0 lits rem          0 time: 0.01
43.52/10.98	c asymm  cl-useful: 0/4360/5340 lits-rem:0 time: 1.40
43.52/10.98	c calculated reachability. Time: 0.00
43.52/10.98	c  N dy   283    105340        60      5340         0     17581     37380    285058     17.94   no data  --
45.91/11.51	c  N dy   295    112332        60      5340         0     23748     37380    414135     17.90     18.90  --
47.91/12.00	c  N dy   307    119535        60      5340         0     17823     37380    280246     17.86     18.83  --
50.30/12.66	c  N dy   359    127256        60      5340         0     24699     37380    428296     17.95     19.73  --
52.73/13.27	c  N dy   382    135570        60      5340         0     18849     37380    291180     17.92     19.06  --
57.90/14.50	c  N dy   426    152339        60      5340         0     19518     37380    291781     17.86     19.01  --
59.50/14.97	c  S st   446    158012        60      5340         0     24552     37380    396729     17.86     18.05  --
59.90/15.03	c  S st   446    158515        60      5340         0     25011     37380    406728     17.86   no data  --
59.90/15.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
59.90/15.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.90/15.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
59.90/15.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.90/15.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.90/15.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
59.90/15.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.49/16.94	c lits-rem:      1738  cl-subs:     3119  v-elim:      0  v-fix:    0  time:  7.52 s
67.49/16.94	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.49/16.94	c vivif2 --  cl tried    21892 cl shrink        0 lits rem          0 time: 0.02
67.89/17.07	c asymm  cl-useful: 0/980/5340 lits-rem:0 time: 0.51
67.89/17.07	c calculated reachability. Time: 0.00
67.89/17.07	c  N dy   446    158515        60      5340         0     21892     37380    344474     17.86   no data  --
72.28/18.10	c  N dy   492    169171        60      5340         0     16490     37380    224185     17.90     18.86  --
76.28/19.17	c  N dy   558    181466        60      5340         0     27459     37380    460056     17.96     18.94  --
80.67/20.25	c  N dy   609    193047        60      5340         0     21880     37380    329305     18.00     18.99  --
85.06/21.39	c  N dy   624    205440        60      5340         0     32739     37380    551875     17.93     19.12  --
90.26/22.60	c  N dy   687    218572        60      5340         0     27730     37380    444969     17.96     19.46  --
97.44/24.45	c  N dy   753    237772        60      5340         0     26924     37380    410312     17.97     17.09  --
97.44/24.45	c  S st   753    237772        60      5340         0     26924     37380    410312     17.97     17.09  --
97.84/24.53	c  S st   753    238275        60      5340         0     27383     37380    420355     17.97   no data  --
97.84/24.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.84/24.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.84/24.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
97.84/24.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.84/24.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.84/24.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
97.84/24.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.03/26.80	c lits-rem:      2081  cl-subs:     2588  v-elim:      0  v-fix:    0  time:  8.98 s
107.03/26.80	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.03/26.80	c vivif2 --  cl tried    24795 cl shrink        0 lits rem          0 time: 0.02
108.23/27.16	c asymm  cl-useful: 0/3297/5340 lits-rem:0 time: 1.44
108.23/27.16	c calculated reachability. Time: 0.00
108.23/27.16	c  N dy   753    238275        60      5340         0     24795     37380    366983     17.97   no data  --
115.02/28.89	c  N dy   840    253562        60      5340         0     19953     37380    255274     18.02     19.66  --
122.21/30.68	c  N dy   883    272739        60      5340         0     36898     37380    610930     17.99     18.96  --
131.00/32.88	c  N dy   985    293351        60      5340         0     35806     37380    582834     18.04     19.02  --
137.00/34.36	c  F st  1052    306250        60      5340         0     26899     37380    382411     18.07   no data  --
139.39/34.92	c  N dy  1062    312077        60      5340         0     32078     37380    494199     18.07     20.15  --
156.17/39.16	c  N dy  1077    353868        60      5340         0     25297     37380    325501     17.84     18.99  --
157.77/39.55	c  S st  1111    357412        60      5340         0     28466     37380    394728     17.86   no data  --
158.18/39.63	c  S st  1111    357916        60      5340         0     28910     37380    404588     17.86   no data  --
158.18/39.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
158.18/39.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
158.18/39.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
158.18/39.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.18/39.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
158.18/39.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
158.18/39.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
166.15/41.62	c lits-rem:      1291  cl-subs:     2098  v-elim:      0  v-fix:    0  time:  7.87 s
166.15/41.62	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
166.15/41.62	c vivif2 --  cl tried    26812 cl shrink        0 lits rem          0 time: 0.02
167.37/41.90	c asymm  cl-useful: 0/2043/5340 lits-rem:0 time: 1.12
167.37/41.91	c calculated reachability. Time: 0.00
167.37/41.91	c  N dy  1111    357916        60      5340         0     26812     37380    364085     17.86   no data  --
179.74/45.09	c  N dy  1262    378014        60      5340         0     44769     37380    754919     17.94     19.79  --
190.52/47.77	c  N dy  1307    400902        60      5340         0     42142     37380    668922     17.90     18.85  --
209.29/52.44	c  N dy  1414    439751        60      5340         0     27984     37380    351660     17.86     18.93  --
219.70/55.03	c  N dy  1523    460029        60      5340         0     46005     37380    736047     17.89     18.84  --
231.27/57.90	c  N dy  1655    480227        60      5340         0     38344     37380    570643     17.94     18.91  --
244.04/61.17	c  N dy  1772    500242        60      5340         0     29524     37380    367816     17.98     20.01  --
255.63/64.00	c  N dy  1889    520404        60      5340         0     47485     37380    753227     18.01     19.06  --
265.22/66.45	c  S st  1955    536875        60      5340         0     34518     37380    461388     18.02     15.56  --
265.62/66.54	c  S st  1955    537381        60      5340         0     34978     37380    471291     18.02   no data  --
265.62/66.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
265.62/66.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
265.62/66.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
265.62/66.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
265.62/66.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.62/66.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
265.62/66.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
274.01/68.69	c lits-rem:      1102  cl-subs:     1916  v-elim:      0  v-fix:    0  time:  8.49 s
274.01/68.69	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
274.40/68.70	c vivif2 --  cl tried    33062 cl shrink        0 lits rem          0 time: 0.02
275.60/69.08	c asymm  cl-useful: 0/2652/5340 lits-rem:0 time: 1.51
275.60/69.08	c calculated reachability. Time: 0.00
275.60/69.08	c  N dy  1955    537381        60      5340         0     33062     37380    430139     18.02   no data  --
287.59/72.08	c  N dy  2035    557416        60      5340         0     50837     37380    809874     18.04     20.21  --
299.20/74.96	c  N dy  2103    577482        60      5340         0     40319     37380    573976     18.03     19.67  --
315.96/79.20	c  N dy  2151    609080        60      5340         0     38936     37380    524724     17.98     18.98  --
328.34/82.29	c  N dy  2222    630102        60      5340         0     57559     37380    922260     17.98     19.02  --
340.72/85.34	c  N dy  2300    650456        60      5340         0     45544     37380    667701     17.99     19.05  --
363.48/91.05	c  N dy  2370    689520        60      5340         0     48845     37380    704296     17.91     18.85  --
379.06/94.97	c  N dy  2479    709567        60      5340         0     34942     37380    418865     17.93     18.91  --
394.25/98.74	c  N dy  2611    729966        60      5340         0     53127     37380    813342     17.96     19.01  --
407.03/101.90	c  N dy  2655    749982        60      5340         0     38020     37380    472802     17.95     21.16  --
420.62/105.33	c  N dy  2770    770070        60      5340         0     55868     37380    856814     17.97     19.12  --
435.41/109.00	c  N dy  2830    790159        60      5340         0     40020     37380    505237     17.97     18.99  --
446.97/111.93	c  S st  2946    806071        60      5340         0     54201     37380    814359     18.00   no data  --
447.37/112.07	c  S st  2946    806573        60      5340         0     54660     37380    824630     18.00   no data  --
447.37/112.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
447.37/112.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
447.77/112.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
447.77/112.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
447.77/112.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
447.77/112.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
447.77/112.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
481.73/120.61	c lits-rem:      2632  cl-subs:     5139  v-elim:      0  v-fix:    0  time: 33.89 s
481.73/120.61	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
481.73/120.62	c vivif2 --  cl tried    49521 cl shrink        0 lits rem          0 time: 0.04
482.93/120.93	c asymm  cl-useful: 0/807/5340 lits-rem:0 time: 1.25
482.93/120.94	c calculated reachability. Time: 0.00
482.93/120.94	c  N dy  2946    806573        60      5340         0     49521     37380    711717     18.00   no data  --
496.93/124.43	c  N dy  2969    827362        60      5340         0     67787     37380   1093961     17.98     18.95  --
510.89/127.99	c  N dy  3097    847715        60      5340         0     51673     37380    753952     18.00     18.97  --
530.07/132.79	c  N dy  3161    873010        60      5340         0     38606     37380    451838     17.99     19.17  --
544.45/136.34	c  N dy  3273    893252        60      5340         0     56602     37380    841396     18.01     18.98  --
568.41/142.34	c  N dy  3390    922695        60      5340         0     46384     37380    606432     18.01     18.99  --
583.19/146.01	c  N dy  3419    944332        60      5340         0     65441     37380   1003096     17.99     18.95  --
598.37/149.89	c  N dy  3481    964351        60      5340         0     45992     37380    591554     17.98     19.11  --
614.36/153.84	c  N dy  3592    984353        60      5340         0     63669     37380    969332     17.99     19.96  --
632.74/158.46	c  N dy  3672   1005392        60      5340         0     44406     37380    553653     18.00     18.98  --
649.91/162.71	c  N dy  3798   1027170        60      5340         0     63732     37380    971802     18.02     19.00  --
668.68/167.48	c  N dy  3856   1048453        60      5340         0     43549     37380    516089     18.01     19.05  --
684.66/171.46	c  F st  3899   1071876        60      5340         0     64143     37380    946987     17.99     17.28  --
684.66/171.46	c  N st  3899   1071876        60      5340         0     64143     37380    946987     17.99     17.28  --
703.45/176.11	c  N dy  3962   1091973        60      5340         0     42233     37380    485370     18.00     19.55  --
719.41/180.15	c  N dy  4043   1115659        60      5340         0     63201     37380    930700     18.00     19.08  --
738.98/185.08	c  N dy  4063   1138437        60      5340         0     42553     37380    479335     17.97     18.93  --
763.35/191.13	c  N dy  4133   1172668        60      5340         0     72396     37380   1090088     17.93     18.92  --
787.72/197.26	c  N dy  4267   1192877        60      5340         0     49041     37380    613708     17.95     18.90  --
806.09/201.80	c  S st  4343   1209861        60      5340         0     64039     37380    934817     17.96   no data  --
806.89/202.05	c  S st  4343   1210363        60      5340         0     64497     37380    945000     17.96   no data  --
806.89/202.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
806.89/202.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
806.89/202.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.15
807.29/202.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
807.29/202.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
807.29/202.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
807.29/202.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
885.99/221.80	c lits-rem:      3215  cl-subs:     6099  v-elim:      0  v-fix:    0  time: 78.57 s
885.99/221.80	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
885.99/221.81	c vivif2 --  cl tried    58398 cl shrink        0 lits rem          0 time: 0.04
887.19/222.18	c asymm  cl-useful: 0/622/5340 lits-rem:0 time: 1.48
887.19/222.18	c calculated reachability. Time: 0.00
887.19/222.18	c  N dy  4343   1210363        60      5340         0     58398     37380    814619     17.96   no data  --
922.75/231.04	c  N dy  4451   1243852        60      5340         0     46004     37380    538448     17.96     18.97  --
940.34/235.49	c  N dy  4617   1263936        60      5340         0     63937     37380    933137     17.98     20.17  --
961.49/240.75	c  N dy  4711   1284028        60      5340         0     81729     37380   1317185     17.99     20.26  --
983.46/246.27	c  N dy  4843   1304106        60      5340         0     56398     37380    755647     18.01     20.19  --
1004.63/251.59	c  N dy  4897   1324672        60      5340         0     74494     37380   1132739     18.00     18.99  --
1033.79/258.82	c  N dy  5033   1345371        60      5340         0     48768     37380    577207     18.02     19.08  --
1054.17/263.94	c  N dy  5146   1365857        60      5340         0     66912     37380    970007     18.03     19.04  --
1079.33/270.21	c  N dy  5242   1386445        60      5340         0     85112     37380   1362209     18.04     19.00  --
1099.70/275.38	c  N dy  5375   1406505        60      5340         0     57757     37380    761975     18.06     20.07  --
1116.87/279.69	c  N dy  5418   1426644        60      5340         0     75443     37380   1131261     18.06     19.06  --
1139.65/285.31	c  N dy  5480   1447062        60      5340         0     47561     37380    531062     18.06     19.13  --
1159.62/290.38	c  N dy  5623   1470592        60      5340         0     68463     37380    984570     18.07     19.06  --
1182.41/296.03	c  N dy  5724   1490674        60      5340         0     86227     37380   1367119     18.08     19.56  --
1204.38/301.59	c  N dy  5775   1514856        60      5340         0     60558     37380    782745     18.06     19.08  --
1223.14/306.26	c  N dy  5801   1536116        60      5340         0     79259     37380   1171631     18.05     19.01  --
1247.92/312.42	c  N dy  5862   1556184        60      5340         0     49411     37380    550402     18.05     19.04  --
1265.49/316.89	c  N dy  5980   1576278        60      5340         0     67207     37380    935299     18.06     20.46  --
1290.63/323.12	c  N dy  6091   1597422        60      5340         0     85867     37380   1336241     18.07     19.04  --
1315.00/329.26	c  N dy  6173   1617751        60      5340         0     55243     37380    661050     18.07     19.05  --
1332.57/333.66	c  N dy  6237   1637831        60      5340         0     72967     37380   1036247     18.07     19.55  --
1358.16/340.05	c  N dy  6344   1657872        60      5340         0     90712     37380   1423130     18.08     20.70  --
1381.31/345.87	c  N dy  6451   1677931        60      5340         0     58992     37380    735442     18.09     19.98  --
1406.87/352.21	c  N dy  6548   1701868        60      5340         0     80069     37380   1185978     18.10     19.07  --
1420.06/355.50	c  S st  6589   1710364        60      5340         0     87616     37380   1347088     18.10     17.01  --
1421.26/355.84	c  S st  6589   1710868        60      5340         0     88076     37380   1357668     18.10   no data  --
1421.26/355.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1421.26/355.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1421.26/355.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1421.66/355.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1421.66/355.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1421.66/355.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1421.66/355.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1625.38/406.92	c lits-rem:      5316  cl-subs:    10399  v-elim:      0  v-fix:    0  time: 203.62 s
1625.38/406.92	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1625.38/406.94	c vivif2 --  cl tried    77677 cl shrink        0 lits rem          0 time: 0.07
1626.98/407.40	c asymm  cl-useful: 0/511/5340 lits-rem:0 time: 1.83
1627.38/407.40	c calculated reachability. Time: 0.00
1627.38/407.40	c  N dy  6589   1710868        60      5340         0     77677     37380   1135232     18.10   no data  --
1662.93/416.38	c  N dy  6747   1730983        60      5340         0     95515     37380   1526497     18.12     19.19  --
1692.49/423.75	c  N dy  6880   1751038        60      5340         0     63502     37380    831880     18.13     19.92  --
1756.41/439.70	c  N dy  6945   1804505        60      5340         0     59401     37380    713623     18.09     19.07  --
1792.36/448.76	c  N dy  7028   1834727        60      5340         0     85907     37380   1264502     18.08     19.04  --
1830.71/458.32	c  N dy  7156   1856546        60      5340         0     53469     37380    587994     18.09     19.06  --
1853.47/464.08	c  N dy  7287   1876566        60      5340         0     71157     37380    974971     18.10     19.86  --
1881.43/471.06	c  N dy  7403   1896732        60      5340         0     89016     37380   1364011     18.11     19.11  --
1909.80/478.19	c  N dy  7483   1917301        60      5340         0     54323     37380    594669     18.11     19.19  --
1927.77/482.65	c  N dy  7575   1937368        60      5340         0     72096     37380    975193     18.12     20.67  --
1952.54/488.86	c  N dy  7670   1957555        60      5340         0     89878     37380   1355620     18.12     19.09  --
1986.11/497.23	c  N dy  7788   1977861        60      5340         0     54054     37380    578595     18.13     19.12  --
2004.87/501.92	c  N dy  7907   1997889        60      5340         0     71777     37380    964825     18.14     20.63  --
2031.63/508.61	c  N dy  8030   2018736        60      5340         0     90260     37380   1367895     18.15     19.12  --
2061.98/516.23	c  N dy  8120   2038744        60      5340         0    107969     37380   1750399     18.15     20.59  --
2082.78/521.47	c  N dy  8215   2058798        60      5340         0     70856     37380    929921     18.16     19.88  --
2104.75/526.93	c  N dy  8276   2078808        60      5340         0     88410     37380   1300838     18.16     20.65  --
2135.10/534.54	c  N dy  8375   2099258        60      5340         0    106448     37380   1689455     18.16     19.16  --
2161.05/541.03	c  N dy  8447   2123128        60      5340         0     71853     37380    936170     18.16     19.14  --
2183.43/546.69	c  N dy  8523   2143221        60      5340         0     89490     37380   1311986     18.16     20.01  --
2232.18/558.90	c  N dy  8593   2186860        60      5340         0     71439     37380    906851     18.14     19.11  --
2258.55/565.45	c  N dy  8747   2206864        60      5340         0     89266     37380   1297959     18.15     19.14  --
2264.12/566.85	c  S st  8769   2210868        60      5340         0     92806     37380   1374841     18.15   no data  --
2265.31/567.12	c  S st  8769   2211371        60      5340         0     93257     37380   1385148     18.15   no data  --
2265.31/567.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2265.31/567.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2265.31/567.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2265.72/567.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2265.72/567.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2265.72/567.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2265.72/567.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2425.52/607.29	c lits-rem:      7173  cl-subs:    10246  v-elim:      0  v-fix:    0  time: 160.03 s
2425.52/607.29	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2425.92/607.31	c vivif2 --  cl tried    83011 cl shrink        0 lits rem          0 time: 0.07
2427.50/607.72	c asymm  cl-useful: 0/462/5340 lits-rem:0 time: 1.64
2427.50/607.72	c calculated reachability. Time: 0.00
2427.50/607.72	c  N dy  8769   2211371        60      5340         0     83011     37380   1171601     18.15   no data  --
2462.65/616.50	c  N dy  8894   2231785        60      5340         0    100973     37380   1562478     18.16     19.12  --
2499.81/625.83	c  N dy  8952   2254732        60      5340         0     64369     37380    756067     18.15     19.23  --
2530.17/633.41	c  N dy  9083   2274976        60      5340         0     82242     37380   1144240     18.16     19.14  --
2564.52/642.06	c  N dy  9171   2295003        60      5340         0     99851     37380   1522408     18.17     19.81  --
2624.04/656.99	c  N dy  9194   2341727        60      5340         0     82878     37380   1118250     18.13     19.34  --
2656.00/664.98	c  N dy  9265   2361776        60      5340         0    100514     37380   1495037     18.13     20.22  --
2705.13/677.27	c  N dy  9424   2381841        60      5340         0     59609     37380    642394     18.14     20.36  --
2735.09/684.76	c  N dy  9520   2403623        60      5340         0     78909     37380   1057551     18.15     19.12  --
2768.67/693.19	c  N dy  9596   2423706        60      5340         0     96543     37380   1427602     18.14     21.05  --
2809.39/703.35	c  N dy  9681   2443776        60      5340         0    114251     37380   1806144     18.15     20.71  --
2842.15/711.56	c  N dy  9814   2463859        60      5340         0     72282     37380    906702     18.16     20.56  --
2880.89/721.25	c  N dy  9869   2494847        60      5340         0     99316     37380   1470014     18.14     19.21  --
2916.45/730.14	c  N dy  9919   2515230        60      5340         0    117168     37380   1845706     18.14     19.26  --
2945.21/737.30	c  N dy  9977   2535618        60      5340         0     74424     37380    931592     18.14     19.10  --
2975.57/744.92	c  N dy 10067   2555662        60      5340         0     92136     37380   1312921     18.14     22.15  --
3009.52/753.44	c  N dy 10176   2575671        60      5340         0    109835     37380   1695816     18.15     19.49  --
3044.28/762.19	c  N dy 10276   2595761        60      5340         0     65956     37380    748153     18.15     19.52  --
3065.85/767.50	c  N dy 10318   2617193        60      5340         0     84784     37380   1143026     18.15     19.12  --
3092.61/774.26	c  N dy 10365   2637290        60      5340         0    102392     37380   1513300     18.14     21.24  --
3130.56/783.78	c  N dy 10513   2657313        60      5340         0    120117     37380   1902086     18.15     19.15  --
3159.34/790.97	c  N dy 10639   2677625        60      5340         0     75623     37380    949075     18.16     19.27  --
3185.71/797.58	c  N dy 10742   2697682        60      5340         0     93348     37380   1331977     18.16     20.24  --
3207.26/802.93	c  S st 10815   2711371        60      5340         0    105435     37380   1593660     18.17   no data  --
3208.46/803.26	c  S st 10815   2711876        60      5340         0    105896     37380   1604221     18.17   no data  --
3208.46/803.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3208.46/803.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3208.86/803.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
3208.86/803.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3208.86/803.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3208.86/803.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3208.86/803.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3661.46/916.68	c lits-rem:      6500  cl-subs:    11403  v-elim:      0  v-fix:    0  time: 452.49 s
3661.46/916.68	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3661.86/916.70	c vivif2 --  cl tried    94493 cl shrink        0 lits rem          0 time: 0.08
3663.46/917.11	c asymm  cl-useful: 0/525/5340 lits-rem:0 time: 1.66
3663.46/917.12	c calculated reachability. Time: 0.00
3663.46/917.12	c  N dy 10815   2711876        60      5340         0     94493     37380   1355392     18.17   no data  --
3704.99/927.51	c  N dy 10951   2732112        60      5340         0    112401     37380   1746819     18.18     19.18  --
3748.56/938.42	c  N dy 11063   2753089        60      5340         0     68044     37380    778071     18.18     19.17  --
3784.89/947.55	c  N dy 11165   2775731        60      5340         0     88069     37380   1212818     18.19     19.28  --
3825.63/957.76	c  N dy 11269   2795786        60      5340         0    105798     37380   1597503     18.19     21.78  --
3874.37/969.94	c  N dy 11373   2815845        60      5340         0    123523     37380   1980800     18.19     19.25  --
3917.91/980.83	c  N dy 11511   2838932        60      5340         0     79728     37380   1016909     18.20     19.19  --
3957.85/990.89	c  N dy 11632   2860190        60      5340         0     98651     37380   1430894     18.21     19.17  --
4007.40/1003.28	c  N dy 11726   2883643        60      5340         0    119337     37380   1876290     18.21     19.33  --
4043.73/1012.39	c  N dy 11754   2903696        60      5340         0     71763     37380    829419     18.20     20.35  --
4095.28/1025.21	c  N dy 11783   2942610        60      5340         0    105764     37380   1539037     18.18     19.45  --
4144.03/1037.44	c  N dy 11883   2962618        60      5340         0    123405     37380   1920922     18.19     20.32  --
4193.14/1049.70	c  N dy 12002   2985153        60      5340         0     77389     37380    944658     18.19     19.27  --
4230.69/1059.12	c  N dy 12133   3005204        60      5340         0     95107     37380   1331529     18.20     20.14  --
4299.79/1076.44	c  N dy 12164   3052829        60      5340         0     70013     37380    771089     18.17     19.19  --
4330.95/1084.20	c  N dy 12302   3072836        60      5340         0     87682     37380   1159024     18.18     21.61  --
4365.31/1092.86	c  N dy 12384   3092878        60      5340         0    105360     37380   1542346     18.18     19.14  --
4408.85/1103.78	c  N dy 12495   3113654        60      5340         0    123654     37380   1938424     18.19     19.16  --
4456.01/1115.55	c  N dy 12629   3133658        60      5340         0     73543     37380    843814     18.19     21.39  --
4487.95/1123.52	c  N dy 12752   3154815        60      5340         0     92212     37380   1250895     18.20     19.20  --
4521.11/1131.90	c  N dy 12799   3176267        60      5340         0    110955     37380   1644875     18.20     19.16  --
4565.86/1143.08	c  N dy 12909   3196963        60      5340         0    129220     37380   2041897     18.20     19.32  --
4601.39/1152.00	c  S st 13029   3211876        60      5340         0     73741     37380    838842     18.21   no data  --
4602.59/1152.24	c  S st 13029   3212377        60      5340         0     74196     37380    849127     18.21   no data  --
4602.59/1152.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4602.59/1152.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4602.59/1152.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
4602.99/1152.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4602.99/1152.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4602.99/1152.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4602.99/1152.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4672.10/1169.68	c lits-rem:       650  cl-subs:     1190  v-elim:      0  v-fix:    0  time: 69.35 s
4672.10/1169.68	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4672.50/1169.70	c vivif2 --  cl tried    73006 cl shrink        0 lits rem          0 time: 0.05
4673.70/1170.08	c asymm  cl-useful: 0/607/5340 lits-rem:0 time: 1.54
4673.70/1170.09	c calculated reachability. Time: 0.00
4673.70/1170.09	c  N dy 13029   3212377        60      5340         0     73006     37380    821331     18.21   no data  --
4703.25/1177.48	c  N dy 13085   3235823        60      5340         0     93515     37380   1252299     18.20     19.26  --
4734.02/1185.10	c  N dy 13164   3256822        60      5340         0    111945     37380   1649030     18.20     19.17  --
4775.17/1195.41	c  N dy 13300   3276861        60      5340         0    129661     37380   2039985     18.21     21.91  --

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-3175369-1304121345/watcher-3175369-1304121345 -o /tmp/evaluation-result-3175369-1304121345/solver-3175369-1304121345 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175369-1304121345.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.43 7.90 7.03 6/180 20190
/proc/meminfo: memFree=27890368/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 523734160 52465664 352 33554432000 4194304 4650419 140734105902944 18446744073709551615 46978847455154 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 12809 352 303 112 0 7774 0
[pid=20190/tid=20191] ppid=20188 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523734160 52465664 352 33554432000 4194304 4650419 140734105902944 18446744073709551615 46978847455154 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523734160 52465664 352 33554432000 4194304 4650419 140734105902944 18446744073709551615 46978847455148 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523734160 52465664 352 33554432000 4194304 4650419 140734105902944 18446744073709551615 208080288753 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.128094 s]
/proc/loadavg: 7.43 7.90 7.03 6/180 20190
/proc/meminfo: memFree=27890368/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=282952 CPUtime=0.49 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 1884 0 0 0 49 0 0 0 25 0 4 0 523734160 289742848 1624 33554432000 4194304 4650419 140734105902944 18446744073709551615 208079893537 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 70738 1624 376 112 0 65703 0
[pid=20190/tid=20191] ppid=20188 vsize=282952 CPUtime=0.12 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) D 20188 20190 20055 0 -1 4202560 351 0 0 0 12 0 0 0 18 0 4 0 523734160 289742848 1624 33554432000 4194304 4650419 140734105902944 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=282952 CPUtime=0.12 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) D 20188 20190 20055 0 -1 4202560 330 0 0 0 12 0 0 0 25 0 4 0 523734160 289742848 1624 33554432000 4194304 4650419 140734105902944 18446744073709551615 208080275639 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=282952 CPUtime=0.12 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 345 0 0 0 12 0 0 0 25 0 4 0 523734160 289742848 1624 33554432000 4194304 4650419 140734105902944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 282952

[startup+0.20075 s]
/proc/loadavg: 7.43 7.90 7.03 6/180 20190
/proc/meminfo: memFree=27890368/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=283568 CPUtime=0.77 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 3022 0 0 0 77 0 0 0 18 0 4 0 523734160 290373632 2527 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 70892 2527 390 112 0 65857 0
[pid=20190/tid=20191] ppid=20188 vsize=283568 CPUtime=0.19 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 673 0 0 0 19 0 0 0 18 0 4 0 523734160 290373632 2527 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=283568 CPUtime=0.19 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 671 0 0 0 19 0 0 0 18 0 4 0 523734160 290373632 2527 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=283568 CPUtime=0.19 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 564 0 0 0 19 0 0 0 25 0 4 0 523734160 290373632 2527 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283568

[startup+0.30073 s]
/proc/loadavg: 7.43 7.90 7.03 6/180 20190
/proc/meminfo: memFree=27890368/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=284456 CPUtime=1.17 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 3645 0 0 0 117 0 0 0 18 0 4 0 523734160 291282944 2670 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 71114 2671 390 112 0 66079 0
[pid=20190/tid=20191] ppid=20188 vsize=284456 CPUtime=0.29 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 849 0 0 0 29 0 0 0 18 0 4 0 523734160 291282944 2671 33554432000 4194304 4650419 140734105902944 18446744073709551615 4229472 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=284456 CPUtime=0.29 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 857 0 0 0 29 0 0 0 18 0 4 0 523734160 291282944 2671 33554432000 4194304 4650419 140734105902944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=284456 CPUtime=0.29 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 639 0 0 0 29 0 0 0 25 0 4 0 523734160 291282944 2671 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284456

[startup+0.700654 s]
/proc/loadavg: 7.43 7.90 7.03 6/180 20190
/proc/meminfo: memFree=27890368/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=285556 CPUtime=2.78 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 5616 0 0 0 277 1 0 0 18 0 4 0 523734160 292409344 3459 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 71389 3459 390 112 0 66354 0
[pid=20190/tid=20191] ppid=20188 vsize=285556 CPUtime=0.69 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 1319 0 0 0 69 0 0 0 18 0 4 0 523734160 292409344 3459 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=285556 CPUtime=0.68 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 1303 0 0 0 68 0 0 0 18 0 4 0 523734160 292409344 3459 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=285556 CPUtime=0.69 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 1240 0 0 0 69 0 0 0 25 0 4 0 523734160 292409344 3459 33554432000 4194304 4650419 140734105902944 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285556

[startup+1.5005 s]
/proc/loadavg: 7.43 7.90 7.03 10/184 20194
/proc/meminfo: memFree=27865296/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=286700 CPUtime=5.97 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 10057 0 0 0 596 1 0 0 19 0 4 0 523734160 293580800 5414 33554432000 4194304 4650419 140734105902944 18446744073709551615 4438387 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 71675 5414 392 112 0 66640 0
[pid=20190/tid=20191] ppid=20188 vsize=286700 CPUtime=1.49 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 2115 0 0 0 149 0 0 0 19 0 4 0 523734160 293580800 5414 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=286700 CPUtime=1.48 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 2130 0 0 0 148 0 0 0 19 0 4 0 523734160 293580800 5414 33554432000 4194304 4650419 140734105902944 18446744073709551615 4334682 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=286700 CPUtime=1.48 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 2045 0 0 0 148 0 0 0 25 0 4 0 523734160 293580800 5414 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286700

[startup+3.1002 s]
/proc/loadavg: 7.43 7.90 7.03 9/184 20194
/proc/meminfo: memFree=27834792/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=294248 CPUtime=12.36 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 16589 0 0 0 1234 2 0 0 25 0 4 0 523734160 301309952 10155 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 73562 10155 392 112 0 68527 0
[pid=20190/tid=20191] ppid=20188 vsize=294248 CPUtime=3.09 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 3655 0 0 0 309 0 0 0 24 0 4 0 523734160 301309952 10155 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=294248 CPUtime=3.09 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 4368 0 0 0 308 1 0 0 24 0 4 0 523734160 301309952 10155 33554432000 4194304 4650419 140734105902944 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=294248 CPUtime=3.07 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 4297 0 0 0 307 0 0 0 25 0 4 0 523734160 301309952 10155 33554432000 4194304 4650419 140734105902944 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294248

[startup+6.30059 s]
/proc/loadavg: 7.56 7.92 7.04 9/184 20194
/proc/meminfo: memFree=27811072/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=294996 CPUtime=25.15 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 24561 0 0 0 2511 4 0 0 25 0 4 0 523734160 302075904 11990 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 73749 11990 392 112 0 68714 0
[pid=20190/tid=20191] ppid=20188 vsize=294996 CPUtime=6.29 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 6158 0 0 0 628 1 0 0 25 0 4 0 523734160 302075904 11990 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=294996 CPUtime=6.29 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 6203 0 0 0 628 1 0 0 25 0 4 0 523734160 302075904 11990 33554432000 4194304 4650419 140734105902944 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=294996 CPUtime=6.25 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 6242 0 0 0 625 0 0 0 25 0 4 0 523734160 302075904 11990 33554432000 4194304 4650419 140734105902944 18446744073709551615 4328220 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) 294996

[startup+12.7004 s]
/proc/loadavg: 7.59 7.92 7.05 9/184 20224
/proc/meminfo: memFree=27801900/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=292964 CPUtime=50.71 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 37207 0 0 0 5064 7 0 0 25 0 4 0 523734160 299995136 17049 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 73241 17049 392 112 0 68206 0
[pid=20190/tid=20191] ppid=20188 vsize=292964 CPUtime=12.69 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 8925 0 0 0 1268 1 0 0 25 0 4 0 523734160 299995136 17049 33554432000 4194304 4650419 140734105902944 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=292964 CPUtime=12.68 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 9589 0 0 0 1266 2 0 0 25 0 4 0 523734160 299995136 17049 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=292964 CPUtime=12.62 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 9811 0 0 0 1261 1 0 0 25 0 4 0 523734160 299995136 17049 33554432000 4194304 4650419 140734105902944 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 292964

[startup+25.5009 s]
/proc/loadavg: 7.76 7.94 7.07 9/184 20225
/proc/meminfo: memFree=27712336/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=274384 CPUtime=101.84 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 55913 0 0 0 10172 12 0 0 25 0 4 0 523734160 280969216 23153 33554432000 4194304 4650419 140734105902944 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 68596 23153 392 112 0 63561 0
[pid=20190/tid=20191] ppid=20188 vsize=274384 CPUtime=25.49 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 13063 0 0 0 2547 2 0 0 25 0 4 0 523734160 280969216 23153 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=274384 CPUtime=25.49 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 14734 0 0 0 2545 4 0 0 25 0 4 0 523734160 280969216 23153 33554432000 4194304 4650419 140734105902944 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=274384 CPUtime=25.35 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 14877 0 0 0 2533 2 0 0 25 0 4 0 523734160 280969216 23153 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 274384

[startup+51.1011 s]
/proc/loadavg: 7.84 7.94 7.09 9/184 20225
/proc/meminfo: memFree=27643200/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=286008 CPUtime=204.1 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 80940 0 0 0 20391 19 0 0 25 0 4 0 523734160 292872192 25707 33554432000 4194304 4650419 140734105902944 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 71502 25707 392 112 0 66467 0
[pid=20190/tid=20191] ppid=20188 vsize=286008 CPUtime=51.09 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 19519 0 0 0 5105 4 0 0 25 0 4 0 523734160 292872192 25707 33554432000 4194304 4650419 140734105902944 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=286008 CPUtime=51.08 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 22427 0 0 0 5103 5 0 0 25 0 4 0 523734160 292872192 25707 33554432000 4194304 4650419 140734105902944 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=286008 CPUtime=50.82 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 21334 0 0 0 5077 5 0 0 25 0 4 0 523734160 292872192 25707 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 286008

[startup+102.3 s]
/proc/loadavg: 7.97 7.97 7.14 9/184 20227
/proc/meminfo: memFree=27585848/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=310364 CPUtime=408.64 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 122828 0 0 0 40831 33 0 0 25 0 4 0 523734160 317812736 30830 33554432000 4194304 4650419 140734105902944 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 77591 30830 392 112 0 72556 0
[pid=20190/tid=20191] ppid=20188 vsize=310364 CPUtime=102.29 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 26895 0 0 0 10222 7 0 0 25 0 4 0 523734160 317812736 30830 33554432000 4194304 4650419 140734105902944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=310364 CPUtime=102.29 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 34775 0 0 0 10219 10 0 0 25 0 4 0 523734160 317812736 30830 33554432000 4194304 4650419 140734105902944 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=310364 CPUtime=101.73 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 34073 0 0 0 10166 7 0 0 25 0 4 0 523734160 317812736 30830 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 310364

[startup+162.301 s]

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

[pid=20190] ppid=20188 vsize=414612 CPUtime=2565.72 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 359570 0 0 0 256445 127 0 0 25 0 4 0 523734160 424562688 64841 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 103653 64841 392 112 0 98618 0
[pid=20190/tid=20191] ppid=20188 vsize=414612 CPUtime=642.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 92829 0 0 0 64200 30 0 0 25 0 4 0 523734160 424562688 64841 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=414612 CPUtime=642.3 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 99230 0 0 0 64192 38 0 0 25 0 4 0 523734160 424562688 64841 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=414612 CPUtime=638.8 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 85168 0 0 0 63854 26 0 0 25 0 4 0 523734160 424562688 64841 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 414612

[startup+702.301 s]
/proc/loadavg: 8.06 8.06 7.58 9/184 20255
/proc/meminfo: memFree=27201836/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=426880 CPUtime=2805.39 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 367575 0 0 0 280407 132 0 0 25 0 4 0 523734160 437125120 68184 33554432000 4194304 4650419 140734105902944 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 106720 68184 392 112 0 101685 0
[pid=20190/tid=20191] ppid=20188 vsize=426880 CPUtime=702.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 92829 0 0 0 70200 30 0 0 25 0 4 0 523734160 437125120 68184 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=426880 CPUtime=702.29 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 104378 0 0 0 70189 40 0 0 25 0 4 0 523734160 437125120 68184 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=426880 CPUtime=698.48 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 85432 0 0 0 69821 27 0 0 25 0 4 0 523734160 437125120 68184 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 426880

[startup+762.301 s]
/proc/loadavg: 8.14 8.08 7.61 9/184 20256
/proc/meminfo: memFree=27182076/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=436932 CPUtime=3045.09 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 385665 0 0 0 304367 142 0 0 25 0 4 0 523734160 447418368 69188 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 109233 69188 392 112 0 104198 0
[pid=20190/tid=20191] ppid=20188 vsize=436932 CPUtime=762.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 94553 0 0 0 76200 30 0 0 25 0 4 0 523734160 447418368 69188 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=436932 CPUtime=762.31 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 109249 0 0 0 76188 43 0 0 25 0 4 0 523734160 447418368 69188 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=436932 CPUtime=758.16 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 91171 0 0 0 75786 30 0 0 25 0 4 0 523734160 447418368 69188 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 436932

[startup+822.301 s]
/proc/loadavg: 8.16 8.09 7.64 9/184 20258
/proc/meminfo: memFree=27169632/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=502632 CPUtime=3284.76 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 401126 0 0 0 328325 151 0 0 25 0 4 0 523734160 514695168 73078 33554432000 4194304 4650419 140734105902944 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 125658 73078 392 112 0 120623 0
[pid=20190/tid=20191] ppid=20188 vsize=502632 CPUtime=822.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 98364 0 0 0 82197 33 0 0 25 0 4 0 523734160 514695168 73078 33554432000 4194304 4650419 140734105902944 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=502632 CPUtime=822.3 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 114319 0 0 0 82185 45 0 0 25 0 4 0 523734160 514695168 73078 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=502632 CPUtime=817.83 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 92641 0 0 0 81752 31 0 0 25 0 4 0 523734160 514695168 73078 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 502632

[startup+882.307 s]
/proc/loadavg: 8.15 8.10 7.67 9/184 20259
/proc/meminfo: memFree=27122616/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=438732 CPUtime=3524.46 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 420413 0 0 0 352289 157 0 0 25 0 4 0 523734160 449261568 71669 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 109683 71669 392 112 0 104648 0
[pid=20190/tid=20191] ppid=20188 vsize=438732 CPUtime=882.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 101724 0 0 0 88195 35 0 0 25 0 4 0 523734160 449261568 71669 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=438732 CPUtime=882.31 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 118900 0 0 0 88184 47 0 0 25 0 4 0 523734160 449261568 71669 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=438732 CPUtime=877.51 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 93258 0 0 0 87718 33 0 0 25 0 4 0 523734160 449261568 71669 33554432000 4194304 4650419 140734105902944 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 438732

[startup+942.3 s]
/proc/loadavg: 8.11 8.10 7.70 9/184 20261
/proc/meminfo: memFree=27144908/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=491844 CPUtime=3764.11 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 436245 0 0 0 376248 163 0 0 25 0 4 0 523734160 503648256 73339 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 122961 73339 392 112 0 117926 0
[pid=20190/tid=20191] ppid=20188 vsize=491844 CPUtime=942.29 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 105511 0 0 0 94193 36 0 0 25 0 4 0 523734160 503648256 73339 33554432000 4194304 4650419 140734105902944 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=491844 CPUtime=942.31 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 122626 0 0 0 94181 50 0 0 25 0 4 0 523734160 503648256 73339 33554432000 4194304 4650419 140734105902944 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=491844 CPUtime=937.18 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 93356 0 0 0 93685 33 0 0 25 0 4 0 523734160 503648256 73339 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 491844

[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 7.72 9/184 20263
/proc/meminfo: memFree=27115984/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=491948 CPUtime=4003.79 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 448299 0 0 0 400211 168 0 0 25 0 4 0 523734160 503754752 76088 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 122987 76088 392 112 0 117952 0
[pid=20190/tid=20191] ppid=20188 vsize=491948 CPUtime=1002.29 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 109437 0 0 0 100192 37 0 0 25 0 4 0 523734160 503754752 76088 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=491948 CPUtime=1002.31 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 127204 0 0 0 100178 53 0 0 25 0 4 0 523734160 503754752 76088 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=491948 CPUtime=996.86 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 93356 0 0 0 99653 33 0 0 25 0 4 0 523734160 503754752 76088 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 491948

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 7.74 9/184 20264
/proc/meminfo: memFree=27092760/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=492012 CPUtime=4243.47 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 464634 0 0 0 424172 175 0 0 25 0 4 0 523734160 503820288 74268 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 123003 74268 392 112 0 117968 0
[pid=20190/tid=20191] ppid=20188 vsize=492012 CPUtime=1062.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 119213 0 0 0 106191 39 0 0 25 0 4 0 523734160 503820288 74268 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=492012 CPUtime=1062.31 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 130976 0 0 0 106175 56 0 0 25 0 4 0 523734160 503820288 74268 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=492012 CPUtime=1056.53 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 93368 0 0 0 105620 33 0 0 25 0 4 0 523734160 503820288 74268 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.47
Current children cumulated vsize (KiB) 492012

[startup+1122.3 s]
/proc/loadavg: 8.06 8.09 7.76 9/184 20266
/proc/meminfo: memFree=27022548/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=504720 CPUtime=4483.15 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 484393 0 0 0 448132 183 0 0 25 0 4 0 523734160 516833280 83442 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 126180 83442 392 112 0 121145 0
[pid=20190/tid=20191] ppid=20188 vsize=504720 CPUtime=1122.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 125821 0 0 0 112189 41 0 0 25 0 4 0 523734160 516833280 83442 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=504720 CPUtime=1122.31 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 137780 0 0 0 112173 58 0 0 25 0 4 0 523734160 516833280 83442 33554432000 4194304 4650419 140734105902944 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=504720 CPUtime=1116.2 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 95474 0 0 0 111586 34 0 0 25 0 4 0 523734160 516833280 83442 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 504720

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 7.79 9/184 20267
/proc/meminfo: memFree=27028208/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=517360 CPUtime=4722.84 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 506745 0 0 0 472095 189 0 0 25 0 4 0 523734160 529776640 82511 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 129340 82511 392 112 0 124305 0
[pid=20190/tid=20191] ppid=20188 vsize=517360 CPUtime=1182.3 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 128627 0 0 0 118188 42 0 0 25 0 4 0 523734160 529776640 82511 33554432000 4194304 4650419 140734105902944 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=517360 CPUtime=1182.31 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 151672 0 0 0 118171 60 0 0 25 0 4 0 523734160 529776640 82511 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=517360 CPUtime=1175.89 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 98836 0 0 0 117553 36 0 0 25 0 4 0 523734160 529776640 82511 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 517360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.21 8.13 7.80 9/184 20268
/proc/meminfo: memFree=27035764/32950928 swapFree=67111356/67111528
[pid=20190] ppid=20188 vsize=530296 CPUtime=4800.34 cores=1,3,5,7
/proc/20190/stat : 20190 (strangenight1-m) R 20188 20190 20055 0 -1 4202496 509871 0 0 0 479844 190 0 0 25 0 4 0 523734160 543023104 82874 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20190/statm: 132574 82874 392 112 0 127539 0
[pid=20190/tid=20191] ppid=20188 vsize=530296 CPUtime=1201.7 cores=1,3,5,7
/proc/20190/task/20191/stat : 20191 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 129365 0 0 0 120128 42 0 0 25 0 4 0 523734160 543023104 82874 33554432000 4194304 4650419 140734105902944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20190/tid=20192] ppid=20188 vsize=530296 CPUtime=1201.72 cores=1,3,5,7
/proc/20190/task/20192/stat : 20192 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 152634 0 0 0 120111 61 0 0 25 0 4 0 523734160 543023104 82874 33554432000 4194304 4650419 140734105902944 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20190/tid=20193] ppid=20188 vsize=530296 CPUtime=1195.18 cores=1,3,5,7
/proc/20190/task/20193/stat : 20193 (strangenight1-m) R 20188 20190 20055 0 -1 4202560 98836 0 0 0 119482 36 0 0 25 0 4 0 523734160 543023104 82874 33554432000 4194304 4650419 140734105902944 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 530296

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.73
CPU time (s): 4800.39
CPU user time (s): 4798.47
CPU system time (s): 1.92271
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 530296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.47
system time used= 1.92271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509871
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= 604
involuntary context switches= 31851

runsolver used 1.86672 second user time and 4.71428 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 01:55:45
IDJOB=3175369
IDBENCH=82987
IDSOLVER=1588
FILE ID=node127/3175369-1304121345
RUNJOBID= node127-1304120141-20074
PBS_JOBID= 13170732
Free space on /tmp= 71812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175369-1304121345/watcher-3175369-1304121345 -o /tmp/evaluation-result-3175369-1304121345/solver-3175369-1304121345 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175369-1304121345.cnf

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

MD5SUM BENCH= a87f820c1b7597a3062237c526130fa4
RANDOM SEED=248660437

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
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:     32950928 kB
MemFree:      27890648 kB
Buffers:       1283756 kB
Cached:        3258352 kB
SwapCached:          8 kB
Active:         176240 kB
Inactive:      4432316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27890648 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12444 kB
Writeback:           0 kB
AnonPages:       66320 kB
Mapped:          15460 kB
Slab:           388048 kB
PageTables:       5048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   273456 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= 71808 MiB
End job on node127 at 2011-04-30 02:15:49