Trace number 3175303

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.09 1202.83

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf
MD5SUMf10effcfe58940a6abd6aa73030d7c70
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.099984
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

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-3175303-1304109847.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.38/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.54
0.38/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.38/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.38/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.38/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.17	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.38/0.17	c calculated reachability. Time: 0.00
0.38/0.17	c Calc default polars -  time:   0.00 s pos:      37 undec:       0 neg:      33
0.38/0.17	c =========================================================================================
0.38/0.17	c types(t): F = full restart, N = normal restart
0.38/0.17	c types(t): S = simplification begin/end, E = solution found
0.38/0.17	c restart types(rt): st = static, dy = dynamic
0.38/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.17	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
1.17/0.34	c  N dy    10      5914        70      6230         0      3093     43610     67786     20.80     21.96  --
2.38/0.66	c  N dy    20     14501        70      6230         0      6985     43610    150151     20.44     21.65  --
3.57/0.99	c  N dy    29     22822        70      6230         0      9392     43610    194650     20.07     21.23  --
4.39/1.10	c  F st    42     25000        70      6230         0     11374     43610    242424     20.16   no data  --
4.76/1.20	c  N st    46     27035        70      6230         0      7068     43610    131320     20.16   no data  --
5.16/1.33	c  S st    48     30000        70      6230         0      9762     43610    197210     20.16   no data  --
5.16/1.36	c  S st    48     30503        70      6230         0     10237     43610    208970     20.16   no data  --
5.16/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.16/1.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.16/1.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.16/1.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.55/2.46	c lits-rem:      1449  cl-subs:      782  v-elim:      0  v-fix:    0  time:  4.32 s
10.76/2.78	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.28
10.76/2.78	c calculated reachability. Time: 0.00
10.76/2.78	c  N dy    48     30503        70      6230         0      9455     43610    187445     20.16   no data  --
11.96/3.02	c  N dy    60     34523        70      6230         0     13079     43610    273269     20.15     22.83  --
12.77/3.26	c  N dy    92     38889        70      6230         0      9913     43610    186550     20.37     21.47  --
14.36/3.66	c  N dy   109     45754        70      6230         0     16132     43610    335053     20.31     17.52  --
14.36/3.66	c  S st   109     45754        70      6230         0     16132     43610    335053     20.31     17.52  --
14.76/3.71	c  S st   109     46259        70      6230         0      8517     43610    139607     20.31   no data  --
14.76/3.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.76/3.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
14.76/3.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
14.76/3.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.58/4.48	c lits-rem:       168  cl-subs:       65  v-elim:      0  v-fix:    0  time:  3.07 s
17.58/4.48	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.58/4.49	c vivif2 --  cl tried     8452 cl shrink        0 lits rem          0 time: 0.00
18.73/4.75	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.99
19.33/4.97	c calculated reachability. Time: 0.00
19.33/4.97	c  N dy   109     46259        70      6230         0      8452     43610    137540     20.31   no data  --
19.63/5.00	c  N dy   113     51757        70      6230         0     13412     43610    254521     20.19     21.50  --
20.27/5.23	c  N dy   122     55822        70      6230         0     17112     43610    342310     20.19     22.95  --
20.95/5.48	c  N dy   153     59867        70      6230         0     11798     43610    209003     20.32     23.37  --
21.96/5.74	c  N dy   180     64028        70      6230         0     15564     43610    300470     20.41     21.52  --
22.99/6.01	c  N dy   199     68136        70      6230         0     19303     43610    391515     20.46     21.55  --
23.34/6.11	c  S st   205     69388        70      6230         0     10464     43610    161566     20.47     20.03  --
23.34/6.15	c  S st   205     69895        70      6230         0     10928     43610    173243     20.47   no data  --
23.34/6.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.34/6.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.34/6.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
23.34/6.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.34/6.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.34/6.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.34/6.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.35/7.00	c lits-rem:       243  cl-subs:      170  v-elim:      0  v-fix:    0  time:  2.63 s
26.35/7.00	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
26.35/7.00	c vivif2 --  cl tried    10758 cl shrink        0 lits rem          0 time: 0.00
27.60/7.47	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.46
27.89/7.57	c calculated reachability. Time: 0.00
27.89/7.57	c  N dy   205     69895        70      6230         0     10758     43610    168741     20.47   no data  --
29.39/8.08	c  N dy   223     75438        70      6230         0     15777     43610    289729     20.46     21.54  --
31.45/8.70	c  N dy   241     85049        70      6230         0     13560     43610    225205     20.39     21.51  --
32.27/8.84	c  F st   251     87500        70      6230         0     15817     43610    278959     20.39     19.12  --
33.04/9.05	c  N st   256     90797        70      6230         0     18812     43610    352106     20.39   no data  --
35.85/9.71	c  N dy   266    101186        70      6230         0     16421     43610    276147     20.26     21.59  --
37.03/10.00	c  S st   300    104844        70      6230         0     19749     43610    357531     20.33   no data  --
37.03/10.05	c  S st   300    105347        70      6230         0     20221     43610    369188     20.33   no data  --
37.03/10.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.03/10.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.03/10.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
37.03/10.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.03/10.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.03/10.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
37.03/10.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.82/11.70	c lits-rem:      1732  cl-subs:     2120  v-elim:      0  v-fix:    0  time:  6.49 s
43.82/11.70	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
43.82/11.70	c vivif2 --  cl tried    18101 cl shrink        0 lits rem          0 time: 0.01
45.04/12.07	c asymm  cl-useful: 0/4879/6230 lits-rem:0 time: 1.45
45.04/12.07	c calculated reachability. Time: 0.00
45.04/12.07	c  N dy   300    105347        70      6230         0     18101     43610    318784     20.33   no data  --
47.41/12.64	c  N dy   327    112524        70      6230         0     24647     43610    476117     20.36     21.48  --
49.43/13.16	c  N dy   364    119748        70      6230         0     18660     43610    323469     20.41     22.57  --
52.61/13.92	c  N dy   402    128483        70      6230         0     26597     43610    515675     20.47     21.66  --
56.99/15.01	c  N dy   415    143622        70      6230         0     26577     43610    490913     20.34     21.76  --
59.40/15.66	c  N dy   430    152879        70      6230         0     20532     43610    341423     20.31     21.42  --
61.00/16.09	c  S st   458    158021        70      6230         0     25209     43610    454165     20.34     20.08  --
61.40/16.15	c  S st   458    158524        70      6230         0     25677     43610    465481     20.34   no data  --
61.40/16.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
61.40/16.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.40/16.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
61.40/16.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.40/16.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.40/16.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
61.40/16.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.18/18.32	c lits-rem:      2080  cl-subs:     2441  v-elim:      0  v-fix:    0  time:  8.56 s
70.18/18.32	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
70.18/18.33	c vivif2 --  cl tried    23236 cl shrink        0 lits rem          0 time: 0.02
70.98/18.51	c asymm  cl-useful: 0/1351/6230 lits-rem:0 time: 0.71
70.98/18.51	c calculated reachability. Time: 0.00
70.98/18.51	c  N dy   458    158524        70      6230         0     23236     43610    404287     20.34   no data  --
76.57/19.93	c  N dy   490    174698        70      6230         0     22453     43610    369447     20.28     21.36  --
80.96/21.06	c  N dy   543    185916        70      6230         0     16480     43610    221576     20.32     21.39  --
88.97/23.09	c  N dy   610    210514        70      6230         0     21516     43610    329047     20.30     21.41  --
94.54/24.48	c  N dy   666    224137        70      6230         0     33900     43610    629468     20.33     21.47  --
100.13/25.84	c  S st   720    237787        70      6230         0     28191     43610    476020     20.35     18.32  --
100.53/25.92	c  S st   720    238290        70      6230         0     28661     43610    487422     20.35   no data  --
100.53/25.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
100.53/25.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.53/25.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
100.53/25.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.53/25.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.53/25.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
100.53/25.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
109.31/28.16	c lits-rem:      2216  cl-subs:     2388  v-elim:      0  v-fix:    0  time:  8.84 s
109.31/28.16	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
109.31/28.17	c vivif2 --  cl tried    26273 cl shrink        0 lits rem          0 time: 0.02
110.93/28.55	c asymm  cl-useful: 0/3657/6230 lits-rem:0 time: 1.53
110.93/28.56	c calculated reachability. Time: 0.00
110.93/28.56	c  N dy   720    238290        70      6230         0     26273     43610    428295     20.35   no data  --
118.09/30.30	c  N dy   783    254174        70      6230         0     21768     43610    306708     20.38     21.46  --
126.87/32.55	c  N dy   820    278851        70      6230         0     24199     43610    350430     20.30     21.39  --
137.68/35.25	c  F st   891    306251        70      6230         0     28101     43610    432070     20.26     18.16  --
137.68/35.25	c  N st   891    306251        70      6230         0     28101     43610    432070     20.26     18.16  --
159.24/40.66	c  N dy   949    357438        70      6230         0     29965     43610    450248     20.08     16.49  --
159.24/40.66	c  S st   949    357438        70      6230         0     29965     43610    450248     20.08     16.49  --
159.64/40.74	c  S st   949    357944        70      6230         0     30430     43610    461820     20.08   no data  --
159.64/40.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
159.64/40.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.64/40.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
159.64/40.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
159.64/40.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
159.64/40.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
159.64/40.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
168.02/42.88	c lits-rem:      1609  cl-subs:     2410  v-elim:      0  v-fix:    0  time:  8.44 s
168.02/42.89	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
168.02/42.89	c vivif2 --  cl tried    28020 cl shrink        0 lits rem          0 time: 0.02
169.60/43.23	c asymm  cl-useful: 0/2573/6230 lits-rem:0 time: 1.38
169.60/43.24	c calculated reachability. Time: 0.00
169.60/43.24	c  N dy   949    357944        70      6230         0     28020     43610    409940     20.08   no data  --
181.61/46.20	c  N dy  1112    378019        70      6230         0     46250     43610    857500     20.18     21.52  --
193.15/49.13	c  N dy  1232    398082        70      6230         0     41128     43610    715759     20.23     21.75  --
205.14/52.15	c  N dy  1299    421576        70      6230         0     37982     43610    619580     20.23     21.36  --
217.12/55.16	c  N dy  1402    442139        70      6230         0     31372     43610    450711     20.27     21.51  --
228.71/58.04	c  N dy  1500    462519        70      6230         0     49808     43610    896056     20.30     21.39  --
239.88/60.83	c  N dy  1549    485926        70      6230         0     44609     43610    749609     20.28     21.38  --
249.86/63.36	c  N dy  1587    505943        70      6230         0     35549     43610    520836     20.24     22.83  --
263.84/66.83	c  N dy  1745    526467        70      6230         0     54136     43610    976443     20.31     21.43  --
269.45/68.22	c  S st  1789    536916        70      6230         0     35680     43610    517275     20.32   no data  --
269.82/68.31	c  S st  1789    537417        70      6230         0     36148     43610    528842     20.32   no data  --
269.82/68.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
269.82/68.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
269.82/68.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
269.82/68.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
269.82/68.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.82/68.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
269.82/68.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
280.61/71.06	c lits-rem:      1377  cl-subs:     1725  v-elim:      0  v-fix:    0  time: 10.87 s
280.61/71.06	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
280.61/71.07	c vivif2 --  cl tried    34423 cl shrink        0 lits rem          0 time: 0.02
281.40/71.27	c asymm  cl-useful: 0/1535/6230 lits-rem:0 time: 0.78
281.40/71.27	c calculated reachability. Time: 0.00
281.40/71.27	c  N dy  1789    537417        70      6230         0     34423     43610    484701     20.32   no data  --
294.18/74.44	c  N dy  1895    557518        70      6230         0     52630     43610    924624     20.35     21.53  --
305.36/77.22	c  N dy  1962    577537        70      6230         0     41923     43610    653953     20.36     21.54  --
318.95/80.62	c  N dy  2044    597562        70      6230         0     30212     43610    359620     20.37     22.77  --
331.72/83.82	c  N dy  2183    619375        70      6230         0     49937     43610    841063     20.42     21.50  --
344.90/87.17	c  N dy  2270    639544        70      6230         0     37522     43610    522739     20.43     21.52  --
360.07/90.92	c  N dy  2379    660848        70      6230         0     56805     43610    992380     20.46     21.63  --
372.85/94.16	c  N dy  2462    680983        70      6230         0     43332     43610    649134     20.48     21.60  --
388.05/97.97	c  N dy  2568    700993        70      6230         0     61442     43610   1090121     20.50     21.69  --
417.17/105.26	c  N dy  2641    743907        70      6230         0     34001     43610    394958     20.45     21.64  --
432.35/109.04	c  N dy  2723    769270        70      6230         0     56855     43610    942634     20.45     21.71  --
446.72/112.62	c  N dy  2793    789777        70      6230         0     41148     43610    552693     20.46     21.58  --
456.30/115.07	c  S st  2839    806127        70      6230         0     55874     43610    902873     20.45   no data  --
457.10/115.23	c  S st  2839    806631        70      6230         0     56345     43610    914602     20.45   no data  --
457.10/115.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.10/115.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.10/115.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.09
457.10/115.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
457.10/115.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.10/115.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
457.10/115.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
493.84/124.44	c lits-rem:      2370  cl-subs:     5805  v-elim:      0  v-fix:    0  time: 36.53 s
493.84/124.44	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
493.84/124.45	c vivif2 --  cl tried    50540 cl shrink        0 lits rem          0 time: 0.04
495.03/124.76	c asymm  cl-useful: 0/970/6230 lits-rem:0 time: 1.26
495.03/124.76	c calculated reachability. Time: 0.00
495.03/124.76	c  N dy  2839    806631        70      6230         0     50540     43610    776787     20.45   no data  --
515.80/129.91	c  N dy  2931    833519        70      6230         0     39912     43610    510655     20.45     21.56  --
528.20/133.08	c  N dy  2962    853643        70      6230         0     57963     43610    943083     20.43     21.55  --
545.35/137.36	c  N dy  3059    873671        70      6230         0     40189     43610    506404     20.45     21.82  --
559.35/140.81	c  N dy  3171    893744        70      6230         0     58282     43610    948780     20.47     23.42  --
576.10/145.04	c  N dy  3240    915275        70      6230         0     40745     43610    504889     20.47     21.77  --
590.10/148.53	c  N dy  3341    935293        70      6230         0     58856     43610    947038     20.49     23.80  --
612.83/154.25	c  N dy  3375    967991        70      6230         0     50315     43610    709470     20.44     21.66  --
628.81/158.23	c  N dy  3465    988045        70      6230         0     68382     43610   1147442     20.46     21.69  --
645.97/162.53	c  N dy  3535   1010417        70      6230         0     49946     43610    704430     20.45     21.66  --
663.15/166.84	c  N dy  3633   1032145        70      6230         0     69567     43610   1183231     20.47     21.56  --
681.52/171.44	c  N dy  3753   1052216        70      6230         0     48088     43610    647444     20.49     22.15  --
697.49/175.41	c  F st  3853   1071876        70      6230         0     65869     43610   1082372     20.50   no data  --
697.89/175.57	c  N st  3855   1072501        70      6230         0     66430     43610   1096382     20.50   no data  --
718.25/180.67	c  N dy  3868   1100181        70      6230         0     50572     43610    680415     20.47     21.58  --
734.65/184.70	c  N dy  3960   1120206        70      6230         0     68601     43610   1119816     20.48     23.74  --
753.40/189.46	c  N dy  4039   1140592        70      6230         0     45622     43610    559136     20.49     21.68  --
770.20/193.62	c  N dy  4126   1161532        70      6230         0     64545     43610   1017596     20.49     21.60  --
797.73/200.55	c  N dy  4210   1184102        70      6230         0     42526     43610    471589     20.50     21.70  --
814.12/204.63	c  N dy  4275   1204936        70      6230         0     61350     43610    922699     20.49     21.72  --
820.50/206.29	c  S st  4311   1209946        70      6230         0     65866     43610   1033930     20.50   no data  --
821.70/206.54	c  S st  4311   1210448        70      6230         0     66331     43610   1045642     20.50   no data  --
821.70/206.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
821.70/206.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
821.70/206.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
822.10/206.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
822.10/206.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
822.10/206.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
822.10/206.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
893.97/224.66	c lits-rem:      2880  cl-subs:     5508  v-elim:      0  v-fix:    0  time: 71.99 s
893.97/224.66	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
893.97/224.67	c vivif2 --  cl tried    60823 cl shrink        0 lits rem          0 time: 0.05
895.17/224.99	c asymm  cl-useful: 0/762/6230 lits-rem:0 time: 1.26
895.17/224.99	c calculated reachability. Time: 0.00
895.17/224.99	c  N dy  4311   1210448        70      6230         0     60823     43610    911644     20.50   no data  --
917.52/230.54	c  N dy  4373   1230492        70      6230         0     78862     43610   1343877     20.49     22.64  --
936.72/235.39	c  N dy  4476   1250521        70      6230         0     53957     43610    739446     20.51     23.85  --
954.28/239.72	c  N dy  4558   1270580        70      6230         0     72004     43610   1175455     20.51     23.60  --
977.82/245.65	c  N dy  4612   1291191        70      6230         0     46513     43610    542057     20.51     21.64  --
998.60/250.86	c  N dy  4616   1318418        70      6230         0     70690     43610   1103721     20.48     21.79  --
1027.33/258.08	c  N dy  4749   1338512        70      6230         0     88857     43610   1550364     20.50     21.58  --
1047.29/263.02	c  N dy  4855   1358902        70      6230         0     62379     43610    917088     20.51     21.60  --
1073.64/269.70	c  N dy  4936   1384633        70      6230         0     85548     43610   1478032     20.51     21.64  --
1092.82/274.43	c  N dy  5022   1404646        70      6230         0     57822     43610    793266     20.52     21.88  --
1111.98/279.23	c  N dy  5118   1424679        70      6230         0     75923     43610   1236015     20.53     23.10  --
1140.33/286.39	c  N dy  5221   1450106        70      6230         0     51983     43610    632429     20.54     21.81  --
1157.90/290.71	c  N dy  5315   1470172        70      6230         0     70081     43610   1071926     20.54     23.57  --
1179.07/296.08	c  N dy  5370   1490262        70      6230         0     88104     43610   1508551     20.55     22.21  --
1203.43/302.14	c  N dy  5465   1517294        70      6230         0     64772     43610    929545     20.55     21.67  --
1227.01/308.08	c  N dy  5559   1540410        70      6230         0     85596     43610   1432544     20.55     21.73  --
1248.97/313.51	c  N dy  5629   1560520        70      6230         0     55031     43610    683980     20.55     21.75  --
1268.92/318.50	c  N dy  5667   1587238        70      6230         0     79020     43610   1257441     20.54     21.63  --
1302.86/327.04	c  N dy  5779   1616966        70      6230         0     56231     43610    696866     20.55     21.65  --
1340.39/336.44	c  N dy  5855   1658106        70      6230         0     93030     43610   1566623     20.52     21.64  --
1362.77/342.06	c  N dy  5930   1679842        70      6230         0     62412     43610    838680     20.52     21.63  --
1391.10/349.19	c  N dy  5937   1710332        70      6230         0     89551     43610   1468114     20.49     21.57  --
1391.50/349.24	c  S st  5939   1710448        70      6230         0     89651     43610   1470526     20.49   no data  --
1392.70/349.57	c  S st  5939   1710950        70      6230         0     90113     43610   1481864     20.49   no data  --
1392.70/349.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1392.70/349.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1393.10/349.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1393.10/349.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1393.10/349.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1393.10/349.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1393.10/349.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1604.38/402.57	c lits-rem:      4307  cl-subs:    11250  v-elim:      0  v-fix:    0  time: 211.12 s
1604.38/402.57	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1604.38/402.59	c vivif2 --  cl tried    78863 cl shrink        0 lits rem          0 time: 0.07
1606.35/403.05	c asymm  cl-useful: 0/572/6230 lits-rem:0 time: 1.85
1606.35/403.05	c calculated reachability. Time: 0.00
1606.35/403.05	c  N dy  5939   1710950        70      6230         0     78863     43610   1228100     20.49   no data  --
1643.08/412.24	c  N dy  6040   1732814        70      6230         0     98479     43610   1703596     20.50     22.04  --
1673.03/419.77	c  N dy  6140   1755721        70      6230         0     68603     43610    984788     20.50     21.80  --
1706.57/428.13	c  N dy  6249   1775871        70      6230         0     86795     43610   1430671     20.51     21.61  --
1746.91/438.25	c  N dy  6357   1796319        70      6230         0     53323     43610    596916     20.52     21.62  --
1774.05/445.00	c  N dy  6429   1818615        70      6230         0     73444     43610   1081376     20.53     21.91  --
1809.59/453.96	c  N dy  6536   1838759        70      6230         0     91646     43610   1527815     20.54     21.64  --
1847.12/463.38	c  N dy  6645   1858813        70      6230         0     56745     43610    665973     20.55     22.37  --
1873.46/469.96	c  N dy  6754   1879564        70      6230         0     75526     43610   1126290     20.56     21.67  --
1901.81/477.09	c  N dy  6839   1899617        70      6230         0     93577     43610   1565532     20.56     22.93  --
1940.15/486.64	c  N dy  6974   1919706        70      6230         0     57669     43610    674493     20.57     22.67  --
1962.91/492.30	c  N dy  7050   1940327        70      6230         0     76220     43610   1123223     20.57     21.81  --
1986.07/498.15	c  N dy  7111   1961335        70      6230         0     95000     43610   1577039     20.57     21.69  --
2013.63/505.10	c  N dy  7176   1981608        70      6230         0     58364     43610    678768     20.57     21.71  --
2033.59/510.09	c  N dy  7265   2003001        70      6230         0     77669     43610   1150419     20.58     21.72  --
2065.95/518.14	c  N dy  7348   2030565        70      6230         0    102544     43610   1752364     20.58     21.68  --
2091.91/524.70	c  N dy  7453   2050950        70      6230         0     65139     43610    834145     20.59     21.85  --
2110.25/529.29	c  N dy  7504   2071076        70      6230         0     83172     43610   1261238     20.58     21.76  --
2138.21/536.23	c  N dy  7606   2091102        70      6230         0    101220     43610   1704320     20.59     22.20  --
2165.36/543.09	c  N dy  7669   2112290        70      6230         0     63521     43610    775587     20.59     21.68  --
2186.93/548.42	c  N dy  7765   2132845        70      6230         0     82084     43610   1228949     20.59     21.70  --
2218.87/556.50	c  N dy  7832   2158762        70      6230         0    105271     43610   1784588     20.59     21.68  --
2252.02/564.75	c  N dy  7950   2184922        70      6230         0     71276     43610    948510     20.60     21.70  --
2276.39/570.84	c  N dy  7980   2210950        70      6230         0     94493     43610   1494473     20.58     19.04  --
2276.39/570.84	c  S st  7980   2210950        70      6230         0     94493     43610   1494473     20.58     19.04  --
2277.57/571.13	c  S st  7980   2211453        70      6230         0     94955     43610   1506218     20.58   no data  --
2277.57/571.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2277.57/571.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2277.57/571.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2277.97/571.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2277.97/571.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2277.97/571.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2277.97/571.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2512.01/629.82	c lits-rem:      3777  cl-subs:    10486  v-elim:      0  v-fix:    0  time: 233.92 s
2512.01/629.82	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2512.01/629.83	c vivif2 --  cl tried    84469 cl shrink        0 lits rem          0 time: 0.07
2513.63/630.24	c asymm  cl-useful: 0/543/6230 lits-rem:0 time: 1.61
2513.63/630.24	c calculated reachability. Time: 0.00
2513.63/630.24	c  N dy  7980   2211453        70      6230         0     84469     43610   1264213     20.58   no data  --
2545.56/638.26	c  N dy  8102   2231517        70      6230         0    102627     43610   1714657     20.59     24.51  --
2576.70/646.04	c  N dy  8201   2251568        70      6230         0     62818     43610    743628     20.60     24.63  --
2605.05/653.18	c  N dy  8320   2273903        70      6230         0     82958     43610   1235894     20.61     21.73  --
2641.78/662.38	c  N dy  8415   2293981        70      6230         0    101008     43610   1679209     20.61     22.25  --
2691.30/674.79	c  N dy  8537   2316197        70      6230         0     61851     43610    698418     20.62     21.71  --
2719.25/681.72	c  N dy  8596   2338786        70      6230         0     82099     43610   1183069     20.62     21.76  --
2756.38/691.09	c  N dy  8728   2358799        70      6230         0    100209     43610   1630844     20.63     22.23  --
2800.29/702.08	c  N dy  8846   2378856        70      6230         0    118305     43610   2075230     20.64     24.54  --
2830.26/709.56	c  N dy  8943   2398899        70      6230         0     76183     43610   1037686     20.64     22.61  --
2862.20/717.51	c  N dy  9028   2418940        70      6230         0     94148     43610   1475073     20.65     21.81  --
2896.53/726.15	c  N dy  9086   2439017        70      6230         0    112190     43610   1912698     20.65     22.03  --
2936.07/736.07	c  N dy  9217   2459064        70      6230         0     69180     43610    856835     20.66     22.22  --
2962.04/742.56	c  N dy  9266   2479343        70      6230         0     87296     43610   1288401     20.65     22.12  --
2998.35/751.69	c  N dy  9350   2499418        70      6230         0    105395     43610   1728283     20.65     22.44  --
3038.68/761.70	c  N dy  9386   2522068        70      6230         0     63679     43610    704517     20.64     21.79  --
3068.63/769.21	c  N dy  9458   2546349        70      6230         0     85374     43610   1224360     20.64     21.80  --
3103.77/778.00	c  N dy  9541   2566499        70      6230         0    103546     43610   1666630     20.64     21.74  --
3150.10/789.66	c  N dy  9603   2594561        70      6230         0     65840     43610    745070     20.64     22.01  --
3178.45/796.70	c  N dy  9712   2620824        70      6230         0     89482     43610   1320510     20.64     21.73  --
3236.74/811.33	c  N dy  9757   2667523        70      6230         0     67505     43610    770038     20.62     21.71  --
3259.50/817.06	c  N dy  9880   2687606        70      6230         0     85649     43610   1217624     20.63     21.74  --
3290.66/824.82	c  N dy  9949   2711453        70      6230         0    107072     43610   1734635     20.63     19.67  --
3290.66/824.82	c  S st  9949   2711453        70      6230         0    107072     43610   1734635     20.63     19.67  --
3291.86/825.15	c  S st  9949   2711958        70      6230         0    107535     43610   1746175     20.63   no data  --
3291.86/825.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3291.86/825.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3292.26/825.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3292.26/825.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3292.26/825.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3292.26/825.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3292.26/825.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3709.99/929.86	c lits-rem:      6803  cl-subs:    10593  v-elim:      0  v-fix:    0  time: 417.60 s
3709.99/929.86	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3709.99/929.88	c vivif2 --  cl tried    96942 cl shrink        0 lits rem          0 time: 0.08
3711.59/930.23	c asymm  cl-useful: 0/471/6230 lits-rem:0 time: 1.42
3711.59/930.23	c calculated reachability. Time: 0.00
3711.59/930.23	c  N dy  9949   2711958        70      6230         0     96942     43610   1484312     20.63   no data  --
3750.33/939.90	c  N dy  9989   2743512        70      6230         0    125068     43610   2151809     20.61     21.72  --
3775.08/946.12	c  N dy 10073   2764546        70      6230         0     80004     43610   1071912     20.62     21.80  --
3796.25/951.42	c  N dy 10109   2784650        70      6230         0     97972     43610   1498744     20.61     21.72  --
3827.40/959.22	c  N dy 10183   2804671        70      6230         0    115952     43610   1933481     20.61     24.56  --
3866.54/969.04	c  N dy 10254   2825562        70      6230         0     69514     43610    801677     20.61     21.73  --
3902.46/978.08	c  N dy 10297   2853255        70      6230         0     94219     43610   1385550     20.60     21.69  --
3943.60/988.30	c  N dy 10349   2875125        70      6230         0    113884     43610   1856865     20.60     21.87  --
3995.50/1001.31	c  N dy 10461   2895496        70      6230         0    132237     43610   2308833     20.61     21.72  --
4025.84/1008.92	c  N dy 10550   2915497        70      6230         0     83961     43610   1137904     20.61     22.49  --
4086.49/1024.17	c  N dy 10578   2958013        70      6230         0    121723     43610   2032898     20.59     21.81  --
4137.19/1036.84	c  N dy 10739   2978107        70      6230         0     72833     43610    856911     20.60     23.64  --
4168.74/1044.72	c  N dy 10793   3001475        70      6230         0     93816     43610   1368461     20.60     21.73  --
4211.84/1055.55	c  N dy 10880   3023976        70      6230         0    114062     43610   1862758     20.60     21.71  --
4255.78/1066.50	c  N dy 10960   3044004        70      6230         0    132057     43610   2301031     20.60     21.83  --
4293.71/1076.04	c  N dy 11076   3064036        70      6230         0     81989     43610   1068224     20.61     21.92  --
4332.46/1085.73	c  N dy 11221   3084092        70      6230         0    100079     43610   1517434     20.62     22.89  --
4373.17/1095.99	c  N dy 11281   3104190        70      6230         0    118007     43610   1948767     20.62     24.05  --
4432.67/1110.81	c  N dy 11399   3124218        70      6230         0    136031     43610   2393384     20.63     22.88  --
4469.00/1119.97	c  N dy 11481   3144303        70      6230         0     84890     43610   1116601     20.63     24.09  --
4509.32/1130.04	c  N dy 11588   3164388        70      6230         0    103001     43610   1562328     20.64     22.22  --
4550.46/1140.36	c  N dy 11636   3184473        70      6230         0    120958     43610   1992043     20.63     22.41  --
4596.77/1151.98	c  N dy 11663   3207729        70      6230         0     71751     43610    786655     20.62     21.72  --
4603.16/1153.58	c  S st 11690   3211959        70      6230         0     75540     43610    879944     20.63     20.60  --
4604.38/1153.88	c  S st 11690   3212459        70      6230         0     75999     43610    891353     20.63   no data  --
4604.38/1153.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4604.38/1153.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4604.78/1153.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.19
4604.78/1153.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4604.78/1153.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4604.78/1153.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4604.78/1153.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4681.42/1173.11	c lits-rem:       816  cl-subs:     1306  v-elim:      0  v-fix:    0  time: 76.41 s
4681.42/1173.11	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4681.42/1173.12	c vivif2 --  cl tried    74693 cl shrink        0 lits rem          0 time: 0.06
4683.02/1173.52	c asymm  cl-useful: 0/613/6230 lits-rem:0 time: 1.58
4683.02/1173.52	c calculated reachability. Time: 0.00
4683.02/1173.52	c  N dy 11690   3212459        70      6230         0     74693     43610    859338     20.63   no data  --
4712.17/1180.80	c  N dy 11783   3233376        70      6230         0     93477     43610   1317618     20.63     21.95  --
4740.13/1187.84	c  N dy 11790   3255104        70      6230         0    112767     43610   1766327     20.62     21.76  --
4784.46/1198.92	c  N dy 11896   3275388        70      6230         0    131000     43610   2214640     20.63     21.96  --

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-3175303-1304109847/watcher-3175303-1304109847 -o /tmp/evaluation-result-3175303-1304109847/solver-3175303-1304109847 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175303-1304109847.cnf 

