Trace number 3175222

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf
MD5SUMc6bf5481c82f3a24100e294aa3a73c9c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark366.523
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 55340

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175222-1304100605.cnf'
0.00/0.00	c -- header says num vars:             60
0.00/0.00	c -- header says num clauses:        5340
0.00/0.00	c -- clauses added:            0 learnts,         5340 normals,            0 xors
0.00/0.00	c -- vars added         60
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        60      5340         0         0     37380         0   no data   no data  --
0.41/0.12	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.46
0.41/0.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.41/0.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
0.41/0.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      36
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0        60      5340         0         0     37380         0   no data   no data  --
3.57/0.90	c  N dy     7      5218        60      5340         0      2431     37380     47570     17.78     18.75  --
3.57/0.90	c  N dy    21      9264        60      5340         0      6074     37380    125599     18.01     19.78  --
3.57/0.90	c  N dy    40     13319        60      5340         0      5921     37380    114197     18.30     19.31  --
3.57/0.90	c  N dy    47     18471        60      5340         0      5462     37380     95187     18.11     19.13  --
3.97/1.00	c  N dy    71     22556        60      5340         0      9125     37380    174647     18.29     19.29  --
3.97/1.10	c  F st    81     25000        60      5340         0     11317     37380    221166     18.33     17.88  --
4.39/1.20	c  N st    85     27033        60      5340         0      7033     37380    119123     18.33   no data  --
5.17/1.30	c  S st    87     30000        60      5340         0      9682     37380    174473     18.33   no data  --
5.57/1.40	c  S st    87     30501        60      5340         0     10135     37380    184586     18.33   no data  --
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.78/2.28	c lits-rem:      1307  cl-subs:     1072  v-elim:      0  v-fix:    0  time:  3.80 s
9.96/2.55	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.06
9.96/2.55	c calculated reachability. Time: 0.00
9.96/2.55	c  N dy    87     30501        60      5340         0      9063     37380    161186     18.33   no data  --
12.36/3.15	c  N dy    89     42068        60      5340         0     12293     37380    218833     17.92     18.87  --
13.17/3.38	c  S st   109     45753        60      5340         0     15591     37380    289702     18.00   no data  --
13.58/3.43	c  S st   109     46257        60      5340         0      8116     37380    124541     18.00   no data  --
13.58/3.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.58/3.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.58/3.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.58/3.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.58/3.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.58/3.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
13.58/3.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.36/4.17	c lits-rem:       171  cl-subs:       38  v-elim:      0  v-fix:    0  time:  2.93 s
16.36/4.17	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
16.36/4.17	c vivif2 --  cl tried     8078 cl shrink        0 lits rem          0 time: 0.00
17.16/4.39	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 0.87
17.16/4.39	c calculated reachability. Time: 0.00
17.16/4.39	c  N dy   109     46257        60      5340         0      8078     37380    123558     18.00   no data  --
18.76/4.71	c  N dy   112     52794        60      5340         0     13819     37380    242418     17.85     18.85  --
19.96/5.03	c  N dy   139     57528        60      5340         0      9236     37380    137568     17.91     18.90  --
21.55/5.41	c  N dy   172     64669        60      5340         0     15630     37380    273800     17.98     18.93  --
22.75/5.73	c  N dy   198     68974        60      5340         0     19481     37380    357173     18.06     19.02  --
22.75/5.78	c  S st   202     69386        60      5340         0     10052     37380    145428     18.07   no data  --
23.15/5.81	c  S st   202     69889        60      5340         0     10516     37380    155728     18.07   no data  --
23.15/5.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.15/5.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.15/5.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.15/5.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.15/5.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.15/5.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
23.15/5.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.66	c lits-rem:       261  cl-subs:      105  v-elim:      0  v-fix:    0  time:  3.35 s
26.36/6.66	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
26.36/6.66	c vivif2 --  cl tried    10411 cl shrink        0 lits rem          0 time: 0.00
27.55/6.94	c asymm  cl-useful: 0/5340/5340 lits-rem:0 time: 1.12
27.55/6.94	c calculated reachability. Time: 0.00
27.55/6.94	c  N dy   202     69889        60      5340         0     10411     37380    152938     18.07   no data  --
28.75/7.20	c  N dy   233     74433        60      5340         0     14478     37380    241176     18.15     21.85  --
29.95/7.55	c  N dy   259     79452        60      5340         0     18985     37380    337591     18.18     19.21  --
31.54/7.96	c  N dy   284     85024        60      5340         0     13242     37380    203335     18.23     19.23  --
32.34/8.10	c  F st   288     87502        60      5340         0     15434     37380    249036     18.22     18.74  --
33.14/8.32	c  N st   293     90804        60      5340         0     18363     37380    311580     18.22   no data  --
35.15/8.84	c  N dy   299     97975        60      5340         0     13127     37380    189145     18.19     19.16  --
37.13/9.30	c  N dy   318    104833        60      5340         0     19193     37380    318178     18.19     15.95  --
37.13/9.30	c  S st   318    104833        60      5340         0     19193     37380    318178     18.19     15.95  --
37.13/9.35	c  S st   318    105335        60      5340         0     19649     37380    328330     18.19   no data  --
37.13/9.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.13/9.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.13/9.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
37.13/9.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.13/9.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.13/9.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
37.13/9.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.53/10.91	c lits-rem:      1889  cl-subs:     2144  v-elim:      0  v-fix:    0  time:  6.15 s
43.53/10.91	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
43.53/10.92	c vivif2 --  cl tried    17505 cl shrink        0 lits rem          0 time: 0.02
44.72/11.28	c asymm  cl-useful: 0/4443/5340 lits-rem:0 time: 1.44
44.72/11.28	c calculated reachability. Time: 0.00
44.72/11.28	c  N dy   318    105335        60      5340         0     17505     37380    282137     18.19   no data  --
47.92/12.05	c  N dy   334    115618        60      5340         0     14301     37380    205617     18.13     19.17  --
50.31/12.68	c  N dy   359    125029        60      5340         0     22677     37380    383135     18.12     19.26  --
54.31/13.69	c  N dy   368    139739        60      5340         0     22447     37380    362709     17.95     18.92  --
57.91/14.51	c  N dy   400    149527        60      5340         0     16964     37380    241284     17.95     18.90  --
59.90/15.09	c  S st   403    158002        60      5340         0     24418     37380    392468     17.84     14.96  --
60.30/15.15	c  S st   403    158506        60      5340         0     24876     37380    402457     17.84   no data  --
60.30/15.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.30/15.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.30/15.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
60.30/15.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.30/15.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.30/15.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
60.30/15.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
67.88/17.00	c lits-rem:      2264  cl-subs:     3258  v-elim:      0  v-fix:    0  time:  7.28 s
67.88/17.00	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
67.88/17.00	c vivif2 --  cl tried    21618 cl shrink        0 lits rem          0 time: 0.02
68.28/17.13	c asymm  cl-useful: 0/897/5340 lits-rem:0 time: 0.50
68.28/17.13	c calculated reachability. Time: 0.00
68.28/17.13	c  N dy   403    158506        60      5340         0     21618     37380    339812     17.84   no data  --
73.88/18.57	c  N dy   443    175622        60      5340         0     21908     37380    332795     17.79     18.80  --
78.67/19.71	c  N dy   482    186926        60      5340         0     16130     37380    207722     17.79     19.79  --
82.67/20.75	c  N dy   563    198912        60      5340         0     26893     37380    440320     17.87     19.20  --
88.66/22.27	c  N dy   640    213367        60      5340         0     22907     37380    343982     17.92     18.92  --
95.45/23.92	c  N dy   688    229631        60      5340         0     19552     37380    255971     17.91     18.89  --
98.25/24.67	c  S st   746    237760        60      5340         0     26842     37380    414038     17.95     17.69  --
98.65/24.74	c  S st   746    238266        60      5340         0     27303     37380    424340     17.95   no data  --
98.65/24.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.65/24.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.65/24.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
98.65/24.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.65/24.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
98.65/24.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
98.65/24.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
107.44/26.91	c lits-rem:      2018  cl-subs:     2252  v-elim:      0  v-fix:    0  time:  8.59 s
107.44/26.91	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
107.44/26.92	c vivif2 --  cl tried    25051 cl shrink        0 lits rem          0 time: 0.02
109.03/27.31	c asymm  cl-useful: 0/3362/5340 lits-rem:0 time: 1.56
109.03/27.31	c calculated reachability. Time: 0.00
109.03/27.31	c  N dy   746    238266        60      5340         0     25051     37380    374410     17.95   no data  --
116.62/29.25	c  N dy   853    254128        60      5340         0     20583     37380    267679     18.03     19.19  --
123.44/30.92	c  N dy   924    270587        60      5340         0     35173     37380    578831     18.05     19.05  --
133.00/33.38	c  N dy  1011    294008        60      5340         0     36467     37380    593020     18.06     19.11  --
138.59/34.74	c  F st  1064    306251        60      5340         0     26990     37380    384391     18.08     17.76  --
141.39/35.44	c  N dy  1076    313358        60      5340         0     33286     37380    519377     18.08     19.07  --
150.18/37.67	c  N dy  1133    333430        60      5340         0     29817     37380    431829     18.08     19.67  --
161.37/40.40	c  N dy  1199    356694        60      5340         0     28215     37380    387552     18.07     19.03  --
161.37/40.49	c  S st  1206    357403        60      5340         0     28844     37380    401292     18.08     19.78  --
161.77/40.56	c  S st  1206    357906        60      5340         0     29294     37380    411480     18.08   no data  --
161.77/40.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
161.77/40.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
161.77/40.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
161.77/40.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.77/40.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.77/40.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
161.77/40.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
170.56/42.79	c lits-rem:      1554  cl-subs:     2091  v-elim:      0  v-fix:    0  time:  8.81 s
170.56/42.79	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
170.96/42.80	c vivif2 --  cl tried    27203 cl shrink        0 lits rem          0 time: 0.02
171.78/43.07	c asymm  cl-useful: 0/1978/5340 lits-rem:0 time: 1.10
171.78/43.07	c calculated reachability. Time: 0.00
171.78/43.07	c  N dy  1206    357906        60      5340         0     27203     37380    368637     18.08   no data  --
182.93/45.83	c  N dy  1238    378029        60      5340         0     44999     37380    739942     18.05     19.00  --
194.52/48.76	c  N dy  1286    400483        60      5340         0     42013     37380    667595     18.01     19.06  --
213.30/53.46	c  N dy  1371    440062        60      5340         0     28353     37380    356667     17.95     19.09  --
224.10/56.12	c  N dy  1448    460907        60      5340         0     46860     37380    749762     17.96     18.92  --
235.27/58.92	c  N dy  1531    482928        60      5340         0     40682     37380    608850     17.96     18.96  --
247.65/62.01	c  N dy  1637    502941        60      5340         0     31906     37380    417471     17.98     18.96  --
259.66/65.07	c  N dy  1754    522971        60      5340         0     49739     37380    800418     18.02     19.06  --
268.44/67.21	c  S st  1815    536860        60      5340         0     34527     37380    461893     18.03     16.41  --
268.44/67.29	c  S st  1815    537367        60      5340         0     34978     37380    472031     18.03   no data  --
268.44/67.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
268.44/67.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
268.82/67.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
268.82/67.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.82/67.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.82/67.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
268.82/67.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
277.61/69.51	c lits-rem:      1156  cl-subs:     1905  v-elim:      0  v-fix:    0  time:  8.73 s
277.61/69.51	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
277.61/69.51	c vivif2 --  cl tried    33073 cl shrink        0 lits rem          0 time: 0.02
278.81/69.88	c asymm  cl-useful: 0/2635/5340 lits-rem:0 time: 1.47
278.81/69.88	c calculated reachability. Time: 0.00
278.81/69.88	c  N dy  1815    537367        60      5340         0     33073     37380    430837     18.03   no data  --
297.98/74.63	c  N dy  1931    571408        60      5340         0     34876     37380    454881     18.02     19.03  --
311.17/77.94	c  N dy  2058    591429        60      5340         0     52703     37380    840050     18.06     20.61  --
327.94/82.15	c  N dy  2152    619803        60      5340         0     48570     37380    734367     18.05     19.18  --
342.33/85.70	c  N dy  2243    639991        60      5340         0     36380     37380    473431     18.06     19.08  --
359.50/90.02	c  N dy  2271    669374        60      5340         0     31325     37380    355619     18.00     18.98  --
371.08/92.93	c  N dy  2335    689423        60      5340         0     49007     37380    724870     17.99     18.98  --
387.09/96.92	c  N dy  2443    709471        60      5340         0     35050     37380    425170     18.01     20.33  --
399.87/100.18	c  N dy  2489    730332        60      5340         0     53469     37380    811463     18.00     19.00  --
416.63/104.31	c  N dy  2560    752122        60      5340         0     39994     37380    511695     18.00     18.99  --
430.63/107.83	c  N dy  2653    772169        60      5340         0     57803     37380    894158     18.02     18.97  --
445.38/111.54	c  N dy  2744    792223        60      5340         0     41916     37380    550720     18.03     20.53  --
455.37/114.03	c  S st  2822    806052        60      5340         0     54214     37380    814858     18.04   no data  --
455.77/114.19	c  S st  2822    806554        60      5340         0     54667     37380    825058     18.04   no data  --
455.77/114.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
455.77/114.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
456.17/114.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.08
456.17/114.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
456.17/114.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
456.17/114.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
456.17/114.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
484.93/121.43	c lits-rem:      2847  cl-subs:     5214  v-elim:      0  v-fix:    0  time: 28.72 s
484.93/121.43	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
484.93/121.44	c vivif2 --  cl tried    49453 cl shrink        0 lits rem          0 time: 0.04
485.73/121.68	c asymm  cl-useful: 0/774/5340 lits-rem:0 time: 0.96
485.73/121.68	c calculated reachability. Time: 0.00
485.73/121.68	c  N dy  2822    806554        60      5340         0     49453     37380    708990     18.04   no data  --
509.72/127.66	c  N dy  2967    832037        60      5340         0     37789     37380    448976     18.06     19.05  --
524.88/131.49	c  N dy  3026    857086        60      5340         0     59830     37380    908436     18.04     19.00  --
544.87/136.42	c  N dy  3054    885717        60      5340         0     49805     37380    680690     18.00     19.02  --
571.64/143.10	c  N dy  3147    921143        60      5340         0     44857     37380    571727     17.98     18.96  --
591.60/148.18	c  N dy  3241    947839        60      5340         0     68435     37380   1071413     17.98     19.01  --
608.36/152.36	c  N dy  3364    967840        60      5340         0     49191     37380    666409     18.00     19.51  --
625.54/156.69	c  N dy  3480    987848        60      5340         0     66901     37380   1049008     18.02     19.02  --
641.94/160.75	c  N dy  3543   1008124        60      5340         0     46829     37380    599492     18.01     18.99  --
658.30/164.84	c  N dy  3642   1028202        60      5340         0     64656     37380    982359     18.03     19.48  --
678.27/169.85	c  N dy  3719   1050054        60      5340         0     45013     37380    547028     18.02     19.01  --
694.67/173.94	c  N dy  3829   1070316        60      5340         0     62960     37380    934717     18.04     18.99  --
696.24/174.32	c  F st  3835   1071875        60      5340         0     64346     37380    964197     18.04     17.66  --
717.82/179.72	c  N dy  3907   1094912        60      5340         0     44986     37380    537957     18.04     19.11  --
733.00/183.55	c  N dy  3973   1114993        60      5340         0     62689     37380    913967     18.04     20.29  --
755.80/189.21	c  N dy  4098   1135313        60      5340         0     80776     37380   1307815     18.06     19.02  --
770.95/193.04	c  N dy  4177   1155365        60      5340         0     57724     37380    801474     18.06     19.02  --
802.11/200.82	c  N dy  4286   1182106        60      5340         0     81404     37380   1309156     18.07     19.14  --
826.49/206.98	c  N dy  4384   1207037        60      5340         0     61901     37380    884116     18.07     19.12  --
830.88/208.02	c  S st  4411   1209832        60      5340         0     64389     37380    939307     18.08     17.87  --
831.66/208.26	c  S st  4411   1210334        60      5340         0     64842     37380    949420     18.08   no data  --
831.66/208.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
831.66/208.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
832.06/208.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.16
832.06/208.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
832.06/208.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
832.06/208.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
832.06/208.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
907.56/227.24	c lits-rem:      3405  cl-subs:     6064  v-elim:      0  v-fix:    0  time: 75.50 s
907.56/227.24	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
907.56/227.25	c vivif2 --  cl tried    58778 cl shrink        0 lits rem          0 time: 0.04
909.16/227.61	c asymm  cl-useful: 0/636/5340 lits-rem:0 time: 1.43
909.16/227.61	c calculated reachability. Time: 0.00
909.16/227.61	c  N dy  4411   1210334        60      5340         0     58778     37380    819098     18.08   no data  --
929.13/232.68	c  N dy  4490   1230404        60      5340         0     76563     37380   1199650     18.08     19.39  --
949.12/237.69	c  N dy  4584   1252141        60      5340         0     53678     37380    702624     18.09     19.06  --
970.28/242.90	c  N dy  4644   1276029        60      5340         0     74784     37380   1146459     18.08     19.13  --
999.43/250.26	c  N dy  4802   1297985        60      5340         0     51082     37380    636671     18.11     19.09  --
1067.76/267.32	c  N dy  4815   1377349        60      5340         0     76058     37380   1100870     17.97     19.06  --
1091.71/273.35	c  N dy  4947   1397406        60      5340         0     49271     37380    581287     17.99     20.60  --
1108.48/277.51	c  N dy  5043   1417723        60      5340         0     67124     37380    962594     17.99     18.99  --
1132.06/283.41	c  N dy  5164   1437783        60      5340         0     84883     37380   1346681     18.01     18.98  --
1154.03/288.98	c  N dy  5289   1457789        60      5340         0     56947     37380    732885     18.02     20.89  --
1174.00/293.90	c  N dy  5403   1477810        60      5340         0     74662     37380   1116368     18.03     20.13  --
1201.16/300.72	c  N dy  5537   1497842        60      5340         0     92362     37380   1501950     18.05     19.84  --
1217.94/304.96	c  N dy  5630   1517943        60      5340         0     63200     37380    853852     18.05     19.09  --
1240.31/310.53	c  N dy  5734   1538011        60      5340         0     80997     37380   1237994     18.06     19.06  --
1267.47/317.37	c  N dy  5865   1558329        60      5340         0     51372     37380    590792     18.08     19.08  --
1284.65/321.60	c  N dy  5944   1578382        60      5340         0     69062     37380    967156     18.08     20.49  --
1309.02/327.77	c  N dy  6078   1598452        60      5340         0     86815     37380   1354024     18.09     19.81  --
1334.58/334.16	c  N dy  6208   1618458        60      5340         0     55985     37380    680912     18.11     20.98  --
1353.77/338.93	c  N dy  6259   1640550        60      5340         0     75381     37380   1089369     18.10     19.22  --
1378.12/345.03	c  N dy  6324   1660629        60      5340         0     93089     37380   1465501     18.10     19.66  --
1402.49/351.17	c  N dy  6340   1689155        60      5340         0     68615     37380    920714     18.08     19.41  --
1429.65/357.97	c  N dy  6413   1709609        60      5340         0     86555     37380   1301502     18.07     19.23  --
1431.25/358.31	c  S st  6421   1710335        60      5340         0     87202     37380   1315955     18.08   no data  --
1432.47/358.65	c  S st  6421   1710838        60      5340         0     87650     37380   1325761     18.08   no data  --
1432.47/358.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1432.47/358.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1432.87/358.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.20
1432.87/358.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1432.87/358.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1432.87/358.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
1432.87/358.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1622.19/406.14	c lits-rem:      4901  cl-subs:    11898  v-elim:      0  v-fix:    0  time: 189.26 s
1622.19/406.14	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
1622.19/406.15	c vivif2 --  cl tried    75752 cl shrink        0 lits rem          0 time: 0.07
1624.19/406.61	c asymm  cl-useful: 0/533/5340 lits-rem:0 time: 1.82
1624.19/406.61	c calculated reachability. Time: 0.00
1624.19/406.61	c  N dy  6421   1710838        60      5340         0     75752     37380   1090773     18.08   no data  --
1660.55/415.70	c  N dy  6549   1730882        60      5340         0     93632     37380   1479612     18.09     19.77  --
1688.90/422.88	c  N dy  6654   1750968        60      5340         0     61869     37380    793946     18.10     19.65  --
1721.66/431.03	c  N dy  6799   1771040        60      5340         0     79699     37380   1184998     18.11     20.88  --
1760.41/440.70	c  N dy  6848   1792211        60      5340         0     98308     37380   1571109     18.10     19.08  --
1793.18/448.91	c  N dy  6957   1812227        60      5340         0     65165     37380    850094     18.11     20.96  --
1829.51/458.00	c  N dy  7096   1832323        60      5340         0     83040     37380   1241707     18.12     19.61  --
1869.85/468.17	c  N dy  7207   1852342        60      5340         0    100775     37380   1627231     18.13     19.96  --
1898.64/475.37	c  N dy  7319   1872407        60      5340         0     66535     37380    869525     18.14     20.22  --
1934.96/484.49	c  N dy  7439   1894255        60      5340         0     85836     37380   1286839     18.15     19.18  --
1966.92/492.44	c  N dy  7528   1914290        60      5340         0    103576     37380   1668192     18.16     20.82  --
1994.91/499.48	c  N dy  7536   1947426        60      5340         0     79431     37380   1100019     18.12     19.17  --
2055.21/514.59	c  N dy  7608   2009059        60      5340         0     79597     37380   1095257     18.08     19.05  --
2086.36/522.35	c  N dy  7751   2030264        60      5340         0     98386     37380   1505848     18.09     19.08  --
2112.32/528.82	c  N dy  7793   2052231        60      5340         0     63348     37380    763218     18.09     19.22  --
2135.92/534.73	c  N dy  7933   2072263        60      5340         0     81149     37380   1155253     18.10     20.13  --
2167.05/542.54	c  N dy  8078   2092375        60      5340         0     99008     37380   1548064     18.11     19.07  --
2196.62/549.99	c  N dy  8189   2112429        60      5340         0     61157     37380    710242     18.12     19.97  --
2215.39/554.68	c  N dy  8242   2132459        60      5340         0     78689     37380   1079534     18.12     19.18  --
2245.77/562.21	c  N dy  8410   2152604        60      5340         0     96620     37380   1476943     18.13     19.09  --
2300.87/576.05	c  N dy  8419   2210839        60      5340         0     90928     37380   1280521     18.07     16.36  --
2300.87/576.05	c  S st  8419   2210839        60      5340         0     90928     37380   1280521     18.07     16.36  --
2302.08/576.30	c  S st  8419   2211340        60      5340         0     91378     37380   1290736     18.07   no data  --
2302.08/576.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2302.08/576.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2302.08/576.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.17
2302.08/576.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2302.08/576.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2302.08/576.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
2302.08/576.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2405.53/602.27	c lits-rem:      4936  cl-subs:    13969  v-elim:      0  v-fix:    0  time: 103.37 s
2405.53/602.28	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
2405.53/602.29	c vivif2 --  cl tried    77409 cl shrink        0 lits rem          0 time: 0.06
2407.12/602.62	c asymm  cl-useful: 0/474/5340 lits-rem:0 time: 1.32
2407.12/602.62	c calculated reachability. Time: 0.00
2407.12/602.62	c  N dy  8419   2211340        60      5340         0     77409     37380   1042807     18.07   no data  --
2433.89/609.31	c  N dy  8503   2231404        60      5340         0     95194     37380   1428229     18.07     19.07  --
2469.86/618.30	c  N dy  8635   2251446        60      5340         0     56678     37380    605034     18.08     20.64  --
2488.21/622.93	c  N dy  8705   2271517        60      5340         0     74358     37380    977674     18.08     19.83  --
2516.58/630.01	c  N dy  8848   2291577        60      5340         0     92173     37380   1368438     18.09     21.41  --
2555.32/639.73	c  N dy  8951   2311585        60      5340         0    109828     37380   1750168     18.10     20.03  --
2597.66/650.32	c  N dy  9093   2331638        60      5340         0     69851     37380    876470     18.11     19.10  --
2634.02/659.40	c  N dy  9233   2351726        60      5340         0     87679     37380   1268472     18.12     20.39  --
2675.56/669.83	c  N dy  9331   2372440        60      5340         0    106056     37380   1665610     18.13     19.18  --
2718.71/680.65	c  N dy  9452   2392511        60      5340         0     64801     37380    751845     18.13     20.15  --
2747.87/687.94	c  N dy  9542   2413556        60      5340         0     83322     37380   1148198     18.14     19.11  --
2783.02/696.72	c  N dy  9665   2433642        60      5340         0    101113     37380   1534947     18.14     19.88  --
2826.55/707.63	c  N dy  9815   2453739        60      5340         0    118914     37380   1926364     18.16     19.69  --
2853.32/714.39	c  N dy  9892   2474585        60      5340         0     77270     37380   1004218     18.16     19.16  --
2882.90/721.76	c  N dy  9948   2495959        60      5340         0     95985     37380   1399871     18.15     19.16  --
2922.06/731.59	c  N dy 10054   2516006        60      5340         0    113706     37380   1783492     18.16     20.67  --
2959.58/740.92	c  N dy 10180   2536912        60      5340         0     71309     37380    870834     18.17     19.16  --
2987.54/747.97	c  N dy 10231   2563549        60      5340         0     94694     37380   1362747     18.16     19.12  --
3021.49/756.47	c  N dy 10355   2583619        60      5340         0    112430     37380   1751005     18.17     20.04  --
3053.87/764.52	c  N dy 10457   2603624        60      5340         0     68445     37380    800983     18.17     20.18  --
3073.42/769.48	c  N dy 10485   2623890        60      5340         0     86194     37380   1173069     18.17     19.16  --
3114.17/779.68	c  N dy 10617   2651626        60      5340         0    110636     37380   1700275     18.17     19.13  --
3152.51/789.22	c  N dy 10697   2675548        60      5340         0     69229     37380    803305     18.17     19.15  --
3177.69/795.50	c  N dy 10815   2695648        60      5340         0     86990     37380   1192632     18.18     19.28  --
3196.06/800.17	c  S st 10840   2711340        60      5340         0    100743     37380   1476520     18.17   no data  --
3197.26/800.48	c  S st 10840   2711844        60      5340         0    101190     37380   1486521     18.17   no data  --
3197.26/800.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3197.26/800.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3197.66/800.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
3197.66/800.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3197.66/800.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3197.66/800.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
3197.66/800.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3590.35/898.81	c lits-rem:      5383  cl-subs:    11240  v-elim:      0  v-fix:    0  time: 392.32 s
3590.35/898.81	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
3590.35/898.83	c vivif2 --  cl tried    89950 cl shrink        0 lits rem          0 time: 0.07
3591.93/899.24	c asymm  cl-useful: 0/551/5340 lits-rem:0 time: 1.64
3591.93/899.25	c calculated reachability. Time: 0.00
3591.93/899.25	c  N dy 10840   2711844        60      5340         0     89950     37380   1252448     18.17   no data  --
3631.47/909.14	c  N dy 10944   2733821        60      5340         0    109322     37380   1671209     18.18     19.30  --
3692.98/924.52	c  N dy 11032   2771098        60      5340         0     79269     37380   1003266     18.17     19.31  --
3744.92/937.58	c  N dy 11142   2799718        60      5340         0    104492     37380   1545384     18.17     19.28  --
3790.46/948.99	c  N dy 11189   2820944        60      5340         0    123005     37380   1932466     18.17     19.17  --
3829.21/958.68	c  N dy 11294   2841224        60      5340         0     77104     37380    961481     18.17     19.26  --
3863.56/967.23	c  N dy 11338   2864324        60      5340         0     97196     37380   1380568     18.16     19.25  --
3913.09/979.61	c  N dy 11466   2885323        60      5340         0    115827     37380   1788570     18.17     19.19  --
3964.62/992.50	c  N dy 11597   2905345        60      5340         0     68615     37380    769044     18.18     19.48  --
4000.97/1001.64	c  N dy 11761   2925556        60      5340         0     86559     37380   1167112     18.19     19.16  --
4044.10/1012.42	c  N dy 11816   2950210        60      5340         0    108137     37380   1620032     18.19     19.38  --
4085.66/1022.81	c  N dy 11822   2972842        60      5340         0    127805     37380   2023762     18.17     19.15  --
4139.61/1036.34	c  N dy 11884   3011646        60      5340         0     95950     37380   1321663     18.16     19.13  --
4179.15/1046.28	c  N dy 11994   3031708        60      5340         0    113636     37380   1705176     18.17     21.49  --
4224.27/1057.54	c  N dy 12092   3051754        60      5340         0    131332     37380   2088190     18.17     20.67  --
4261.83/1066.99	c  N dy 12189   3076468        60      5340         0     86307     37380   1123836     18.17     19.23  --
4291.38/1074.31	c  N dy 12258   3096550        60      5340         0    103969     37380   1501546     18.17     19.98  --
4327.74/1083.41	c  N dy 12347   3117817        60      5340         0    122759     37380   1906152     18.18     19.15  --
4359.68/1091.49	c  N dy 12391   3137846        60      5340         0     72631     37380    817460     18.17     21.25  --
4388.85/1098.76	c  N dy 12515   3160536        60      5340         0     92648     37380   1252212     18.17     19.16  --
4421.99/1107.00	c  N dy 12539   3184716        60      5340         0    113650     37380   1685198     18.17     19.13  --
4460.37/1116.63	c  N dy 12583   3204992        60      5340         0    131379     37380   2057049     18.16     19.33  --
4480.32/1121.66	c  S st 12638   3211845        60      5340         0     68978     37380    736834     18.16   no data  --
4481.52/1121.90	c  S st 12638   3212347        60      5340         0     69430     37380    746966     18.16   no data  --
4481.52/1121.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4481.52/1121.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4481.52/1121.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
4481.52/1121.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4481.52/1121.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4481.52/1121.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     60 time:  0.00 s
4481.52/1121.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4544.64/1137.79	c lits-rem:       111  cl-subs:      213  v-elim:      0  v-fix:    0  time: 63.15 s
4544.64/1137.79	c vivif2 --  cl tried     5340 cl shrink        0 lits rem          0 time: 0.00
4545.04/1137.80	c vivif2 --  cl tried    69217 cl shrink        0 lits rem          0 time: 0.04
4546.24/1138.17	c asymm  cl-useful: 0/623/5340 lits-rem:0 time: 1.49
4546.24/1138.18	c calculated reachability. Time: 0.00
4546.24/1138.18	c  N dy 12638   3212347        60      5340         0     69217     37380    742053     18.16   no data  --
4572.99/1144.82	c  N dy 12711   3232441        60      5340         0     86895     37380   1122748     18.16     19.13  --
4606.15/1153.11	c  N dy 12781   3253362        60      5340         0    105226     37380   1511450     18.16     19.13  --
4653.71/1165.06	c  N dy 12879   3277032        60      5340         0    126030     37380   1960775     18.17     19.16  --
4697.25/1175.97	c  N dy 12968   3297077        60      5340         0     74264     37380    841554     18.17     19.13  --
4730.38/1184.24	c  N dy 13087   3319199        60      5340         0     93773     37380   1265571     18.18     19.16  --
4767.95/1193.67	c  N dy 13176   3339288        60      5340         0    111424     37380   1647179     18.18     19.78  --

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-3175222-1304100605/watcher-3175222-1304100605 -o /tmp/evaluation-result-3175222-1304100605/solver-3175222-1304100605 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175222-1304100605.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.27 4.71 6.12 5/180 19771
/proc/meminfo: memFree=30538564/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=182316 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 468 0 0 0 0 0 0 0 25 0 4 0 521662835 186691584 396 33554432000 4194304 4650419 140734169364240 18446744073709551615 212436060343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 45579 409 331 112 0 40544 0
[pid=19771/tid=19772] ppid=19769 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 4 0 521662835 187678720 444 33554432000 4194304 4650419 140734169364240 18446744073709551615 212436016955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 4 0 521662835 187678720 477 33554432000 4194304 4650419 140734169364240 18446744073709551615 212435713803 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 61 0 0 0 0 0 0 0 25 0 4 0 521662835 187678720 517 33554432000 4194304 4650419 140734169364240 18446744073709551615 4320796 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.106943 s]
/proc/loadavg: 3.27 4.71 6.12 5/180 19771
/proc/meminfo: memFree=30538564/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=216504 CPUtime=0.41 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 1317 0 0 0 41 0 0 0 18 0 4 0 521662835 221700096 1241 33554432000 4194304 4650419 140734169364240 18446744073709551615 4370567 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 54126 1241 366 112 0 49091 0
[pid=19771/tid=19772] ppid=19769 vsize=216504 CPUtime=0.1 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 190 0 0 0 10 0 0 0 18 0 4 0 521662835 221700096 1241 33554432000 4194304 4650419 140734169364240 18446744073709551615 4369378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=216504 CPUtime=0.1 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 158 0 0 0 10 0 0 0 25 0 4 0 521662835 221700096 1241 33554432000 4194304 4650419 140734169364240 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=216504 CPUtime=0.1 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 354 0 0 0 10 0 0 0 18 0 4 0 521662835 221700096 1241 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 216504

