Trace number 3368594

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf
MD5SUM6a557f5ae37042f9b0c1bf4ee5a1b759
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.08453
Satisfiable
(Un)Satisfiability was proved
Number of variables10000
Number of clauses42000
Sum of the clauses size126000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 342000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.20/0.15	c Using 4 threads
0.20/0.15	c This is CryptoMiniSat 2.9.0
0.20/0.15	c compiled with gcc version 4.4.5
0.20/0.15	c WARNING: for repeatability, setting FPU to use double precision
0.20/0.15	c Reading file 'HOME/instance-3368594-1305398256.cnf'
0.20/0.15	c -- header says num vars:          10000
0.20/0.15	c -- header says num clauses:       42000
0.20/0.20	c -- clauses added:            0 learnts,        42000 normals,            0 xors
0.20/0.20	c -- vars added      10000
0.20/0.20	c Parsing time:  0.08 s
0.20/0.20	c  N st     0         0     10000     42000         0         0    126000         0   no data   no data  --
0.20/0.20	c asymm  cl-useful: 0/42000/42000 lits-rem:0 time: 0.10
0.20/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
0.46/0.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.46/0.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.46/0.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10000 time:  0.01 s
0.46/0.27	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.01 s
0.46/1.05	c lits-rem:         0  cl-subs:        0  v-elim:    375  v-fix:    0  time:  0.34 s
0.46/1.05	c Finding binary XORs  T:     0.00 s  found:       0
0.46/1.05	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
0.46/1.05	c calculated reachability. Time: 0.00
0.46/1.05	c Calc default polars -  time:   0.01 s pos:    4313 undec:    1189 neg:    4498
0.46/1.05	c =========================================================================================
0.46/1.05	c types(t): F = full restart, N = normal restart
0.46/1.05	c types(t): S = simplification begin/end, E = solution found
0.46/1.05	c restart types(rt): st = static, dy = dynamic
0.46/1.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.46/1.05	c  B st     0         0      9625     41474         0         0    126491         0   no data   no data  --
0.46/1.05	c  N dy    20      4035      9625     41474         0      4035    126491    668788     94.31    103.81  --
5.63/1.55	c  N dy    43      8213      9625     41474         0      4714    126491    323911     91.33     97.11  --
8.42/2.20	c  N dy    75     12502      9625     41474         0      9002    126491    961709     92.65     99.18  --
10.82/2.85	c  N dy   103     16627      9625     41474         0      7378    126491    434767     93.18     98.66  --
13.20/3.47	c  N dy   129     20686      9625     41474         0     11437    126491   1023398     92.75    101.57  --
16.04/4.11	c  N dy   153     24687      9625     41474         0      8065    126491    307537     92.46     97.40  --
16.04/4.16	c  F st   156     25001      9625     41474         0      8379    126491    353543     92.47   no data  --
19.59/5.01	c  N dy   162     30002      9625     41474         0     13380    126491   1273884     92.47   no data  --
19.59/5.01	c  S st   162     30002      9625     41474         0     13380    126491   1273884     92.47   no data  --
19.59/5.10	c  S st   162     30510      9625     41474         0     13888    126491   1334514     92.47   no data  --
19.59/5.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
19.59/5.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.02/5.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.12
20.42/5.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
20.42/5.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
20.42/5.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
20.42/5.25	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
27.57/7.03	c lits-rem:       117  cl-subs:        4  v-elim:      0  v-fix:    0  time:  7.09 s
27.57/7.08	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.20
27.57/7.09	c calculated reachability. Time: 0.00
27.57/7.09	c  N dy   162     30510      9625     41474         0     13884    126491   1333344     92.47   no data  --
30.75/7.80	c  N dy   185     34591      9625     41474         0      9282    126491    307454     92.00     99.96  --
33.19/8.49	c  N dy   213     38696      9625     41474         0     13386    126491    920551     92.49     97.96  --
36.34/9.28	c  N dy   238     43010      9625     41474         0     17699    126491   1573887     92.55    103.55  --
38.74/9.80	c  S st   258     45765      9625     41474         0     10613    126491    344029     92.84     87.81  --
38.74/9.88	c  S st   258     46269      9625     41474         0     11117    126491    395733     92.84   no data  --
38.74/9.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
38.74/9.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.13/9.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.14
39.13/9.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.13/9.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.13/9.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
39.13/9.96	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
45.53/11.58	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time:  6.46 s
45.53/11.58	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
45.53/11.58	c vivif2 --  cl tried    11117 cl shrink        0 lits rem          0 time: 0.02
45.92/11.63	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.17
45.92/11.63	c calculated reachability. Time: 0.00
45.92/11.63	c  N dy   258     46269      9625     41474         0     11117    126491    395727     92.84   no data  --
48.31/12.30	c  N dy   288     50301      9625     41474         0     15149    126491   1000131     93.03     98.25  --
51.50/13.00	c  N dy   315     54366      9625     41474         0     19214    126491   1607931     93.13     98.74  --
54.30/13.72	c  N dy   340     58463      9625     41474         0     12386    126491    435983     93.28    100.74  --
56.68/14.39	c  N dy   368     62481      9625     41474         0     16404    126491   1034624     93.39    102.23  --
59.52/15.08	c  N dy   394     66491      9625     41474         0     20414    126491   1637819     93.48     99.92  --
61.88/15.61	c  S st   413     69403      9625     41474         0     23326    126491   2079701     93.52     90.96  --
62.28/15.72	c  S st   413     69905      9625     41474         0     23828    126491   2135921     93.52   no data  --
62.28/15.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
62.28/15.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.28/15.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.17
63.07/15.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.07/15.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.07/15.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
63.07/15.92	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
79.82/20.13	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time: 16.75 s
79.82/20.13	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.02
79.82/20.16	c vivif2 --  cl tried    23824 cl shrink        0 lits rem          0 time: 0.10
80.22/20.22	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.26
80.22/20.23	c calculated reachability. Time: 0.00
80.22/20.23	c  N dy   413     69905      9625     41474         0     23824    126491   2134693     93.52   no data  --
83.42/21.05	c  N dy   446     74558      9625     41474         0     16514    126491    915913     93.74    100.06  --
87.01/21.95	c  N dy   481     79446      9625     41474         0     21401    126491   1654895     93.92     99.30  --
91.00/22.92	c  N dy   514     84590      9625     41474         0     13566    126491    313372     94.00    100.07  --
92.99/23.41	c  F st   534     87500      9625     41474         0     16475    126491    735109     93.91   no data  --
95.38/24.02	c  N st   539     90801      9625     41474         0     19776    126491   1331749     93.91   no data  --
99.77/25.13	c  N dy   564     96738      9625     41474         0     25713    126491   2272427     93.90    100.19  --
104.16/26.27	c  N dy   606    103046      9625     41474         0     18032    126491    845240     94.05    101.45  --
105.36/26.59	c  S st   617    104859      9625     41474         0     19845    126491   1110658     93.97   no data  --
105.76/26.68	c  S st   617    105366      9625     41474         0     20352    126491   1170928     93.97   no data  --
105.76/26.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
105.76/26.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.16/26.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.15
106.16/26.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
106.16/26.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
106.16/26.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
106.16/26.79	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
115.34/29.06	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  9.05 s
115.34/29.06	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
115.34/29.08	c vivif2 --  cl tried    20349 cl shrink        0 lits rem          0 time: 0.06
115.74/29.13	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.22
115.74/29.14	c calculated reachability. Time: 0.00
115.74/29.14	c  N dy   617    105366      9625     41474         0     20349    126491   1169805     93.97   no data  --
120.96/30.43	c  N dy   662    112303      9625     41474         0     27286    126491   2208861     94.00     99.96  --
126.50/31.80	c  N dy   710    119469      9625     41474         0     19458    126491    910746     94.11    102.45  --
132.10/33.21	c  N dy   760    127093      9625     41474         0     27081    126491   2056792     94.19    103.00  --
138.08/34.75	c  N dy   813    135294      9625     41474         0     19287    126491    735488     94.19     99.92  --
144.45/36.37	c  N dy   873    143995      9625     41474         0     27988    126491   2040301     94.27    107.53  --
151.68/38.16	c  N dy   933    153253      9625     41474         0     20245    126491    729404     94.30    102.43  --
155.23/39.03	c  S st   966    158050      9625     41474         0     25041    126491   1443985     94.35     92.28  --
155.63/39.13	c  S st   966    158550      9625     41474         0     25541    126491   1501582     94.35   no data  --
155.63/39.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
155.63/39.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.63/39.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.17
156.07/39.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
156.07/39.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
156.07/39.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
156.07/39.25	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
168.00/42.21	c lits-rem:        35  cl-subs:        3  v-elim:      0  v-fix:    0  time: 11.78 s
168.00/42.22	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
168.00/42.24	c vivif2 --  cl tried    25538 cl shrink        0 lits rem          0 time: 0.08
168.40/42.30	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.27
168.40/42.31	c calculated reachability. Time: 0.00
168.40/42.31	c  N dy   966    158550      9625     41474         0     25538    126491   1501217     94.35   no data  --
176.38/44.37	c  N dy  1030    168755      9625     41474         0     35742    126491   3050678     94.38     99.39  --
184.76/46.42	c  N dy  1100    179607      9625     41474         0     28598    126491   1880330     94.48    139.87  --
193.93/48.74	c  N dy  1176    191104      9625     41474         0     21094    126491    573682     94.52     99.56  --
203.51/51.10	c  N dy  1250    203478      9625     41474         0     33467    126491   2430969     94.46    100.49  --
213.88/53.77	c  N dy  1335    216491      9625     41474         0     26484    126491   1234272     94.54    105.38  --
225.85/56.71	c  N dy  1433    230398      9625     41474         0     40389    126491   3360618     94.69    100.39  --
231.42/58.16	c  S st  1476    237826      9625     41474         0     26817    126491   1124020     94.60   no data  --
231.83/58.27	c  S st  1476    238327      9625     41474         0     27318    126491   1187753     94.60   no data  --
231.83/58.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
231.83/58.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
232.23/58.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.17
232.23/58.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
232.23/58.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
232.23/58.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
232.23/58.38	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
241.40/60.69	c lits-rem:        36  cl-subs:        0  v-elim:      0  v-fix:    0  time:  9.17 s
241.40/60.69	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
241.80/60.70	c vivif2 --  cl tried    27318 cl shrink        0 lits rem          0 time: 0.06
241.80/60.77	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.26
241.80/60.77	c calculated reachability. Time: 0.00
241.80/60.77	c  N dy  1476    238327      9625     41474         0     27318    126491   1187717     94.60   no data  --
254.97/64.03	c  N dy  1582    253619      9625     41474         0     42609    126491   3506369     94.73    120.38  --
268.53/67.40	c  N dy  1684    269826      9625     41474         0     36816    126491   2522849     94.75    100.60  --
282.89/71.00	c  N dy  1794    287285      9625     41474         0     31277    126491   1518197     94.76    104.46  --
298.85/75.04	c  N dy  1920    305999      9625     41474         0     25989    126491    581810     94.92    100.24  --
298.85/75.09	c  F st  1923    306250      9625     41474         0     26240    126491    616903     94.92   no data  --
315.20/79.16	c  N dy  2018    325727      9625     41474         0     45713    126491   3683987     94.90    101.61  --
332.00/83.36	c  N dy  2148    345786      9625     41474         0     40777    126491   2678920     95.00    100.23  --
342.74/86.07	c  S st  2214    357491      9625     41474         0     26481    126491    359916     94.95   no data  --
343.14/86.17	c  S st  2214    357993      9625     41474         0     26983    126491    413449     94.95   no data  --
343.14/86.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
343.14/86.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
343.54/86.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
343.54/86.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
343.54/86.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
343.54/86.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
343.54/86.25	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
349.91/87.88	c lits-rem:        10  cl-subs:        0  v-elim:      0  v-fix:    0  time:  6.49 s
349.91/87.88	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
349.91/87.89	c vivif2 --  cl tried    26983 cl shrink        0 lits rem          0 time: 0.02
350.31/87.95	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.25
350.31/87.96	c calculated reachability. Time: 0.00
350.31/87.96	c  N dy  2214    357993      9625     41474         0     26983    126491    413439     94.95   no data  --
367.46/92.20	c  N dy  2345    378103      9625     41474         0     47090    126491   3461045     94.98    102.80  --
385.02/96.63	c  N dy  2470    398265      9625     41474         0     40253    126491   2300176     94.96    100.65  --
403.77/101.39	c  N dy  2599    418270      9625     41474         0     32260    126491    966493     94.98    125.83  --
421.72/105.84	c  N dy  2732    438381      9625     41474         0     52368    126491   4024300     95.03    101.97  --
439.27/110.25	c  N dy  2864    458468      9625     41474         0     43455    126491   2503490     95.10    101.45  --
458.03/114.99	c  N dy  3002    478569      9625     41474         0     33559    126491    861555     95.22    105.18  --
475.98/119.45	c  N dy  3121    498649      9625     41474         0     53638    126491   3909090     95.15    111.13  --
493.97/123.98	c  N dy  3239    518709      9625     41474         0     42706    126491   2070000     95.10    101.76  --
511.52/128.31	c  S st  3356    536992      9625     41474         0     60987    126491   4852932     95.13   no data  --
511.92/128.47	c  S st  3356    537493      9625     41474         0     61488    126491   4907429     95.13   no data  --
511.92/128.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
511.92/128.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
512.28/128.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.27
513.48/128.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
513.48/128.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
513.48/128.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
513.48/128.82	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
782.75/196.32	c lits-rem:         0  cl-subs:       11  v-elim:      0  v-fix:    0  time: 268.49 s
782.75/196.33	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
782.75/196.39	c vivif2 --  cl tried    61477 cl shrink        0 lits rem          0 time: 0.25
783.58/196.53	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.54
783.58/196.53	c calculated reachability. Time: 0.00
783.58/196.53	c  N dy  3356    537493      9625     41474         0     61477    126491   4904898     95.13   no data  --
802.29/201.25	c  N dy  3488    557564      9625     41474         0     49547    126491   2973646     95.15    101.17  --
823.48/206.52	c  N dy  3622    577607      9625     41474         0     36590    126491    875231     95.21    107.44  --
842.19/211.29	c  N dy  3756    597784      9625     41474         0     56765    126491   3993245     95.28    100.63  --
862.98/216.48	c  N dy  3889    617842      9625     41474         0     42823    126491   1665220     95.33    103.22  --
883.68/221.64	c  N dy  4018    637958      9625     41474         0     62939    126491   4728581     95.33    101.08  --
904.03/226.79	c  N dy  4155    658110      9625     41474         0     48089    126491   2335087     95.37    105.66  --
925.16/232.07	c  N dy  4270    678112      9625     41474         0     68090    126491   5356847     95.36    118.48  --
945.52/237.14	c  N dy  4409    698191      9625     41474         0     52167    126491   2818412     95.42    117.94  --
967.46/242.68	c  N dy  4525    718480      9625     41474         0     72454    126491   5901304     95.40    100.60  --
987.41/247.67	c  N dy  4651    738606      9625     41474         0     55585    126491   3196187     95.39    100.44  --
1010.14/253.34	c  N dy  4777    758689      9625     41474         0     75666    126491   6241972     95.39    103.06  --
1030.09/258.30	c  N dy  4904    778754      9625     41474         0     57733    126491   3379401     95.44    109.02  --
1052.83/264.08	c  N dy  5030    798945      9625     41474         0     77923    126491   6437095     95.43    101.86  --
1060.05/265.84	c  S st  5081    806239      9625     41474         0     46218    126491   1479684     95.43   no data  --
1060.45/265.98	c  S st  5081    806743      9625     41474         0     46722    126491   1541241     95.43   no data  --
1060.45/265.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1060.45/265.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1060.80/266.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.23
1061.20/266.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1061.20/266.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1061.20/266.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
1061.20/266.13	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
1074.37/269.41	c lits-rem:        15  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.06 s
1074.37/269.41	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
1074.37/269.43	c vivif2 --  cl tried    46721 cl shrink        0 lits rem          0 time: 0.08
1074.77/269.54	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.43
1074.77/269.55	c calculated reachability. Time: 0.00
1074.77/269.55	c  N dy  5081    806743      9625     41474         0     46721    126491   1541004     95.43   no data  --
1095.91/274.80	c  N dy  5209    826865      9625     41474         0     66843    126491   4591783     95.43    101.82  --
1118.25/280.47	c  N dy  5340    846968      9625     41474         0     46946    126491   1444277     95.45    102.99  --
1139.44/285.74	c  N dy  5466    867087      9625     41474         0     67062    126491   4518342     95.47    101.40  --
1161.73/291.31	c  N dy  5594    887185      9625     41474         0     46159    126491   1169256     95.48    103.08  --
1181.69/296.31	c  N dy  5730    907242      9625     41474         0     66214    126491   4264019     95.54    107.22  --
1204.43/302.02	c  N dy  5850    927361      9625     41474         0     44335    126491    733603     95.53    100.87  --
1223.97/306.92	c  N dy  5984    947472      9625     41474         0     64443    126491   3817702     95.54    104.13  --
1246.71/312.68	c  N dy  6117    967562      9625     41474         0     84530    126491   6887259     95.59    101.11  --
1266.70/317.68	c  N dy  6243    987683      9625     41474         0     61656    126491   3244260     95.58    101.90  --
1289.40/323.39	c  N dy  6366   1007726      9625     41474         0     81698    126491   6310419     95.59    104.69  --
1311.73/328.98	c  N dy  6502   1027791      9625     41474         0     57765    126491   2511215     95.62    101.20  --
1334.87/334.76	c  N dy  6636   1047987      9625     41474         0     77961    126491   5608586     95.63    100.98  --
1358.02/340.59	c  N dy  6756   1068069      9625     41474         0     53045    126491   1611376     95.61    102.04  --
1362.00/341.53	c  F st  6777   1071875      9625     41474         0     56851    126491   2191871     95.60   no data  --
1379.95/346.04	c  N dy  6855   1088081      9625     41474         0     73056    126491   4941463     95.62    100.98  --
1404.69/352.22	c  N dy  6986   1108140      9625     41474         0     47124    126491    577002     95.63    100.84  --
1424.67/357.27	c  N dy  7116   1128321      9625     41474         0     67304    126491   3641860     95.64    101.26  --
1448.17/363.17	c  N dy  7245   1148542      9625     41474         0     87523    126491   6733044     95.64    103.07  --
1469.71/368.55	c  N dy  7366   1168555      9625     41474         0     60538    126491   2469158     95.64    102.28  --
1491.64/374.09	c  N dy  7497   1188557      9625     41474         0     80537    126491   5520335     95.65    101.56  --
1515.99/380.13	c  N dy  7629   1208660      9625     41474         0     52640    126491   1113567     95.65    101.12  --
1517.17/380.49	c  S st  7640   1210114      9625     41474         0     54094    126491   1326986     95.65   no data  --
1517.98/380.62	c  S st  7640   1210616      9625     41474         0     54596    126491   1381841     95.65   no data  --
1517.98/380.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1517.98/380.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1517.98/380.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.24
1518.38/380.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1518.38/380.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1518.38/380.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
1518.38/380.77	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
1530.34/383.75	c lits-rem:         6  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.87 s
1530.34/383.75	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
1530.34/383.77	c vivif2 --  cl tried    54596 cl shrink        0 lits rem          0 time: 0.08
1530.74/383.89	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.46
1530.74/383.89	c calculated reachability. Time: 0.00
1530.74/383.89	c  N dy  7640   1210616      9625     41474         0     54596    126491   1381835     95.65   no data  --
1552.28/389.24	c  N dy  7774   1230713      9625     41474         0     74693    126491   4492862     95.68    115.03  --
1576.63/395.32	c  N dy  7900   1250772      9625     41474         0     94751    126491   7586895     95.71    102.49  --
1598.16/400.77	c  N dy  8039   1270871      9625     41474         0     65854    126491   3026291     95.73    104.41  --
1621.31/406.55	c  N dy  8167   1290884      9625     41474         0     85867    126491   6084336     95.75    107.49  --
1645.63/412.64	c  N dy  8303   1310982      9625     41474         0     55971    126491   1341716     95.78    114.89  --
1667.17/418.07	c  N dy  8437   1331011      9625     41474         0     75999    126491   4429022     95.81    101.58  --
1692.35/424.33	c  N dy  8575   1351103      9625     41474         0     96090    126491   7533595     95.83    107.93  --
1715.04/430.06	c  N dy  8710   1371350      9625     41474         0     65329    126491   2663231     95.84    101.23  --
1739.39/436.19	c  N dy  8849   1391371      9625     41474         0     85346    126491   5732539     95.87    107.41  --
1765.72/442.76	c  N dy  8976   1411397      9625     41474         0     53377    126491    645787     95.86    118.78  --
1787.26/448.11	c  N dy  9102   1431664      9625     41474         0     73640    126491   3755609     95.87    104.51  --
1811.98/454.32	c  N dy  9236   1451853      9625     41474         0     93829    126491   6860431     95.89    106.49  --
1836.76/460.52	c  N dy  9368   1471935      9625     41474         0     60911    126491   1665718     95.91    103.13  --
1859.10/466.12	c  N dy  9501   1492004      9625     41474         0     80979    126491   4736899     95.92    101.46  --
1884.60/472.57	c  N dy  9627   1512375      9625     41474         0    101348    126491   7856002     95.94    102.44  --
1907.72/478.34	c  N dy  9757   1532395      9625     41474         0     67368    126491   2522410     95.96    102.80  --
1931.66/484.32	c  N dy  9893   1552681      9625     41474         0     87651    126491   5655001     95.98    101.22  --
1958.79/491.13	c  N dy 10025   1572781      9625     41474         0    107747    126491   8729532     95.98    110.74  --
1980.74/496.68	c  N dy 10153   1592817      9625     41474         0     72789    126491   3183698     95.99    101.26  --
2007.90/503.50	c  N dy 10293   1612981      9625     41474         0     92951    126491   6343287     96.03    103.76  --
2038.61/511.18	c  N dy 10427   1633095      9625     41474         0     57070    126491    631634     96.05    102.94  --
2062.51/517.15	c  N dy 10567   1653214      9625     41474         0     77188    126491   3740533     96.08    102.77  --
2090.04/524.09	c  N dy 10702   1673385      9625     41474         0     97357    126491   6838080     96.08    104.23  --
2120.35/531.65	c  N dy 10829   1693491      9625     41474         0     60465    126491    993189     96.08    102.92  --
2141.09/536.81	c  S st 10950   1710617      9625     41474         0     77587    126491   3630429     96.10   no data  --
2141.89/537.00	c  S st 10950   1711121      9625     41474         0     78091    126491   3693042     96.10   no data  --
2141.89/537.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2141.89/537.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2141.89/537.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.32
2142.69/537.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2142.69/537.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2142.69/537.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.02 s
2142.69/537.28	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
2300.26/576.70	c lits-rem:         3  cl-subs:        5  v-elim:      0  v-fix:    0  time: 156.64 s
2300.26/576.70	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
2300.26/576.75	c vivif2 --  cl tried    78086 cl shrink        0 lits rem          0 time: 0.20
2301.07/576.92	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.68
2301.07/576.92	c calculated reachability. Time: 0.00
2301.07/576.92	c  N dy 10950   1711121      9625     41474         0     78086    126491   3691526     96.10   no data  --
2326.99/583.49	c  N dy 11085   1731159      9625     41474         0     98124    126491   6797993     96.12    123.55  --
2356.11/590.79	c  N dy 11215   1751266      9625     41474         0     60236    126491    830069     96.11    103.96  --
2379.65/596.60	c  N dy 11346   1771538      9625     41474         0     80508    126491   3970369     96.13    102.44  --
2405.58/603.12	c  N dy 11481   1791622      9625     41474         0    100591    126491   7045543     96.15    115.82  --
2433.54/610.16	c  N dy 11600   1811778      9625     41474         0     61751    126491    920085     96.14    104.28  --
2455.88/615.77	c  N dy 11735   1831867      9625     41474         0     81835    126491   4004297     96.15    104.74  --
2481.81/622.28	c  N dy 11871   1851868      9625     41474         0    101835    126491   7080543     96.18    103.98  --
2511.69/629.74	c  N dy 12015   1872211      9625     41474         0     62183    126491    836133     96.21    101.71  --
2534.02/635.33	c  N dy 12141   1892299      9625     41474         0     82271    126491   3916620     96.21    121.47  --
2559.95/641.87	c  N dy 12275   1912361      9625     41474         0    102331    126491   6968119     96.23    101.31  --
2589.86/649.32	c  N dy 12405   1932424      9625     41474         0     61395    126491    550555     96.24    105.44  --
2612.21/654.96	c  N dy 12541   1952738      9625     41474         0     81705    126491   3706294     96.27    102.80  --
2638.14/661.44	c  N dy 12669   1972887      9625     41474         0    101850    126491   6830366     96.28    102.58  --
2668.06/668.92	c  N dy 12809   1992993      9625     41474         0    121954    126491   9953534     96.30    104.98  --
2691.19/674.79	c  N dy 12947   2013029      9625     41474         0     79999    126491   3250146     96.32    125.71  --
2717.12/681.23	c  N dy 13079   2033088      9625     41474         0    100056    126491   6329782     96.33    101.45  --
2747.04/688.76	c  N dy 13216   2053447      9625     41474         0    120415    126491   9459052     96.34    101.75  --
2771.81/694.99	c  N dy 13348   2073496      9625     41474         0     77464    126491   2728098     96.35    102.66  --
2796.91/701.23	c  N dy 13466   2093578      9625     41474         0     97545    126491   5845764     96.35    102.72  --
2827.62/708.90	c  N dy 13602   2113636      9625     41474         0    117602    126491   8994676     96.38    105.41  --
2855.95/716.05	c  N dy 13742   2133693      9625     41474         0     73669    126491   1995820     96.39    101.72  --
2881.11/722.40	c  N dy 13865   2153748      9625     41474         0     93722    126491   5061887     96.40    102.79  --
2910.20/729.62	c  N dy 13984   2173752      9625     41474         0    113723    126491   8117560     96.39    103.03  --
2940.91/737.34	c  N dy 14108   2193754      9625     41474         0     68728    126491   1079621     96.39    102.70  --
2961.65/742.56	c  S st 14221   2211121      9625     41474         0     86093    126491   3755364     96.39   no data  --
2962.45/742.75	c  S st 14221   2211625      9625     41474         0     86597    126491   3814827     96.39   no data  --
2962.45/742.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2962.45/742.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2962.85/742.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.34
2963.66/743.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2963.66/743.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2963.66/743.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
2963.66/743.05	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
3136.03/786.28	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time: 171.87 s
3136.03/786.28	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
3136.38/786.34	c vivif2 --  cl tried    86591 cl shrink        0 lits rem          0 time: 0.21
3137.18/786.53	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.78
3137.18/786.54	c calculated reachability. Time: 0.00
3137.18/786.54	c  N dy 14221   2211625      9625     41474         0     86591    126491   3812806     96.39   no data  --
3166.74/793.98	c  N dy 14350   2231674      9625     41474         0    106638    126491   6904249     96.40    102.34  --
3200.21/802.38	c  N dy 14475   2251678      9625     41474         0    126641    126491   9989124     96.40    111.51  --
3228.93/809.56	c  N dy 14601   2271797      9625     41474         0     80772    126491   2773615     96.40    101.93  --
3257.65/816.74	c  N dy 14733   2291825      9625     41474         0    100798    126491   5830142     96.41    102.98  --
3290.76/825.04	c  N dy 14864   2311920      9625     41474         0    120890    126491   8918896     96.41    102.69  --
3323.07/833.17	c  N dy 14987   2332068      9625     41474         0     74045    126491   1631320     96.41    104.20  --
3351.04/840.11	c  N dy 15119   2352266      9625     41474         0     94242    126491   4725060     96.42    102.12  --
3382.51/848.08	c  N dy 15258   2372330      9625     41474         0    114303    126491   7869111     96.44    102.43  --
3418.02/856.94	c  N dy 15389   2392362      9625     41474         0    134333    126491  10949135     96.44    102.74  --
3445.14/863.70	c  N dy 15513   2412380      9625     41474         0     86345    126491   3417178     96.46    121.88  --
3474.26/871.02	c  N dy 15636   2432386      9625     41474         0    106350    126491   6468728     96.45    118.56  --
3506.58/879.10	c  N dy 15765   2452484      9625     41474         0    126448    126491   9564863     96.46    103.21  --
3537.28/886.87	c  N dy 15897   2472500      9625     41474         0     77468    126491   1850103     96.46    102.46  --
3563.62/893.46	c  N dy 16014   2492573      9625     41474         0     97540    126491   4924791     96.45    103.96  --
3595.54/901.42	c  N dy 16149   2513079      9625     41474         0    118044    126491   8111676     96.46    104.31  --
3630.24/910.13	c  N dy 16279   2533265      9625     41474         0    138230    126491  11192629     96.47    102.00  --
3656.57/916.75	c  N dy 16406   2553348      9625     41474         0     88318    126491   3327474     96.47    103.38  --
3685.68/924.00	c  N dy 16532   2573535      9625     41474         0    108503    126491   6419293     96.47    103.94  --
3718.40/932.23	c  N dy 16659   2593594      9625     41474         0    128561    126491   9511343     96.48    104.17  --
3750.71/940.32	c  N dy 16792   2613621      9625     41474         0     77590    126491   1572985     96.49    126.16  --
3778.24/947.20	c  N dy 16915   2633630      9625     41474         0     97598    126491   4646250     96.49    101.92  --
3810.96/955.48	c  N dy 17053   2654285      9625     41474         0    118248    126491   7811457     96.49    102.23  --
3847.65/964.60	c  N dy 17192   2674383      9625     41474         0    138345    126491  10894885     96.51    126.60  --
3877.61/972.18	c  N dy 17325   2694460      9625     41474         0     86426    126491   2779117     96.52    102.18  --
3902.71/978.49	c  S st 17435   2711625      9625     41474         0    103589    126491   5430315     96.53   no data  --
3903.94/978.73	c  S st 17435   2712126      9625     41474         0    104090    126491   5478361     96.53   no data  --
3903.94/978.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3903.94/978.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3904.30/978.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.42
3905.49/979.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3905.49/979.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3905.49/979.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9625 time:  0.01 s
3905.49/979.15	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
4293.65/1076.48	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 387.27 s
4293.65/1076.48	c vivif2 --  cl tried    41474 cl shrink        0 lits rem          0 time: 0.01
4294.08/1076.55	c vivif2 --  cl tried   104086 cl shrink        0 lits rem          0 time: 0.28
4294.84/1076.77	c asymm  cl-useful: 0/41474/41474 lits-rem:0 time: 0.88
4294.84/1076.78	c calculated reachability. Time: 0.00
4294.84/1076.78	c  N dy 17435   2712126      9625     41474         0    104086    126491   5477501     96.53   no data  --
4326.75/1084.72	c  N dy 17566   2732148      9625     41474         0    124108    126491   8572195     96.54    125.95  --
4362.26/1093.66	c  N dy 17701   2752337      9625     41474         0    144296    126491  11748732     96.57    103.46  --
4389.79/1100.56	c  N dy 17827   2773008      9625     41474         0     91974    126491   3526576     96.57    106.18  --
4418.91/1107.86	c  N dy 17966   2793051      9625     41474         0    112016    126491   6606317     96.58    104.03  --
4452.05/1116.18	c  N dy 18095   2813131      9625     41474         0    132096    126491   9708247     96.59    102.12  --
4487.16/1124.92	c  N dy 18229   2833169      9625     41474         0     78143    126491   1230266     96.59    101.88  --
4513.89/1131.65	c  N dy 18364   2853227      9625     41474         0     98196    126491   4351259     96.60    103.50  --
4544.20/1139.22	c  N dy 18490   2873380      9625     41474         0    118347    126491   7444413     96.60    102.39  --
4578.87/1147.93	c  N dy 18627   2893457      9625     41474         0    138421    126491  10594974     96.62    110.25  --
4611.57/1156.19	c  N dy 18761   2913632      9625     41474         0     83592    126491   1899417     96.63    104.05  --
4639.50/1163.14	c  N dy 18893   2933766      9625     41474         0    103726    126491   4986653     96.63    106.73  --
4670.62/1170.98	c  N dy 19023   2953836      9625     41474         0    123795    126491   8045410     96.63    120.09  --
4706.56/1179.97	c  N dy 19155   2973898      9625     41474         0    143854    126491  11137506     96.63    113.51  --
4737.67/1187.77	c  N dy 19288   2993980      9625     41474         0     87938    126491   2401169     96.63    101.96  --
4766.36/1194.90	c  N dy 19426   3014036      9625     41474         0    107994    126491   5543135     96.65    102.43  --

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

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

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