running on 4 cores: 0,2,4,6

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.57 5.99 7.21 3/171 26879
/proc/meminfo: memFree=30843644/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 522584381 52465664 352 33554432000 4194304 4650419 140734589348208 18446744073709551615 47625306498994 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 12809 352 303 112 0 7774 0
[pid=26879/tid=26883] ppid=26876 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 522584381 52465664 352 33554432000 4194304 4650419 140734589348208 18446744073709551615 47625306498998 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522584381 52465664 352 33554432000 4194304 4650419 140734589348208 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522584381 52465664 352 33554432000 4194304 4650419 140734589348208 18446744073709551615 47625306498994 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0628201 s]
/proc/loadavg: 3.57 5.99 7.21 3/171 26879
/proc/meminfo: memFree=30843644/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=216532 CPUtime=0.23 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 1383 0 0 0 23 0 0 0 18 0 4 0 522584381 221728768 1281 33554432000 4194304 4650419 140734589348208 18446744073709551615 4370526 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 54133 1281 366 112 0 49098 0
[pid=26879/tid=26883] ppid=26876 vsize=216532 CPUtime=0.05 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 240 0 0 0 5 0 0 0 18 0 4 0 522584381 221728768 1281 33554432000 4194304 4650419 140734589348208 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=216532 CPUtime=0.05 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 219 0 0 0 5 0 0 0 25 0 4 0 522584381 221728768 1281 33554432000 4194304 4650419 140734589348208 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=216532 CPUtime=0.05 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 274 0 0 0 5 0 0 0 18 0 4 0 522584381 221728768 1281 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 216532