[startup+0.200928 s]
/proc/loadavg: 3.27 4.71 6.12 5/180 19771
/proc/meminfo: memFree=30538564/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=219192 CPUtime=0.78 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 2945 0 0 0 78 0 0 0 18 0 4 0 521662835 224452608 2495 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 54798 2495 390 112 0 49763 0
[pid=19771/tid=19772] ppid=19769 vsize=219192 CPUtime=0.19 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 663 0 0 0 19 0 0 0 18 0 4 0 521662835 224452608 2495 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=219192 CPUtime=0.19 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 649 0 0 0 19 0 0 0 25 0 4 0 521662835 224452608 2495 33554432000 4194304 4650419 140734169364240 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=219192 CPUtime=0.19 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 543 0 0 0 19 0 0 0 18 0 4 0 521662835 224452608 2495 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 219192

[startup+0.300909 s]
/proc/loadavg: 3.27 4.71 6.12 5/180 19771
/proc/meminfo: memFree=30538564/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=219896 CPUtime=1.18 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 3611 0 0 0 118 0 0 0 18 0 4 0 521662835 225173504 2676 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 54974 2676 390 112 0 49939 0
[pid=19771/tid=19772] ppid=19769 vsize=219896 CPUtime=0.29 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 859 0 0 0 29 0 0 0 18 0 4 0 521662835 225173504 2677 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=219896 CPUtime=0.29 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 842 0 0 0 29 0 0 0 25 0 4 0 521662835 225173504 2677 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=219896 CPUtime=0.29 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 618 0 0 0 29 0 0 0 18 0 4 0 521662835 225173504 2677 33554432000 4194304 4650419 140734169364240 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 219896

