Trace number 3368728

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.1 1203.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf
MD5SUM91ecb427720c901d7e357cfd52fa252a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368728-1305401822.cnf'
0.00/0.01	c -- header says num vars:             70
0.00/0.01	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.37/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.37/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
0.37/0.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.37/0.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.37/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.18	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.37/0.18	c calculated reachability. Time: 0.00
0.37/0.18	c Calc default polars -  time:   0.00 s pos:      34 undec:       1 neg:      35
0.37/0.18	c =========================================================================================
0.37/0.18	c types(t): F = full restart, N = normal restart
0.37/0.18	c types(t): S = simplification begin/end, E = solution found
0.37/0.18	c restart types(rt): st = static, dy = dynamic
0.37/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.18	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
1.16/0.35	c  N dy     8      5851        70      6230         0      3026     43610     66689     20.74     21.91  --
1.56/0.49	c  N dy    21     10005        70      6230         0      6782     43610    158403     21.02     22.13  --
2.76/0.70	c  N dy    31     15270        70      6230         0      7701     43610    168493     20.92     22.12  --
3.17/0.87	c  N dy    36     19296        70      6230         0      6268     43610    122750     20.72     22.24  --
4.40/1.12	c  F st    45     25001        70      6230         0     11429     43610    246800     20.65     18.36  --
4.40/1.13	c  N st    45     25001        70      6230         0     11429     43610    246800     20.65     18.36  --
5.15/1.35	c  N dy    51     30000        70      6230         0      9811     43610    196727     20.65   no data  --
5.15/1.35	c  S st    51     30000        70      6230         0      9811     43610    196727     20.65   no data  --
5.15/1.38	c  S st    51     30504        70      6230         0     10261     43610    207922     20.65   no data  --
5.15/1.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.15/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.15/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.15/1.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.14/2.38	c lits-rem:      1528  cl-subs:      866  v-elim:      0  v-fix:    0  time:  3.94 s
10.33/2.69	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.23
10.33/2.69	c calculated reachability. Time: 0.00
10.33/2.69	c  N dy    51     30504        70      6230         0      9395     43610    184722     20.65   no data  --
11.53/2.93	c  N dy    77     34573        70      6230         0     13097     43610    275328     20.82     21.94  --
13.93/3.51	c  N dy    88     45758        70      6230         0     16057     43610    332410     20.67     20.12  --
13.93/3.51	c  S st    88     45758        70      6230         0     16057     43610    332410     20.67     20.12  --
13.93/3.56	c  S st    88     46260        70      6230         0      8442     43610    137920     20.67   no data  --
13.93/3.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.93/3.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.93/3.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.93/3.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.93/3.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.93/3.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.93/3.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.56/4.42	c lits-rem:       148  cl-subs:       43  v-elim:      0  v-fix:    0  time:  3.40 s
17.56/4.42	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.56/4.42	c vivif2 --  cl tried     8399 cl shrink        0 lits rem          0 time: 0.01
18.31/4.66	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.98
18.31/4.66	c calculated reachability. Time: 0.00
18.31/4.66	c  N dy    88     46260        70      6230         0      8399     43610    136542     20.67   no data  --
19.11/4.88	c  N dy   105     50354        70      6230         0     12106     43610    226151     20.71     22.57  --
20.31/5.16	c  N dy   115     55127        70      6230         0     16425     43610    328921     20.66     21.81  --
21.11/5.41	c  N dy   127     59175        70      6230         0     11042     43610    189505     20.70     22.94  --
22.29/5.63	c  N dy   137     63193        70      6230         0     14692     43610    277349     20.70     22.76  --
23.89/6.07	c  N dy   151     69391        70      6230         0     10393     43610    160348     20.68     18.42  --
23.89/6.07	c  S st   151     69391        70      6230         0     10393     43610    160348     20.68     18.42  --
24.29/6.10	c  S st   151     69892        70      6230         0     10860     43610    172018     20.68   no data  --
24.29/6.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.29/6.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.29/6.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
24.29/6.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.29/6.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.29/6.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
24.29/6.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.49/6.96	c lits-rem:       215  cl-subs:      181  v-elim:      0  v-fix:    0  time:  3.38 s
27.49/6.96	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.49/6.97	c vivif2 --  cl tried    10679 cl shrink        0 lits rem          0 time: 0.01
28.69/7.25	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.15
28.69/7.25	c calculated reachability. Time: 0.00
28.69/7.25	c  N dy   151     69892        70      6230         0     10679     43610    167427     20.68   no data  --
29.89/7.61	c  N dy   160     76187        70      6230         0     16375     43610    304765     20.63     21.81  --
31.47/7.95	c  N dy   168     81075        70      6230         0     20802     43610    411370     20.61     21.73  --
33.07/8.30	c  N dy   170     86583        70      6230         0     14912     43610    256792     20.54     21.63  --
33.07/8.37	c  F st   180     87502        70      6230         0     15756     43610    278353     20.58   no data  --
34.68/8.73	c  N dy   186     92696        70      6230         0     20483     43610    394876     20.58   no data  --
37.46/9.48	c  N dy   227    102696        70      6230         0     17762     43610    313679     20.64     21.83  --
38.26/9.64	c  S st   236    104838        70      6230         0     19706     43610    360522     20.64     19.79  --
38.66/9.70	c  S st   236    105338        70      6230         0     20162     43610    371720     20.64   no data  --
38.66/9.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.66/9.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.66/9.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
38.66/9.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.66/9.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.66/9.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.66/9.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.44/11.40	c lits-rem:      1748  cl-subs:     1897  v-elim:      0  v-fix:    0  time:  6.71 s
45.44/11.40	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
45.44/11.41	c vivif2 --  cl tried    18265 cl shrink        0 lits rem          0 time: 0.02
46.63/11.78	c asymm  cl-useful: 0/4878/6230 lits-rem:0 time: 1.50
46.63/11.78	c calculated reachability. Time: 0.00
46.63/11.78	c  N dy   236    105338        70      6230         0     18265     43610    323683     20.64   no data  --
51.03/12.86	c  N dy   255    121090        70      6230         0     19799     43610    346299     20.52     21.61  --
54.21/13.68	c  N dy   272    131294        70      6230         0     15554     43610    236474     20.47     21.78  --
57.39/14.43	c  N dy   312    141200        70      6230         0     24525     43610    452802     20.50     21.63  --
62.18/15.62	c  N dy   316    158008        70      6230         0     25170     43610    450808     20.30     19.05  --
62.18/15.62	c  S st   316    158008        70      6230         0     25170     43610    450808     20.30     19.05  --
62.18/15.69	c  S st   316    158511        70      6230         0     25632     43610    462306     20.30   no data  --
62.18/15.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.18/15.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.58/15.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
62.58/15.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
62.58/15.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
62.58/15.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
62.58/15.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
70.95/17.85	c lits-rem:      2107  cl-subs:     2874  v-elim:      0  v-fix:    0  time:  8.51 s
70.95/17.85	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
70.95/17.85	c vivif2 --  cl tried    22758 cl shrink        0 lits rem          0 time: 0.02
71.75/18.01	c asymm  cl-useful: 0/1352/6230 lits-rem:0 time: 0.65
71.75/18.02	c calculated reachability. Time: 0.00
71.75/18.02	c  N dy   316    158511        70      6230         0     22758     43610    397475     20.30   no data  --
76.15/19.15	c  N dy   385    169536        70      6230         0     17615     43610    260907     20.37     21.47  --
80.13/20.11	c  N dy   393    181575        70      6230         0     28373     43610    508598     20.28     21.47  --
84.12/21.16	c  N dy   450    193364        70      6230         0     22979     43610    378870     20.32     21.40  --
93.69/23.59	c  N dy   512    218891        70      6230         0     28770     43610    494754     20.21     21.37  --
100.09/25.11	c  N dy   588    233264        70      6230         0     23871     43610    376768     20.28     21.37  --
101.67/25.54	c  S st   611    237766        70      6230         0     27947     43610    475442     20.29     18.75  --
102.07/25.62	c  S st   611    238270        70      6230         0     28416     43610    486940     20.29   no data  --
102.07/25.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.07/25.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
102.07/25.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
102.07/25.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
102.07/25.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
102.07/25.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
102.07/25.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.65/28.08	c lits-rem:      1731  cl-subs:     2016  v-elim:      0  v-fix:    0  time:  9.73 s
111.65/28.08	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
111.65/28.09	c vivif2 --  cl tried    26400 cl shrink        0 lits rem          0 time: 0.02
113.25/28.47	c asymm  cl-useful: 0/3655/6230 lits-rem:0 time: 1.54
113.25/28.47	c calculated reachability. Time: 0.00
113.25/28.47	c  N dy   611    238270        70      6230         0     26400     43610    433944     20.29   no data  --
120.02/30.15	c  N dy   673    254249        70      6230         0     21981     43610    314731     20.32     21.42  --
126.82/31.84	c  N dy   734    270535        70      6230         0     36771     43610    669824     20.35     21.47  --
135.19/33.91	c  N dy   829    289514        70      6230         0     34048     43610    592024     20.41     21.52  --
142.76/35.80	c  F st   894    306250        70      6230         0     28396     43610    440712     20.42     18.27  --
143.16/35.99	c  N st   898    308282        70      6230         0     30228     43610    485645     20.42   no data  --
153.93/38.66	c  N dy   998    331452        70      6230         0     29437     43610    454302     20.45     21.82  --
165.10/41.42	c  N dy  1047    356047        70      6230         0     29001     43610    429917     20.43     21.52  --
165.50/41.56	c  S st  1056    357406        70      6230         0     30224     43610    459566     20.43   no data  --
165.90/41.64	c  S st  1056    357906        70      6230         0     30692     43610    471184     20.43   no data  --
165.90/41.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
165.90/41.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.90/41.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
165.90/41.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
165.90/41.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
165.90/41.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
165.90/41.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
174.68/43.88	c lits-rem:      1342  cl-subs:     2127  v-elim:      0  v-fix:    0  time:  8.85 s
174.68/43.88	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
174.68/43.89	c vivif2 --  cl tried    28565 cl shrink        0 lits rem          0 time: 0.02
176.67/44.39	c asymm  cl-useful: 0/2575/6230 lits-rem:0 time: 1.99
176.67/44.39	c calculated reachability. Time: 0.00
176.67/44.39	c  N dy  1056    357906        70      6230         0     28565     43610    420550     20.43   no data  --
189.03/47.45	c  N dy  1101    378101        70      6230         0     23462     43610    286766     20.41     21.64  --
203.79/51.19	c  N dy  1173    408118        70      6230         0     26217     43610    336523     20.38     21.53  --
214.17/53.72	c  N dy  1263    428155        70      6230         0     44355     43610    772632     20.39     21.80  --
224.53/56.33	c  N dy  1335    448692        70      6230         0     37673     43610    600230     20.39     21.59  --
237.69/59.63	c  N dy  1435    471751        70      6230         0     32308     43610    454924     20.40     21.50  --
250.11/62.73	c  N dy  1492    495107        70      6230         0     53358     43610    954603     20.38     21.56  --
262.02/65.71	c  N dy  1603    517396        70      6230         0     46496     43610    792323     20.42     21.50  --
272.79/68.44	c  S st  1668    536860        70      6230         0     36059     43610    525693     20.41   no data  --
273.19/68.53	c  S st  1668    537366        70      6230         0     36529     43610    537457     20.41   no data  --
273.19/68.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
273.19/68.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
273.19/68.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
273.19/68.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
273.19/68.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
273.19/68.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
273.19/68.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
282.76/70.99	c lits-rem:       801  cl-subs:     1693  v-elim:      0  v-fix:    0  time:  9.70 s
282.76/70.99	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
283.16/71.00	c vivif2 --  cl tried    34836 cl shrink        0 lits rem          0 time: 0.02
283.56/71.19	c asymm  cl-useful: 0/1561/6230 lits-rem:0 time: 0.77
283.56/71.19	c calculated reachability. Time: 0.00
283.56/71.19	c  N dy  1668    537366        70      6230         0     34836     43610    492997     20.41   no data  --
299.52/75.11	c  N dy  1716    566796        70      6230         0     32426     43610    421358     20.34     21.71  --
310.29/77.81	c  N dy  1765    586880        70      6230         0     50517     43610    852665     20.34     21.99  --
326.25/81.80	c  N dy  1861    614294        70      6230         0     45584     43610    730769     20.35     21.43  --
341.83/85.75	c  N dy  1995    634344        70      6230         0     33107     43610    413544     20.39     23.68  --
355.41/89.16	c  N dy  2106    654420        70      6230         0     51302     43610    856285     20.42     22.01  --
367.74/92.23	c  N dy  2125    674660        70      6230         0     37830     43610    509347     20.38     21.50  --
380.50/95.49	c  N dy  2231    694671        70      6230         0     55882     43610    947941     20.40     22.82  --
398.06/99.83	c  N dy  2352    717656        70      6230         0     44176     43610    653204     20.43     21.61  --
415.20/104.16	c  N dy  2486    737718        70      6230         0     62408     43610   1100817     20.46     21.74  --
430.35/107.97	c  N dy  2550    761048        70      6230         0     49938     43610    773942     20.46     21.56  --
449.10/112.64	c  N dy  2709    781063        70      6230         0     68010     43610   1219314     20.50     23.51  --
461.46/115.77	c  N dy  2805    801291        70      6230         0     51997     43610    817537     20.51     21.67  --
465.10/116.67	c  S st  2825    806049        70      6230         0     56332     43610    923211     20.52     21.14  --
465.85/116.82	c  S st  2825    806550        70      6230         0     56800     43610    934851     20.52   no data  --
465.85/116.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
465.85/116.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
465.85/116.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
465.85/116.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
465.85/116.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.85/116.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
465.85/116.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
503.02/126.27	c lits-rem:      2810  cl-subs:     4642  v-elim:      0  v-fix:    0  time: 37.13 s
503.02/126.27	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
503.02/126.28	c vivif2 --  cl tried    52158 cl shrink        0 lits rem          0 time: 0.04
504.25/126.59	c asymm  cl-useful: 0/950/6230 lits-rem:0 time: 1.19
504.25/126.59	c calculated reachability. Time: 0.00
504.25/126.59	c  N dy  2825    806550        70      6230         0     52158     43610    816671     20.52   no data  --
522.33/131.15	c  N dy  2903    826591        70      6230         0     35243     43610    399416     20.53     21.65  --
533.77/134.02	c  N dy  2907    849334        70      6230         0     55443     43610    860114     20.46     21.73  --
548.80/137.81	c  N dy  2923    869399        70      6230         0     37649     43610    447325     20.43     21.85  --
559.17/140.47	c  N dy  2949    889532        70      6230         0     55623     43610    873816     20.39     21.53  --
582.32/146.30	c  N dy  3036    919112        70      6230         0     45475     43610    616937     20.39     21.54  --
599.05/150.49	c  N dy  3181    939251        70      6230         0     63754     43610   1066885     20.42     21.63  --
619.40/155.59	c  N dy  3319    961207        70      6230         0     45827     43610    618449     20.45     21.61  --
636.15/159.73	c  N dy  3436    981256        70      6230         0     63984     43610   1063393     20.47     23.41  --
654.50/164.34	c  N dy  3511   1001454        70      6230         0     43443     43610    545513     20.48     21.81  --
669.27/168.04	c  N dy  3618   1021709        70      6230         0     61791     43610    994147     20.50     21.76  --
689.20/173.05	c  N dy  3684   1044503        70      6230         0     42547     43610    508491     20.49     21.68  --
703.97/176.73	c  N dy  3781   1064592        70      6230         0     60798     43610    954645     20.51     24.80  --
711.54/178.61	c  F st  3845   1071875        70      6230         0     67409     43610   1119962     20.52   no data  --
744.68/186.96	c  N dy  3888   1116442        70      6230         0     66482     43610   1041339     20.45     21.76  --
769.78/193.28	c  N dy  3998   1138734        70      6230         0     45310     43610    551758     20.47     21.57  --
788.54/197.97	c  N dy  4073   1160298        70      6230         0     64718     43610   1016524     20.47     21.55  --
834.78/209.54	c  N dy  4129   1209825        70      6230         0     66632     43610   1028632     20.42     17.54  --
834.78/209.54	c  S st  4129   1209825        70      6230         0     66632     43610   1028632     20.42     17.54  --
835.98/209.81	c  S st  4129   1210330        70      6230         0     67101     43610   1040136     20.42   no data  --
835.98/209.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
835.98/209.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
835.98/209.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
835.98/209.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
835.98/209.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
835.98/209.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
835.98/209.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
901.38/226.29	c lits-rem:      1748  cl-subs:     8141  v-elim:      0  v-fix:    0  time: 65.40 s
901.38/226.29	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
901.78/226.30	c vivif2 --  cl tried    58960 cl shrink        0 lits rem          0 time: 0.04
903.03/226.66	c asymm  cl-useful: 0/793/6230 lits-rem:0 time: 1.45
903.03/226.67	c calculated reachability. Time: 0.00
903.03/226.67	c  N dy  4129   1210330        70      6230         0     58960     43610    865931     20.42   no data  --
925.31/232.21	c  N dy  4243   1230417        70      6230         0     77115     43610   1310828     20.43     22.19  --
944.06/236.90	c  N dy  4303   1251228        70      6230         0     53190     43610    713974     20.43     21.52  --
964.02/241.98	c  N dy  4330   1279679        70      6230         0     78500     43610   1303484     20.40     21.49  --
983.55/246.89	c  N dy  4398   1300941        70      6230         0     54076     43610    727568     20.40     21.64  --
1005.09/252.27	c  N dy  4502   1321060        70      6230         0     72263     43610   1168869     20.41     21.61  --
1034.22/259.55	c  N dy  4603   1341318        70      6230         0     45653     43610    508740     20.41     21.49  --
1064.94/267.25	c  N dy  4722   1375581        70      6230         0     76478     43610   1246414     20.40     21.57  --
1092.44/274.11	c  N dy  4846   1395585        70      6230         0     48738     43610    570114     20.42     24.70  --
1109.24/278.36	c  N dy  4946   1415595        70      6230         0     66837     43610   1010084     20.43     22.76  --
1132.32/284.18	c  N dy  5058   1435653        70      6230         0     84921     43610   1449699     20.44     23.89  --
1151.48/288.90	c  N dy  5081   1457782        70      6230         0     57914     43610    770158     20.42     21.58  --
1174.21/294.64	c  N dy  5212   1480079        70      6230         0     78074     43610   1262310     20.44     21.55  --
1204.53/302.27	c  N dy  5315   1506073        70      6230         0     53624     43610    652458     20.44     21.52  --
1224.87/307.35	c  N dy  5436   1528046        70      6230         0     73568     43610   1141488     20.45     21.53  --
1250.00/313.63	c  N dy  5543   1548143        70      6230         0     91756     43610   1586360     20.46     22.04  --
1270.75/318.80	c  N dy  5642   1568213        70      6230         0     61134     43610    829219     20.47     22.18  --
1295.47/325.07	c  N dy  5763   1592805        70      6230         0     83308     43610   1369835     20.49     21.64  --
1321.39/331.51	c  N dy  5828   1614803        70      6230         0     53508     43610    631799     20.49     21.57  --
1338.55/335.87	c  N dy  5921   1634826        70      6230         0     71613     43610   1071828     20.49     23.15  --
1360.89/341.49	c  N dy  6000   1655049        70      6230         0     89905     43610   1514740     20.50     21.62  --
1397.98/350.76	c  N dy  6126   1679853        70      6230         0     61658     43610    814718     20.51     21.64  --
1424.72/357.51	c  N dy  6193   1702522        70      6230         0     81973     43610   1305251     20.51     21.60  --
1437.06/360.55	c  S st  6234   1710330        70      6230         0     89027     43610   1477783     20.51     20.77  --
1438.30/360.89	c  S st  6234   1710830        70      6230         0     89479     43610   1489111     20.51   no data  --
1438.65/360.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1438.65/360.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1438.65/360.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1439.05/361.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1439.05/361.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1439.05/361.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1439.05/361.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1635.27/410.28	c lits-rem:      6863  cl-subs:     9124  v-elim:      0  v-fix:    0  time: 196.45 s
1635.27/410.28	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1635.27/410.30	c vivif2 --  cl tried    80355 cl shrink        0 lits rem          0 time: 0.07
1637.25/410.71	c asymm  cl-useful: 0/565/6230 lits-rem:0 time: 1.63
1637.25/410.71	c calculated reachability. Time: 0.00
1637.25/410.71	c  N dy  6234   1710830        70      6230         0     80355     43610   1262481     20.51   no data  --
1669.55/418.85	c  N dy  6353   1731693        70      6230         0     99233     43610   1727815     20.53     21.65  --
1687.51/423.33	c  N dy  6369   1752918        70      6230         0     67344     43610    942086     20.51     21.61  --
1711.03/429.22	c  N dy  6413   1777617        70      6230         0     89384     43610   1461367     20.50     21.64  --
1740.15/436.56	c  N dy  6489   1797704        70      6230         0     55539     43610    651572     20.50     22.31  --
1760.50/441.69	c  N dy  6519   1820482        70      6230         0     75856     43610   1127684     20.48     21.64  --
1787.22/448.34	c  N dy  6586   1840560        70      6230         0     93929     43610   1564479     20.48     22.58  --
1815.94/455.51	c  N dy  6729   1861271        70      6230         0     59828     43610    743589     20.50     21.79  --
1840.28/461.65	c  N dy  6829   1886190        70      6230         0     82316     43610   1288401     20.50     21.61  --
1869.39/468.96	c  N dy  6962   1906224        70      6230         0    100499     43610   1737490     20.52     22.35  --
1894.15/475.11	c  N dy  7046   1926246        70      6230         0     64526     43610    837312     20.52     23.28  --
1916.85/480.81	c  N dy  7178   1946263        70      6230         0     82599     43610   1285669     20.53     21.67  --
1942.41/487.29	c  N dy  7252   1966308        70      6230         0    100660     43610   1719154     20.53     23.06  --
1971.11/494.47	c  N dy  7390   1986386        70      6230         0     63866     43610    812114     20.55     22.44  --
1991.85/499.61	c  N dy  7469   2006803        70      6230         0     82277     43610   1262827     20.55     21.65  --
2022.56/507.37	c  N dy  7563   2030036        70      6230         0    103240     43610   1771866     20.56     21.72  --
2054.47/515.39	c  N dy  7641   2061494        70      6230         0     75591     43610   1077705     20.55     21.76  --
2080.40/521.87	c  N dy  7757   2081555        70      6230         0     93700     43610   1524031     20.56     23.53  --
2110.71/529.43	c  N dy  7859   2101568        70      6230         0    111731     43610   1965651     20.57     22.61  --
2135.05/535.53	c  N dy  7928   2126289        70      6230         0     77178     43610   1103087     20.57     21.70  --
2179.76/546.80	c  N dy  8047   2164094        70      6230         0    111099     43610   1926251     20.57     21.73  --
2214.86/555.52	c  N dy  8114   2198229        70      6230         0     83969     43610   1237814     20.55     21.86  --
2231.99/559.86	c  S st  8178   2210831        70      6230         0     95333     43610   1515643     20.56     21.52  --
2233.16/560.16	c  S st  8178   2211334        70      6230         0     95797     43610   1527289     20.56   no data  --
2233.16/560.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2233.16/560.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2233.56/560.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.19
2233.56/560.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2233.56/560.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2233.56/560.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2233.56/560.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2445.73/613.45	c lits-rem:      4591  cl-subs:    11075  v-elim:      0  v-fix:    0  time: 212.10 s
2445.73/613.46	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2445.73/613.48	c vivif2 --  cl tried    84722 cl shrink        0 lits rem          0 time: 0.08
2447.71/613.96	c asymm  cl-useful: 0/516/6230 lits-rem:0 time: 1.93
2447.71/613.97	c calculated reachability. Time: 0.00
2447.71/613.97	c  N dy  8178   2211334        70      6230         0     84722     43610   1269872     20.56   no data  --
2484.41/623.15	c  N dy  8244   2231342        70      6230         0    102649     43610   1698902     20.55     21.65  --
2527.08/633.89	c  N dy  8327   2251501        70      6230         0     63007     43610    742682     20.56     21.68  --
2558.59/641.72	c  N dy  8431   2271564        70      6230         0     81067     43610   1183968     20.56     23.45  --
2595.68/651.07	c  N dy  8539   2291577        70      6230         0     99158     43610   1629204     20.57     23.12  --
2636.75/661.30	c  N dy  8618   2312257        70      6230         0    117775     43610   2079558     20.57     21.73  --
2659.88/667.14	c  N dy  8640   2332333        70      6230         0     76682     43610   1055726     20.57     23.00  --
2697.00/676.44	c  N dy  8761   2353679        70      6230         0     95963     43610   1530543     20.58     21.69  --
2736.49/686.39	c  N dy  8839   2373716        70      6230         0    113980     43610   1969043     20.58     22.42  --
2772.00/695.22	c  N dy  8930   2393790        70      6230         0     71901     43610    929461     20.58     21.76  --
2810.24/704.86	c  N dy  9070   2416063        70      6230         0     92069     43610   1426549     20.59     21.77  --
2845.34/713.66	c  N dy  9158   2436204        70      6230         0    110203     43610   1871203     20.60     21.72  --
2879.23/722.16	c  N dy  9181   2463065        70      6230         0     73048     43610    924082     20.58     21.80  --
2903.18/728.11	c  N dy  9262   2484286        70      6230         0     92158     43610   1391241     20.58     21.74  --
2928.69/734.54	c  N dy  9305   2504937        70      6230         0    110658     43610   1833035     20.58     21.75  --
2962.99/743.14	c  N dy  9420   2526144        70      6230         0     67813     43610    807574     20.58     21.74  --
2992.11/750.45	c  N dy  9441   2558734        70      6230         0     96815     43610   1487659     20.56     21.64  --
3028.02/759.44	c  N dy  9498   2583659        70      6230         0    119134     43610   2023686     20.55     21.69  --
3063.52/768.39	c  N dy  9632   2610467        70      6230         0     80512     43610   1101730     20.56     21.69  --
3100.64/777.69	c  N dy  9739   2638274        70      6230         0    105558     43610   1708040     20.56     21.68  --
3136.16/786.56	c  N dy  9835   2658308        70      6230         0    123580     43610   2144289     20.56     23.52  --
3168.42/794.63	c  N dy  9935   2686533        70      6230         0     85206     43610   1199522     20.56     21.68  --
3192.77/800.80	c  N dy  9989   2707024        70      6230         0    103507     43610   1635631     20.56     21.65  --
3199.93/802.58	c  S st 10015   2711336        70      6230         0    107424     43610   1731965     20.56     20.37  --
3201.13/802.90	c  S st 10015   2711839        70      6230         0    107891     43610   1743726     20.56   no data  --
3201.55/802.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3201.55/802.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3201.55/802.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3201.98/803.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3201.98/803.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3201.98/803.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3201.98/803.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3664.53/919.04	c lits-rem:      5298  cl-subs:    11541  v-elim:      0  v-fix:    0  time: 462.60 s
3664.53/919.04	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3664.53/919.06	c vivif2 --  cl tried    96350 cl shrink        0 lits rem          0 time: 0.09
3666.55/919.56	c asymm  cl-useful: 0/468/6230 lits-rem:0 time: 1.98
3666.55/919.56	c calculated reachability. Time: 0.00
3666.55/919.56	c  N dy 10015   2711839        70      6230         0     96350     43610   1469440     20.56   no data  --
3713.19/931.28	c  N dy 10101   2733669        70      6230         0    116014     43610   1946368     20.56     21.65  --
3758.26/942.53	c  N dy 10193   2755437        70      6230         0     71494     43610    863260     20.57     21.66  --
3782.19/948.55	c  N dy 10195   2777389        70      6230         0     90969     43610   1322582     20.55     21.76  --
3816.49/957.17	c  N dy 10225   2797397        70      6230         0    108702     43610   1735368     20.54     22.37  --
3861.14/968.32	c  N dy 10284   2820060        70      6230         0    128945     43610   2217590     20.54     21.81  --
3895.10/976.87	c  N dy 10406   2840600        70      6230         0     82510     43610   1124840     20.55     21.68  --
3932.15/986.18	c  N dy 10511   2860793        70      6230         0    100756     43610   1572292     20.55     21.70  --
3983.19/998.99	c  N dy 10660   2882281        70      6230         0    120197     43610   2053803     20.56     21.65  --
4027.05/1009.91	c  N dy 10745   2902380        70      6230         0     71896     43610    839586     20.56     23.68  --
4061.38/1018.51	c  N dy 10851   2924490        70      6230         0     91799     43610   1327811     20.57     21.68  --
4106.82/1029.96	c  N dy 10937   2948923        70      6230         0    113797     43610   1864885     20.57     21.68  --
4158.67/1042.97	c  N dy 11047   2969178        70      6230         0    131972     43610   2311797     20.58     21.72  --
4190.97/1051.04	c  N dy 11119   2989201        70      6230         0     82608     43610   1089090     20.58     22.38  --
4228.85/1060.52	c  N dy 11236   3009318        70      6230         0    100778     43610   1537463     20.59     21.68  --
4275.93/1072.32	c  N dy 11339   3031009        70      6230         0    120369     43610   2015439     20.59     21.73  --
4325.76/1084.84	c  N dy 11452   3051012        70      6230         0     70022     43610    768385     20.60     22.03  --
4354.49/1092.08	c  N dy 11560   3071407        70      6230         0     88455     43610   1222752     20.60     21.71  --
4387.18/1100.25	c  N dy 11670   3091504        70      6230         0    106493     43610   1665502     20.61     21.71  --
4427.08/1110.29	c  N dy 11756   3111602        70      6230         0    124599     43610   2108550     20.61     24.92  --
4466.17/1120.02	c  N dy 11804   3131651        70      6230         0     73273     43610    832942     20.61     23.05  --
4497.68/1127.94	c  N dy 11958   3151964        70      6230         0     91674     43610   1290756     20.62     21.75  --
4533.18/1136.87	c  N dy 12063   3172005        70      6230         0    109739     43610   1734358     20.63     21.88  --
4575.46/1147.43	c  N dy 12163   3192472        70      6230         0    128120     43610   2185936     20.63     21.74  --
4614.59/1157.27	c  S st 12241   3211839        70      6230         0     75348     43610    872523     20.63     20.33  --
4615.74/1157.52	c  S st 12241   3212345        70      6230         0     75818     43610    884287     20.63   no data  --
4615.74/1157.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4615.74/1157.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4615.74/1157.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
4615.74/1157.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4615.74/1157.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4615.74/1157.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4615.74/1157.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4689.92/1176.13	c lits-rem:       911  cl-subs:     1182  v-elim:      0  v-fix:    0  time: 73.95 s
4689.92/1176.14	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
4689.92/1176.15	c vivif2 --  cl tried    74636 cl shrink        0 lits rem          0 time: 0.05
4691.52/1176.54	c asymm  cl-useful: 0/616/6230 lits-rem:0 time: 1.55
4691.52/1176.54	c calculated reachability. Time: 0.00
4691.52/1176.54	c  N dy 12241   3212345        70      6230         0     74636     43610    853944     20.63   no data  --
4716.65/1182.88	c  N dy 12336   3232421        70      6230         0     92763     43610   1299320     20.64     22.42  --
4749.36/1191.05	c  N dy 12426   3253602        70      6230         0    111887     43610   1762591     20.64     21.79  --

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-3368728-1305401822/watcher-3368728-1305401822 -o /tmp/evaluation-result-3368728-1305401822/solver-3368728-1305401822 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368728-1305401822.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: 6.94 7.86 7.90 3/355 14895
/proc/meminfo: memFree=25242680/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=40992 CPUtime=0 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 3 0 730412872 41975808 350 33554432000 4194304 4650419 140735531953424 18446744073709551615 251367603185 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 10248 350 303 112 0 5213 0
[pid=14895/tid=14898] ppid=14892 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 730412873 52465664 356 33554432000 4194304 4650419 140735531953424 18446744073709551615 47574255142425 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 730412873 52465664 356 33554432000 4194304 4650419 140735531953424 18446744073709551615 47574255142834 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 730412873 52465664 356 33554432000 4194304 4650419 140735531953424 18446744073709551615 47574255142425 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0523499 s]
/proc/loadavg: 6.94 7.86 7.90 3/355 14895
/proc/meminfo: memFree=25242680/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=282048 CPUtime=0.17 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 1337 0 0 0 17 0 0 0 22 0 4 0 730412872 288817152 1244 33554432000 4194304 4650419 140735531953424 18446744073709551615 4370456 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 70512 1244 366 112 0 65477 0
[pid=14895/tid=14898] ppid=14892 vsize=282048 CPUtime=0.04 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 213 0 0 0 4 0 0 0 22 0 4 0 730412873 288817152 1244 33554432000 4194304 4650419 140735531953424 18446744073709551615 4370658 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=282048 CPUtime=0.03 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 191 0 0 0 3 0 0 0 22 0 4 0 730412873 288817152 1244 33554432000 4194304 4650419 140735531953424 18446744073709551615 4370637 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=282048 CPUtime=0.04 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 277 0 0 0 4 0 0 0 23 0 4 0 730412873 288817152 1244 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 282048