[startup+0.100814 s]
/proc/loadavg: 3.57 5.99 7.21 3/171 26879
/proc/meminfo: memFree=30843644/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=216664 CPUtime=0.38 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 1452 0 0 0 38 0 0 0 18 0 4 0 522584381 221863936 1350 33554432000 4194304 4650419 140734589348208 18446744073709551615 4370658 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 54166 1350 366 112 0 49131 0
[pid=26879/tid=26883] ppid=26876 vsize=216664 CPUtime=0.09 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 240 0 0 0 9 0 0 0 18 0 4 0 522584381 221863936 1350 33554432000 4194304 4650419 140734589348208 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=216664 CPUtime=0.09 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 219 0 0 0 9 0 0 0 25 0 4 0 522584381 221863936 1350 33554432000 4194304 4650419 140734589348208 18446744073709551615 4370503 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=216664 CPUtime=0.09 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 340 0 0 0 9 0 0 0 18 0 4 0 522584381 221863936 1350 33554432000 4194304 4650419 140734589348208 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 216664

[startup+0.30078 s]
/proc/loadavg: 3.57 5.99 7.21 3/171 26879
/proc/meminfo: memFree=30843644/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=220396 CPUtime=1.17 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 3678 0 0 0 117 0 0 0 18 0 4 0 522584381 225685504 3152 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 55099 3152 390 112 0 50064 0
[pid=26879/tid=26883] ppid=26876 vsize=220396 CPUtime=0.29 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 872 0 0 0 29 0 0 0 18 0 4 0 522584381 225685504 3152 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=220396 CPUtime=0.29 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 855 0 0 0 29 0 0 0 25 0 4 0 522584381 225685504 3153 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=220396 CPUtime=0.29 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 682 0 0 0 29 0 0 0 18 0 4 0 522584381 225685504 3153 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220396

