Trace number 3175371

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf
MD5SUM398f9c2cc63f6285faba700796fc9dcc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.9837
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
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 58010

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-3175371-1304121365.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.41/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.74
0.41/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.41/0.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.41/0.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.78/0.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.78/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.78/0.22	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.78/0.22	c calculated reachability. Time: 0.00
0.78/0.22	c Calc default polars -  time:   0.00 s pos:      45 undec:       1 neg:      44
0.78/0.22	c =========================================================================================
0.78/0.22	c types(t): F = full restart, N = normal restart
0.78/0.22	c types(t): S = simplification begin/end, E = solution found
0.78/0.22	c restart types(rt): st = static, dy = dynamic
0.78/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.78/0.22	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.58/0.40	c  N dy     9      5406        90      8010         0      2694     56070     68681     25.18     26.55  --
1.98/0.56	c  N dy    27      9417        90      8010         0      6446     56070    180065     25.74     27.24  --
3.17/0.84	c  N dy    34     15781        90      8010         0      8372     56070    217569     25.53     26.87  --
4.39/1.12	c  N dy    44     21804        90      8010         0      8725     56070    211287     25.31     26.71  --
4.79/1.29	c  F st    55     25001        90      8010         0     11697     56070    298514     25.36     25.25  --
5.17/1.36	c  N st    58     26193        90      8010         0      6496     56070    129628     25.36   no data  --
5.97/1.53	c  S st    61     30000        90      8010         0     10051     56070    236011     25.36   no data  --
5.97/1.57	c  S st    61     30501        90      8010         0     10531     56070    250409     25.36   no data  --
5.97/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.17/2.83	c lits-rem:      1500  cl-subs:      691  v-elim:      0  v-fix:    0  time:  4.98 s
12.77/3.21	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.51
12.77/3.21	c calculated reachability. Time: 0.00
12.77/3.21	c  N dy    61     30501        90      8010         0      9840     56070    226004     25.36   no data  --
13.58/3.46	c  N dy    73     34964        90      8010         0     13993     56070    347654     25.30     26.79  --
14.35/3.69	c  N dy    93     39487        90      8010         0     10899     56070    241519     25.40     26.75  --
15.56/3.97	c  N dy   110     43862        90      8010         0     14954     56070    361670     25.46     26.81  --
16.36/4.10	c  S st   113     45752        90      8010         0      8403     56070    149529     25.41     23.09  --
16.36/4.13	c  S st   113     46263        90      8010         0      8892     56070    164095     25.41   no data  --
16.36/4.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.36/4.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.36/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.36/4.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.00	c lits-rem:       166  cl-subs:       63  v-elim:      0  v-fix:    0  time:  3.43 s
19.95/5.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.00	c vivif2 --  cl tried     8829 cl shrink        0 lits rem          0 time: 0.01
21.15/5.30	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.20
21.15/5.30	c calculated reachability. Time: 0.00
21.15/5.30	c  N dy   113     46263        90      8010         0      8829     56070    161764     25.41   no data  --
21.97/5.53	c  N dy   124     50271        90      8010         0     12543     56070    272152     25.45     26.95  --
24.34/6.11	c  N dy   127     60269        90      8010         0     12530     56070    256182     25.20     26.57  --
26.76/6.74	c  N dy   152     69396        90      8010         0     10784     56070    187676     25.09     22.80  --
26.76/6.74	c  S st   152     69396        90      8010         0     10784     56070    187676     25.09     22.80  --
26.76/6.78	c  S st   152     69900        90      8010         0     11267     56070    201867     25.09   no data  --
26.76/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.76/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.76/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.76/6.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.75/7.71	c lits-rem:       351  cl-subs:      169  v-elim:      0  v-fix:    0  time:  3.68 s
30.75/7.71	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.75/7.72	c vivif2 --  cl tried    11098 cl shrink        0 lits rem          0 time: 0.01
31.94/8.07	c asymm  cl-useful: 0/7875/8010 lits-rem:0 time: 1.41
31.94/8.07	c calculated reachability. Time: 0.00
31.94/8.07	c  N dy   152     69900        90      8010         0     11098     56070    196542     25.09   no data  --
33.13/8.36	c  N dy   171     74571        90      8010         0     15434     56070    324076     25.14     26.54  --
34.73/8.79	c  N dy   196     79733        90      8010         0     20206     56070    465325     25.21     26.59  --
36.73/9.25	c  N dy   219     85659        90      8010         0     14587     56070    282014     25.26     26.68  --
37.13/9.39	c  F st   224     87501        90      8010         0     16297     56070    330820     25.24     22.68  --
38.73/9.78	c  N dy   230     92696        90      8010         0     21101     56070    473980     25.24   no data  --
40.72/10.29	c  N dy   258     99068        90      8010         0     14953     56070    275850     25.30     26.69  --
42.32/10.69	c  S st   272    104853        90      8010         0     20331     56070    435335     25.31     22.35  --
42.72/10.75	c  S st   272    105357        90      8010         0     20814     56070    449092     25.31   no data  --
42.72/10.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
42.72/10.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.72/10.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
42.72/10.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.72/10.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.72/10.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.72/10.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.31/12.66	c lits-rem:      2109  cl-subs:     1417  v-elim:      0  v-fix:    0  time:  7.55 s
50.31/12.67	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.31/12.67	c vivif2 --  cl tried    19397 cl shrink        0 lits rem          0 time: 0.02
51.91/13.07	c asymm  cl-useful: 0/5571/8010 lits-rem:0 time: 1.60
51.91/13.07	c calculated reachability. Time: 0.00
51.91/13.07	c  N dy   272    105357        90      8010         0     19397     56070    401549     25.31   no data  --
54.30/13.69	c  N dy   308    112143        90      8010         0     25685     56070    588507     25.38     27.05  --
58.29/14.61	c  N dy   327    124636        90      8010         0     24265     56070    529301     25.33     26.69  --
60.70/15.25	c  N dy   358    132595        90      8010         0     17827     56070    326856     25.35     26.72  --
63.49/15.99	c  N dy   373    142030        90      8010         0     26555     56070    580884     25.31     26.70  --
66.31/16.69	c  N dy   388    151123        90      8010         0     20135     56070    371688     25.25     28.33  --
68.68/17.25	c  S st   404    158035        90      8010         0     26523     56070    559261     25.24     25.37  --
69.08/17.32	c  S st   404    158542        90      8010         0     27001     56070    573615     25.24   no data  --
69.08/17.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.08/17.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.08/17.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.08/17.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.08/17.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.08/17.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.08/17.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.67/19.80	c lits-rem:      2226  cl-subs:     2284  v-elim:      0  v-fix:    0  time:  9.77 s
78.67/19.80	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.09/19.81	c vivif2 --  cl tried    24717 cl shrink        0 lits rem          0 time: 0.02
79.86/20.04	c asymm  cl-useful: 0/1903/8010 lits-rem:0 time: 0.92
79.86/20.04	c calculated reachability. Time: 0.00
79.86/20.04	c  N dy   404    158542        90      8010         0     24717     56070    501705     25.24   no data  --
83.49/20.98	c  N dy   421    169641        90      8010         0     19364     56070    336816     25.20     26.62  --
87.88/22.03	c  N dy   455    180975        90      8010         0     29841     56070    644891     25.20     26.53  --
92.67/23.23	c  N dy   489    194304        90      8010         0     25542     56070    499937     25.18     26.74  --
97.84/24.59	c  N dy   540    206781        90      8010         0     19572     56070    306921     25.23     26.98  --
103.84/26.01	c  N dy   579    221439        90      8010         0     33164     56070    708878     25.23     26.70  --
109.43/27.43	c  N dy   603    236751        90      8010         0     28803     56070    557836     25.20     26.72  --
109.85/27.56	c  S st   611    237813        90      8010         0     29794     56070    587333     25.20     24.38  --
110.25/27.63	c  S st   611    238314        90      8010         0     30261     56070    601366     25.20   no data  --
110.25/27.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.25/27.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.25/27.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.25/27.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.25/27.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.25/27.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.25/27.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.41/30.47	c lits-rem:      2300  cl-subs:     2100  v-elim:      0  v-fix:    0  time: 11.20 s
121.41/30.47	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
121.41/30.48	c vivif2 --  cl tried    28161 cl shrink        0 lits rem          0 time: 0.02
121.81/30.55	c asymm  cl-useful: 0/536/8010 lits-rem:0 time: 0.29
121.81/30.55	c calculated reachability. Time: 0.00
121.81/30.55	c  N dy   611    238314        90      8010         0     28161     56070    535039     25.20   no data  --
129.00/32.37	c  N dy   659    255701        90      8010         0     24894     56070    424841     25.20     26.55  --
143.39/35.92	c  N dy   660    293053        90      8010         0     38805     56070    807943     24.92     26.38  --
148.98/37.32	c  F st   724    306250        90      8010         0     29958     56070    545812     24.96   no data  --
151.37/37.95	c  N dy   734    312376        90      8010         0     35640     56070    715916     24.97     26.39  --
170.95/42.88	c  N dy   801    357471        90      8010         0     31913     56070    553602     24.77     23.92  --
170.95/42.88	c  S st   801    357471        90      8010         0     31913     56070    553602     24.77     23.92  --
171.36/42.96	c  S st   801    357978        90      8010         0     32390     56070    568061     24.77   no data  --
171.36/42.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.36/42.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.36/42.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
171.36/42.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.36/42.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.36/42.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
171.36/42.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.33/45.43	c lits-rem:      1970  cl-subs:     2141  v-elim:      0  v-fix:    0  time:  9.74 s
181.33/45.43	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
181.33/45.44	c vivif2 --  cl tried    30249 cl shrink        0 lits rem          0 time: 0.02
182.13/45.63	c asymm  cl-useful: 0/2089/8010 lits-rem:0 time: 0.78
182.13/45.63	c calculated reachability. Time: 0.00
182.13/45.63	c  N dy   801    357978        90      8010         0     30249     56070    509374     24.77   no data  --
195.31/48.98	c  N dy   912    378125        90      8010         0     25044     56070    345723     24.84     26.28  --
207.69/52.01	c  N dy  1023    398202        90      8010         0     43692     56070    893774     24.89     26.20  --
219.70/55.01	c  N dy  1087    420412        90      8010         0     39290     56070    739148     24.90     26.44  --
230.86/57.88	c  N dy  1194    440522        90      8010         0     32099     56070    517799     24.95     26.44  --
242.45/60.72	c  N dy  1271    460902        90      8010         0     50959     56070   1073591     24.97     26.32  --
252.43/63.24	c  N dy  1339    480921        90      8010         0     42641     56070    807362     24.99     28.43  --
265.21/66.45	c  N dy  1427    503388        90      8010         0     35682     56070    583322     25.01     26.36  --
276.01/69.14	c  N dy  1467    523455        90      8010         0     54194     56070   1119576     24.99     27.21  --
283.60/71.01	c  S st  1526    536967        90      8010         0     38021     56070    635959     25.01   no data  --
284.00/71.10	c  S st  1526    537471        90      8010         0     38502     56070    650080     25.01   no data  --
284.00/71.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
284.00/71.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.00/71.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.05
284.00/71.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
284.00/71.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.00/71.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
284.00/71.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
295.18/73.90	c lits-rem:      1147  cl-subs:     1684  v-elim:      0  v-fix:    0  time: 11.03 s
295.18/73.90	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
295.18/73.90	c vivif2 --  cl tried    36818 cl shrink        0 lits rem          0 time: 0.03
295.98/74.13	c asymm  cl-useful: 0/1477/8010 lits-rem:0 time: 0.89
295.98/74.13	c calculated reachability. Time: 0.00
295.98/74.13	c  N dy  1526    537471        90      8010         0     36818     56070    595073     25.01   no data  --
308.76/77.33	c  N dy  1625    557918        90      8010         0     55743     56070   1159033     25.05     26.44  --
320.35/80.29	c  N dy  1733    577998        90      8010         0     44849     56070    820022     25.09     28.81  --
337.13/84.42	c  N dy  1840    603442        90      8010         0     37849     56070    585999     25.11     26.55  --
349.10/87.49	c  N dy  1917    623467        90      8010         0     56367     56070   1135155     25.12     27.25  --
361.49/90.59	c  N dy  1980    643980        90      8010         0     43889     56070    750321     25.13     26.51  --
377.88/94.63	c  N dy  2074    664426        90      8010         0     62877     56070   1314086     25.15     26.51  --
390.25/97.78	c  N dy  2108    687481        90      8010         0     51639     56070    947436     25.12     26.47  --
406.23/101.73	c  N dy  2200    707499        90      8010         0     36923     56070    511697     25.14     26.65  --
419.81/105.19	c  N dy  2267    727587        90      8010         0     55518     56070   1060385     25.15     29.56  --
434.59/108.80	c  N dy  2292    749368        90      8010         0     41351     56070    620058     25.12     26.52  --
448.59/112.37	c  N dy  2404    769460        90      8010         0     60057     56070   1176679     25.15     27.19  --
464.15/116.26	c  N dy  2504    789567        90      8010         0     43562     56070    670109     25.17     26.54  --
475.33/119.00	c  S st  2572    806207        90      8010         0     59012     56070   1127659     25.18     25.94  --
475.73/119.15	c  S st  2572    806711        90      8010         0     59484     56070   1141846     25.18   no data  --
475.73/119.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
475.73/119.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
475.73/119.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
476.13/119.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.13/119.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.13/119.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
476.13/119.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
518.08/129.71	c lits-rem:      2995  cl-subs:     4215  v-elim:      0  v-fix:    0  time: 41.93 s
518.08/129.71	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
518.08/129.73	c vivif2 --  cl tried    55269 cl shrink        0 lits rem          0 time: 0.05
519.27/130.08	c asymm  cl-useful: 0/1017/8010 lits-rem:0 time: 1.40
519.27/130.08	c calculated reachability. Time: 0.00
519.27/130.08	c  N dy  2572    806711        90      8010         0     55269     56070   1005627     25.18   no data  --
537.25/134.53	c  N dy  2662    826888        90      8010         0     37960     56070    486312     25.20     26.58  --
552.43/138.32	c  N dy  2743    850729        90      8010         0     60036     56070   1140284     25.21     26.72  --
570.41/142.84	c  N dy  2866    871018        90      8010         0     41899     56070    580343     25.24     26.58  --
583.99/146.25	c  N dy  2926    891117        90      8010         0     60537     56070   1127826     25.24     29.20  --
601.56/150.64	c  N dy  2989    913629        90      8010         0     43400     56070    606706     25.25     26.61  --
617.94/154.76	c  N dy  3019    938912        90      8010         0     66644     56070   1274906     25.21     26.72  --
636.32/159.38	c  N dy  3134    961598        90      8010         0     48893     56070    753832     25.23     26.71  --
652.30/163.37	c  N dy  3227    981663        90      8010         0     67472     56070   1307393     25.25     27.41  --
669.87/167.71	c  N dy  3296   1001760        90      8010         0     46277     56070    653088     25.26     26.69  --
685.05/171.59	c  N dy  3376   1023359        90      8010         0     66252     56070   1244891     25.26     26.81  --
704.23/176.31	c  N dy  3440   1044866        90      8010         0     45468     56070    611294     25.26     26.64  --
716.24/179.36	c  N dy  3457   1065045        90      8010         0     64038     56070   1158104     25.26     26.65  --
722.60/180.98	c  F st  3485   1071876        90      8010         0     70377     56070   1345714     25.26     24.95  --
736.18/184.31	c  N dy  3527   1085081        90      8010         0     82571     56070   1710404     25.26     28.29  --
749.37/187.68	c  N dy  3590   1105230        90      8010         0     59580     56070   1011904     25.27     26.68  --
768.96/192.55	c  N dy  3683   1125954        90      8010         0     78694     56070   1580492     25.28     26.63  --
794.50/198.99	c  N dy  3778   1155189        90      8010         0     63155     56070   1094049     25.28     26.70  --
833.66/208.78	c  N dy  3806   1200718        90      8010         0     61481     56070   1013578     25.21     26.64  --
844.44/211.48	c  S st  3850   1210066        90      8010         0     70110     56070   1268427     25.21     23.56  --
845.64/211.77	c  S st  3850   1210573        90      8010         0     70584     56070   1282411     25.21   no data  --
845.64/211.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
845.64/211.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
846.04/211.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.20
846.04/211.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
846.04/211.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
846.04/211.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
846.04/211.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
932.32/233.46	c lits-rem:      2141  cl-subs:     6436  v-elim:      0  v-fix:    0  time: 86.20 s
932.32/233.46	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
932.32/233.47	c vivif2 --  cl tried    64148 cl shrink        0 lits rem          0 time: 0.06
933.92/233.86	c asymm  cl-useful: 0/869/8010 lits-rem:0 time: 1.55
933.92/233.86	c calculated reachability. Time: 0.00
933.92/233.86	c  N dy  3850   1210573        90      8010         0     64148     56070   1102291     25.21   no data  --
965.48/241.77	c  N dy  3923   1242544        90      8010         0     49743     56070    663868     25.19     26.58  --
980.65/245.59	c  N dy  3992   1263061        90      8010         0     68719     56070   1224614     25.19     26.61  --
1010.64/253.10	c  N dy  4092   1291498        90      8010         0     49948     56070    651626     25.20     26.67  --
1030.19/257.93	c  N dy  4176   1311669        90      8010         0     68630     56070   1206933     25.21     26.58  --
1063.77/266.35	c  N dy  4240   1341531        90      8010         0     50095     56070    633894     25.19     26.55  --
1080.95/270.65	c  N dy  4293   1361802        90      8010         0     68832     56070   1183855     25.18     26.51  --
1105.69/276.80	c  N dy  4374   1382046        90      8010         0     87567     56070   1739525     25.19     26.61  --
1136.05/284.48	c  N dy  4450   1417177        90      8010         0     72771     56070   1279229     25.18     26.68  --
1164.43/291.57	c  N dy  4515   1445060        90      8010         0     50571     56070    616411     25.18     26.59  --
1178.39/295.08	c  N dy  4553   1465471        90      8010         0     69355     56070   1165047     25.17     26.50  --
1200.35/300.53	c  N dy  4644   1485750        90      8010         0     88203     56070   1726326     25.17     26.75  --
1222.73/306.15	c  N dy  4750   1505774        90      8010         0     57867     56070    814384     25.19     26.99  --
1240.30/310.59	c  N dy  4825   1525826        90      8010         0     76472     56070   1366900     25.19     27.27  --
1263.47/316.31	c  N dy  4859   1547065        90      8010         0     95985     56070   1937926     25.19     26.54  --
1283.84/321.49	c  N dy  4884   1572851        90      8010         0     69721     56070   1132979     25.17     26.52  --
1306.21/327.00	c  N dy  4978   1592993        90      8010         0     88353     56070   1689690     25.18     26.89  --
1328.98/332.77	c  N dy  5063   1613068        90      8010         0     56195     56070    726416     25.19     26.57  --
1346.95/337.20	c  N dy  5148   1633788        90      8010         0     75354     56070   1297366     25.19     26.86  --
1369.33/342.82	c  N dy  5231   1653868        90      8010         0     93942     56070   1852498     25.20     27.88  --
1394.89/349.24	c  N dy  5268   1681365        90      8010         0     67386     56070   1022642     25.18     26.77  --
1415.66/354.49	c  N dy  5355   1701489        90      8010         0     85991     56070   1574594     25.19     26.58  --
1426.86/357.23	c  S st  5390   1710573        90      8010         0     94435     56070   1824513     25.19   no data  --
1428.07/357.54	c  S st  5390   1711075        90      8010         0     94912     56070   1838859     25.19   no data  --
1428.07/357.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1428.07/357.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1428.07/357.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1428.47/357.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1428.47/357.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1428.47/357.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1428.47/357.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1569.08/392.86	c lits-rem:      5150  cl-subs:     8915  v-elim:      0  v-fix:    0  time: 140.56 s
1569.08/392.86	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1569.08/392.88	c vivif2 --  cl tried    85997 cl shrink        0 lits rem          0 time: 0.08
1570.65/393.23	c asymm  cl-useful: 0/672/8010 lits-rem:0 time: 1.40
1570.65/393.23	c calculated reachability. Time: 0.00
1570.65/393.23	c  N dy  5390   1711075        90      8010         0     85997     56070   1569569     25.19   no data  --
1596.22/399.64	c  N dy  5466   1731092        90      8010         0    104487     56070   2117572     25.19     26.84  --
1614.20/404.16	c  N dy  5546   1752108        90      8010         0     71647     56070   1153573     25.20     26.55  --
1641.76/411.09	c  N dy  5618   1779189        90      8010         0     96652     56070   1891972     25.20     26.62  --
1668.93/417.88	c  N dy  5725   1799289        90      8010         0     61891     56070    846669     25.21     26.85  --
1690.90/423.38	c  N dy  5791   1819327        90      8010         0     80401     56070   1393970     25.21     26.68  --
1719.66/430.50	c  N dy  5871   1839365        90      8010         0     98905     56070   1942554     25.22     27.67  --
1741.63/436.03	c  N dy  5896   1859457        90      8010         0     62979     56070    855285     25.21     26.72  --
1764.00/441.61	c  N dy  5992   1879473        90      8010         0     81543     56070   1407966     25.22     26.62  --
1797.95/450.17	c  N dy  6059   1908282        90      8010         0    108106     56070   2187452     25.21     26.54  --
1818.33/455.29	c  N dy  6141   1929154        90      8010         0     72025     56070   1103436     25.21     26.79  --
1839.50/460.60	c  N dy  6228   1949226        90      8010         0     90558     56070   1656052     25.22     28.70  --
1866.66/467.39	c  N dy  6287   1970111        90      8010         0    109901     56070   2228389     25.22     26.57  --
1885.06/471.94	c  N dy  6334   1990205        90      8010         0     72056     56070   1087844     25.22     27.04  --
1907.81/477.68	c  N dy  6380   2012581        90      8010         0     92715     56070   1696700     25.22     26.60  --
1934.16/484.27	c  N dy  6432   2032790        90      8010         0    111308     56070   2241545     25.21     26.64  --
1955.76/489.70	c  N dy  6538   2052849        90      8010         0     72655     56070   1089694     25.22     28.32  --
1977.74/495.19	c  N dy  6617   2072933        90      8010         0     91254     56070   1640303     25.23     27.34  --
2006.87/502.46	c  N dy  6731   2093134        90      8010         0    109949     56070   2201160     25.24     26.60  --
2032.04/508.72	c  N dy  6811   2115319        90      8010         0     72244     56070   1056275     25.24     26.63  --
2055.61/514.68	c  N dy  6923   2135347        90      8010         0     90814     56070   1611267     25.26     26.67  --
2089.16/523.06	c  N dy  7006   2158159        90      8010         0    111844     56070   2232481     25.26     26.71  --
2122.73/531.41	c  N dy  7101   2188206        90      8010         0     80385     56070   1273746     25.25     26.66  --
2150.68/538.45	c  N dy  7176   2211076        90      8010         0    101408     56070   1893758     25.25     23.88  --
2150.68/538.45	c  S st  7176   2211076        90      8010         0    101408     56070   1893758     25.25     23.88  --
2151.88/538.74	c  S st  7176   2211583        90      8010         0    101881     56070   1908322     25.25   no data  --
2151.88/538.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2151.88/538.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2152.28/538.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2152.28/538.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2152.28/538.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2152.28/538.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2152.28/538.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2543.35/636.73	c lits-rem:      3978  cl-subs:     8161  v-elim:      0  v-fix:    0  time: 390.79 s
2543.35/636.73	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2543.35/636.76	c vivif2 --  cl tried    93720 cl shrink        0 lits rem          0 time: 0.08
2544.94/637.13	c asymm  cl-useful: 0/620/8010 lits-rem:0 time: 1.48
2544.94/637.13	c calculated reachability. Time: 0.00
2544.94/637.13	c  N dy  7176   2211583        90      8010         0     93720     56070   1659203     25.25   no data  --
2572.10/643.95	c  N dy  7216   2232844        90      8010         0    113260     56070   2233707     25.25     26.61  --
2601.29/651.25	c  N dy  7260   2260577        90      8010         0     79197     56070   1221258     25.24     26.81  --
2624.03/656.95	c  N dy  7320   2280656        90      8010         0     97687     56070   1767559     25.24     27.56  --
2656.40/665.04	c  N dy  7399   2302682        90      8010         0    117996     56070   2365266     25.24     26.64  --
2678.36/670.58	c  N dy  7506   2322728        90      8010         0     75899     56070   1120755     25.25     27.28  --
2707.15/677.71	c  N dy  7571   2349556        90      8010         0    100747     56070   1858146     25.25     26.65  --
2744.67/687.11	c  N dy  7691   2372459        90      8010         0    121966     56070   2493843     25.26     26.73  --
2767.05/692.74	c  N dy  7792   2392552        90      8010         0     78789     56070   1179503     25.27     26.95  --
2795.41/699.86	c  N dy  7917   2414379        90      8010         0     99006     56070   1787043     25.28     26.88  --
2831.76/708.92	c  N dy  7978   2435002        90      8010         0    118035     56070   2350813     25.28     26.62  --
2877.70/720.41	c  N dy  8044   2470862        90      8010         0     88156     56070   1428359     25.27     26.66  --
2905.26/727.30	c  N dy  8141   2491146        90      8010         0    106932     56070   1991656     25.28     26.68  --
2940.81/736.28	c  N dy  8159   2520955        90      8010         0     70617     56070    893047     25.26     26.66  --
2963.98/742.06	c  N dy  8266   2541450        90      8010         0     89561     56070   1460682     25.26     26.60  --
2993.94/749.54	c  N dy  8382   2561719        90      8010         0    108370     56070   2026540     25.27     26.61  --
3029.09/758.39	c  N dy  8493   2581880        90      8010         0    127118     56070   2589159     25.28     26.88  --
3050.66/763.79	c  N dy  8533   2601953        90      8010         0     80955     56070   1180301     25.28     27.89  --
3078.23/770.66	c  N dy  8604   2626062        90      8010         0    103153     56070   1839883     25.28     26.62  --
3108.18/778.19	c  N dy  8687   2646874        90      8010         0    122309     56070   2412121     25.28     26.69  --
3138.55/785.70	c  N dy  8783   2667312        90      8010         0     75676     56070   1010188     25.29     26.68  --
3160.51/791.29	c  N dy  8829   2687554        90      8010         0     94339     56070   1560230     25.29     26.71  --
3190.87/798.83	c  N dy  8841   2708979        90      8010         0    113969     56070   2123740     25.27     26.78  --
3196.07/800.19	c  S st  8864   2711584        90      8010         0    116399     56070   2197949     25.27   no data  --
3197.67/800.58	c  S st  8864   2712091        90      8010         0    116879     56070   2212510     25.27   no data  --
3197.67/800.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3197.67/800.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3198.07/800.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3198.47/800.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3198.47/800.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3198.47/800.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3198.47/800.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3839.61/961.21	c lits-rem:      4772  cl-subs:    11152  v-elim:      0  v-fix:    0  time: 640.80 s
3839.61/961.21	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3839.61/961.24	c vivif2 --  cl tried   105727 cl shrink        0 lits rem          0 time: 0.11
3841.60/961.73	c asymm  cl-useful: 0/575/8010 lits-rem:0 time: 1.95
3841.60/961.74	c calculated reachability. Time: 0.00
3841.60/961.74	c  N dy  8864   2712091        90      8010         0    105727     56070   1877479     25.27   no data  --
3880.37/971.49	c  N dy  8942   2732262        90      8010         0    124438     56070   2436692     25.28     26.64  --
3914.31/979.91	c  N dy  8998   2752361        90      8010         0     76908     56070   1034124     25.28     27.33  --
3942.26/986.96	c  N dy  9070   2772461        90      8010         0     95498     56070   1588385     25.28     26.87  --
3976.64/995.55	c  N dy  9120   2792501        90      8010         0    113978     56070   2136040     25.28     28.64  --
4018.96/1006.16	c  N dy  9200   2812782        90      8010         0    132702     56070   2690631     25.28     26.65  --
4049.32/1013.70	c  N dy  9299   2832841        90      8010         0     84152     56070   1237156     25.29     26.71  --
4078.88/1021.11	c  N dy  9335   2852886        90      8010         0    102659     56070   1785649     25.28     26.64  --
4115.63/1030.31	c  N dy  9406   2873029        90      8010         0    121274     56070   2338392     25.29     26.63  --
4163.17/1042.22	c  N dy  9452   2897483        90      8010         0     75589     56070    958459     25.28     26.64  --
4194.73/1050.19	c  N dy  9506   2917538        90      8010         0     94034     56070   1507889     25.28     26.77  --
4245.46/1062.83	c  N dy  9563   2945433        90      8010         0    119735     56070   2262920     25.27     26.64  --
4291.40/1074.33	c  N dy  9625   2965552        90      8010         0     69153     56070    751063     25.27     26.61  --
4318.16/1081.05	c  N dy  9686   2986899        90      8010         0     88918     56070   1338893     25.27     26.61  --
4349.72/1088.93	c  N dy  9710   3007930        90      8010         0    108171     56070   1902082     25.27     26.62  --
4389.27/1098.85	c  N dy  9769   3028007        90      8010         0    126703     56070   2449866     25.27     28.14  --
4436.80/1110.78	c  N dy  9846   3054598        90      8010         0     81254     56070   1087914     25.26     26.67  --
4468.78/1118.75	c  N dy  9920   3074687        90      8010         0     99746     56070   1636784     25.27     27.69  --
4510.71/1129.25	c  N dy 10042   3094719        90      8010         0    118263     56070   2192444     25.27     27.12  --
4561.46/1141.92	c  N dy 10177   3114744        90      8010         0    136857     56070   2752754     25.28     28.08  --
4595.39/1150.41	c  N dy 10259   3134771        90      8010         0     84273     56070   1163018     25.29     29.32  --
4621.75/1157.09	c  N dy 10308   3154820        90      8010         0    102670     56070   1700834     25.28     26.69  --
4657.72/1166.03	c  N dy 10388   3175371        90      8010         0    121674     56070   2265150     25.29     26.77  --
4697.27/1175.97	c  N dy 10477   3195415        90      8010         0    140184     56070   2821885     25.29     27.45  --
4720.42/1181.76	c  S st 10536   3212091        90      8010         0     83661     56070   1127279     25.29   no data  --
4721.22/1181.99	c  S st 10536   3212596        90      8010         0     84135     56070   1141824     25.29   no data  --
4721.22/1181.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4721.22/1181.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4721.62/1182.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.16
4721.62/1182.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4721.62/1182.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4721.62/1182.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
4721.62/1182.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4784.73/1197.84	c lits-rem:      1616  cl-subs:     2137  v-elim:      0  v-fix:    0  time: 62.97 s
4784.73/1197.84	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4784.73/1197.85	c vivif2 --  cl tried    81998 cl shrink        0 lits rem          0 time: 0.06
4785.93/1198.19	c asymm  cl-useful: 0/675/8010 lits-rem:0 time: 1.33
4785.93/1198.19	c calculated reachability. Time: 0.00
4785.93/1198.19	c  N dy 10536   3212596        90      8010         0     81998     56070   1073545     25.29   no data  --

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-3175371-1304121365/watcher-3175371-1304121365 -o /tmp/evaluation-result-3175371-1304121365/solver-3175371-1304121365 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175371-1304121365.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.77 7.93 7.64 5/180 32103
/proc/meminfo: memFree=24573732/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=273444 CPUtime=0 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 757 0 0 0 0 0 0 0 25 0 4 0 602367319 280006656 669 33554432000 4194304 4650419 140733436985600 18446744073709551615 215988697631 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 68361 671 343 112 0 63326 0
[pid=32103/tid=32104] ppid=32101 vsize=273444 CPUtime=0 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 97 0 0 0 0 0 0 0 25 0 4 0 602367319 280006656 674 33554432000 4194304 4650419 140733436985600 18446744073709551615 215988253381 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=273444 CPUtime=0 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 90 0 0 0 0 0 0 0 25 0 4 0 602367319 280006656 678 33554432000 4194304 4650419 140733436985600 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=273444 CPUtime=0 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 64 0 0 0 0 0 0 0 25 0 4 0 602367319 280006656 678 33554432000 4194304 4650419 140733436985600 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.106455 s]
/proc/loadavg: 7.77 7.93 7.64 5/180 32103
/proc/meminfo: memFree=24573732/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=282196 CPUtime=0.41 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 1630 0 0 0 41 0 0 0 25 0 4 0 602367319 288968704 1542 33554432000 4194304 4650419 140733436985600 18446744073709551615 4371128 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 70549 1542 366 112 0 65514 0
[pid=32103/tid=32104] ppid=32101 vsize=282196 CPUtime=0.1 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 248 0 0 0 10 0 0 0 25 0 4 0 602367319 288968704 1542 33554432000 4194304 4650419 140733436985600 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=282196 CPUtime=0.1 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 271 0 0 0 10 0 0 0 25 0 4 0 602367319 288968704 1542 33554432000 4194304 4650419 140733436985600 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=282196 CPUtime=0.1 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 406 0 0 0 10 0 0 0 25 0 4 0 602367319 288968704 1542 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282196