[startup+0.100341 s]
/proc/loadavg: 6.94 7.86 7.90 3/355 14895
/proc/meminfo: memFree=25242680/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=282048 CPUtime=0.37 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 1432 0 0 0 37 0 0 0 22 0 4 0 730412872 288817152 1339 33554432000 4194304 4650419 140735531953424 18446744073709551615 4370658 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 70512 1339 366 112 0 65477 0
[pid=14895/tid=14898] ppid=14892 vsize=282048 CPUtime=0.09 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 220 0 0 0 9 0 0 0 22 0 4 0 730412873 288817152 1339 33554432000 4194304 4650419 140735531953424 18446744073709551615 4370710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=282048 CPUtime=0.08 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 201 0 0 0 8 0 0 0 22 0 4 0 730412873 288817152 1339 33554432000 4194304 4650419 140735531953424 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=282048 CPUtime=0.09 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 347 0 0 0 9 0 0 0 23 0 4 0 730412873 288817152 1339 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282048

[startup+0.300305 s]
/proc/loadavg: 6.94 7.86 7.90 3/355 14895
/proc/meminfo: memFree=25242680/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=285372 CPUtime=1.16 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 3672 0 0 0 116 0 0 0 18 0 4 0 730412872 292220928 3151 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 71343 3151 390 112 0 66308 0
[pid=14895/tid=14898] ppid=14892 vsize=285372 CPUtime=0.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 857 0 0 0 29 0 0 0 18 0 4 0 730412873 292220928 3151 33554432000 4194304 4650419 140735531953424 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=285372 CPUtime=0.28 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 811 0 0 0 28 0 0 0 22 0 4 0 730412873 292220928 3151 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=285372 CPUtime=0.29 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 712 0 0 0 29 0 0 0 23 0 4 0 730412873 292220928 3151 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 285372