[startup+0.700712 s]
/proc/loadavg: 3.57 5.99 7.21 3/171 26879
/proc/meminfo: memFree=30843644/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=222452 CPUtime=2.78 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 6028 0 0 0 277 1 0 0 18 0 4 0 522584381 227790848 3604 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 55613 3604 390 112 0 50578 0
[pid=26879/tid=26883] ppid=26876 vsize=222452 CPUtime=0.69 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 1450 0 0 0 69 0 0 0 18 0 4 0 522584381 227790848 3604 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=222452 CPUtime=0.69 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 1414 0 0 0 69 0 0 0 25 0 4 0 522584381 227790848 3604 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=222452 CPUtime=0.68 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 1304 0 0 0 68 0 0 0 18 0 4 0 522584381 227790848 3604 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 222452

[startup+1.50058 s]
/proc/loadavg: 3.57 5.99 7.21 10/182 26890
/proc/meminfo: memFree=30812800/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=229424 CPUtime=5.97 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 10980 0 0 0 595 2 0 0 20 0 4 0 522584381 234930176 5747 33554432000 4194304 4650419 140734589348208 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 57356 5747 392 112 0 52321 0
[pid=26879/tid=26883] ppid=26876 vsize=229424 CPUtime=1.49 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 2373 0 0 0 149 0 0 0 19 0 4 0 522584381 234930176 5747 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=229424 CPUtime=1.48 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 2276 0 0 0 148 0 0 0 25 0 4 0 522584381 234930176 5747 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=229424 CPUtime=1.48 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 2243 0 0 0 148 0 0 0 20 0 4 0 522584381 234930176 5747 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 229424