[startup+0.700834 s]
/proc/loadavg: 3.27 4.71 6.12 5/180 19771
/proc/meminfo: memFree=30538564/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=221072 CPUtime=2.78 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 5584 0 0 0 278 0 0 0 18 0 4 0 521662835 226377728 3452 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 55268 3452 390 112 0 50233 0
[pid=19771/tid=19772] ppid=19769 vsize=221072 CPUtime=0.69 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 1332 0 0 0 69 0 0 0 18 0 4 0 521662835 226377728 3452 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=221072 CPUtime=0.69 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 1319 0 0 0 69 0 0 0 25 0 4 0 521662835 226377728 3452 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=221072 CPUtime=0.69 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 1203 0 0 0 69 0 0 0 18 0 4 0 521662835 226377728 3453 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 221072

[startup+1.50068 s]
/proc/loadavg: 3.27 4.71 6.12 10/184 19775
/proc/meminfo: memFree=30524032/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=221956 CPUtime=5.97 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 9928 0 0 0 596 1 0 0 20 0 4 0 521662835 227282944 5316 33554432000 4194304 4650419 140734169364240 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 55489 5316 392 112 0 50454 0
[pid=19771/tid=19772] ppid=19769 vsize=221956 CPUtime=1.49 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 2137 0 0 0 149 0 0 0 20 0 4 0 521662835 227282944 5316 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=221956 CPUtime=1.48 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 2024 0 0 0 148 0 0 0 25 0 4 0 521662835 227282944 5316 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=221956 CPUtime=1.49 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 2025 0 0 0 149 0 0 0 20 0 4 0 521662835 227282944 5316 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 221956

