Trace number 3368924

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
MD5SUMb7db695fcb9141eaff8463a25c8e621f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.032994
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3368924-1305406088.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.58/0.90	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.38
3.58/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.58/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.58/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.58/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3.58/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.58/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.00 s pos:      26 undec:       0 neg:      24
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.58/0.90	c  N dy     7      4026        50      4450         0      3489     31150     64516     15.50     16.43  --
3.58/0.90	c  N dy    16      8916        50      4450         0      5543     31150     95444     15.06     15.96  --
3.58/0.90	c  N dy    27     12950        50      4450         0      5361     31150     88033     15.09     16.89  --
3.58/0.90	c  N dy    36     17585        50      4450         0      9363     31150    159802     14.97     15.83  --
3.58/0.90	c  N dy    66     21670        50      4450         0      8065     31150    132941     15.29     17.44  --
3.58/1.00	c  F st    79     25000        50      4450         0     10981     31150    186263     15.35     14.87  --
4.00/1.10	c  N st    82     26190        50      4450         0      6101     31150     90275     15.35   no data  --
5.17/1.30	c  S st    85     30000        50      4450         0      9399     31150    149556     15.35   no data  --
5.17/1.30	c  S st    85     30505        50      4450         0      9854     31150    158342     15.35   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.39/2.12	c lits-rem:      1279  cl-subs:     1607  v-elim:      0  v-fix:    0  time:  3.48 s
9.16/2.34	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.87
9.16/2.34	c calculated reachability. Time: 0.00
9.16/2.34	c  N dy    85     30505        50      4450         0      8247     31150    130872     15.35   no data  --
9.96/2.55	c  N dy   108     34587        50      4450         0     11826     31150    197183     15.46     16.34  --
10.76/2.77	c  N dy   130     38674        50      4450         0      8579     31150    129170     15.56     16.93  --
11.96/3.05	c  N dy   142     44550        50      4450         0     13629     31150    219847     15.50     16.37  --
12.36/3.13	c  S st   153     45757        50      4450         0     14685     31150    239808     15.54     16.37  --
12.36/3.17	c  S st   153     46258        50      4450         0     15133     31150    248449     15.54   no data  --
12.36/3.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.36/3.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.36/3.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
12.36/3.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.36/3.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.36/3.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.36/3.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.17/4.40	c lits-rem:      1802  cl-subs:     2602  v-elim:      0  v-fix:    0  time:  4.85 s
17.57/4.40	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.57/4.41	c vivif2 --  cl tried    12531 cl shrink        0 lits rem          0 time: 0.01
18.75/4.70	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.17
18.75/4.70	c calculated reachability. Time: 0.00
18.75/4.70	c  N dy   153     46258        50      4450         0     12531     31150    201495     15.54   no data  --
19.94/5.01	c  N dy   169     51162        50      4450         0      9211     31150    132637     15.55     16.38  --
20.74/5.22	c  N dy   196     55187        50      4450         0     12724     31150    198598     15.64     16.86  --
21.56/5.47	c  N dy   214     59198        50      4450         0     16202     31150    262375     15.66     16.50  --
22.73/5.70	c  N dy   231     63270        50      4450         0     11194     31150    163223     15.68     17.48  --
23.53/5.93	c  N dy   242     67448        50      4450         0     14797     31150    228540     15.66     16.63  --
23.93/6.07	c  S st   252     69388        50      4450         0     16471     31150    259249     15.67     15.62  --
24.33/6.11	c  S st   252     69893        50      4450         0     16927     31150    267942     15.67   no data  --
24.33/6.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.33/6.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.33/6.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
24.33/6.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.33/6.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.33/6.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
24.33/6.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.53/7.41	c lits-rem:      1878  cl-subs:     2479  v-elim:      0  v-fix:    0  time:  5.12 s
29.53/7.41	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
29.53/7.41	c vivif2 --  cl tried    14448 cl shrink        0 lits rem          0 time: 0.01
30.76/7.75	c asymm  cl-useful: 0/4335/4450 lits-rem:0 time: 1.34
30.76/7.75	c calculated reachability. Time: 0.00
30.76/7.75	c  N dy   252     69893        50      4450         0     14448     31150    222573     15.67   no data  --
33.52/8.41	c  N dy   253     81308        50      4450         0     14959     31150    218497     15.44     16.28  --
34.74/8.79	c  N dy   266     86757        50      4450         0     19692     31150    304290     15.44     16.27  --
35.14/8.85	c  F st   270     87500        50      4450         0     20338     31150    316164     15.44   no data  --
36.31/9.14	c  N dy   276     92691        50      4450         0     14546     31150    209785     15.44   no data  --
37.91/9.54	c  N dy   305     98657        50      4450         0     19757     31150    306166     15.48     17.43  --
39.54/9.95	c  S st   311    104840        50      4450         0     13895     31150    189023     15.41     13.55  --
39.54/9.99	c  S st   311    105344        50      4450         0     14350     31150    197870     15.41   no data  --
39.54/9.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.54/9.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.54/9.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
39.90/10.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.90/10.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.90/10.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.90/10.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.52/10.96	c lits-rem:       678  cl-subs:     1133  v-elim:      0  v-fix:    0  time:  3.83 s
43.52/10.96	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.52/10.96	c vivif2 --  cl tried    13217 cl shrink        0 lits rem          0 time: 0.01
44.69/11.27	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.24
44.69/11.27	c calculated reachability. Time: 0.00
44.69/11.27	c  N dy   311    105344        50      4450         0     13217     31150    178992     15.41   no data  --
47.49/11.95	c  N dy   341    115105        50      4450         0     21660     31150    332509     15.41     16.27  --
49.89/12.50	c  N dy   358    122744        50      4450         0     16273     31150    224299     15.37     16.19  --
53.48/13.47	c  N dy   404    135896        50      4450         0     14715     31150    189952     15.39     16.32  --
56.28/14.16	c  N dy   453    144983        50      4450         0     22624     31150    336449     15.45     16.41  --
60.27/15.11	c  N dy   477    157198        50      4450         0     19316     31150    262268     15.38     16.27  --
60.27/15.18	c  S st   482    158018        50      4450         0     20023     31150    275288     15.38     14.34  --
60.66/15.23	c  S st   482    158521        50      4450         0     20465     31150    283763     15.38   no data  --
60.66/15.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.66/15.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.66/15.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.66/15.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.66/15.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.66/15.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.66/15.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
66.64/16.79	c lits-rem:      1206  cl-subs:     2413  v-elim:      0  v-fix:    0  time:  6.18 s
66.64/16.79	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
67.05/16.80	c vivif2 --  cl tried    18052 cl shrink        0 lits rem          0 time: 0.01
68.25/17.14	c asymm  cl-useful: 0/3778/4450 lits-rem:0 time: 1.39
68.25/17.15	c calculated reachability. Time: 0.00
68.25/17.15	c  N dy   482    158521        50      4450         0     18052     31150    244672     15.38   no data  --
71.85/18.02	c  N dy   512    168730        50      4450         0     26813     31150    400998     15.37     16.83  --
75.44/18.91	c  N dy   570    179557        50      4450         0     21715     31150    309805     15.40     18.12  --
79.82/20.07	c  N dy   586    194141        50      4450         0     18833     31150    244220     15.33     16.21  --
84.61/21.28	c  N dy   643    206820        50      4450         0     29779     31150    444907     15.36     16.26  --
89.80/22.55	c  N dy   704    220314        50      4450         0     25101     31150    352252     15.38     16.29  --
95.80/24.08	c  N dy   789    234423        50      4450         0     20054     31150    253075     15.44     16.27  --
96.99/24.39	c  S st   820    237782        50      4450         0     22980     31150    308696     15.46     15.45  --
97.39/24.46	c  S st   820    238287        50      4450         0     23418     31150    316958     15.46   no data  --
97.39/24.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
97.39/24.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.39/24.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
97.39/24.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.39/24.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.39/24.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
97.39/24.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.38/25.92	c lits-rem:      1303  cl-subs:     1599  v-elim:      0  v-fix:    0  time:  5.80 s
103.38/25.92	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
103.38/25.93	c vivif2 --  cl tried    21819 cl shrink        0 lits rem          0 time: 0.01
103.79/26.02	c asymm  cl-useful: 0/672/4450 lits-rem:0 time: 0.35
103.79/26.02	c calculated reachability. Time: 0.00
103.79/26.02	c  N dy   820    238287        50      4450         0     21819     31150    286147     15.46   no data  --
110.57/27.72	c  N dy   891    254007        50      4450         0     35405     31150    536525     15.50     16.39  --
116.56/29.20	c  N dy   927    270313        50      4450         0     31357     31150    443126     15.45     16.42  --
124.54/31.24	c  N dy   950    292127        50      4450         0     31073     31150    423530     15.36     16.22  --
130.93/32.90	c  F st  1010    306252        50      4450         0     23564     31150    291661     15.36     14.02  --
132.93/33.36	c  N dy  1016    311446        50      4450         0     28043     31150    375321     15.36   no data  --
143.31/35.96	c  N dy  1170    331411        50      4450         0     24705     31150    311284     15.44     17.38  --
153.31/38.48	c  N dy  1257    352160        50      4450         0     42570     31150    635692     15.45     16.29  --
155.68/39.02	c  S st  1263    357433        50      4450         0     25532     31150    314899     15.43     13.63  --
155.68/39.08	c  S st  1263    357936        50      4450         0     25975     31150    323539     15.43   no data  --
155.68/39.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
155.68/39.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.68/39.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
156.08/39.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.08/39.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.08/39.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
156.08/39.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
162.86/40.81	c lits-rem:       770  cl-subs:     1531  v-elim:      0  v-fix:    0  time:  6.81 s
162.86/40.81	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
162.86/40.81	c vivif2 --  cl tried    24444 cl shrink        0 lits rem          0 time: 0.02
164.06/41.15	c asymm  cl-useful: 0/3043/4450 lits-rem:0 time: 1.38
164.06/41.16	c calculated reachability. Time: 0.00
164.06/41.16	c  N dy  1263    357936        50      4450         0     24444     31150    298779     15.43   no data  --
176.03/44.18	c  N dy  1391    378032        50      4450         0     41901     31150    623699     15.48     16.91  --
187.62/47.06	c  N dy  1517    398129        50      4450         0     36948     31150    524221     15.52     18.11  --
198.39/49.73	c  N dy  1602    418219        50      4450         0     30966     31150    401848     15.54     16.93  --
210.39/52.73	c  N dy  1690    438776        50      4450         0     24561     31150    276289     15.55     16.39  --
219.94/55.11	c  N dy  1768    458807        50      4450         0     41804     31150    592330     15.56     17.63  --
231.54/58.04	c  N dy  1861    478853        50      4450         0     34101     31150    442621     15.58     19.22  --
243.10/60.92	c  N dy  1926    498994        50      4450         0     51550     31150    760530     15.58     16.42  --
252.69/63.35	c  N dy  1972    519026        50      4450         0     42740     31150    586876     15.56     17.36  --
262.67/65.89	c  S st  1995    536905        50      4450         0     31453     31150    376888     15.53   no data  --
263.09/65.98	c  S st  1995    537411        50      4450         0     31906     31150    385585     15.53   no data  --
263.09/65.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.09/65.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.09/65.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
263.09/66.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.09/66.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.09/66.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
263.09/66.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
270.66/67.89	c lits-rem:       811  cl-subs:     1921  v-elim:      0  v-fix:    0  time:  7.53 s
270.66/67.89	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
270.66/67.89	c vivif2 --  cl tried    29985 cl shrink        0 lits rem          0 time: 0.02
271.88/68.15	c asymm  cl-useful: 0/1407/4450 lits-rem:0 time: 1.01
271.88/68.15	c calculated reachability. Time: 0.00
271.88/68.15	c  N dy  1995    537411        50      4450         0     29985     31150    353671     15.53   no data  --
281.83/70.68	c  N dy  2039    557485        50      4450         0     47148     31150    660833     15.51     17.81  --
296.61/74.34	c  N dy  2156    581968        50      4450         0     40820     31150    543042     15.52     16.42  --
310.18/77.72	c  N dy  2233    602765        50      4450         0     30463     31150    347576     15.52     16.68  --
321.75/80.61	c  N dy  2308    623361        50      4450         0     48208     31150    673023     15.53     16.47  --
338.52/84.88	c  N dy  2450    648103        50      4450         0     40314     31150    519247     15.55     16.49  --
354.09/88.71	c  N dy  2555    668503        50      4450         0     57952     31150    848058     15.57     16.49  --
367.26/92.09	c  N dy  2676    688571        50      4450         0     45070     31150    605465     15.60     17.04  --
384.03/96.27	c  N dy  2756    708595        50      4450         0     31363     31150    342274     15.60     16.55  --
395.60/99.15	c  N dy  2827    728642        50      4450         0     48567     31150    654785     15.60     16.47  --
411.18/103.06	c  N dy  2879    749273        50      4450         0     34397     31150    390575     15.59     16.47  --
424.35/106.33	c  N dy  2985    769581        50      4450         0     51868     31150    714692     15.61     16.44  --
439.16/110.04	c  N dy  3039    789604        50      4450         0     36377     31150    421003     15.60     16.53  --
449.50/112.68	c  S st  3128    806116        50      4450         0     50669     31150    686957     15.61   no data  --
450.30/112.81	c  S st  3128    806618        50      4450         0     51119     31150    695816     15.61   no data  --
450.30/112.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
450.30/112.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
450.30/112.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
450.30/112.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
450.30/112.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
450.30/112.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
450.30/112.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
474.65/118.99	c lits-rem:      2263  cl-subs:     5425  v-elim:      0  v-fix:    0  time: 24.48 s
474.65/118.99	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
474.65/118.99	c vivif2 --  cl tried    45694 cl shrink        0 lits rem          0 time: 0.03
475.85/119.20	c asymm  cl-useful: 0/943/4450 lits-rem:0 time: 0.84
475.85/119.21	c calculated reachability. Time: 0.00
475.85/119.21	c  N dy  3128    806618        50      4450         0     45694     31150    596516     15.61   no data  --
491.02/123.01	c  N dy  3158    828806        50      4450         0     64535     31150    930164     15.58     16.44  --
504.62/126.43	c  N dy  3239    848814        50      4450         0     48676     31150    639547     15.59     17.38  --
518.20/129.85	c  N dy  3272    868907        50      4450         0     65858     31150    943332     15.56     17.61  --
532.14/133.31	c  N dy  3353    889078        50      4450         0     49027     31150    634837     15.57     16.41  --
547.31/137.14	c  N dy  3415    909113        50      4450         0     66191     31150    946675     15.56     16.99  --
560.88/140.57	c  N dy  3470    929349        50      4450         0     48411     31150    618375     15.56     16.39  --
575.28/144.14	c  N dy  3509    949414        50      4450         0     65614     31150    921316     15.54     17.87  --
591.61/148.20	c  N dy  3611    969435        50      4450         0     46899     31150    582505     15.55     17.76  --
608.78/152.50	c  N dy  3738    989541        50      4450         0     64141     31150    905472     15.57     16.39  --
623.58/156.27	c  N dy  3762   1011114        50      4450         0     45673     31150    542820     15.54     16.37  --
643.52/161.29	c  N dy  3821   1038666        50      4450         0     69198     31150    958647     15.52     16.35  --
658.30/164.97	c  N dy  3870   1059327        50      4450         0     49261     31150    605880     15.51     16.35  --
669.07/167.65	c  F st  3951   1071876        50      4450         0     60027     31150    807970     15.52     14.73  --
675.87/169.33	c  N dy  3967   1079358        50      4450         0     66409     31150    925787     15.52     16.87  --
696.61/174.55	c  N dy  4062   1102300        50      4450         0     47562     31150    565262     15.52     16.39  --
715.39/179.21	c  N dy  4205   1122334        50      4450         0     64914     31150    892740     15.54     17.92  --
738.13/184.98	c  N dy  4321   1144762        50      4450         0     44711     31150    512731     15.55     16.37  --
755.69/189.31	c  N dy  4418   1167737        50      4450         0     64395     31150    872033     15.55     16.37  --
779.25/195.26	c  N dy  4511   1187823        50      4450         0     41274     31150    444643     15.56     18.18  --
795.61/199.37	c  N dy  4580   1207997        50      4450         0     58594     31150    757718     15.55     16.39  --
798.41/200.02	c  S st  4593   1209928        50      4450         0     60260     31150    788925     15.55   no data  --
799.24/200.27	c  S st  4593   1210434        50      4450         0     60707     31150    797596     15.55   no data  --
799.24/200.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
799.24/200.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
799.60/200.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.14
799.60/200.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
799.60/200.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
799.60/200.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
799.60/200.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
864.28/216.51	c lits-rem:      2963  cl-subs:     7002  v-elim:      0  v-fix:    0  time: 64.58 s
864.28/216.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
864.28/216.52	c vivif2 --  cl tried    53705 cl shrink        0 lits rem          0 time: 0.04
865.87/216.91	c asymm  cl-useful: 0/635/4450 lits-rem:0 time: 1.55
865.87/216.91	c calculated reachability. Time: 0.00
865.87/216.91	c  N dy  4593   1210434        50      4450         0     53705     31150    676614     15.55   no data  --
887.42/222.37	c  N dy  4680   1231470        50      4450         0     71723     31150   1004631     15.55     16.46  --
907.00/227.29	c  N dy  4750   1251537        50      4450         0     48177     31150    559631     15.55     17.90  --
923.76/231.41	c  N dy  4831   1271564        50      4450         0     65413     31150    875795     15.55     16.40  --
944.51/236.65	c  N dy  4929   1291670        50      4450         0     82705     31150   1195137     15.56     16.38  --
960.88/240.79	c  N dy  5026   1311746        50      4450         0     58131     31150    744148     15.57     17.51  --
986.04/247.07	c  N dy  5109   1334656        50      4450         0     77822     31150   1106745     15.57     16.44  --
1011.98/253.57	c  N dy  5139   1361962        50      4450         0     58266     31150    716907     15.54     16.46  --
1041.52/260.90	c  N dy  5275   1384064        50      4450         0     77215     31150   1070726     15.55     16.42  --
1065.88/267.09	c  N dy  5329   1409896        50      4450         0     55536     31150    665789     15.54     16.39  --
1087.44/272.46	c  N dy  5477   1430062        50      4450         0     72882     31150    992980     15.55     16.41  --
1113.78/279.03	c  N dy  5601   1450080        50      4450         0     45605     31150    490317     15.57     16.85  --
1130.54/283.21	c  N dy  5727   1470118        50      4450         0     62927     31150    816780     15.58     17.44  --
1158.09/290.14	c  N dy  5877   1493656        50      4450         0     83158     31150   1197002     15.59     16.45  --
1181.27/295.94	c  N dy  5989   1513864        50      4450         0     55048     31150    658485     15.60     16.46  --
1200.81/300.83	c  N dy  6086   1533900        50      4450         0     72175     31150    973077     15.61     17.86  --
1227.15/307.42	c  N dy  6204   1553949        50      4450         0     89419     31150   1295960     15.62     17.00  --
1246.73/312.36	c  N dy  6303   1574386        50      4450         0     60637     31150    750409     15.62     16.45  --
1270.66/318.35	c  N dy  6448   1594825        50      4450         0     78270     31150   1084592     15.64     16.54  --
1298.60/325.30	c  N dy  6581   1614845        50      4450         0     48226     31150    517256     15.65     16.72  --
1315.37/329.55	c  N dy  6672   1634931        50      4450         0     65452     31150    836675     15.65     17.47  --
1348.14/337.77	c  N dy  6702   1670184        50      4450         0     95203     31150   1349342     15.61     16.52  --
1364.87/342.00	c  N dy  6739   1691729        50      4450         0     65687     31150    818341     15.60     16.47  --
1388.42/347.85	c  S st  6806   1710434        50      4450         0     81715     31150   1110429     15.60     14.09  --
1389.62/348.18	c  S st  6806   1710935        50      4450         0     82154     31150   1119004     15.60   no data  --
1389.62/348.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1389.62/348.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1390.02/348.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.20
1390.02/348.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1390.02/348.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1390.02/348.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1390.02/348.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1554.11/389.39	c lits-rem:      3976  cl-subs:    13297  v-elim:      0  v-fix:    0  time: 164.11 s
1554.11/389.39	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1554.52/389.41	c vivif2 --  cl tried    68857 cl shrink        0 lits rem          0 time: 0.06
1556.08/389.84	c asymm  cl-useful: 0/493/4450 lits-rem:0 time: 1.73
1556.08/389.84	c calculated reachability. Time: 0.00
1556.08/389.84	c  N dy  6806   1710935        50      4450         0     68857     31150    895659     15.60   no data  --
1586.03/397.34	c  N dy  6923   1731142        50      4450         0     86128     31150   1216969     15.61     16.48  --
1614.36/404.45	c  N dy  7032   1754603        50      4450         0     58551     31150    695943     15.61     16.49  --
1633.92/409.39	c  N dy  7117   1774672        50      4450         0     75663     31150   1008647     15.61     17.49  --
1660.27/415.98	c  N dy  7177   1795824        50      4450         0     93705     31150   1337005     15.61     16.48  --
1686.25/422.44	c  N dy  7288   1815857        50      4450         0     61830     31150    754883     15.61     16.70  --
1710.97/428.66	c  N dy  7402   1835858        50      4450         0     78972     31150   1074895     15.62     17.45  --
1734.91/434.66	c  N dy  7421   1858793        50      4450         0     98421     31150   1417414     15.60     16.60  --
1758.08/440.43	c  N dy  7582   1879851        50      4450         0     66399     31150    835446     15.62     16.58  --
1782.03/446.49	c  N dy  7703   1899869        50      4450         0     83582     31150   1159159     15.63     16.48  --
1813.96/454.42	c  N dy  7830   1919899        50      4450         0    100820     31150   1484129     15.64     17.50  --
1837.11/460.27	c  N dy  7921   1942898        50      4450         0     69199     31150    868892     15.64     16.48  --
1858.67/465.64	c  N dy  7981   1963548        50      4450         0     86704     31150   1182059     15.64     16.48  --
1883.03/471.70	c  N dy  8004   1983590        50      4450         0    103724     31150   1480830     15.62     16.62  --
1903.39/476.89	c  N dy  8087   2003595        50      4450         0     68839     31150    852816     15.62     16.59  --
1927.76/482.91	c  N dy  8155   2024240        50      4450         0     86417     31150   1174093     15.62     16.45  --
1960.47/491.16	c  N dy  8286   2044254        50      4450         0    103501     31150   1495926     15.63     17.68  --
1983.23/496.88	c  N dy  8391   2064345        50      4450         0     67765     31150    832730     15.64     17.16  --
2015.59/504.93	c  N dy  8483   2092965        50      4450         0     92160     31150   1273029     15.63     16.47  --
2059.09/515.82	c  N dy  8617   2125295        50      4450         0     66003     31150    783217     15.63     16.56  --
2083.02/521.85	c  N dy  8702   2146253        50      4450         0     83956     31150   1115997     15.64     16.48  --
2114.16/529.61	c  N dy  8726   2172931        50      4450         0    106459     31150   1503312     15.61     16.63  --
2145.70/537.56	c  N dy  8831   2203394        50      4450         0     78008     31150   1002139     15.61     16.53  --
2156.47/540.24	c  S st  8887   2210938        50      4450         0     84494     31150   1125706     15.62   no data  --
2157.27/540.48	c  S st  8887   2211440        50      4450         0     84929     31150   1134155     15.62   no data  --
2157.27/540.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2157.27/540.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2157.67/540.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
2157.67/540.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2157.67/540.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2157.67/540.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2157.67/540.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2311.77/579.13	c lits-rem:      4745  cl-subs:    10046  v-elim:      0  v-fix:    0  time: 153.99 s
2311.77/579.13	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2311.77/579.15	c vivif2 --  cl tried    74883 cl shrink        0 lits rem          0 time: 0.06
2313.37/579.59	c asymm  cl-useful: 0/471/4450 lits-rem:0 time: 1.76
2313.37/579.59	c calculated reachability. Time: 0.00
2313.37/579.59	c  N dy  8887   2211440        50      4450         0     74883     31150    956539     15.62   no data  --
2344.92/587.48	c  N dy  8959   2231475        50      4450         0     91957     31150   1265103     15.61     16.78  --
2387.61/598.17	c  N dy  9067   2251757        50      4450         0    109354     31150   1589572     15.62     16.46  --
2415.95/605.24	c  N dy  9212   2272780        50      4450         0     72610     31150    910423     15.63     16.51  --
2477.02/620.55	c  N dy  9321   2312100        50      4450         0    106028     31150   1514917     15.62     16.52  --
2512.95/629.51	c  N dy  9387   2338362        50      4450         0     72364     31150    880467     15.62     16.52  --
2536.91/635.51	c  N dy  9418   2358659        50      4450         0     89515     31150   1182925     15.61     16.48  --
2572.04/644.32	c  N dy  9484   2384143        50      4450         0    111223     31150   1578707     15.60     16.46  --
2595.98/650.37	c  N dy  9559   2404208        50      4450         0     71521     31150    861892     15.60     16.44  --
2621.16/656.61	c  N dy  9649   2424280        50      4450         0     88691     31150   1176602     15.61     17.74  --
2654.26/664.91	c  N dy  9754   2445225        50      4450         0    106650     31150   1512090     15.61     16.46  --
2682.63/672.09	c  N dy  9848   2465272        50      4450         0     65826     31150    751773     15.61     16.60  --
2709.39/678.79	c  N dy  9984   2486822        50      4450         0     84323     31150   1100783     15.62     16.53  --
2740.90/686.62	c  N dy 10113   2506870        50      4450         0    101596     31150   1426523     15.63     16.50  --
2780.01/696.40	c  N dy 10241   2526889        50      4450         0     59730     31150    631631     15.64     17.96  --
2803.17/702.28	c  N dy 10377   2547754        50      4450         0     77547     31150    966287     15.64     16.55  --
2827.95/708.45	c  N dy 10452   2567781        50      4450         0     94592     31150   1278366     15.64     17.02  --
2863.84/717.43	c  N dy 10566   2587821        50      4450         0    111757     31150   1599547     15.65     17.49  --
2900.18/726.55	c  N dy 10613   2618313        50      4450         0     77871     31150    937899     15.63     16.47  --
2928.95/733.78	c  N dy 10737   2638347        50      4450         0     95047     31150   1258889     15.64     17.17  --
2956.46/740.69	c  N dy 10782   2658404        50      4450         0    112035     31150   1564273     15.63     18.58  --
2986.79/748.26	c  N dy 10867   2678486        50      4450         0     68629     31150    785849     15.63     17.09  --
3013.14/754.88	c  N dy 11006   2698654        50      4450         0     85896     31150   1113302     15.64     16.47  --
3032.31/759.62	c  S st 11069   2711441        50      4450         0     96884     31150   1318928     15.64   no data  --
3033.51/759.94	c  S st 11069   2711945        50      4450         0     97332     31150   1327815     15.64   no data  --
3033.51/759.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3033.51/759.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3033.51/759.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
3033.92/760.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3033.92/760.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3033.92/760.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3033.92/760.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3590.78/899.56	c lits-rem:      6738  cl-subs:    11259  v-elim:      0  v-fix:    0  time: 556.86 s
3590.78/899.56	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
3590.78/899.58	c vivif2 --  cl tried    86073 cl shrink        0 lits rem          0 time: 0.08
3592.77/900.09	c asymm  cl-useful: 0/396/4450 lits-rem:0 time: 2.05
3593.17/900.10	c calculated reachability. Time: 0.00
3593.17/900.10	c  N dy 11069   2711945        50      4450         0     86073     31150   1118205     15.64   no data  --
3740.89/937.19	c  N dy 11150   2802540        50      4450         0    101581     31150   1315288     15.58     16.51  --
3794.36/950.57	c  N dy 11279   2824532        50      4450         0    120346     31150   1666232     15.59     16.48  --
3831.49/959.83	c  N dy 11395   2845501        50      4450         0     76942     31150    929073     15.59     16.42  --
3861.42/967.32	c  N dy 11432   2865699        50      4450         0     93980     31150   1229913     15.59     16.41  --
3926.49/983.68	c  N dy 11507   2903190        50      4450         0     63250     31150    664377     15.57     16.42  --
3958.42/991.62	c  N dy 11644   2926286        50      4450         0     82992     31150   1033955     15.58     16.51  --
3992.75/1000.29	c  N dy 11731   2946748        50      4450         0    100363     31150   1347242     15.58     16.43  --
4039.89/1012.04	c  N dy 11839   2969239        50      4450         0    119537     31150   1702986     15.58     16.43  --
4080.18/1022.18	c  N dy 11971   2989254        50      4450         0     73085     31150    838247     15.59     17.63  --
4123.69/1033.07	c  N dy 12027   3026551        50      4450         0    104471     31150   1379091     15.57     16.45  --
4166.01/1043.69	c  N dy 12200   3046605        50      4450         0    121718     31150   1710906     15.58     17.54  --
4213.12/1055.43	c  N dy 12335   3081747        50      4450         0     86936     31150   1069804     15.57     16.66  --
4245.87/1063.65	c  N dy 12473   3101765        50      4450         0    104086     31150   1392223     15.58     17.17  --
4283.77/1073.14	c  N dy 12603   3121801        50      4450         0    121229     31150   1713839     15.59     17.21  --
4323.29/1083.07	c  N dy 12768   3141851        50      4450         0     72872     31150    821734     15.59     17.45  --
4347.28/1089.05	c  N dy 12824   3161882        50      4450         0     89865     31150   1122885     15.59     17.67  --
4401.54/1102.64	c  N dy 12883   3204036        50      4450         0    125174     31150   1737063     15.57     16.44  --
4415.91/1106.21	c  S st 12909   3211945        50      4450         0    131886     31150   1858285     15.57   no data  --
4419.50/1107.11	c  S st 12909   3212448        50      4450         0     66220     31150    691192     15.57   no data  --
4419.50/1107.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4419.50/1107.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4419.50/1107.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
4419.50/1107.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4419.50/1107.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4419.50/1107.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4419.50/1107.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4463.41/1118.17	c lits-rem:        25  cl-subs:      251  v-elim:      0  v-fix:    0  time: 43.94 s
4463.41/1118.17	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
4463.41/1118.18	c vivif2 --  cl tried    65969 cl shrink        0 lits rem          0 time: 0.04
4464.61/1118.46	c asymm  cl-useful: 0/525/4450 lits-rem:0 time: 1.12
4464.61/1118.46	c calculated reachability. Time: 0.00
4464.61/1118.46	c  N dy 12909   3212448        50      4450         0     65969     31150    688473     15.57   no data  --
4488.96/1124.57	c  N dy 13031   3232455        50      4450         0     83096     31150   1007300     15.58     17.15  --
4521.69/1132.74	c  N dy 13167   3252490        50      4450         0    100181     31150   1329692     15.58     17.99  --
4560.02/1142.39	c  N dy 13288   3272540        50      4450         0    117304     31150   1650625     15.59     18.91  --
4613.11/1155.68	c  N dy 13439   3292621        50      4450         0     67281     31150    702049     15.59     17.33  --
4641.08/1162.66	c  N dy 13566   3312705        50      4450         0     84381     31150   1023613     15.60     17.83  --
4678.59/1172.06	c  N dy 13730   3332802        50      4450         0    101587     31150   1352542     15.61     16.63  --
4779.18/1197.26	c  N dy 13808   3412069        50      4450         0    100275     31150   1245354     15.56     16.42  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368924-1305406088/watcher-3368924-1305406088 -o /tmp/evaluation-result-3368924-1305406088/solver-3368924-1305406088 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368924-1305406088.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.81 5.41 6.28 5/253 13138
/proc/meminfo: memFree=21747936/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 652206713 52465664 352 33554432000 4194304 4650419 140733741794192 18446744073709551615 47201943189426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 12809 352 303 112 0 7774 0
[pid=13138/tid=13139] ppid=13136 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652206713 52465664 352 33554432000 4194304 4650419 140733741794192 18446744073709551615 47201943189424 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652206713 52465664 352 33554432000 4194304 4650419 140733741794192 18446744073709551615 47201943189416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652206713 52465664 352 33554432000 4194304 4650419 140733741794192 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0572881 s]
/proc/loadavg: 3.81 5.41 6.28 5/253 13138
/proc/meminfo: memFree=21747936/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=282092 CPUtime=0.21 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 1143 0 0 0 21 0 0 0 18 0 4 0 652206713 288862208 1058 33554432000 4194304 4650419 140733741794192 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 70523 1058 366 112 0 65488 0
[pid=13138/tid=13139] ppid=13136 vsize=282092 CPUtime=0.05 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 152 0 0 0 5 0 0 0 18 0 4 0 652206713 288862208 1058 33554432000 4194304 4650419 140733741794192 18446744073709551615 4370643 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=282092 CPUtime=0.05 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 170 0 0 0 5 0 0 0 18 0 4 0 652206713 288862208 1058 33554432000 4194304 4650419 140733741794192 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=282092 CPUtime=0.04 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 250 0 0 0 4 0 0 0 25 0 4 0 652206713 288862208 1058 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 282092