[startup+3.1003 s]
/proc/loadavg: 3.57 5.99 7.21 9/182 26890
/proc/meminfo: memFree=30787256/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=230000 CPUtime=12.36 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 17616 0 0 0 1233 3 0 0 25 0 4 0 522584381 235520000 11027 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 57500 11027 392 112 0 52465 0
[pid=26879/tid=26883] ppid=26876 vsize=230000 CPUtime=3.08 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 3911 0 0 0 308 0 0 0 25 0 4 0 522584381 235520000 11027 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=230000 CPUtime=3.07 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 4751 0 0 0 307 0 0 0 25 0 4 0 522584381 235520000 11027 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=230000 CPUtime=3.09 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 4675 0 0 0 308 1 0 0 25 0 4 0 522584381 235520000 11027 33554432000 4194304 4650419 140734589348208 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 230000

[startup+6.30075 s]
/proc/loadavg: 3.93 6.02 7.21 9/182 26890
/proc/meminfo: memFree=30743060/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=231808 CPUtime=24.01 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 24269 0 0 0 2393 8 0 0 25 0 4 0 522584381 237371392 11603 33554432000 4194304 4650419 140734589348208 18446744073709551615 4439792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 57952 11603 392 112 0 52917 0
[pid=26879/tid=26883] ppid=26876 vsize=231808 CPUtime=5.29 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 5059 0 0 0 526 3 0 0 25 0 4 0 522584381 237371392 11603 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=231808 CPUtime=6.13 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 6391 0 0 0 612 1 0 0 25 0 4 0 522584381 237371392 11603 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=231808 CPUtime=6.28 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 6583 0 0 0 627 1 0 0 25 0 4 0 522584381 237371392 11603 33554432000 4194304 4650419 140734589348208 18446744073709551615 4313715 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.01
Current children cumulated vsize (KiB) 231808