[startup+0.200442 s]
/proc/loadavg: 7.77 7.93 7.64 5/180 32103
/proc/meminfo: memFree=24573732/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=286284 CPUtime=0.78 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 3807 0 0 0 78 0 0 0 18 0 4 0 602367319 293154816 3229 33554432000 4194304 4650419 140733436985600 18446744073709551615 4441818 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 71571 3231 384 112 0 66536 0
[pid=32103/tid=32104] ppid=32101 vsize=286284 CPUtime=0.19 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 849 0 0 0 19 0 0 0 25 0 4 0 602367319 293154816 3231 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=286284 CPUtime=0.19 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 904 0 0 0 19 0 0 0 25 0 4 0 602367319 293154816 3232 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=286284 CPUtime=0.19 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 758 0 0 0 19 0 0 0 25 0 4 0 602367319 293154816 3232 33554432000 4194304 4650419 140733436985600 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 286284

[startup+0.300424 s]
/proc/loadavg: 7.77 7.93 7.64 5/180 32103
/proc/meminfo: memFree=24573732/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=286284 CPUtime=1.18 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 4181 0 0 0 118 0 0 0 18 0 4 0 602367319 293154816 3534 33554432000 4194304 4650419 140733436985600 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 71571 3534 390 112 0 66536 0
[pid=32103/tid=32104] ppid=32101 vsize=286284 CPUtime=0.29 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 925 0 0 0 29 0 0 0 25 0 4 0 602367319 293154816 3534 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=286284 CPUtime=0.29 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 984 0 0 0 29 0 0 0 25 0 4 0 602367319 293154816 3534 33554432000 4194304 4650419 140733436985600 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=286284 CPUtime=0.29 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 840 0 0 0 29 0 0 0 25 0 4 0 602367319 293154816 3535 33554432000 4194304 4650419 140733436985600 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 286284