[startup+0.100279 s]
/proc/loadavg: 3.81 5.41 6.28 5/253 13138
/proc/meminfo: memFree=21747936/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=282092 CPUtime=0.38 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 1218 0 0 0 38 0 0 0 18 0 4 0 652206713 288862208 1133 33554432000 4194304 4650419 140733741794192 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 70523 1133 366 112 0 65488 0
[pid=13138/tid=13139] ppid=13136 vsize=282092 CPUtime=0.09 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 152 0 0 0 9 0 0 0 18 0 4 0 652206713 288862208 1133 33554432000 4194304 4650419 140733741794192 18446744073709551615 4536419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=282092 CPUtime=0.09 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 176 0 0 0 9 0 0 0 18 0 4 0 652206713 288862208 1133 33554432000 4194304 4650419 140733741794192 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=282092 CPUtime=0.09 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 314 0 0 0 9 0 0 0 25 0 4 0 652206713 288862208 1133 33554432000 4194304 4650419 140733741794192 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282092

[startup+0.300245 s]
/proc/loadavg: 3.81 5.41 6.28 5/253 13138
/proc/meminfo: memFree=21747936/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=285204 CPUtime=1.17 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 3342 0 0 0 117 0 0 0 18 0 4 0 652206713 292048896 2535 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 71301 2535 390 112 0 66266 0
[pid=13138/tid=13139] ppid=13136 vsize=285204 CPUtime=0.29 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 756 0 0 0 29 0 0 0 18 0 4 0 652206713 292048896 2535 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=285204 CPUtime=0.29 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 815 0 0 0 29 0 0 0 18 0 4 0 652206713 292048896 2535 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=285204 CPUtime=0.28 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 607 0 0 0 28 0 0 0 25 0 4 0 652206713 292048896 2535 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366879 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) 285204