[startup+0 s]
/proc/loadavg: 2.58 2.99 3.24 2/320 23710
/proc/meminfo: memFree=25306256/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 4 0 651426046 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 47946705549228 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23710/statm: 12809 352 303 112 0 7774 0
[pid=23710/tid=23711] ppid=23708 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 651426047 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 47946705549234 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 651426047 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 47946705549234 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651426047 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.109093 s]
/proc/loadavg: 2.58 2.99 3.24 2/320 23710
/proc/meminfo: memFree=25306256/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=51236 CPUtime=0.2 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 412 0 0 0 20 0 0 0 22 0 4 0 651426046 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 47946705549238 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23710/statm: 12809 352 303 112 0 7774 0
[pid=23710/tid=23711] ppid=23708 vsize=51236 CPUtime=0.05 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1 0 0 0 5 0 0 0 22 0 4 0 651426047 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 47946705549234 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=51236 CPUtime=0.09 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) S 23708 23710 23677 0 -1 4202560 0 0 0 0 9 0 0 0 22 0 4 0 651426047 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 47946705549258 0 0 4096 2 18446604468365886592 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651426047 52465664 352 33554432000 4194304 4650419 140737291227856 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 51236

[startup+0.207413 s]
/proc/loadavg: 2.58 2.99 3.24 2/320 23710
/proc/meminfo: memFree=25306256/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=313332 CPUtime=0.46 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) D 23708 23710 23677 0 -1 4202496 9718 0 0 0 45 1 0 0 18 0 4 0 651426046 320851968 8198 33554432000 4194304 4650419 140737291227856 18446744073709551615 244446988423 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 76281 8197 369 112 0 71246 0
[pid=23710/tid=23711] ppid=23708 vsize=305124 CPUtime=0.14 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) D 23708 23710 23677 0 -1 4202560 2428 0 0 0 14 0 0 0 18 0 4 0 651426047 312446976 7950 33554432000 4194304 4650419 140737291227856 18446744073709551615 4249344 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=296916 CPUtime=0.16 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 2649 0 0 0 16 0 0 0 18 0 4 0 651426047 304041984 8622 33554432000 4194304 4650419 140737291227856 18446744073709551615 244446606021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=296916 CPUtime=0.07 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 2023 0 0 0 7 0 0 0 18 0 4 0 651426047 304041984 8866 33554432000 4194304 4650419 140737291227856 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 313332