[startup+0.700233 s]
/proc/loadavg: 6.94 7.86 7.90 3/355 14895
/proc/meminfo: memFree=25242680/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=287232 CPUtime=2.76 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 6031 0 0 0 275 1 0 0 18 0 4 0 730412872 294125568 3575 33554432000 4194304 4650419 140735531953424 18446744073709551615 4332044 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 71808 3575 390 112 0 66773 0
[pid=14895/tid=14898] ppid=14892 vsize=287232 CPUtime=0.69 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 1425 0 0 0 69 0 0 0 18 0 4 0 730412873 294125568 3575 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=287232 CPUtime=0.68 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 1379 0 0 0 68 0 0 0 24 0 4 0 730412873 294125568 3575 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=287232 CPUtime=0.69 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 1308 0 0 0 69 0 0 0 25 0 4 0 730412873 294125568 3575 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 287232

[startup+1.50109 s]
/proc/loadavg: 6.94 7.86 7.90 9/365 14905
/proc/meminfo: memFree=25216240/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=288228 CPUtime=5.95 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 10815 0 0 0 594 1 0 0 19 0 4 0 730412872 295145472 5941 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 72057 5941 392 112 0 67022 0
[pid=14895/tid=14898] ppid=14892 vsize=288228 CPUtime=1.49 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 2347 0 0 0 149 0 0 0 19 0 4 0 730412873 295145472 5941 33554432000 4194304 4650419 140735531953424 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=288228 CPUtime=1.46 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 2257 0 0 0 146 0 0 0 25 0 4 0 730412873 295145472 5941 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=288228 CPUtime=1.49 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 1987 0 0 0 149 0 0 0 25 0 4 0 730412873 295145472 5941 33554432000 4194304 4650419 140735531953424 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 288228