[startup+0.700174 s]
/proc/loadavg: 3.81 5.41 6.28 5/253 13138
/proc/meminfo: memFree=21747936/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=286572 CPUtime=2.78 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 5389 0 0 0 277 1 0 0 18 0 4 0 652206713 293449728 3089 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 71643 3089 390 112 0 66608 0
[pid=13138/tid=13139] ppid=13136 vsize=286572 CPUtime=0.69 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 1108 0 0 0 69 0 0 0 18 0 4 0 652206713 293449728 3089 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=286572 CPUtime=0.69 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 1393 0 0 0 69 0 0 0 18 0 4 0 652206713 293449728 3089 33554432000 4194304 4650419 140733741794192 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=286572 CPUtime=0.68 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 1162 0 0 0 68 0 0 0 25 0 4 0 652206713 293449728 3089 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365361 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) 286572

[startup+1.50103 s]
/proc/loadavg: 3.81 5.41 6.28 10/257 13142
/proc/meminfo: memFree=21727320/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=287628 CPUtime=5.97 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 9299 0 0 0 596 1 0 0 20 0 4 0 652206713 294531072 4706 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 71907 4706 392 112 0 66872 0
[pid=13138/tid=13139] ppid=13136 vsize=287628 CPUtime=1.49 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 2020 0 0 0 149 0 0 0 19 0 4 0 652206713 294531072 4706 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=287628 CPUtime=1.48 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 2118 0 0 0 148 0 0 0 20 0 4 0 652206713 294531072 4706 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=287628 CPUtime=1.47 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 1904 0 0 0 147 0 0 0 25 0 4 0 652206713 294531072 4706 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364785 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) 287628