[startup+0.700355 s]
/proc/loadavg: 7.77 7.93 7.64 5/180 32103
/proc/meminfo: memFree=24573732/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=287880 CPUtime=2.77 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 6771 0 0 0 277 0 0 0 18 0 4 0 602367319 294789120 4150 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 71970 4150 390 112 0 66935 0
[pid=32103/tid=32104] ppid=32101 vsize=287880 CPUtime=0.69 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 1634 0 0 0 69 0 0 0 25 0 4 0 602367319 294789120 4150 33554432000 4194304 4650419 140733436985600 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=287880 CPUtime=0.69 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 1698 0 0 0 69 0 0 0 25 0 4 0 602367319 294789120 4150 33554432000 4194304 4650419 140733436985600 18446744073709551615 4330666 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=287880 CPUtime=0.69 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 1287 0 0 0 69 0 0 0 25 0 4 0 602367319 294789120 4150 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287880

[startup+1.50021 s]
/proc/loadavg: 7.77 7.93 7.64 10/184 32107
/proc/meminfo: memFree=24561116/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=289000 CPUtime=5.97 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 10946 0 0 0 596 1 0 0 19 0 4 0 602367319 295936000 4969 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 72250 4969 391 112 0 67215 0
[pid=32103/tid=32104] ppid=32101 vsize=289000 CPUtime=1.49 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 2719 0 0 0 149 0 0 0 25 0 4 0 602367319 295936000 4969 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=289000 CPUtime=1.48 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 2739 0 0 0 148 0 0 0 25 0 4 0 602367319 295936000 4969 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=289000 CPUtime=1.48 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 2315 0 0 0 148 0 0 0 25 0 4 0 602367319 295936000 4969 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365203 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) 289000