[startup+3.10079 s]
/proc/loadavg: 6.94 7.86 7.90 10/365 14905
/proc/meminfo: memFree=25189952/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=297388 CPUtime=12.33 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 18244 0 0 0 1231 2 0 0 24 0 4 0 730412872 304525312 10783 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 74347 10783 392 112 0 69312 0
[pid=14895/tid=14898] ppid=14892 vsize=297388 CPUtime=3.09 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 3966 0 0 0 309 0 0 0 24 0 4 0 730412873 304525312 10783 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=297388 CPUtime=3.06 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 4800 0 0 0 305 1 0 0 25 0 4 0 730412873 304525312 10783 33554432000 4194304 4650419 140735531953424 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=297388 CPUtime=3.08 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 4864 0 0 0 308 0 0 0 25 0 4 0 730412873 304525312 10783 33554432000 4194304 4650419 140735531953424 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 297388

[startup+6.3002 s]
/proc/loadavg: 7.02 7.86 7.90 9/365 14905
/proc/meminfo: memFree=25136772/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=298340 CPUtime=25.09 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 26583 0 0 0 2505 4 0 0 25 0 4 0 730412872 305500160 14284 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 74585 14284 392 112 0 69550 0
[pid=14895/tid=14898] ppid=14892 vsize=298340 CPUtime=6.28 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 6844 0 0 0 628 0 0 0 25 0 4 0 730412873 305500160 14284 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=298340 CPUtime=6.21 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 6583 0 0 0 620 1 0 0 25 0 4 0 730412873 305500160 14284 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=298340 CPUtime=6.28 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 7039 0 0 0 627 1 0 0 25 0 4 0 730412873 305500160 14284 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 298340