[startup+1.05584 s]
/proc/loadavg: 2.58 2.99 3.24 2/320 23710
/proc/meminfo: memFree=25306256/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=296916 CPUtime=3.84 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 19330 0 0 0 381 3 0 0 19 0 4 0 651426046 304041984 14673 33554432000 4194304 4650419 140737291227856 18446744073709551615 4367429 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 74229 14673 391 112 0 69194 0
[pid=23710/tid=23711] ppid=23708 vsize=296916 CPUtime=0.99 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 5340 0 0 0 98 1 0 0 18 0 4 0 651426047 304041984 14673 33554432000 4194304 4650419 140737291227856 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=296916 CPUtime=0.99 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 5341 0 0 0 99 0 0 0 19 0 4 0 651426047 304041984 14674 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=296916 CPUtime=0.89 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 2861 0 0 0 89 0 0 0 19 0 4 0 651426047 304041984 14674 33554432000 4194304 4650419 140737291227856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 296916

[startup+1.10083 s]
/proc/loadavg: 2.58 2.99 3.24 2/320 23710
/proc/meminfo: memFree=25306256/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=297448 CPUtime=4.02 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 19627 0 0 0 399 3 0 0 19 0 4 0 651426046 304586752 14970 33554432000 4194304 4650419 140737291227856 18446744073709551615 4364468 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 74362 14970 391 112 0 69327 0
[pid=23710/tid=23711] ppid=23708 vsize=297448 CPUtime=1.03 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 5384 0 0 0 102 1 0 0 19 0 4 0 651426047 304586752 14970 33554432000 4194304 4650419 140737291227856 18446744073709551615 4306796 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=297448 CPUtime=1.03 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 5386 0 0 0 103 0 0 0 19 0 4 0 651426047 304586752 14970 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=297448 CPUtime=0.94 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 3025 0 0 0 94 0 0 0 19 0 4 0 651426047 304586752 14970 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 297448