[startup+12.7006 s]
/proc/loadavg: 4.25 6.06 7.21 9/182 26891
/proc/meminfo: memFree=30692624/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=238412 CPUtime=47.82 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 37615 0 0 0 4746 36 0 0 25 0 4 0 522584381 244133888 18031 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 59603 18031 392 112 0 54568 0
[pid=26879/tid=26883] ppid=26876 vsize=238412 CPUtime=11.62 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 8896 0 0 0 1147 15 0 0 25 0 4 0 522584381 244133888 18031 33554432000 4194304 4650419 140734589348208 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=238412 CPUtime=12.45 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 9953 0 0 0 1242 3 0 0 25 0 4 0 522584381 244133888 18031 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=238412 CPUtime=11.48 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 9792 0 0 0 1134 14 0 0 25 0 4 0 522584381 244133888 18031 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 47.82
Current children cumulated vsize (KiB) 238412

[startup+25.5004 s]
/proc/loadavg: 5.16 6.17 7.23 9/182 26891
/proc/meminfo: memFree=30643664/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=239040 CPUtime=98.93 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 59124 0 0 0 9852 41 0 0 25 0 4 0 522584381 244776960 23778 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 59760 23778 392 112 0 54725 0
[pid=26879/tid=26883] ppid=26876 vsize=239040 CPUtime=24.42 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 14355 0 0 0 2425 17 0 0 25 0 4 0 522584381 244776960 23778 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=239040 CPUtime=25.16 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 16256 0 0 0 2511 5 0 0 25 0 4 0 522584381 244776960 23778 33554432000 4194304 4650419 140734589348208 18446744073709551615 4334264 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=239040 CPUtime=24.28 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 15161 0 0 0 2413 15 0 0 25 0 4 0 522584381 244776960 23778 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 98.93
Current children cumulated vsize (KiB) 239040