[startup+12.701 s]
/proc/loadavg: 7.10 7.86 7.90 10/365 14905
/proc/meminfo: memFree=25089064/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=292260 CPUtime=50.63 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 38225 0 0 0 5055 8 0 0 25 0 4 0 730412872 299274240 19330 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 73065 19330 392 112 0 68030 0
[pid=14895/tid=14898] ppid=14892 vsize=292260 CPUtime=12.68 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 9213 0 0 0 1268 0 0 0 25 0 4 0 730412873 299274240 19330 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=292260 CPUtime=12.54 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 9308 0 0 0 1252 2 0 0 25 0 4 0 730412873 299274240 19330 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=292260 CPUtime=12.68 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 10871 0 0 0 1266 2 0 0 25 0 4 0 730412873 299274240 19330 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 292260

[startup+25.5006 s]
/proc/loadavg: 7.30 7.87 7.91 10/365 14906
/proc/meminfo: memFree=25028936/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=287432 CPUtime=101.67 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 59283 0 0 0 10155 12 0 0 25 0 4 0 730412872 294330368 25649 33554432000 4194304 4650419 140735531953424 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 71858 25649 392 112 0 66823 0
[pid=14895/tid=14898] ppid=14892 vsize=287432 CPUtime=25.48 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 14813 0 0 0 2547 1 0 0 25 0 4 0 730412873 294330368 25649 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=287432 CPUtime=25.2 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 14882 0 0 0 2517 3 0 0 25 0 4 0 730412873 294330368 25649 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=287432 CPUtime=25.47 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 16184 0 0 0 2544 3 0 0 25 0 4 0 730412873 294330368 25649 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 287432