[startup+3.10094 s]
/proc/loadavg: 7.87 7.95 7.65 10/184 32107
/proc/meminfo: memFree=24546388/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=295376 CPUtime=12.37 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 20856 0 0 0 1234 3 0 0 24 0 4 0 602367319 302465024 12834 33554432000 4194304 4650419 140733436985600 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 73844 12834 392 112 0 68809 0
[pid=32103/tid=32104] ppid=32101 vsize=295376 CPUtime=3.08 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 4586 0 0 0 308 0 0 0 25 0 4 0 602367319 302465024 12834 33554432000 4194304 4650419 140733436985600 18446744073709551615 4370637 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=295376 CPUtime=3.09 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 5850 0 0 0 308 1 0 0 25 0 4 0 602367319 302465024 12834 33554432000 4194304 4650419 140733436985600 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=295376 CPUtime=3.07 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 5485 0 0 0 307 0 0 0 25 0 4 0 602367319 302465024 12834 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 295376

[startup+6.30038 s]
/proc/loadavg: 7.87 7.95 7.65 9/184 32107
/proc/meminfo: memFree=24514868/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=294344 CPUtime=25.14 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 30053 0 0 0 2509 5 0 0 25 0 4 0 602367319 301408256 15821 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 73586 15821 392 112 0 68551 0
[pid=32103/tid=32104] ppid=32101 vsize=294344 CPUtime=6.29 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 7963 0 0 0 628 1 0 0 25 0 4 0 602367319 301408256 15821 33554432000 4194304 4650419 140733436985600 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=294344 CPUtime=6.29 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 7671 0 0 0 628 1 0 0 25 0 4 0 602367319 301408256 15821 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=294344 CPUtime=6.26 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 7641 0 0 0 625 1 0 0 25 0 4 0 602367319 301408256 15821 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 294344