[startup+3.10074 s]
/proc/loadavg: 4.31 5.49 6.30 9/257 13142
/proc/meminfo: memFree=21694832/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=297880 CPUtime=12.36 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 14616 0 0 0 1234 2 0 0 25 0 4 0 652206713 305029120 9241 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 74470 9241 392 112 0 69435 0
[pid=13138/tid=13139] ppid=13136 vsize=297880 CPUtime=3.09 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 3098 0 0 0 309 0 0 0 25 0 4 0 652206713 305029120 9241 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=297880 CPUtime=3.09 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 3887 0 0 0 308 1 0 0 25 0 4 0 652206713 305029120 9241 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=297880 CPUtime=3.06 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 3934 0 0 0 306 0 0 0 25 0 4 0 652206713 305029120 9241 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366819 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) 297880

[startup+6.30116 s]
/proc/loadavg: 4.31 5.49 6.30 10/257 13143
/proc/meminfo: memFree=21662624/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=284888 CPUtime=25.13 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 21502 0 0 0 2509 4 0 0 25 0 4 0 652206713 291725312 11689 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 71222 11689 392 112 0 66187 0
[pid=13138/tid=13139] ppid=13136 vsize=284888 CPUtime=6.29 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 5005 0 0 0 629 0 0 0 25 0 4 0 652206713 291725312 11689 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=284888 CPUtime=6.29 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 5173 0 0 0 628 1 0 0 25 0 4 0 652206713 291725312 11689 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=284888 CPUtime=6.24 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 5760 0 0 0 623 1 0 0 25 0 4 0 652206713 291725312 11689 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 284888