[startup+51.1009 s]
/proc/loadavg: 7.59 7.89 7.91 10/365 14906
/proc/meminfo: memFree=24971468/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=318960 CPUtime=203.79 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 85682 0 0 0 20362 17 0 0 25 0 4 0 730412872 326615040 29374 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 79740 29374 392 112 0 74705 0
[pid=14895/tid=14898] ppid=14892 vsize=318960 CPUtime=51.08 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 20896 0 0 0 5106 2 0 0 25 0 4 0 730412873 326615040 29374 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=318960 CPUtime=50.52 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 20468 0 0 0 5048 4 0 0 25 0 4 0 730412873 326615040 29374 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=318960 CPUtime=51.08 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 24584 0 0 0 5102 6 0 0 25 0 4 0 730412873 326615040 29374 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 318960

[startup+102.313 s]
/proc/loadavg: 7.87 7.92 7.92 10/365 14908
/proc/meminfo: memFree=24927048/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=320624 CPUtime=408.06 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 133482 0 0 0 40774 32 0 0 25 0 4 0 730412872 328318976 35542 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 80156 35542 392 112 0 75121 0
[pid=14895/tid=14898] ppid=14892 vsize=320624 CPUtime=102.3 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 30936 0 0 0 10225 5 0 0 25 0 4 0 730412873 328318976 35542 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=320624 CPUtime=101.17 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 32617 0 0 0 10107 10 0 0 25 0 4 0 730412873 328318976 35542 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=320624 CPUtime=102.28 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 38808 0 0 0 10219 9 0 0 25 0 4 0 730412873 328318976 35542 33554432000 4194304 4650419 140735531953424 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 320624