[startup+12.7003 s]
/proc/loadavg: 7.96 7.97 7.66 9/184 32107
/proc/meminfo: memFree=24474992/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=314128 CPUtime=50.71 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 43588 0 0 0 5062 9 0 0 25 0 4 0 602367319 321667072 21343 33554432000 4194304 4650419 140733436985600 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 78532 21343 392 112 0 73497 0
[pid=32103/tid=32104] ppid=32101 vsize=314128 CPUtime=12.69 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 10443 0 0 0 1267 2 0 0 25 0 4 0 602367319 321667072 21343 33554432000 4194304 4650419 140733436985600 18446744073709551615 4438939 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=314128 CPUtime=12.69 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 11251 0 0 0 1267 2 0 0 25 0 4 0 602367319 321667072 21343 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=314128 CPUtime=12.62 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 11509 0 0 0 1260 2 0 0 25 0 4 0 602367319 321667072 21343 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363432 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) 314128

[startup+25.501 s]
/proc/loadavg: 7.97 7.97 7.66 9/184 32107
/proc/meminfo: memFree=24444232/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=327940 CPUtime=101.84 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 68463 0 0 0 10167 17 0 0 25 0 4 0 602367319 335810560 27229 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 81985 27229 392 112 0 76950 0
[pid=32103/tid=32104] ppid=32101 vsize=327940 CPUtime=25.49 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 16799 0 0 0 2545 4 0 0 25 0 4 0 602367319 335810560 27229 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=327940 CPUtime=25.49 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 18206 0 0 0 2545 4 0 0 25 0 4 0 602367319 335810560 27229 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=327940 CPUtime=25.35 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 18367 0 0 0 2531 4 0 0 25 0 4 0 602367319 335810560 27229 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363432 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) 327940