[startup+1.50076 s]
/proc/loadavg: 2.58 2.99 3.24 2/320 23710
/proc/meminfo: memFree=25306256/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=303248 CPUtime=5.63 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 23704 0 0 0 559 4 0 0 19 0 4 0 651426046 310525952 13538 33554432000 4194304 4650419 140737291227856 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 75812 13538 393 112 0 70777 0
[pid=23710/tid=23711] ppid=23708 vsize=303248 CPUtime=1.43 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 6380 0 0 0 142 1 0 0 19 0 4 0 651426047 310525952 13538 33554432000 4194304 4650419 140737291227856 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=303248 CPUtime=1.44 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 6378 0 0 0 143 1 0 0 19 0 4 0 651426047 310525952 13538 33554432000 4194304 4650419 140737291227856 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=303248 CPUtime=1.34 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 4113 0 0 0 134 0 0 0 19 0 4 0 651426047 310525952 13538 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 303248

[startup+3.10046 s]
/proc/loadavg: 3.01 3.07 3.26 9/331 23723
/proc/meminfo: memFree=25119796/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=304680 CPUtime=12 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 32288 0 0 0 1194 6 0 0 24 0 4 0 651426046 311992320 15453 33554432000 4194304 4650419 140737291227856 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 76170 15453 393 112 0 71135 0
[pid=23710/tid=23711] ppid=23708 vsize=304680 CPUtime=3.03 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 8574 0 0 0 302 1 0 0 24 0 4 0 651426047 311992320 15454 33554432000 4194304 4650419 140737291227856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=304680 CPUtime=3.01 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 8535 0 0 0 300 1 0 0 24 0 4 0 651426047 311992320 15454 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=304680 CPUtime=2.94 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 6150 0 0 0 293 1 0 0 24 0 4 0 651426047 311992320 15454 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 304680