[startup+162.3 s]

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

[pid=14895] ppid=14892 vsize=567044 CPUtime=2800.27 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 393856 0 0 0 279901 126 0 0 25 0 4 0 730412872 580653056 80501 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 141761 80501 392 112 0 136726 0
[pid=14895/tid=14898] ppid=14892 vsize=567044 CPUtime=702.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 101268 0 0 0 70199 30 0 0 25 0 4 0 730412873 580653056 80501 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=567044 CPUtime=693.49 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 87850 0 0 0 69316 33 0 0 25 0 4 0 730412873 580653056 80501 33554432000 4194304 4650419 140735531953424 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=567044 CPUtime=702.17 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 121951 0 0 0 70183 34 0 0 25 0 4 0 730412873 580653056 80501 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.27
Current children cumulated vsize (KiB) 567044

[startup+762.313 s]
/proc/loadavg: 8.10 8.06 8.00 9/365 14928
/proc/meminfo: memFree=24480764/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=542612 CPUtime=3039.63 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 418757 0 0 0 303828 135 0 0 25 0 4 0 730412872 555634688 83561 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 135653 83561 392 112 0 130618 0
[pid=14895/tid=14898] ppid=14892 vsize=542612 CPUtime=762.3 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 106876 0 0 0 76198 32 0 0 25 0 4 0 730412873 555634688 83561 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=542612 CPUtime=752.83 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 93023 0 0 0 75247 36 0 0 25 0 4 0 730412873 555634688 83561 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=542612 CPUtime=762.17 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 130051 0 0 0 76181 36 0 0 25 0 4 0 730412873 555634688 83561 33554432000 4194304 4650419 140735531953424 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.63
Current children cumulated vsize (KiB) 542612

[startup+822.3 s]
/proc/loadavg: 8.16 8.08 8.01 9/365 14930
/proc/meminfo: memFree=24436476/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=543084 CPUtime=3278.9 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 436041 0 0 0 327748 142 0 0 25 0 4 0 730412872 556118016 83009 33554432000 4194304 4650419 140735531953424 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 135771 83009 392 112 0 130736 0
[pid=14895/tid=14898] ppid=14892 vsize=543084 CPUtime=822.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 110160 0 0 0 82195 34 0 0 25 0 4 0 730412873 556118016 83009 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=543084 CPUtime=812.15 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 98148 0 0 0 81177 38 0 0 25 0 4 0 730412873 556118016 83009 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=543084 CPUtime=822.15 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 136115 0 0 0 82177 38 0 0 25 0 4 0 730412873 556118016 83009 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3278.9
Current children cumulated vsize (KiB) 543084

[startup+882.301 s]
/proc/loadavg: 8.23 8.11 8.02 10/365 14931
/proc/meminfo: memFree=24465348/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=543148 CPUtime=3518.17 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 448323 0 0 0 351670 147 0 0 25 0 4 0 730412872 556183552 88862 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 135787 88862 392 112 0 130752 0
[pid=14895/tid=14898] ppid=14892 vsize=543148 CPUtime=882.28 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 114735 0 0 0 88192 36 0 0 25 0 4 0 730412873 556183552 88862 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=543148 CPUtime=871.43 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 101827 0 0 0 87104 39 0 0 25 0 4 0 730412873 556183552 88862 33554432000 4194304 4650419 140735531953424 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=543148 CPUtime=882.14 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 139154 0 0 0 88174 40 0 0 25 0 4 0 730412873 556183552 88862 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.17
Current children cumulated vsize (KiB) 543148

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 8.01 10/365 14933
/proc/meminfo: memFree=24421672/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=543400 CPUtime=3757.46 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 457114 0 0 0 375595 151 0 0 25 0 4 0 730412872 556441600 89234 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 135850 89234 392 112 0 130815 0
[pid=14895/tid=14898] ppid=14892 vsize=543400 CPUtime=942.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 115326 0 0 0 94192 37 0 0 25 0 4 0 730412873 556441600 89234 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=543400 CPUtime=930.73 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 106688 0 0 0 93031 42 0 0 25 0 4 0 730412873 556441600 89234 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=543400 CPUtime=942.13 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 142209 0 0 0 94173 40 0 0 25 0 4 0 730412873 556441600 89234 33554432000 4194304 4650419 140735531953424 18446744073709551615 4439518 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.46
Current children cumulated vsize (KiB) 543400