[startup+3.10038 s]
/proc/loadavg: 3.65 4.77 6.13 9/184 19775
/proc/meminfo: memFree=30505356/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=235880 CPUtime=12.36 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 16017 0 0 0 1234 2 0 0 25 0 4 0 521662835 241541120 9920 33554432000 4194304 4650419 140734169364240 18446744073709551615 4333771 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 58970 9920 392 112 0 53935 0
[pid=19771/tid=19772] ppid=19769 vsize=235880 CPUtime=3.08 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 3536 0 0 0 308 0 0 0 25 0 4 0 521662835 241541120 9920 33554432000 4194304 4650419 140734169364240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=235880 CPUtime=3.07 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 4235 0 0 0 307 0 0 0 25 0 4 0 521662835 241541120 9921 33554432000 4194304 4650419 140734169364240 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=235880 CPUtime=3.08 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 4057 0 0 0 308 0 0 0 25 0 4 0 521662835 241541120 9921 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 235880

[startup+6.30077 s]
/proc/loadavg: 3.65 4.77 6.13 9/184 19775
/proc/meminfo: memFree=30489124/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=226780 CPUtime=25.14 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 23648 0 0 0 2510 4 0 0 25 0 4 0 521662835 232222720 11944 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 56695 11944 392 112 0 51660 0
[pid=19771/tid=19772] ppid=19769 vsize=226780 CPUtime=6.29 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 5982 0 0 0 628 1 0 0 25 0 4 0 521662835 232222720 11944 33554432000 4194304 4650419 140734169364240 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=226780 CPUtime=6.26 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 5838 0 0 0 625 1 0 0 25 0 4 0 521662835 232222720 11944 33554432000 4194304 4650419 140734169364240 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=226780 CPUtime=6.28 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 6123 0 0 0 627 1 0 0 25 0 4 0 521662835 232222720 11944 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 226780