[startup+6.31287 s]
/proc/loadavg: 3.01 3.07 3.26 9/331 23723
/proc/meminfo: memFree=25092808/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=305720 CPUtime=24.81 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 58635 0 0 0 2469 12 0 0 25 0 4 0 651426046 313057280 27877 33554432000 4194304 4650419 140737291227856 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 76430 27877 395 112 0 71395 0
[pid=23710/tid=23711] ppid=23708 vsize=305720 CPUtime=6.24 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 16523 0 0 0 620 4 0 0 25 0 4 0 651426047 313057280 27877 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=305720 CPUtime=6.19 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 12820 0 0 0 617 2 0 0 25 0 4 0 651426047 313057280 27877 33554432000 4194304 4650419 140737291227856 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=305720 CPUtime=6.15 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 10214 0 0 0 613 2 0 0 25 0 4 0 651426047 313057280 27877 33554432000 4194304 4650419 140737291227856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.81
Current children cumulated vsize (KiB) 305720

[startup+12.7007 s]
/proc/loadavg: 3.49 3.17 3.29 9/331 23723
/proc/meminfo: memFree=24816908/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=333480 CPUtime=50.31 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 91901 0 0 0 5013 18 0 0 25 0 4 0 651426046 341483520 45332 33554432000 4194304 4650419 140737291227856 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 83370 45332 395 112 0 78335 0
[pid=23710/tid=23711] ppid=23708 vsize=333480 CPUtime=12.63 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 19271 0 0 0 1259 4 0 0 25 0 4 0 651426047 341483520 45332 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=333480 CPUtime=12.52 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 25735 0 0 0 1248 4 0 0 25 0 4 0 651426047 341483520 45332 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=333480 CPUtime=12.54 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 22396 0 0 0 1250 4 0 0 25 0 4 0 651426047 341483520 45332 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.31
Current children cumulated vsize (KiB) 333480