[startup+1002.3 s]
/proc/loadavg: 8.14 8.10 8.02 10/365 14935
/proc/meminfo: memFree=24400060/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=543452 CPUtime=3996.75 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 470012 0 0 0 399519 156 0 0 25 0 4 0 730412872 556494848 91706 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 135863 91706 392 112 0 130828 0
[pid=14895/tid=14898] ppid=14892 vsize=543452 CPUtime=1002.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 115326 0 0 0 100192 37 0 0 25 0 4 0 730412873 556494848 91706 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476606 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=543452 CPUtime=990.02 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 110429 0 0 0 98958 44 0 0 25 0 4 0 730412873 556494848 91706 33554432000 4194304 4650419 140735531953424 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=543452 CPUtime=1002.12 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 148821 0 0 0 100171 41 0 0 25 0 4 0 730412873 556494848 91706 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3996.75
Current children cumulated vsize (KiB) 543452

[startup+1062.3 s]
/proc/loadavg: 8.05 8.08 8.01 10/365 14936
/proc/meminfo: memFree=24362572/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=609100 CPUtime=4236.04 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 489099 0 0 0 423441 163 0 0 25 0 4 0 730412872 623718400 95939 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 152275 95939 392 112 0 147240 0
[pid=14895/tid=14898] ppid=14892 vsize=609100 CPUtime=1062.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 115326 0 0 0 106192 37 0 0 25 0 4 0 730412873 623718400 95939 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=609100 CPUtime=1049.31 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 115485 0 0 0 104885 46 0 0 25 0 4 0 730412873 623718400 95939 33554432000 4194304 4650419 140735531953424 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=609100 CPUtime=1062.11 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 157896 0 0 0 106168 43 0 0 25 0 4 0 730412873 623718400 95939 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.04
Current children cumulated vsize (KiB) 609100

[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 8.02 10/365 14938
/proc/meminfo: memFree=24364540/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=543920 CPUtime=4475.34 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 502821 0 0 0 447366 168 0 0 25 0 4 0 730412872 556974080 89599 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 135980 89599 392 112 0 130945 0
[pid=14895/tid=14898] ppid=14892 vsize=543920 CPUtime=1122.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 118705 0 0 0 112190 39 0 0 25 0 4 0 730412873 556974080 89599 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=543920 CPUtime=1108.63 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 118440 0 0 0 110815 48 0 0 25 0 4 0 730412873 556974080 89599 33554432000 4194304 4650419 140735531953424 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=543920 CPUtime=1122.1 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 164278 0 0 0 112166 44 0 0 25 0 4 0 730412873 556974080 89599 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.34
Current children cumulated vsize (KiB) 543920

[startup+1182.3 s]
/proc/loadavg: 8.08 8.09 8.01 10/365 14939
/proc/meminfo: memFree=24355592/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=556948 CPUtime=4714.66 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 511491 0 0 0 471294 172 0 0 25 0 4 0 730412872 570314752 95107 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 139237 95107 392 112 0 134202 0
[pid=14895/tid=14898] ppid=14892 vsize=556948 CPUtime=1182.29 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 122063 0 0 0 118189 40 0 0 25 0 4 0 730412873 570314752 95107 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=556948 CPUtime=1167.95 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 118694 0 0 0 116747 48 0 0 25 0 4 0 730412873 570314752 95107 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=556948 CPUtime=1182.1 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 167356 0 0 0 118164 46 0 0 25 0 4 0 730412873 570314752 95107 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4714.66
Current children cumulated vsize (KiB) 556948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.20 8.11 8.02 5/361 14941
/proc/meminfo: memFree=24847028/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=556948 CPUtime=4800.03 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 517020 0 0 0 479828 175 0 0 25 0 4 0 730412872 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 139237 97591 392 112 0 134202 0
[pid=14895/tid=14898] ppid=14892 vsize=556948 CPUtime=1203.7 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 124416 0 0 0 120329 41 0 0 25 0 4 0 730412873 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=556948 CPUtime=1189.11 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 119784 0 0 0 118862 49 0 0 25 0 4 0 730412873 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=556948 CPUtime=1203.51 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 168140 0 0 0 120304 47 0 0 25 0 4 0 730412873 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 556948

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

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

[startup+1203.7 s]
/proc/loadavg: 8.20 8.11 8.02 5/361 14941
/proc/meminfo: memFree=24847028/32950928 swapFree=38710892/67111528
[pid=14895] ppid=14892 vsize=556948 CPUtime=4800.03 cores=0,2,4,6
/proc/14895/stat : 14895 (strangenight1-m) R 14892 14895 14563 0 -1 4202496 517020 0 0 0 479828 175 0 0 25 0 4 0 730412872 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14895/statm: 139237 97591 392 112 0 134202 0
[pid=14895/tid=14898] ppid=14892 vsize=556948 CPUtime=1203.7 cores=0,2,4,6
/proc/14895/task/14898/stat : 14898 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 124416 0 0 0 120329 41 0 0 25 0 4 0 730412873 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14895/tid=14899] ppid=14892 vsize=556948 CPUtime=1189.11 cores=0,2,4,6
/proc/14895/task/14899/stat : 14899 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 119784 0 0 0 118862 49 0 0 25 0 4 0 730412873 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14895/tid=14903] ppid=14892 vsize=556948 CPUtime=1203.51 cores=0,2,4,6
/proc/14895/task/14903/stat : 14903 (strangenight1-m) R 14892 14895 14563 0 -1 4202560 168140 0 0 0 120304 47 0 0 25 0 4 0 730412873 570314752 97591 33554432000 4194304 4650419 140735531953424 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 556948

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.73
CPU time (s): 4800.1
CPU user time (s): 4798.33
CPU system time (s): 1.76973
CPU usage (%): 398.767
Max. virtual memory (cumulated for all children) (KiB): 622124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.33
system time used= 1.76973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517021
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= 459
involuntary context switches= 31717

runsolver used 4.02439 second user time and 9.81951 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-14 21:37:02
IDJOB=3368728
IDBENCH=82737
IDSOLVER=1846
FILE ID=node113/3368728-1305401822
RUNJOBID= node113-1305401822-14878
PBS_JOBID= 13324480
Free space on /tmp= 73444 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368728-1305401822/watcher-3368728-1305401822 -o /tmp/evaluation-result-3368728-1305401822/solver-3368728-1305401822 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368728-1305401822.cnf

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

MD5SUM BENCH= 91ecb427720c901d7e357cfd52fa252a
RANDOM SEED=1972428794

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.846
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.846
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.846
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.83
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.846
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:     32950928 kB
MemFree:      25243100 kB
Buffers:        253568 kB
Cached:        2805024 kB
SwapCached:      93712 kB
Active:         745524 kB
Inactive:      6700844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25243100 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:           12592 kB
Writeback:           0 kB
AnonPages:     4305600 kB
Mapped:          13408 kB
Slab:           105484 kB
PageTables:      91756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87041256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73436 MiB
End job on node113 at 2011-05-14 21:57:08