[startup+51.1005 s]
/proc/loadavg: 8.04 7.98 7.68 9/184 32108
/proc/meminfo: memFree=24415012/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=329408 CPUtime=204.1 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 101411 0 0 0 20383 27 0 0 25 0 4 0 602367319 337313792 35672 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 82352 35672 392 112 0 77317 0
[pid=32103/tid=32104] ppid=32101 vsize=329408 CPUtime=51.09 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 24992 0 0 0 5102 7 0 0 25 0 4 0 602367319 337313792 35672 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=329408 CPUtime=51.09 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 27215 0 0 0 5102 7 0 0 25 0 4 0 602367319 337313792 35672 33554432000 4194304 4650419 140733436985600 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=329408 CPUtime=50.81 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 27352 0 0 0 5074 7 0 0 25 0 4 0 602367319 337313792 35672 33554432000 4194304 4650419 140733436985600 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) 329408

[startup+102.301 s]
/proc/loadavg: 8.08 8.00 7.70 9/184 32110
/proc/meminfo: memFree=24381968/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=333820 CPUtime=408.64 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 152578 0 0 0 40819 45 0 0 25 0 4 0 602367319 341831680 37716 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 83455 37716 392 112 0 78420 0
[pid=32103/tid=32104] ppid=32101 vsize=333820 CPUtime=102.29 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 33633 0 0 0 10219 10 0 0 25 0 4 0 602367319 341831680 37716 33554432000 4194304 4650419 140733436985600 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=333820 CPUtime=102.29 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 42630 0 0 0 10216 13 0 0 25 0 4 0 602367319 341831680 37716 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=333820 CPUtime=101.73 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 43313 0 0 0 10161 12 0 0 25 0 4 0 602367319 341831680 37716 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365346 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) 333820