[startup+51.101 s]
/proc/loadavg: 6.13 6.31 7.25 9/182 26891
/proc/meminfo: memFree=30588784/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=260088 CPUtime=201.15 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 86674 0 0 0 20066 49 0 0 25 0 4 0 522584381 266330112 28337 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 65022 28337 392 112 0 59987 0
[pid=26879/tid=26883] ppid=26876 vsize=260088 CPUtime=50.01 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 21978 0 0 0 4983 18 0 0 25 0 4 0 522584381 266330112 28337 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=260088 CPUtime=50.6 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 23142 0 0 0 5053 7 0 0 25 0 4 0 522584381 266330112 28337 33554432000 4194304 4650419 140734589348208 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=260088 CPUtime=49.88 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 22646 0 0 0 4971 17 0 0 25 0 4 0 522584381 266330112 28337 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 201.15
Current children cumulated vsize (KiB) 260088

[startup+102.307 s]
/proc/loadavg: 7.30 6.60 7.30 9/182 26893
/proc/meminfo: memFree=30560968/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=251736 CPUtime=405.62 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 130472 0 0 0 40499 63 0 0 25 0 4 0 522584381 257777664 34706 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 62934 34706 392 112 0 57899 0
[pid=26879/tid=26883] ppid=26876 vsize=251736 CPUtime=101.22 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 31447 0 0 0 10100 22 0 0 25 0 4 0 522584381 257777664 34706 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=251736 CPUtime=101.47 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 35548 0 0 0 10136 11 0 0 25 0 4 0 522584381 257777664 34706 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=251736 CPUtime=101.07 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 33128 0 0 0 10087 20 0 0 25 0 4 0 522584381 257777664 34706 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 405.62
Current children cumulated vsize (KiB) 251736

[startup+162.301 s]

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

[pid=26879] ppid=26876 vsize=393588 CPUtime=2561.96 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 346171 0 0 0 256044 152 0 0 25 0 4 0 522584381 403034112 77519 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 98397 77519 392 112 0 93362 0
[pid=26879/tid=26883] ppid=26876 vsize=393588 CPUtime=641.2 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 88005 0 0 0 64079 41 0 0 25 0 4 0 522584381 403034112 77519 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=393588 CPUtime=638.42 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 94665 0 0 0 63807 35 0 0 25 0 4 0 522584381 403034112 77519 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=393588 CPUtime=640.57 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 75782 0 0 0 64014 43 0 0 25 0 4 0 522584381 403034112 77519 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.96
Current children cumulated vsize (KiB) 393588

[startup+702.3 s]
/proc/loadavg: 8.12 7.89 7.67 9/182 26909
/proc/meminfo: memFree=30218744/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=459392 CPUtime=2801.49 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 358030 0 0 0 279992 157 0 0 25 0 4 0 522584381 470417408 79457 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 114848 79457 392 112 0 109813 0
[pid=26879/tid=26883] ppid=26876 vsize=459392 CPUtime=701.19 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 92339 0 0 0 70078 41 0 0 25 0 4 0 522584381 470417408 79457 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=459392 CPUtime=698.09 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 98778 0 0 0 69772 37 0 0 25 0 4 0 522584381 470417408 79457 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=459392 CPUtime=700.46 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 76479 0 0 0 70002 44 0 0 25 0 4 0 522584381 470417408 79457 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.49
Current children cumulated vsize (KiB) 459392

[startup+762.307 s]
/proc/loadavg: 8.11 7.93 7.69 9/182 26911
/proc/meminfo: memFree=30206536/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=483264 CPUtime=3041.1 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 380505 0 0 0 303947 163 0 0 25 0 4 0 522584381 494862336 83444 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 120816 83444 392 112 0 115781 0
[pid=26879/tid=26883] ppid=26876 vsize=483264 CPUtime=761.19 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 104831 0 0 0 76077 42 0 0 25 0 4 0 522584381 494862336 83444 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=483264 CPUtime=757.76 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 102547 0 0 0 75737 39 0 0 25 0 4 0 522584381 494862336 83444 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=483264 CPUtime=760.39 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 76621 0 0 0 75994 45 0 0 25 0 4 0 522584381 494862336 83444 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.1
Current children cumulated vsize (KiB) 483264

[startup+822.301 s]
/proc/loadavg: 8.16 7.97 7.72 9/182 26912
/proc/meminfo: memFree=30200048/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=458448 CPUtime=3280.67 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 393927 0 0 0 327897 170 0 0 25 0 4 0 522584381 469450752 82928 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 114612 82928 392 112 0 109577 0
[pid=26879/tid=26883] ppid=26876 vsize=458448 CPUtime=821.19 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 111877 0 0 0 82074 45 0 0 25 0 4 0 522584381 469450752 82928 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=458448 CPUtime=817.43 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 102811 0 0 0 81703 40 0 0 25 0 4 0 522584381 469450752 82928 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=458448 CPUtime=820.31 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 76626 0 0 0 81985 46 0 0 25 0 4 0 522584381 469450752 82928 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.67
Current children cumulated vsize (KiB) 458448

[startup+882.301 s]
/proc/loadavg: 8.17 8.00 7.74 9/182 26913
/proc/meminfo: memFree=30218740/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=446024 CPUtime=3520.28 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 402448 0 0 0 351853 175 0 0 25 0 4 0 522584381 456728576 78515 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 111506 78515 392 112 0 106471 0
[pid=26879/tid=26883] ppid=26876 vsize=446024 CPUtime=881.19 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 114642 0 0 0 88072 47 0 0 25 0 4 0 522584381 456728576 78515 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=446024 CPUtime=877.09 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 105303 0 0 0 87668 41 0 0 25 0 4 0 522584381 456728576 78515 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=446024 CPUtime=880.25 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 79122 0 0 0 87977 48 0 0 25 0 4 0 522584381 456728576 78515 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.28
Current children cumulated vsize (KiB) 446024

[startup+942.301 s]
/proc/loadavg: 8.17 8.03 7.77 9/182 26915
/proc/meminfo: memFree=30164152/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=446196 CPUtime=3759.92 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 411892 0 0 0 375811 181 0 0 25 0 4 0 522584381 456904704 77098 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 111549 77098 392 112 0 106514 0
[pid=26879/tid=26883] ppid=26876 vsize=446196 CPUtime=941.18 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 118066 0 0 0 94069 49 0 0 25 0 4 0 522584381 456904704 77098 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=446196 CPUtime=936.77 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 107865 0 0 0 93635 42 0 0 25 0 4 0 522584381 456904704 77098 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=446196 CPUtime=940.21 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 81762 0 0 0 93972 49 0 0 25 0 4 0 522584381 456904704 77098 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.92
Current children cumulated vsize (KiB) 446196