[startup+12.701 s]
/proc/loadavg: 4.87 5.57 6.32 10/257 13143
/proc/meminfo: memFree=21619600/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=302960 CPUtime=50.69 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 30882 0 0 0 5062 7 0 0 25 0 4 0 652206713 310231040 15946 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 75740 15946 392 112 0 70705 0
[pid=13138/tid=13139] ppid=13136 vsize=302960 CPUtime=12.69 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 7717 0 0 0 1268 1 0 0 25 0 4 0 652206713 310231040 15946 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=302960 CPUtime=12.69 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 7933 0 0 0 1267 2 0 0 25 0 4 0 652206713 310231040 15946 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=302960 CPUtime=12.59 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 8513 0 0 0 1258 1 0 0 25 0 4 0 652206713 310231040 15946 33554432000 4194304 4650419 140733741794192 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 302960

[startup+25.5007 s]
/proc/loadavg: 5.35 5.65 6.34 10/257 13143
/proc/meminfo: memFree=21579800/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=310096 CPUtime=101.78 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 46205 0 0 0 10169 9 0 0 25 0 4 0 652206713 317538304 22452 33554432000 4194304 4650419 140733741794192 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 77524 22452 392 112 0 72489 0
[pid=13138/tid=13139] ppid=13136 vsize=310096 CPUtime=25.49 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 11640 0 0 0 2548 1 0 0 25 0 4 0 652206713 317538304 22452 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=310096 CPUtime=25.49 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 11863 0 0 0 2546 3 0 0 25 0 4 0 652206713 317538304 22452 33554432000 4194304 4650419 140733741794192 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=310096 CPUtime=25.28 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 12656 0 0 0 2526 2 0 0 25 0 4 0 652206713 317538304 22452 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 310096