[startup+12.7006 s]
/proc/loadavg: 4.32 4.87 6.14 9/184 19775
/proc/meminfo: memFree=30455412/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=246608 CPUtime=50.71 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 34823 0 0 0 5065 6 0 0 25 0 4 0 521662835 252526592 18013 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 61652 18013 392 112 0 56617 0
[pid=19771/tid=19772] ppid=19769 vsize=246608 CPUtime=12.69 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 8812 0 0 0 1267 2 0 0 25 0 4 0 521662835 252526592 18013 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=246608 CPUtime=12.62 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 8759 0 0 0 1261 1 0 0 25 0 4 0 521662835 252526592 18013 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=246608 CPUtime=12.68 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 8941 0 0 0 1267 1 0 0 25 0 4 0 521662835 252526592 18013 33554432000 4194304 4650419 140734169364240 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 246608

[startup+25.5011 s]
/proc/loadavg: 4.88 4.98 6.16 9/184 19776
/proc/meminfo: memFree=30423436/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=293516 CPUtime=101.84 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 51182 0 0 0 10173 11 0 0 25 0 4 0 521662835 300560384 24414 33554432000 4194304 4650419 140734169364240 18446744073709551615 4439099 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 73379 24414 392 112 0 68344 0
[pid=19771/tid=19772] ppid=19769 vsize=293516 CPUtime=25.48 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 14698 0 0 0 2545 3 0 0 25 0 4 0 521662835 300560384 24414 33554432000 4194304 4650419 140734169364240 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=293516 CPUtime=25.35 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 10771 0 0 0 2533 2 0 0 25 0 4 0 521662835 300560384 24414 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=293516 CPUtime=25.49 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 12952 0 0 0 2546 3 0 0 25 0 4 0 521662835 300560384 24414 33554432000 4194304 4650419 140734169364240 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 293516