[startup+1002.3 s]
/proc/loadavg: 8.16 8.05 7.79 9/182 26917
/proc/meminfo: memFree=30144636/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=536800 CPUtime=3999.5 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 426833 0 0 0 399760 190 0 0 25 0 4 0 522584381 549683200 86288 33554432000 4194304 4650419 140734589348208 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 134200 86288 392 112 0 129165 0
[pid=26879/tid=26883] ppid=26876 vsize=536800 CPUtime=1001.19 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 123590 0 0 0 100067 52 0 0 25 0 4 0 522584381 549683200 86288 33554432000 4194304 4650419 140734589348208 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=536800 CPUtime=996.44 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 111507 0 0 0 99599 45 0 0 25 0 4 0 522584381 549683200 86288 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=536800 CPUtime=1000.13 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 83841 0 0 0 99962 51 0 0 25 0 4 0 522584381 549683200 86288 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.5
Current children cumulated vsize (KiB) 536800

[startup+1062.3 s]
/proc/loadavg: 8.06 8.04 7.80 9/182 26928
/proc/meminfo: memFree=30125264/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=536800 CPUtime=4239.01 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 442275 0 0 0 423703 198 0 0 25 0 4 0 522584381 549683200 89689 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 134200 89689 392 112 0 129165 0
[pid=26879/tid=26883] ppid=26876 vsize=536800 CPUtime=1061.17 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 129666 0 0 0 106064 53 0 0 25 0 4 0 522584381 549683200 89689 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=536800 CPUtime=1056.12 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 111697 0 0 0 105567 45 0 0 25 0 4 0 522584381 549683200 89689 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=536800 CPUtime=1059.98 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 88539 0 0 0 105944 54 0 0 25 0 4 0 522584381 549683200 89689 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4239.01
Current children cumulated vsize (KiB) 536800

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.82 9/182 26929
/proc/meminfo: memFree=30122488/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=549944 CPUtime=4478.59 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 458715 0 0 0 447657 202 0 0 25 0 4 0 522584381 563142656 90500 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 137486 90500 392 112 0 132451 0
[pid=26879/tid=26883] ppid=26876 vsize=549944 CPUtime=1121.16 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 137364 0 0 0 112062 54 0 0 25 0 4 0 522584381 563142656 90500 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=549944 CPUtime=1115.79 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 115603 0 0 0 111533 46 0 0 25 0 4 0 522584381 563142656 90500 33554432000 4194304 4650419 140734589348208 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=549944 CPUtime=1119.91 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 93104 0 0 0 111935 56 0 0 25 0 4 0 522584381 563142656 90500 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4478.59
Current children cumulated vsize (KiB) 549944

[startup+1182.3 s]
/proc/loadavg: 8.18 8.09 7.84 9/182 26930
/proc/meminfo: memFree=30158532/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=512168 CPUtime=4718.16 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 468342 0 0 0 471610 206 0 0 25 0 4 0 522584381 524460032 84196 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 128042 84196 392 112 0 123007 0
[pid=26879/tid=26883] ppid=26876 vsize=512168 CPUtime=1181.16 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 142202 0 0 0 118060 56 0 0 25 0 4 0 522584381 524460032 84196 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=512168 CPUtime=1175.46 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 117208 0 0 0 117500 46 0 0 25 0 4 0 522584381 524460032 84196 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=512168 CPUtime=1179.81 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 94528 0 0 0 117924 57 0 0 25 0 4 0 522584381 524460032 84196 33554432000 4194304 4650419 140734589348208 18446744073709551615 4331978 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4718.16
Current children cumulated vsize (KiB) 512168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.29 8.12 7.85 5/177 26932
/proc/meminfo: memFree=30502776/32951132 swapFree=67111356/67111528
[pid=26879] ppid=26876 vsize=512168 CPUtime=4800.04 cores=0,2,4,6
/proc/26879/stat : 26879 (strangenight1-m) R 26876 26879 26305 0 -1 4202496 471142 0 0 0 479796 208 0 0 25 0 4 0 522584381 524460032 84274 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26879/statm: 128042 84274 392 112 0 123007 0
[pid=26879/tid=26883] ppid=26876 vsize=512168 CPUtime=1201.67 cores=0,2,4,6
/proc/26879/task/26883/stat : 26883 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 142816 0 0 0 120111 56 0 0 25 0 4 0 522584381 524460032 84274 33554432000 4194304 4650419 140734589348208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=26879/tid=26884] ppid=26876 vsize=512168 CPUtime=1195.85 cores=0,2,4,6
/proc/26879/task/26884/stat : 26884 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 117208 0 0 0 119539 46 0 0 25 0 4 0 522584381 524460032 84274 33554432000 4194304 4650419 140734589348208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26879/tid=26885] ppid=26876 vsize=512168 CPUtime=1200.29 cores=0,2,4,6
/proc/26879/task/26885/stat : 26885 (strangenight1-m) R 26876 26879 26305 0 -1 4202560 95675 0 0 0 119971 58 0 0 25 0 4 0 522584381 524460032 84274 33554432000 4194304 4650419 140734589348208 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 512168

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): 1202.83
CPU time (s): 4800.09
CPU user time (s): 4797.99
CPU system time (s): 2.09868
CPU usage (%): 399.067
Max. virtual memory (cumulated for all children) (KiB): 562960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.09868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471144
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= 575
involuntary context switches= 26833

runsolver used 1.81272 second user time and 4.76028 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 22:44:07
IDJOB=3175303
IDBENCH=82921
IDSOLVER=1588
FILE ID=node131/3175303-1304109847
RUNJOBID= node131-1304109847-26863
PBS_JOBID= 13170641
Free space on /tmp= 71384 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175303-1304109847/watcher-3175303-1304109847 -o /tmp/evaluation-result-3175303-1304109847/solver-3175303-1304109847 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175303-1304109847.cnf

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

MD5SUM BENCH= f10effcfe58940a6abd6aa73030d7c70
RANDOM SEED=1701811759

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30843932 kB
Buffers:        207168 kB
Cached:        1526984 kB
SwapCached:        168 kB
Active:         158796 kB
Inactive:      1641596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30843932 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12524 kB
Writeback:           0 kB
AnonPages:       65148 kB
Mapped:          14620 kB
Slab:           242720 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   190484 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71380 MiB
End job on node131 at 2011-04-29 23:04:12