[startup+25.5003 s]
/proc/loadavg: 4.49 3.41 3.37 9/331 23723
/proc/meminfo: memFree=24602976/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=543084 CPUtime=101.37 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 151750 0 0 0 10105 32 0 0 25 0 4 0 651426046 556118016 67413 33554432000 4194304 4650419 140737291227856 18446744073709551615 4315467 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 135771 67413 395 112 0 130736 0
[pid=23710/tid=23711] ppid=23708 vsize=543084 CPUtime=25.43 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 36339 0 0 0 2536 7 0 0 25 0 4 0 651426047 556118016 67413 33554432000 4194304 4650419 140737291227856 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=543084 CPUtime=25.19 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 41118 0 0 0 2511 8 0 0 25 0 4 0 651426047 556118016 67413 33554432000 4194304 4650419 140737291227856 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=543084 CPUtime=25.34 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 33172 0 0 0 2526 8 0 0 25 0 4 0 651426047 556118016 67413 33554432000 4194304 4650419 140737291227856 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 543084

[startup+51.1006 s]
/proc/loadavg: 5.77 3.79 3.49 9/331 23724
/proc/meminfo: memFree=24500328/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=545864 CPUtime=203.51 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 233357 0 0 0 20300 51 0 0 25 0 4 0 651426046 558964736 76697 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366068 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 136466 76697 395 112 0 131431 0
[pid=23710/tid=23711] ppid=23708 vsize=545864 CPUtime=51.03 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 55650 0 0 0 5091 12 0 0 25 0 4 0 651426047 558964736 76697 33554432000 4194304 4650419 140737291227856 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=545864 CPUtime=50.53 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 65173 0 0 0 5040 13 0 0 25 0 4 0 651426047 558964736 76697 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=545864 CPUtime=50.93 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 55520 0 0 0 5080 13 0 0 25 0 4 0 651426047 558964736 76697 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.51
Current children cumulated vsize (KiB) 545864