[startup+51.101 s]
/proc/loadavg: 6.40 5.87 6.39 10/257 13144
/proc/meminfo: memFree=21556404/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=322332 CPUtime=203.99 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 69023 0 0 0 20382 17 0 0 25 0 4 0 652206713 330067968 22345 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 80583 22345 392 112 0 75548 0
[pid=13138/tid=13139] ppid=13136 vsize=322332 CPUtime=51.09 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 17339 0 0 0 5106 3 0 0 25 0 4 0 652206713 330067968 22345 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=322332 CPUtime=51.09 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 18287 0 0 0 5104 5 0 0 25 0 4 0 652206713 330067968 22345 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=322332 CPUtime=50.68 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 17893 0 0 0 5064 4 0 0 25 0 4 0 652206713 330067968 22345 33554432000 4194304 4650419 140733741794192 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 322332

[startup+102.31 s]
/proc/loadavg: 7.47 6.26 6.49 10/257 13145
/proc/meminfo: memFree=21505168/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=336672 CPUtime=408.41 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 107106 0 0 0 40812 29 0 0 25 0 4 0 652206713 344752128 27636 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13138/statm: 84168 27636 392 112 0 79133 0
[pid=13138/tid=13139] ppid=13136 vsize=336672 CPUtime=102.3 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 26562 0 0 0 10224 6 0 0 25 0 4 0 652206713 344752128 27636 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=336672 CPUtime=102.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 27855 0 0 0 10223 7 0 0 25 0 4 0 652206713 344752128 27636 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=336672 CPUtime=101.49 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 27059 0 0 0 10141 8 0 0 25 0 4 0 652206713 344752128 27636 33554432000 4194304 4650419 140733741794192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 336672