[startup+162.301 s]

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

[pid=32103] ppid=32101 vsize=513072 CPUtime=2565.72 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 440986 0 0 0 256388 184 0 0 25 0 4 0 602367319 525385728 81122 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 128268 81122 392 112 0 123233 0
[pid=32103/tid=32104] ppid=32101 vsize=513072 CPUtime=642.3 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 99214 0 0 0 64189 41 0 0 25 0 4 0 602367319 525385728 81122 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=513072 CPUtime=642.3 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 120086 0 0 0 64180 50 0 0 25 0 4 0 602367319 525385728 81122 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=513072 CPUtime=638.8 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 128179 0 0 0 63823 57 0 0 25 0 4 0 602367319 525385728 81122 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365323 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) 513072

[startup+702.301 s]
/proc/loadavg: 8.01 8.06 7.87 9/184 32135
/proc/meminfo: memFree=24067236/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=500952 CPUtime=2805.39 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 463392 0 0 0 280342 197 0 0 25 0 4 0 602367319 512974848 81275 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 125238 81275 392 112 0 120203 0
[pid=32103/tid=32104] ppid=32101 vsize=500952 CPUtime=702.29 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 102938 0 0 0 70186 43 0 0 25 0 4 0 602367319 512974848 81275 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=500952 CPUtime=702.3 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 124303 0 0 0 70177 53 0 0 25 0 4 0 602367319 512974848 81275 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=500952 CPUtime=698.47 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 137230 0 0 0 69785 62 0 0 25 0 4 0 602367319 512974848 81275 33554432000 4194304 4650419 140733436985600 18446744073709551615 4438399 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) 500952

[startup+762.301 s]
/proc/loadavg: 8.00 8.05 7.88 9/184 32136
/proc/meminfo: memFree=24046836/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=501128 CPUtime=3045.1 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 482833 0 0 0 304301 209 0 0 25 0 4 0 602367319 513155072 83433 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 125282 83433 392 112 0 120247 0
[pid=32103/tid=32104] ppid=32101 vsize=501128 CPUtime=762.3 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 103129 0 0 0 76187 43 0 0 25 0 4 0 602367319 513155072 83433 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=501128 CPUtime=762.31 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 131193 0 0 0 76174 57 0 0 25 0 4 0 602367319 513155072 83433 33554432000 4194304 4650419 140733436985600 18446744073709551615 4313327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=501128 CPUtime=758.15 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 142761 0 0 0 75750 65 0 0 25 0 4 0 602367319 513155072 83433 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 501128

[startup+822.301 s]
/proc/loadavg: 8.00 8.04 7.88 9/184 32138
/proc/meminfo: memFree=24044072/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=580344 CPUtime=3284.75 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 504831 0 0 0 328254 221 0 0 25 0 4 0 602367319 594272256 84839 33554432000 4194304 4650419 140733436985600 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 145086 84839 392 112 0 140051 0
[pid=32103/tid=32104] ppid=32101 vsize=580344 CPUtime=822.29 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 111334 0 0 0 82181 48 0 0 25 0 4 0 602367319 594272256 84839 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=580344 CPUtime=822.3 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 134241 0 0 0 82171 59 0 0 25 0 4 0 602367319 594272256 84839 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=580344 CPUtime=817.82 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 149875 0 0 0 81712 70 0 0 25 0 4 0 602367319 594272256 84839 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 580344

[startup+882.307 s]
/proc/loadavg: 8.07 8.04 7.89 9/184 32139
/proc/meminfo: memFree=24051972/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=580652 CPUtime=3524.45 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 528300 0 0 0 352212 233 0 0 25 0 4 0 602367319 594587648 86772 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 145163 86772 392 112 0 140128 0
[pid=32103/tid=32104] ppid=32101 vsize=580652 CPUtime=882.31 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 117230 0 0 0 88179 52 0 0 25 0 4 0 602367319 594587648 86772 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=580652 CPUtime=882.3 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 140629 0 0 0 88167 63 0 0 25 0 4 0 602367319 594587648 86772 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=580652 CPUtime=877.5 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 156735 0 0 0 87676 74 0 0 25 0 4 0 602367319 594587648 86772 33554432000 4194304 4650419 140733436985600 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 580652