[startup+102.301 s]
/proc/loadavg: 7.03 4.44 3.73 9/331 23725
/proc/meminfo: memFree=24401588/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=546780 CPUtime=407.76 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 392209 0 0 0 40684 92 0 0 25 0 4 0 651426046 559902720 87644 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 136695 87644 395 112 0 131660 0
[pid=23710/tid=23711] ppid=23708 vsize=546780 CPUtime=102.24 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 90979 0 0 0 10203 21 0 0 25 0 4 0 651426047 559902720 87644 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=546780 CPUtime=101.17 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 105459 0 0 0 10093 24 0 0 25 0 4 0 651426047 559902720 87644 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=546780 CPUtime=102.14 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 100009 0 0 0 10190 24 0 0 25 0 4 0 651426047 559902720 87644 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.76
Current children cumulated vsize (KiB) 546780

[startup+162.301 s]

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

[pid=23710] ppid=23708 vsize=1010820 CPUtime=2561.94 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 2447456 0 0 0 255607 587 0 0 25 0 4 0 651426046 1035079680 183013 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 252705 183013 395 112 0 247670 0
[pid=23710/tid=23711] ppid=23708 vsize=1010820 CPUtime=642.24 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 789945 0 0 0 64057 167 0 0 25 0 4 0 651426047 1035079680 183013 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1010820 CPUtime=635.35 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 613446 0 0 0 63378 157 0 0 25 0 4 0 651426047 1035079680 183013 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1010820 CPUtime=642.14 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 331806 0 0 0 64108 106 0 0 25 0 4 0 651426047 1035079680 183013 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.94
Current children cumulated vsize (KiB) 1010820

[startup+702.301 s]
/proc/loadavg: 8.08 7.62 5.80 9/331 23741
/proc/meminfo: memFree=23575360/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1025748 CPUtime=2801.3 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 2554316 0 0 0 279507 623 0 0 25 0 4 0 651426046 1050365952 179969 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 256437 179969 395 112 0 251402 0
[pid=23710/tid=23711] ppid=23708 vsize=1025748 CPUtime=702.24 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 815167 0 0 0 70049 175 0 0 25 0 4 0 651426047 1050365952 179969 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363534 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1025748 CPUtime=694.71 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 643686 0 0 0 69303 168 0 0 25 0 4 0 651426047 1050365952 179969 33554432000 4194304 4650419 140737291227856 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1025748 CPUtime=702.14 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 358586 0 0 0 70099 115 0 0 25 0 4 0 651426047 1050365952 179969 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.3
Current children cumulated vsize (KiB) 1025748

[startup+762.3 s]
/proc/loadavg: 8.03 7.69 5.94 9/331 23743
/proc/meminfo: memFree=23592440/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=976076 CPUtime=3040.64 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 2682248 0 0 0 303401 663 0 0 25 0 4 0 651426046 999501824 169506 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 244019 169506 395 112 0 238984 0
[pid=23710/tid=23711] ppid=23708 vsize=976076 CPUtime=762.24 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 838576 0 0 0 76038 186 0 0 25 0 4 0 651426047 999501824 169506 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=976076 CPUtime=754.05 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 671346 0 0 0 75224 181 0 0 25 0 4 0 651426047 999501824 169506 33554432000 4194304 4650419 140737291227856 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=976076 CPUtime=762.14 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 363694 0 0 0 76097 117 0 0 25 0 4 0 651426047 999501824 169506 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.64
Current children cumulated vsize (KiB) 976076

[startup+822.3 s]
/proc/loadavg: 8.10 7.77 6.07 9/331 23744
/proc/meminfo: memFree=23446852/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1055100 CPUtime=3279.99 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 3125932 0 0 0 327250 749 0 0 25 0 4 0 651426046 1080422400 196635 33554432000 4194304 4650419 140737291227856 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 263775 196635 395 112 0 258740 0
[pid=23710/tid=23711] ppid=23708 vsize=1055100 CPUtime=822.25 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1010467 0 0 0 82014 211 0 0 25 0 4 0 651426047 1080422400 196635 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1055100 CPUtime=813.4 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 774694 0 0 0 81141 199 0 0 25 0 4 0 651426047 1080422400 196635 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1055100 CPUtime=822.14 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 390651 0 0 0 82081 133 0 0 25 0 4 0 651426047 1080422400 196635 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.99
Current children cumulated vsize (KiB) 1055100

[startup+882.301 s]
/proc/loadavg: 8.12 7.84 6.20 9/331 23746
/proc/meminfo: memFree=23371936/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1094608 CPUtime=3519.34 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 3501027 0 0 0 351109 825 0 0 25 0 4 0 651426046 1120878592 206287 33554432000 4194304 4650419 140737291227856 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 273652 206287 395 112 0 268617 0
[pid=23710/tid=23711] ppid=23708 vsize=1094608 CPUtime=882.24 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1199925 0 0 0 87986 238 0 0 25 0 4 0 651426047 1120878592 206287 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1094608 CPUtime=872.74 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 908518 0 0 0 87055 219 0 0 25 0 4 0 651426047 1120878592 206287 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1094608 CPUtime=882.15 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 416851 0 0 0 88069 146 0 0 25 0 4 0 651426047 1120878592 206287 33554432000 4194304 4650419 140737291227856 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.34
Current children cumulated vsize (KiB) 1094608

[startup+942.301 s]
/proc/loadavg: 8.24 7.93 6.34 9/331 23747
/proc/meminfo: memFree=23341540/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1094116 CPUtime=3758.73 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 3731932 0 0 0 374994 879 0 0 25 0 4 0 651426046 1120374784 202923 33554432000 4194304 4650419 140737291227856 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 273529 202923 395 112 0 268494 0
[pid=23710/tid=23711] ppid=23708 vsize=1094116 CPUtime=942.26 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1227244 0 0 0 93976 250 0 0 25 0 4 0 651426047 1120374784 202923 33554432000 4194304 4650419 140737291227856 18446744073709551615 4303912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1094116 CPUtime=932.09 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1057909 0 0 0 92970 239 0 0 25 0 4 0 651426047 1120374784 202923 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1094116 CPUtime=942.16 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 443586 0 0 0 94059 157 0 0 25 0 4 0 651426047 1120374784 202923 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476129 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.73
Current children cumulated vsize (KiB) 1094116