[startup+162.301 s]

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

[pid=13138] ppid=13136 vsize=369332 CPUtime=2803.57 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 332136 0 0 0 280237 120 0 0 25 0 4 0 652206713 378195968 57925 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 92333 57925 392 112 0 87298 0
[pid=13138/tid=13139] ppid=13136 vsize=369332 CPUtime=702.31 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 75017 0 0 0 70204 27 0 0 25 0 4 0 652206713 378195968 57925 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=369332 CPUtime=702.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 88392 0 0 0 70198 32 0 0 25 0 4 0 652206713 378195968 57925 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=369332 CPUtime=699.1 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 77482 0 0 0 69881 29 0 0 25 0 4 0 652206713 378195968 57925 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.57
Current children cumulated vsize (KiB) 369332

[startup+762.31 s]
/proc/loadavg: 8.23 7.99 7.35 9/257 13163
/proc/meminfo: memFree=21204352/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=393996 CPUtime=3043.12 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 352227 0 0 0 304182 130 0 0 25 0 4 0 652206713 403451904 59139 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 98499 59139 392 112 0 93464 0
[pid=13138/tid=13139] ppid=13136 vsize=393996 CPUtime=762.32 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 77709 0 0 0 76203 29 0 0 25 0 4 0 652206713 403451904 59139 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=393996 CPUtime=762.31 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 92934 0 0 0 76196 35 0 0 25 0 4 0 652206713 403451904 59139 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=393996 CPUtime=759.11 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 83322 0 0 0 75879 32 0 0 25 0 4 0 652206713 403451904 59139 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.12
Current children cumulated vsize (KiB) 393996

[startup+822.301 s]
/proc/loadavg: 8.16 8.02 7.40 10/257 13173
/proc/meminfo: memFree=21155756/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=465264 CPUtime=3282.6 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 370497 0 0 0 328124 136 0 0 25 0 4 0 652206713 476430336 69781 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 116316 69781 392 112 0 111281 0
[pid=13138/tid=13139] ppid=13136 vsize=465264 CPUtime=822.31 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 81811 0 0 0 82200 31 0 0 25 0 4 0 652206713 476430336 69781 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=465264 CPUtime=822.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 100317 0 0 0 82192 38 0 0 25 0 4 0 652206713 476430336 69781 33554432000 4194304 4650419 140733741794192 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=465264 CPUtime=819.11 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 85143 0 0 0 81878 33 0 0 25 0 4 0 652206713 476430336 69781 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.6
Current children cumulated vsize (KiB) 465264

[startup+882.301 s]
/proc/loadavg: 8.28 8.07 7.45 10/257 13175
/proc/meminfo: memFree=21135016/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=465264 CPUtime=3522.11 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 378090 0 0 0 352073 138 0 0 25 0 4 0 652206713 476430336 70021 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 116316 70021 392 112 0 111281 0
[pid=13138/tid=13139] ppid=13136 vsize=465264 CPUtime=882.3 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 82080 0 0 0 88199 31 0 0 25 0 4 0 652206713 476430336 70021 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=465264 CPUtime=882.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 100317 0 0 0 88192 38 0 0 25 0 4 0 652206713 476430336 70021 33554432000 4194304 4650419 140733741794192 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=465264 CPUtime=879.11 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 85303 0 0 0 87878 33 0 0 25 0 4 0 652206713 476430336 70021 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3522.11
Current children cumulated vsize (KiB) 465264

[startup+942.3 s]
/proc/loadavg: 8.14 8.07 7.49 11/257 13176
/proc/meminfo: memFree=21133256/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=461252 CPUtime=3761.63 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 386447 0 0 0 376021 142 0 0 25 0 4 0 652206713 472322048 70164 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 115313 70164 392 112 0 110278 0
[pid=13138/tid=13139] ppid=13136 vsize=461252 CPUtime=942.31 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 82080 0 0 0 94200 31 0 0 25 0 4 0 652206713 472322048 70164 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=461252 CPUtime=942.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 104038 0 0 0 94192 38 0 0 25 0 4 0 652206713 472322048 70164 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=461252 CPUtime=939.1 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 86002 0 0 0 93877 33 0 0 25 0 4 0 652206713 472322048 70164 33554432000 4194304 4650419 140733741794192 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.63
Current children cumulated vsize (KiB) 461252