[startup+942.301 s]
/proc/loadavg: 8.08 8.05 7.90 9/184 32141
/proc/meminfo: memFree=23997248/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=580848 CPUtime=3764.1 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 546399 0 0 0 376169 241 0 0 25 0 4 0 602367319 594788352 90514 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476175 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 145212 90514 392 112 0 140177 0
[pid=32103/tid=32104] ppid=32101 vsize=580848 CPUtime=942.3 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 120445 0 0 0 94176 54 0 0 25 0 4 0 602367319 594788352 90514 33554432000 4194304 4650419 140733436985600 18446744073709551615 4438235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=580848 CPUtime=942.3 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 145989 0 0 0 94162 68 0 0 25 0 4 0 602367319 594788352 90514 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=580848 CPUtime=937.17 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 165727 0 0 0 93642 75 0 0 25 0 4 0 602367319 594788352 90514 33554432000 4194304 4650419 140733436985600 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 580848

[startup+1002.3 s]
/proc/loadavg: 8.12 8.07 7.92 9/184 32143
/proc/meminfo: memFree=23993356/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=596788 CPUtime=4003.78 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 557061 0 0 0 400130 248 0 0 25 0 4 0 602367319 611110912 95276 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 149197 95276 392 112 0 144162 0
[pid=32103/tid=32104] ppid=32101 vsize=596788 CPUtime=1002.3 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 120838 0 0 0 100176 54 0 0 25 0 4 0 602367319 611110912 95276 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=596788 CPUtime=1002.31 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 150878 0 0 0 100158 73 0 0 25 0 4 0 602367319 611110912 95276 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=596788 CPUtime=996.84 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 167640 0 0 0 99608 76 0 0 25 0 4 0 602367319 611110912 95276 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 596788

[startup+1062.3 s]
/proc/loadavg: 8.13 8.08 7.93 9/184 32144
/proc/meminfo: memFree=23968120/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=596844 CPUtime=4243.46 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 562003 0 0 0 424094 252 0 0 25 0 4 0 602367319 611168256 95195 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 149211 95195 392 112 0 144176 0
[pid=32103/tid=32104] ppid=32101 vsize=596844 CPUtime=1062.3 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 120838 0 0 0 106176 54 0 0 25 0 4 0 602367319 611168256 95195 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=596844 CPUtime=1062.31 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 153884 0 0 0 106156 75 0 0 25 0 4 0 602367319 611168256 95195 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=596844 CPUtime=1056.52 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 169078 0 0 0 105576 76 0 0 25 0 4 0 602367319 611168256 95195 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 596844

[startup+1122.3 s]
/proc/loadavg: 8.09 8.08 7.93 9/184 32146
/proc/meminfo: memFree=23993124/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=553976 CPUtime=4483.14 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 569033 0 0 0 448057 257 0 0 25 0 4 0 602367319 567271424 90737 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 138494 90737 392 112 0 133459 0
[pid=32103/tid=32104] ppid=32101 vsize=553976 CPUtime=1122.31 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 120838 0 0 0 112177 54 0 0 25 0 4 0 602367319 567271424 90737 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=553976 CPUtime=1122.31 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 154134 0 0 0 112156 75 0 0 25 0 4 0 602367319 567271424 90737 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=553976 CPUtime=1116.19 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 173371 0 0 0 111539 80 0 0 25 0 4 0 602367319 567271424 90737 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 553976

[startup+1182.3 s]
/proc/loadavg: 6.90 7.80 7.85 5/175 32165
/proc/meminfo: memFree=24321668/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=577564 CPUtime=4722.82 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 584659 0 0 0 472013 269 0 0 25 0 4 0 602367319 591425536 88629 33554432000 4194304 4650419 140733436985600 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 144391 88629 392 112 0 139356 0
[pid=32103/tid=32104] ppid=32101 vsize=577564 CPUtime=1182.3 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 124430 0 0 0 118173 57 0 0 25 0 4 0 602367319 591425536 88629 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=577564 CPUtime=1182.3 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 154881 0 0 0 118155 75 0 0 25 0 4 0 602367319 591425536 88629 33554432000 4194304 4650419 140733436985600 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=577564 CPUtime=1175.87 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 179305 0 0 0 117503 84 0 0 25 0 4 0 602367319 591425536 88629 33554432000 4194304 4650419 140733436985600 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 577564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 6.07 7.56 7.76 5/175 32166
/proc/meminfo: memFree=24322772/32950940 swapFree=67111364/67111528
[pid=32103] ppid=32101 vsize=564272 CPUtime=4800.32 cores=1,3,5,7
/proc/32103/stat : 32103 (strangenight1-m) R 32101 32103 31608 0 -1 4202496 592397 0 0 0 479760 272 0 0 25 0 4 0 602367319 577814528 88085 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32103/statm: 141068 88085 392 112 0 136033 0
[pid=32103/tid=32104] ppid=32101 vsize=564272 CPUtime=1201.71 cores=1,3,5,7
/proc/32103/task/32104/stat : 32104 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 126883 0 0 0 120112 59 0 0 25 0 4 0 602367319 577814528 88085 33554432000 4194304 4650419 140733436985600 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32103/tid=32105] ppid=32101 vsize=564272 CPUtime=1201.71 cores=1,3,5,7
/proc/32103/task/32105/stat : 32105 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 157427 0 0 0 120095 76 0 0 25 0 4 0 602367319 577814528 88085 33554432000 4194304 4650419 140733436985600 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32103/tid=32106] ppid=32101 vsize=564272 CPUtime=1195.16 cores=1,3,5,7
/proc/32103/task/32106/stat : 32106 (strangenight1-m) R 32101 32103 31608 0 -1 4202560 180717 0 0 0 119431 85 0 0 25 0 4 0 602367319 577814528 88085 33554432000 4194304 4650419 140733436985600 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 564272

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.37
CPU user time (s): 4797.63
CPU system time (s): 2.74458
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 701296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.63
system time used= 2.74458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592398
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= 585
involuntary context switches= 32709

runsolver used 1.71474 second user time and 4.85926 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 01:56:05
IDJOB=3175371
IDBENCH=82989
IDSOLVER=1588
FILE ID=node117/3175371-1304121365
RUNJOBID= node117-1304120125-31953
PBS_JOBID= 13170714
Free space on /tmp= 71676 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175371-1304121365/watcher-3175371-1304121365 -o /tmp/evaluation-result-3175371-1304121365/solver-3175371-1304121365 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175371-1304121365.cnf

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

MD5SUM BENCH= 398f9c2cc63f6285faba700796fc9dcc
RANDOM SEED=561738616

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24573888 kB
Buffers:       1865908 kB
Cached:        5792996 kB
SwapCached:        160 kB
Active:         784976 kB
Inactive:      7034036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24573888 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            8628 kB
Writeback:           0 kB
AnonPages:      159552 kB
Mapped:          15508 kB
Slab:           495564 kB
PageTables:       4952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   423152 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= 71676 MiB
End job on node117 at 2011-04-30 02:16:09