[startup+1002.3 s]
/proc/loadavg: 8.14 7.95 6.44 9/331 23749
/proc/meminfo: memFree=23290928/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1172072 CPUtime=3998.04 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 4020963 0 0 0 398866 938 0 0 25 0 4 0 651426046 1200201728 216781 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 293018 216781 395 112 0 287983 0
[pid=23710/tid=23711] ppid=23708 vsize=1172072 CPUtime=1002.24 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1252364 0 0 0 99960 264 0 0 25 0 4 0 651426047 1200201728 216781 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1172072 CPUtime=991.44 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1241401 0 0 0 98879 265 0 0 25 0 4 0 651426047 1200201728 216781 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1172072 CPUtime=1002.15 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 443714 0 0 0 100058 157 0 0 25 0 4 0 651426047 1200201728 216781 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.04
Current children cumulated vsize (KiB) 1172072

[startup+1062.31 s]
/proc/loadavg: 8.08 7.97 6.55 9/331 23751
/proc/meminfo: memFree=23247012/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1144996 CPUtime=4237.44 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 4285036 0 0 0 422749 995 0 0 25 0 4 0 651426046 1172475904 223048 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 286249 223054 395 112 0 281214 0
[pid=23710/tid=23711] ppid=23708 vsize=1144996 CPUtime=1062.26 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1278267 0 0 0 105948 278 0 0 25 0 4 0 651426047 1172475904 223054 33554432000 4194304 4650419 140737291227856 18446744073709551615 244446641931 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1144996 CPUtime=1050.79 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1267051 0 0 0 104801 278 0 0 25 0 4 0 651426047 1172475904 223054 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1144996 CPUtime=1062.16 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 446427 0 0 0 106057 159 0 0 25 0 4 0 651426047 1172475904 223054 33554432000 4194304 4650419 140737291227856 18446744073709551615 4336143 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.44
Current children cumulated vsize (KiB) 1144996

[startup+1122.3 s]
/proc/loadavg: 8.11 8.00 6.64 9/331 23752
/proc/meminfo: memFree=23116040/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1159520 CPUtime=4476.75 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 4557468 0 0 0 446618 1057 0 0 25 0 4 0 651426046 1187348480 228853 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 289880 228853 395 112 0 284845 0
[pid=23710/tid=23711] ppid=23708 vsize=1159520 CPUtime=1122.25 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1418385 0 0 0 111929 296 0 0 25 0 4 0 651426047 1187348480 228853 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1159520 CPUtime=1110.14 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1287553 0 0 0 110724 290 0 0 25 0 4 0 651426047 1187348480 228853 33554432000 4194304 4650419 140737291227856 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1159520 CPUtime=1122.15 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 472077 0 0 0 112042 173 0 0 25 0 4 0 651426047 1187348480 228853 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.75
Current children cumulated vsize (KiB) 1159520

[startup+1182.3 s]
/proc/loadavg: 8.10 8.02 6.73 9/331 23754
/proc/meminfo: memFree=23145648/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1160228 CPUtime=4716.08 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 4791848 0 0 0 470499 1109 0 0 25 0 4 0 651426046 1188073472 226987 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 290057 226987 395 112 0 285022 0
[pid=23710/tid=23711] ppid=23708 vsize=1160228 CPUtime=1182.25 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1578729 0 0 0 117909 316 0 0 25 0 4 0 651426047 1188073472 226987 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1160228 CPUtime=1169.48 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1309812 0 0 0 116649 299 0 0 25 0 4 0 651426047 1188073472 226987 33554432000 4194304 4650419 140737291227856 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1160228 CPUtime=1182.15 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 497630 0 0 0 118030 185 0 0 25 0 4 0 651426047 1188073472 226987 33554432000 4194304 4650419 140737291227856 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.08
Current children cumulated vsize (KiB) 1160228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.07 8.01 6.76 5/326 23756
/proc/meminfo: memFree=24389776/32951124 swapFree=44485764/67111528
[pid=23710] ppid=23708 vsize=1213072 CPUtime=4800.29 cores=1,3,5,7
/proc/23710/stat : 23710 (strangenight1-m) R 23708 23710 23677 0 -1 4202496 4891295 0 0 0 478897 1132 0 0 25 0 4 0 651426046 1242185728 227289 33554432000 4194304 4650419 140737291227856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23710/statm: 303268 227289 395 112 0 298233 0
[pid=23710/tid=23711] ppid=23708 vsize=1213072 CPUtime=1203.36 cores=1,3,5,7
/proc/23710/task/23711/stat : 23711 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1641112 0 0 0 120011 325 0 0 25 0 4 0 651426047 1242185728 227290 33554432000 4194304 4650419 140737291227856 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23710/tid=23712] ppid=23708 vsize=1213072 CPUtime=1190.35 cores=1,3,5,7
/proc/23710/task/23712/stat : 23712 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 1327850 0 0 0 118731 304 0 0 25 0 4 0 651426047 1242185728 227290 33554432000 4194304 4650419 140737291227856 18446744073709551615 4441467 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23710/tid=23713] ppid=23708 vsize=1213072 CPUtime=1203.26 cores=1,3,5,7
/proc/23710/task/23713/stat : 23713 (strangenight1-m) R 23708 23710 23677 0 -1 4202560 506826 0 0 0 120137 189 0 0 25 0 4 0 651426047 1242185728 227290 33554432000 4194304 4650419 140737291227856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 1213072

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): 1203.45
CPU time (s): 4800.36
CPU user time (s): 4789
CPU system time (s): 11.3663
CPU usage (%): 398.882
Max. virtual memory (cumulated for all children) (KiB): 1225280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789
system time used= 11.3663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4891389
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= 1754
involuntary context switches= 18975

runsolver used 3.62245 second user time and 9.41857 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-14 20:37:36
IDJOB=3368594
IDBENCH=82603
IDSOLVER=1846
FILE ID=node105/3368594-1305398256
RUNJOBID= node105-1305398256-23696
PBS_JOBID= 13324484
Free space on /tmp= 73588 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368594-1305398256/watcher-3368594-1305398256 -o /tmp/evaluation-result-3368594-1305398256/solver-3368594-1305398256 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368594-1305398256.cnf

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

MD5SUM BENCH= 6a557f5ae37042f9b0c1bf4ee5a1b759
RANDOM SEED=936531282

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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:      25308024 kB
Buffers:        269740 kB
Cached:        5903024 kB
SwapCached:      39656 kB
Active:         556272 kB
Inactive:      6825160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25308024 kB
SwapTotal:    67111528 kB
SwapFree:     44485764 kB
Dirty:            9108 kB
Writeback:           0 kB
AnonPages:     1176912 kB
Mapped:           9540 kB
Slab:           128616 kB
PageTables:      66560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65315744 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= 73584 MiB
End job on node105 at 2011-05-14 20:57:42