[startup+1002.3 s]
/proc/loadavg: 8.43 8.16 7.55 10/257 13181
/proc/meminfo: memFree=21115308/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=526788 CPUtime=4001.13 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 403874 0 0 0 399967 146 0 0 25 0 4 0 652206713 539430912 76232 33554432000 4194304 4650419 140733741794192 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 131697 76232 392 112 0 126662 0
[pid=13138/tid=13139] ppid=13136 vsize=526788 CPUtime=1002.31 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 84260 0 0 0 100199 32 0 0 25 0 4 0 652206713 539430912 76232 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=526788 CPUtime=1002.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 114747 0 0 0 100191 39 0 0 25 0 4 0 652206713 539430912 76232 33554432000 4194304 4650419 140733741794192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=526788 CPUtime=999.11 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 89109 0 0 0 99876 35 0 0 25 0 4 0 652206713 539430912 76232 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4001.13
Current children cumulated vsize (KiB) 526788

[startup+1062.3 s]
/proc/loadavg: 8.23 8.15 7.58 10/257 13183
/proc/meminfo: memFree=21127492/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=551820 CPUtime=4240.65 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 415066 0 0 0 423913 152 0 0 25 0 4 0 652206713 565063680 72430 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 137955 72430 392 112 0 132920 0
[pid=13138/tid=13139] ppid=13136 vsize=551820 CPUtime=1062.31 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 84968 0 0 0 106198 33 0 0 25 0 4 0 652206713 565063680 72430 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=551820 CPUtime=1062.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 120595 0 0 0 106189 41 0 0 25 0 4 0 652206713 565063680 72430 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=551820 CPUtime=1059.12 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 91915 0 0 0 105874 38 0 0 25 0 4 0 652206713 565063680 72430 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.65
Current children cumulated vsize (KiB) 551820

[startup+1122.3 s]
/proc/loadavg: 8.11 8.13 7.61 10/257 13184
/proc/meminfo: memFree=21107504/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=552356 CPUtime=4480.17 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 431284 0 0 0 447857 160 0 0 25 0 4 0 652206713 565612544 73822 33554432000 4194304 4650419 140733741794192 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 138089 73822 392 112 0 133054 0
[pid=13138/tid=13139] ppid=13136 vsize=552356 CPUtime=1122.32 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 86779 0 0 0 112198 34 0 0 25 0 4 0 652206713 565612544 73822 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=552356 CPUtime=1122.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 125388 0 0 0 112187 43 0 0 25 0 4 0 652206713 565612544 73822 33554432000 4194304 4650419 140733741794192 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=552356 CPUtime=1119.12 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 96434 0 0 0 111871 41 0 0 25 0 4 0 652206713 565612544 73822 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4480.17
Current children cumulated vsize (KiB) 552356

[startup+1182.3 s]
/proc/loadavg: 8.19 8.14 7.65 10/257 13186
/proc/meminfo: memFree=21104004/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=552480 CPUtime=4719.7 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 443959 0 0 0 471802 168 0 0 25 0 4 0 652206713 565739520 73590 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 138120 73590 392 112 0 133085 0
[pid=13138/tid=13139] ppid=13136 vsize=552480 CPUtime=1182.31 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 89467 0 0 0 118196 35 0 0 25 0 4 0 652206713 565739520 73590 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=552480 CPUtime=1182.3 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 129998 0 0 0 118184 46 0 0 25 0 4 0 652206713 565739520 73590 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=552480 CPUtime=1179.11 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 98159 0 0 0 117870 41 0 0 25 0 4 0 652206713 565739520 73590 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.7
Current children cumulated vsize (KiB) 552480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.20 8.14 7.66 9/257 13186
/proc/meminfo: memFree=21097668/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=565312 CPUtime=4800.36 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 450117 0 0 0 479866 170 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 141328 74780 392 112 0 136293 0
[pid=13138/tid=13139] ppid=13136 vsize=565312 CPUtime=1202.52 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 89607 0 0 0 120217 35 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=565312 CPUtime=1202.52 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 132002 0 0 0 120205 47 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4519998 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=565312 CPUtime=1199.32 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 100044 0 0 0 119890 42 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 565312

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

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

[startup+1202.5 s]
/proc/loadavg: 8.20 8.14 7.66 9/257 13186
/proc/meminfo: memFree=21097668/32951124 swapFree=67056788/67111528
[pid=13138] ppid=13136 vsize=565312 CPUtime=4800.36 cores=1,3,5,7
/proc/13138/stat : 13138 (strangenight1-m) R 13136 13138 12464 0 -1 4202496 450117 0 0 0 479866 170 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/13138/statm: 141328 74780 392 112 0 136293 0
[pid=13138/tid=13139] ppid=13136 vsize=565312 CPUtime=1202.52 cores=1,3,5,7
/proc/13138/task/13139/stat : 13139 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 89607 0 0 0 120217 35 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13138/tid=13140] ppid=13136 vsize=565312 CPUtime=1202.52 cores=1,3,5,7
/proc/13138/task/13140/stat : 13140 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 132002 0 0 0 120205 47 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4519998 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13138/tid=13141] ppid=13136 vsize=565312 CPUtime=1199.32 cores=1,3,5,7
/proc/13138/task/13141/stat : 13141 (strangenight1-m) R 13136 13138 12464 0 -1 4202560 100044 0 0 0 119890 42 0 0 25 0 4 0 652206713 578879488 74780 33554432000 4194304 4650419 140733741794192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 565312

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.53
CPU time (s): 4800.41
CPU user time (s): 4798.69
CPU system time (s): 1.71774
CPU usage (%): 399.193
Max. virtual memory (cumulated for all children) (KiB): 565312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.69
system time used= 1.71774
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450117
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= 287
involuntary context switches= 21474

runsolver used 2.71559 second user time and 7.06992 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-14 22:48:08
IDJOB=3368924
IDBENCH=82933
IDSOLVER=1846
FILE ID=node133/3368924-1305406088
RUNJOBID= node133-1305406088-13116
PBS_JOBID= 13324488
Free space on /tmp= 73648 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368924-1305406088/watcher-3368924-1305406088 -o /tmp/evaluation-result-3368924-1305406088/solver-3368924-1305406088 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368924-1305406088.cnf

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

MD5SUM BENCH= b7db695fcb9141eaff8463a25c8e621f
RANDOM SEED=1644333446

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21748216 kB
Buffers:        274720 kB
Cached:        3220136 kB
SwapCached:       8724 kB
Active:        8504528 kB
Inactive:      2418560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21748216 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:           12536 kB
Writeback:           0 kB
AnonPages:     7425252 kB
Mapped:          20944 kB
Slab:           194820 kB
PageTables:      23940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19284144 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73640 MiB
End job on node133 at 2011-05-14 23:08:13