[startup+51.1003 s]
/proc/loadavg: 6.00 5.23 6.22 9/184 19776
/proc/meminfo: memFree=30380612/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=316464 CPUtime=204.1 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 72024 0 0 0 20393 17 0 0 25 0 4 0 521662835 324059136 28850 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 79116 28850 392 112 0 74081 0
[pid=19771/tid=19772] ppid=19769 vsize=316464 CPUtime=51.09 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 22013 0 0 0 5103 6 0 0 25 0 4 0 521662835 324059136 28850 33554432000 4194304 4650419 140734169364240 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=316464 CPUtime=50.82 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 15052 0 0 0 5079 3 0 0 25 0 4 0 521662835 324059136 28850 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=316464 CPUtime=51.08 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 16594 0 0 0 5104 4 0 0 25 0 4 0 521662835 324059136 28850 33554432000 4194304 4650419 140734169364240 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 316464

[startup+102.301 s]
/proc/loadavg: 7.26 5.71 6.32 9/184 19778
/proc/meminfo: memFree=30359576/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=268012 CPUtime=408.65 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 113083 0 0 0 40835 30 0 0 25 0 4 0 521662835 274444288 31539 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 67003 31539 392 112 0 61968 0
[pid=19771/tid=19772] ppid=19769 vsize=268012 CPUtime=102.3 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 32545 0 0 0 10221 9 0 0 25 0 4 0 521662835 274444288 31539 33554432000 4194304 4650419 140734169364240 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=268012 CPUtime=101.75 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 23059 0 0 0 10169 6 0 0 25 0 4 0 521662835 274444288 31539 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=268012 CPUtime=102.29 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 28719 0 0 0 10222 7 0 0 25 0 4 0 521662835 274444288 31539 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 268012

[startup+162.301 s]

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

[pid=19771] ppid=19769 vsize=414252 CPUtime=2565.71 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 328071 0 0 0 256460 111 0 0 25 0 4 0 521662835 424194048 69229 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 103563 69229 392 112 0 98528 0
[pid=19771/tid=19772] ppid=19769 vsize=414252 CPUtime=642.31 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 89944 0 0 0 64204 27 0 0 25 0 4 0 521662835 424194048 69229 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=414252 CPUtime=638.77 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 79079 0 0 0 63851 26 0 0 25 0 4 0 521662835 424194048 69229 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=414252 CPUtime=642.3 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 70617 0 0 0 64206 24 0 0 25 0 4 0 521662835 424194048 69229 33554432000 4194304 4650419 140734169364240 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 414252

[startup+702.3 s]
/proc/loadavg: 8.11 7.76 7.14 9/184 19794
/proc/meminfo: memFree=30049224/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=426564 CPUtime=2805.39 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 342543 0 0 0 280420 119 0 0 25 0 4 0 521662835 436801536 70776 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366853 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 106641 70776 392 112 0 101606 0
[pid=19771/tid=19772] ppid=19769 vsize=426564 CPUtime=702.31 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 96103 0 0 0 70203 28 0 0 25 0 4 0 521662835 436801536 70776 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=426564 CPUtime=698.43 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 82536 0 0 0 69814 29 0 0 25 0 4 0 521662835 436801536 70776 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=426564 CPUtime=702.3 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 71052 0 0 0 70206 24 0 0 25 0 4 0 521662835 436801536 70776 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 426564

[startup+762.301 s]
/proc/loadavg: 8.08 7.81 7.19 9/184 19795
/proc/meminfo: memFree=30070380/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=415140 CPUtime=3045.09 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 363617 0 0 0 304383 126 0 0 25 0 4 0 521662835 425103360 69911 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 103785 69911 392 112 0 98750 0
[pid=19771/tid=19772] ppid=19769 vsize=415140 CPUtime=762.33 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 106105 0 0 0 76203 30 0 0 25 0 4 0 521662835 425103360 69911 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=415140 CPUtime=758.11 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 87844 0 0 0 75779 32 0 0 25 0 4 0 521662835 425103360 69911 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365311 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=415140 CPUtime=762.31 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 71745 0 0 0 76206 25 0 0 25 0 4 0 521662835 425103360 69911 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 415140

[startup+822.301 s]
/proc/loadavg: 8.06 7.86 7.25 9/184 19797
/proc/meminfo: memFree=30054336/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=451796 CPUtime=3284.74 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 379221 0 0 0 328344 130 0 0 25 0 4 0 521662835 462639104 68251 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 112949 68251 392 112 0 107914 0
[pid=19771/tid=19772] ppid=19769 vsize=451796 CPUtime=822.31 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 108224 0 0 0 82201 30 0 0 25 0 4 0 521662835 462639104 68251 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=451796 CPUtime=817.77 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 91697 0 0 0 81744 33 0 0 25 0 4 0 521662835 462639104 68251 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=451796 CPUtime=822.3 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 74936 0 0 0 82204 26 0 0 25 0 4 0 521662835 462639104 68251 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 451796

[startup+882.307 s]
/proc/loadavg: 8.06 7.89 7.29 9/184 19798
/proc/meminfo: memFree=30021936/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=464504 CPUtime=3524.43 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 397525 0 0 0 352307 136 0 0 25 0 4 0 521662835 475652096 73474 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 116126 73474 392 112 0 111091 0
[pid=19771/tid=19772] ppid=19769 vsize=464504 CPUtime=882.33 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 111114 0 0 0 88201 32 0 0 25 0 4 0 521662835 475652096 73474 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=464504 CPUtime=877.44 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 96071 0 0 0 87710 34 0 0 25 0 4 0 521662835 475652096 73474 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=464504 CPUtime=882.32 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 77221 0 0 0 88204 28 0 0 25 0 4 0 521662835 475652096 73474 33554432000 4194304 4650419 140734169364240 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 464504

[startup+942.301 s]
/proc/loadavg: 8.13 7.94 7.35 9/184 19800
/proc/meminfo: memFree=29998944/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=452072 CPUtime=3764.1 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 405607 0 0 0 376268 142 0 0 25 0 4 0 521662835 462921728 73146 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 113018 73146 392 112 0 107983 0
[pid=19771/tid=19772] ppid=19769 vsize=452072 CPUtime=942.32 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 112082 0 0 0 94200 32 0 0 25 0 4 0 521662835 462921728 73146 33554432000 4194304 4650419 140734169364240 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=452072 CPUtime=937.11 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 99864 0 0 0 93674 37 0 0 25 0 4 0 521662835 462921728 73146 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=452072 CPUtime=942.31 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 77221 0 0 0 94203 28 0 0 25 0 4 0 521662835 462921728 73146 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.1
Current children cumulated vsize (KiB) 452072

[startup+1002.3 s]
/proc/loadavg: 8.05 7.95 7.38 9/184 19802
/proc/meminfo: memFree=29997176/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=439364 CPUtime=4003.76 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 413370 0 0 0 400230 146 0 0 25 0 4 0 521662835 449908736 75121 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 109841 75121 392 112 0 104806 0
[pid=19771/tid=19772] ppid=19769 vsize=439364 CPUtime=1002.32 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 112082 0 0 0 100200 32 0 0 25 0 4 0 521662835 449908736 75121 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=439364 CPUtime=996.77 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 102938 0 0 0 99639 38 0 0 25 0 4 0 521662835 449908736 75121 33554432000 4194304 4650419 140734169364240 18446744073709551615 4514512 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=439364 CPUtime=1002.31 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 77221 0 0 0 100203 28 0 0 25 0 4 0 521662835 449908736 75121 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 439364

[startup+1062.3 s]
/proc/loadavg: 8.07 7.97 7.42 9/184 19803
/proc/meminfo: memFree=29970472/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=464780 CPUtime=4243.44 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 423245 0 0 0 424193 151 0 0 25 0 4 0 521662835 475934720 77044 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 116195 77044 392 112 0 111160 0
[pid=19771/tid=19772] ppid=19769 vsize=464780 CPUtime=1062.32 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 112082 0 0 0 106200 32 0 0 25 0 4 0 521662835 475934720 77044 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=464780 CPUtime=1056.45 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 107373 0 0 0 105604 41 0 0 25 0 4 0 521662835 475934720 77044 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=464780 CPUtime=1062.31 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 80132 0 0 0 106201 30 0 0 25 0 4 0 521662835 475934720 77044 33554432000 4194304 4650419 140734169364240 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 464780

[startup+1122.3 s]
/proc/loadavg: 8.07 7.99 7.46 9/184 19805
/proc/meminfo: memFree=29962376/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=455544 CPUtime=4483.11 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 432782 0 0 0 448154 157 0 0 25 0 4 0 521662835 466477056 81095 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 113886 81095 392 112 0 108851 0
[pid=19771/tid=19772] ppid=19769 vsize=455544 CPUtime=1122.33 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 116557 0 0 0 112198 35 0 0 25 0 4 0 521662835 466477056 81095 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=455544 CPUtime=1116.11 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 108822 0 0 0 111570 41 0 0 25 0 4 0 521662835 466477056 81095 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=455544 CPUtime=1122.31 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 81010 0 0 0 112200 31 0 0 25 0 4 0 521662835 466477056 81095 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 455544

[startup+1182.3 s]
/proc/loadavg: 8.07 8.00 7.50 9/184 19806
/proc/meminfo: memFree=29922636/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=492876 CPUtime=4722.79 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 443839 0 0 0 472115 164 0 0 25 0 4 0 521662835 504705024 84577 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 123219 84577 392 112 0 118184 0
[pid=19771/tid=19772] ppid=19769 vsize=492876 CPUtime=1182.33 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 119929 0 0 0 118195 38 0 0 25 0 4 0 521662835 504705024 84577 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=492876 CPUtime=1175.78 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 108822 0 0 0 117537 41 0 0 25 0 4 0 521662835 504705024 84577 33554432000 4194304 4650419 140734169364240 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=492876 CPUtime=1182.32 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 85569 0 0 0 118198 34 0 0 25 0 4 0 521662835 504705024 84577 33554432000 4194304 4650419 140734169364240 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 492876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.24 7.82 7.45 5/175 19825
/proc/meminfo: memFree=30275412/32951124 swapFree=67111416/67111528
[pid=19771] ppid=19769 vsize=492876 CPUtime=4800.31 cores=0,2,4,6
/proc/19771/stat : 19771 (strangenight1-m) R 19769 19771 18710 0 -1 4202496 445386 0 0 0 479865 166 0 0 25 0 4 0 521662835 504705024 86124 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19771/statm: 123219 86124 392 112 0 118184 0
[pid=19771/tid=19772] ppid=19769 vsize=492876 CPUtime=1201.74 cores=0,2,4,6
/proc/19771/task/19772/stat : 19772 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 119929 0 0 0 120136 38 0 0 25 0 4 0 521662835 504705024 86124 33554432000 4194304 4650419 140734169364240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19771/tid=19773] ppid=19769 vsize=492876 CPUtime=1195.08 cores=0,2,4,6
/proc/19771/task/19773/stat : 19773 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 108885 0 0 0 119467 41 0 0 25 0 4 0 521662835 504705024 86124 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19771/tid=19774] ppid=19769 vsize=492876 CPUtime=1201.72 cores=0,2,4,6
/proc/19771/task/19774/stat : 19774 (strangenight1-m) R 19769 19771 18710 0 -1 4202560 86167 0 0 0 120138 34 0 0 25 0 4 0 521662835 504705024 86124 33554432000 4194304 4650419 140734169364240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 492876

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.36
CPU user time (s): 4798.68
CPU system time (s): 1.67874
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 492876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.68
system time used= 1.67874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445387
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= 328
involuntary context switches= 20516

runsolver used 1.87971 second user time and 4.66029 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 20:10:05
IDJOB=3175222
IDBENCH=82840
IDSOLVER=1588
FILE ID=node102/3175222-1304100605
RUNJOBID= node102-1304100590-19718
PBS_JOBID= 13170584
Free space on /tmp= 71556 MiB

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

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

MD5SUM BENCH= c6bf5481c82f3a24100e294aa3a73c9c
RANDOM SEED=1235183847

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30538844 kB
Buffers:        592736 kB
Cached:        1261776 kB
SwapCached:          0 kB
Active:         167116 kB
Inactive:      1829040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30538844 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           12812 kB
Writeback:           0 kB
AnonPages:      141004 kB
Mapped:          15484 kB
Slab:           351508 kB
PageTables:       4864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   393696 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= 71556 MiB
End job on node102 at 2011-04-29 20:30:09