Trace number 3174913

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.17 1201.75

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf
MD5SUMa0ab6c55c9b144fcd835244bca95a82b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.52816
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.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-3174913-1304051017.cnf'
0.00/0.00	c -- header says num vars:          10000
0.00/0.00	c -- header says num clauses:       42000
0.00/0.05	c -- clauses added:            0 learnts,        42000 normals,            0 xors
0.00/0.05	c -- vars added      10000
0.00/0.05	c Parsing time:  0.06 s
0.00/0.05	c  N st     0         0     10000     42000         0         0    126000         0   no data   no data  --
0.00/0.08	c asymm  cl-useful: 0/42000/42000 lits-rem:0 time: 0.10
0.00/0.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
0.00/0.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10000 time:  0.01 s
0.00/0.76	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.01 s
0.00/0.76	c lits-rem:         0  cl-subs:        0  v-elim:    355  v-fix:    0  time:  0.33 s
0.00/0.76	c Finding binary XORs  T:     0.01 s  found:       0
0.00/0.76	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
0.00/0.76	c calculated reachability. Time: 0.00
0.00/0.76	c Calc default polars -  time:   0.01 s pos:    4404 undec:    1280 neg:    4316
0.00/0.76	c =========================================================================================
0.00/0.76	c types(t): F = full restart, N = normal restart
0.00/0.76	c types(t): S = simplification begin/end, E = solution found
0.00/0.76	c restart types(rt): st = static, dy = dynamic
0.00/0.76	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.76	c  B st     0         0      9645     41574         0         0    126692         0   no data   no data  --
0.00/0.86	c  N dy    17      4008      9645     41574         0      4008    126692    620429     89.63     95.88  --
5.21/1.38	c  N dy    47      8104      9645     41574         0      4609    126692    330144     93.17     99.14  --
7.56/1.98	c  N dy    75     12185      9645     41574         0      8690    126692    935683     93.85     98.88  --
10.33/2.61	c  N dy   102     16258      9645     41574         0      7011    126692    385507     93.98    111.50  --
12.73/3.25	c  N dy   128     20402      9645     41574         0     11155    126692   1006417     93.79    100.50  --
15.53/3.93	c  N dy   153     24519      9645     41574         0      7898    126692    289836     93.73    100.96  --
15.92/4.00	c  F st   157     25001      9645     41574         0      8380    126692    361171     93.83   no data  --
19.12/4.82	c  N dy   163     30000      9645     41574         0     13379    126692   1231156     93.83   no data  --
19.12/4.82	c  S st   163     30000      9645     41574         0     13379    126692   1231156     93.83   no data  --
19.52/4.90	c  S st   163     30502      9645     41574         0     13881    126692   1281942     93.83   no data  --
19.52/4.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
19.52/4.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.52/4.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.14
19.92/5.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
19.92/5.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
19.92/5.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
19.92/5.06	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
26.32/6.69	c lits-rem:        14  cl-subs:        2  v-elim:      0  v-fix:    0  time:  6.51 s
26.71/6.74	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.19
26.71/6.74	c calculated reachability. Time: 0.00
26.71/6.74	c  N dy   163     30502      9645     41574         0     13879    126692   1281139     93.83   no data  --
29.53/7.45	c  N dy   187     34575      9645     41574         0      9264    126692    307136     93.76    100.10  --
32.31/8.12	c  N dy   211     38613      9645     41574         0     13302    126692    910995     93.88    116.82  --
35.10/8.86	c  N dy   239     42693      9645     41574         0     17381    126692   1535204     94.27    100.01  --
37.50/9.46	c  S st   258     45753      9645     41574         0     10599    126692    344433     94.41   no data  --
37.90/9.54	c  S st   258     46253      9645     41574         0     11099    126692    400554     94.41   no data  --
37.90/9.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
37.90/9.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.90/9.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.14
38.31/9.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
38.31/9.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.31/9.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
38.31/9.62	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
44.68/11.29	c lits-rem:         5  cl-subs:        0  v-elim:      0  v-fix:    0  time:  6.67 s
44.68/11.29	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
45.09/11.30	c vivif2 --  cl tried    11099 cl shrink        0 lits rem          0 time: 0.02
45.09/11.34	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.17
45.09/11.34	c calculated reachability. Time: 0.00
45.09/11.34	c  N dy   258     46253      9645     41574         0     11099    126692    400549     94.41   no data  --
47.88/12.00	c  N dy   281     50256      9645     41574         0     15102    126692    999117     94.23     99.23  --
50.68/12.72	c  N dy   305     54493      9645     41574         0     19339    126692   1621680     94.02     99.42  --
53.47/13.44	c  N dy   330     58551      9645     41574         0     12476    126692    461844     94.08    102.27  --
56.29/14.16	c  N dy   354     62906      9645     41574         0     16831    126692   1113277     93.99    101.14  --
59.07/14.87	c  N dy   380     66933      9645     41574         0     20858    126692   1715108     93.94     99.33  --
61.06/15.33	c  S st   397     69382      9645     41574         0     23307    126692   2093463     94.04   no data  --
61.46/15.42	c  S st   397     69887      9645     41574         0     23812    126692   2144726     94.04   no data  --
61.46/15.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
61.46/15.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.46/15.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.16
62.26/15.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
62.26/15.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.26/15.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
62.26/15.63	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
78.26/19.69	c lits-rem:        13  cl-subs:        1  v-elim:      0  v-fix:    0  time: 16.19 s
78.63/19.70	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
78.63/19.72	c vivif2 --  cl tried    23811 cl shrink        0 lits rem          0 time: 0.10
78.63/19.79	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.25
78.63/19.79	c calculated reachability. Time: 0.00
78.63/19.79	c  N dy   397     69887      9645     41574         0     23811    126692   2144600     94.04   no data  --
81.84/20.58	c  N dy   426     74482      9645     41574         0     16451    126692    893664     94.08    100.91  --
85.42/21.47	c  N dy   462     79281      9645     41574         0     21250    126692   1624589     94.30    121.16  --
89.42/22.42	c  N dy   493     84355      9645     41574         0     13341    126692    281123     94.22    112.30  --
91.43/22.96	c  F st   516     87500      9645     41574         0     16485    126692    751449     94.26   no data  --
94.21/23.60	c  N st   521     90801      9645     41574         0     19786    126692   1407751     94.26   no data  --
98.61/24.70	c  N dy   548     96652      9645     41574         0     25637    126692   2340479     94.18     99.36  --
103.00/25.85	c  N dy   595    102842      9645     41574         0     17835    126692    820978     94.38    104.46  --
104.22/26.19	c  S st   604    104831      9645     41574         0     19824    126692   1110035     94.32     82.24  --
104.62/26.27	c  S st   604    105336      9645     41574         0     20329    126692   1159830     94.32   no data  --
104.62/26.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.62/26.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.99/26.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.16
104.99/26.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.99/26.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.99/26.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
104.99/26.38	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
113.78/28.51	c lits-rem:         8  cl-subs:        1  v-elim:      0  v-fix:    0  time:  8.48 s
113.78/28.51	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
113.78/28.53	c vivif2 --  cl tried    20328 cl shrink        0 lits rem          0 time: 0.05
113.78/28.58	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.22
113.78/28.59	c calculated reachability. Time: 0.00
113.78/28.59	c  N dy   604    105336      9645     41574         0     20328    126692   1159591     94.32   no data  --
118.97/29.84	c  N dy   647    112065      9645     41574         0     27057    126692   2185653     94.46    103.10  --
124.57/31.20	c  N dy   691    119326      9645     41574         0     19323    126692    903265     94.34    100.73  --
130.16/32.62	c  N dy   735    127004      9645     41574         0     27000    126692   2042108     94.28    124.50  --
136.15/34.17	c  N dy   795    135127      9645     41574         0     19126    126692    727272     94.44    102.23  --
142.54/35.77	c  N dy   853    143777      9645     41574         0     27776    126692   2035541     94.45    137.39  --
149.73/37.55	c  N dy   913    152984      9645     41574         0     19982    126692    712721     94.44    101.86  --
153.33/38.46	c  S st   945    158004      9645     41574         0     25001    126692   1460908     94.39     92.18  --
153.73/38.55	c  S st   945    158509      9645     41574         0     25506    126692   1509116     94.39   no data  --
153.73/38.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
153.73/38.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.73/38.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
154.13/38.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
154.13/38.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
154.13/38.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
154.13/38.67	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
165.73/41.58	c lits-rem:         7  cl-subs:        1  v-elim:      0  v-fix:    0  time: 11.56 s
165.73/41.58	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
165.73/41.60	c vivif2 --  cl tried    25505 cl shrink        0 lits rem          0 time: 0.08
166.13/41.66	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.26
166.13/41.66	c calculated reachability. Time: 0.00
166.13/41.67	c  N dy   945    158509      9645     41574         0     25505    126692   1509002     94.39   no data  --
174.52/43.75	c  N dy  1012    168797      9645     41574         0     35790    126692   3060256     94.45     99.48  --
182.88/45.83	c  N dy  1077    179913      9645     41574         0     28907    126692   1894581     94.43    104.42  --
192.10/48.16	c  N dy  1160    191429      9645     41574         0     21424    126692    606836     94.57    101.64  --
201.66/50.51	c  N dy  1238    203665      9645     41574         0     33659    126692   2469835     94.63    103.23  --
212.05/53.15	c  N dy  1315    216831      9645     41574         0     26832    126692   1269215     94.47     99.50  --
223.63/56.07	c  N dy  1403    230698      9645     41574         0     40699    126692   3362476     94.55    106.29  --
229.22/57.43	c  S st  1439    237763      9645     41574         0     26764    126692   1122316     94.49   no data  --
229.62/57.53	c  S st  1439    238264      9645     41574         0     27265    126692   1182605     94.49   no data  --
229.62/57.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
229.62/57.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
229.62/57.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
230.02/57.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
230.02/57.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
230.02/57.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
230.02/57.65	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
238.41/59.78	c lits-rem:        34  cl-subs:        2  v-elim:      0  v-fix:    0  time:  8.51 s
238.41/59.78	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
238.81/59.80	c vivif2 --  cl tried    27263 cl shrink        0 lits rem          0 time: 0.06
238.81/59.86	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.26
238.81/59.87	c calculated reachability. Time: 0.00
238.81/59.87	c  N dy  1439    238264      9645     41574         0     27263    126692   1181861     94.49   no data  --
251.59/63.02	c  N dy  1531    253485      9645     41574         0     42483    126692   3454455     94.44    101.64  --
265.17/66.42	c  N dy  1643    269812      9645     41574         0     36812    126692   2493337     94.53     99.80  --
279.56/70.00	c  N dy  1758    287061      9645     41574         0     31060    126692   1505341     94.56    100.33  --
295.13/73.99	c  N dy  1880    305481      9645     41574         0     25483    126692    500732     94.64    101.39  --
295.93/74.13	c  F st  1883    306252      9645     41574         0     26254    126692    617323     94.62     80.38  --
311.51/78.09	c  N dy  1979    325008      9645     41574         0     45010    126692   3607395     94.69     99.90  --
328.71/82.33	c  N dy  2108    345123      9645     41574         0     40125    126692   2555746     94.70    102.11  --
339.87/85.17	c  S st  2189    357398      9645     41574         0     26399    126692    354393     94.74   no data  --
340.28/85.27	c  S st  2189    357906      9645     41574         0     26907    126692    413593     94.74   no data  --
340.28/85.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
340.28/85.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
340.68/85.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
340.68/85.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
340.68/85.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
340.68/85.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
340.68/85.35	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
347.06/86.93	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  6.28 s
347.06/86.93	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
347.06/86.94	c vivif2 --  cl tried    26907 cl shrink        0 lits rem          0 time: 0.02
347.46/87.00	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.24
347.46/87.01	c calculated reachability. Time: 0.00
347.46/87.01	c  N dy  2189    357906      9645     41574         0     26907    126692    413592     94.74   no data  --
364.24/91.26	c  N dy  2313    377918      9645     41574         0     46916    126692   3419725     94.70     99.97  --
382.21/95.71	c  N dy  2452    398002      9645     41574         0     39999    126692   2269197     94.75    100.33  --
400.99/100.46	c  N dy  2577    418047      9645     41574         0     32047    126692    907761     94.75    105.96  --
418.97/104.94	c  N dy  2717    438162      9645     41574         0     52162    126692   3991195     94.85    100.90  --
436.53/109.39	c  N dy  2860    458211      9645     41574         0     43211    126692   2456820     94.96    101.27  --
455.72/114.11	c  N dy  2984    478282      9645     41574         0     33281    126692    819776     94.97    101.54  --
473.30/118.58	c  N dy  3110    498297      9645     41574         0     53295    126692   3854319     94.99    103.62  --
492.05/123.23	c  N dy  3237    518431      9645     41574         0     42428    126692   2043985     95.00    106.41  --
509.63/127.67	c  S st  3363    536859      9645     41574         0     60853    126692   4829515     95.04   no data  --
510.43/127.82	c  S st  3363    537361      9645     41574         0     61355    126692   4881420     95.04   no data  --
510.43/127.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
510.43/127.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
510.83/127.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.26
511.63/128.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
511.63/128.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
511.63/128.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
511.63/128.17	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
776.07/194.38	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 263.59 s
776.07/194.38	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
776.48/194.44	c vivif2 --  cl tried    61351 cl shrink        0 lits rem          0 time: 0.25
776.88/194.58	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.56
776.88/194.59	c calculated reachability. Time: 0.00
776.88/194.59	c  N dy  3363    537361      9645     41574         0     61351    126692   4879889     95.04   no data  --
796.04/199.38	c  N dy  3491    557455      9645     41574         0     49449    126692   2983800     95.06    107.72  --
817.21/204.61	c  N dy  3623    577561      9645     41574         0     36557    126692    880646     95.08    103.75  --
835.98/209.34	c  N dy  3750    597625      9645     41574         0     56618    126692   3934701     95.09    101.06  --
856.35/214.48	c  N dy  3882    617693      9645     41574         0     42691    126692   1647846     95.09    113.82  --
877.55/219.72	c  N dy  4022    637834      9645     41574         0     62831    126692   4699806     95.13    105.05  --
897.50/224.76	c  N dy  4143    657991      9645     41574         0     47983    126692   2318849     95.14    101.22  --
919.47/230.21	c  N dy  4282    678053      9645     41574         0     68043    126692   5416345     95.21    109.73  --
939.46/235.21	c  N dy  4413    698127      9645     41574         0     52121    126692   2798799     95.23    103.73  --
961.43/240.79	c  N dy  4535    718267      9645     41574         0     72258    126692   5872598     95.22    102.40  --
981.38/245.76	c  N dy  4663    738272      9645     41574         0     55264    126692   3144877     95.24    100.65  --
1004.55/251.55	c  N dy  4793    758359      9645     41574         0     75349    126692   6236491     95.31    101.54  --
1024.92/256.60	c  N dy  4929    778390      9645     41574         0     57384    126692   3353850     95.36    102.80  --
1047.70/262.34	c  N dy  5053    798423      9645     41574         0     77416    126692   6389805     95.36    100.71  --
1055.28/264.22	c  S st  5104    806042      9645     41574         0     46037    126692   1428221     95.36     89.03  --
1055.68/264.35	c  S st  5104    806549      9645     41574         0     46544    126692   1481375     95.36   no data  --
1055.68/264.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1055.68/264.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1056.08/264.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.23
1056.08/264.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1056.49/264.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1056.49/264.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.02 s
1056.49/264.50	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
1069.67/267.82	c lits-rem:        11  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.22 s
1069.67/267.82	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.02
1069.67/267.84	c vivif2 --  cl tried    46543 cl shrink        0 lits rem          0 time: 0.08
1070.07/267.95	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.42
1070.07/267.95	c calculated reachability. Time: 0.00
1070.07/267.95	c  N dy  5104    806549      9645     41574         0     46543    126692   1481116     95.36   no data  --
1091.24/273.25	c  N dy  5242    826664      9645     41574         0     66656    126692   4525365     95.39    100.94  --
1114.01/278.97	c  N dy  5378    846780      9645     41574         0     46775    126692   1362642     95.43    100.99  --
1134.77/284.17	c  N dy  5501    866853      9645     41574         0     66847    126692   4407408     95.41    100.82  --
1157.54/289.85	c  N dy  5644    886907      9645     41574         0     45897    126692   1132695     95.46    103.56  --
1177.51/294.86	c  N dy  5782    906999      9645     41574         0     65986    126692   4187465     95.48    100.92  --
1200.28/300.58	c  N dy  5913    927061      9645     41574         0     44050    126692    701283     95.51    103.35  --
1220.27/305.52	c  N dy  6043    947173      9645     41574         0     64160    126692   3755943     95.52    103.00  --
1243.02/311.26	c  N dy  6172    967282      9645     41574         0     84268    126692   6801677     95.52    101.99  --
1263.00/316.28	c  N dy  6300    987382      9645     41574         0     61376    126692   3148517     95.52    103.11  --
1285.77/321.98	c  N dy  6432   1007444      9645     41574         0     81436    126692   6247253     95.56    100.72  --
1307.73/327.49	c  N dy  6560   1027695      9645     41574         0     57687    126692   2502187     95.57    104.13  --
1331.30/333.32	c  N dy  6693   1047806      9645     41574         0     77796    126692   5568273     95.61    103.99  --
1354.86/339.24	c  N dy  6823   1067817      9645     41574         0     52808    126692   1608869     95.63    101.61  --
1358.86/340.27	c  F st  6849   1071875      9645     41574         0     56866    126692   2230825     95.63     83.98  --
1376.83/344.74	c  N dy  6925   1087886      9645     41574         0     72877    126692   4882642     95.64    106.67  --
1402.00/351.07	c  N dy  7054   1107938      9645     41574         0     46931    126692    543348     95.64    101.74  --
1422.39/356.17	c  N dy  7191   1128116      9645     41574         0     67108    126692   3651649     95.68    101.31  --
1446.34/362.13	c  N dy  7329   1148139      9645     41574         0     87130    126692   6720965     95.71    108.28  --
1468.30/367.62	c  N dy  7453   1168289      9645     41574         0     60283    126692   2442385     95.70    102.57  --
1491.07/373.30	c  N dy  7587   1188387      9645     41574         0     80381    126692   5510737     95.72    100.83  --
1515.06/379.39	c  N dy  7715   1208464      9645     41574         0     52458    126692   1096290     95.72    101.42  --
1516.63/379.73	c  S st  7726   1209826      9645     41574         0     53820    126692   1302089     95.73     77.31  --
1517.03/379.87	c  S st  7726   1210329      9645     41574         0     54323    126692   1355781     95.73   no data  --
1517.03/379.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1517.03/379.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1517.44/379.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.24
1517.84/380.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1517.84/380.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1517.84/380.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
1517.84/380.01	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
1529.42/382.98	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time: 11.85 s
1529.42/382.98	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.02
1529.82/383.00	c vivif2 --  cl tried    54322 cl shrink        0 lits rem          0 time: 0.08
1530.22/383.12	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.45
1530.22/383.12	c calculated reachability. Time: 0.00
1530.22/383.12	c  N dy  7726   1210329      9645     41574         0     54322    126692   1355593     95.73   no data  --
1551.39/388.45	c  N dy  7849   1230426      9645     41574         0     74418    126692   4374527     95.71    104.72  --
1576.17/394.63	c  N dy  7977   1250480      9645     41574         0     94470    126692   7413184     95.73    103.55  --
1597.73/400.04	c  N dy  8110   1270525      9645     41574         0     65514    126692   2956752     95.76    119.08  --
1621.30/405.96	c  N dy  8247   1290602      9645     41574         0     85591    126692   6041301     95.77    105.04  --
1646.06/412.12	c  N dy  8377   1310742      9645     41574         0     55732    126692   1333457     95.78    101.18  --
1667.63/417.54	c  N dy  8510   1330743      9645     41574         0     75733    126692   4371978     95.80    104.89  --
1692.78/423.88	c  N dy  8638   1350886      9645     41574         0     95875    126692   7446027     95.81    102.67  --
1715.56/429.58	c  N dy  8763   1371122      9645     41574         0     65114    126692   2562149     95.80    101.71  --
1739.92/435.62	c  N dy  8888   1391313      9645     41574         0     85305    126692   5578993     95.79    101.14  --
1766.69/442.35	c  N dy  9016   1411598      9645     41574         0     53592    126692    683444     95.79    107.53  --
1787.85/447.64	c  N dy  9145   1431644      9645     41574         0     73636    126692   3719082     95.80    100.94  --
1813.03/453.91	c  N dy  9276   1451737      9645     41574         0     93726    126692   6741132     95.80    101.63  --
1837.78/460.17	c  N dy  9412   1471791      9645     41574         0     60780    126692   1658808     95.83    121.23  --
1860.15/465.76	c  N dy  9542   1491805      9645     41574         0     80792    126692   4695200     95.82    102.37  --
1886.52/472.32	c  N dy  9671   1511949      9645     41574         0    100933    126692   7797425     95.84    101.21  --
1910.11/478.22	c  N dy  9795   1531987      9645     41574         0     66983    126692   2419673     95.84    101.26  --
1933.66/484.16	c  N dy  9930   1552141      9645     41574         0     87136    126692   5511689     95.86    102.00  --
1960.82/490.98	c  N dy 10062   1572155      9645     41574         0    107149    126692   8603521     95.88    106.59  --
1983.59/496.65	c  N dy 10195   1592158      9645     41574         0     72161    126692   3069917     95.89    103.48  --
2008.75/503.00	c  N dy 10316   1612238      9645     41574         0     92241    126692   6124297     95.88    101.01  --
2040.31/510.89	c  N dy 10457   1632331      9645     41574         0     56337    126692    513370     95.92    105.53  --
2063.89/516.77	c  N dy 10581   1652413      9645     41574         0     76417    126692   3580010     95.92    120.56  --
2091.84/523.70	c  N dy 10711   1672548      9645     41574         0     96551    126692   6699218     95.95    101.57  --
2122.20/531.33	c  N dy 10842   1692588      9645     41574         0     59592    126692    871880     95.96    147.97  --
2143.39/536.65	c  S st 10961   1710329      9645     41574         0     77331    126692   3609506     95.98   no data  --
2144.17/536.84	c  S st 10961   1710829      9645     41574         0     77831    126692   3661652     95.98   no data  --
2144.17/536.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2144.17/536.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2144.57/536.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.32
2145.37/537.11	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2145.37/537.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2145.37/537.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.02 s
2145.37/537.12	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
2293.16/574.11	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 147.41 s
2293.16/574.11	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.02
2293.16/574.16	c vivif2 --  cl tried    77826 cl shrink        0 lits rem          0 time: 0.20
2293.97/574.33	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.67
2293.97/574.34	c calculated reachability. Time: 0.00
2293.97/574.34	c  N dy 10961   1710829      9645     41574         0     77826    126692   3659770     95.98   no data  --
2320.32/580.96	c  N dy 11089   1730842      9645     41574         0     97838    126692   6722048     95.99    101.69  --
2350.29/588.42	c  N dy 11224   1750942      9645     41574         0     59931    126692    767863     96.00    120.55  --
2373.45/594.25	c  N dy 11362   1771067      9645     41574         0     80052    126692   3868190     96.02    107.19  --
2399.82/600.89	c  N dy 11495   1791172      9645     41574         0    100156    126692   6975341     96.04    101.52  --
2429.37/608.20	c  N dy 11629   1811234      9645     41574         0     61223    126692    820996     96.05    104.36  --
2451.33/613.77	c  N dy 11760   1831267      9645     41574         0     81255    126692   3881610     96.06    106.50  --
2477.33/620.29	c  N dy 11886   1851366      9645     41574         0    101352    126692   6981471     96.07    101.70  --
2506.46/627.56	c  N dy 12008   1871493      9645     41574         0     61480    126692    715378     96.07    107.13  --
2528.83/633.10	c  N dy 12130   1891501      9645     41574         0     81485    126692   3755727     96.06    101.16  --
2554.79/639.61	c  N dy 12253   1911736      9645     41574         0    101717    126692   6800742     96.06    102.23  --
2584.75/647.17	c  N dy 12390   1931783      9645     41574         0    121762    126692   9868422     96.07    105.04  --
2607.92/652.98	c  N dy 12520   1952138      9645     41574         0     81118    126692   3586160     96.08    102.83  --
2634.28/659.53	c  N dy 12656   1972234      9645     41574         0    101214    126692   6683022     96.10    102.00  --
2664.23/667.06	c  N dy 12779   1992568      9645     41574         0    121544    126692   9810057     96.11    103.28  --
2688.23/673.06	c  N dy 12915   2012728      9645     41574         0     79710    126692   3219599     96.13    102.13  --
2714.19/679.53	c  N dy 13048   2032945      9645     41574         0     99924    126692   6329401     96.15    102.42  --
2743.32/686.88	c  N dy 13173   2052981      9645     41574         0    119960    126692   9404712     96.16    102.36  --
2768.88/693.22	c  N dy 13304   2073074      9645     41574         0     77063    126692   2643150     96.17    101.76  --
2794.05/699.56	c  N dy 13438   2093102      9645     41574         0     97091    126692   5705180     96.18    101.31  --
2823.61/706.92	c  N dy 13558   2113238      9645     41574         0    117227    126692   8801242     96.18    101.47  --
2852.37/714.12	c  N dy 13672   2133298      9645     41574         0     73285    126692   1915978     96.17    103.36  --
2877.93/720.56	c  N dy 13806   2153326      9645     41574         0     93313    126692   5032731     96.19    103.40  --
2907.91/728.04	c  N dy 13941   2173382      9645     41574         0    113369    126692   8123633     96.20    116.23  --
2939.44/735.97	c  N dy 14067   2193511      9645     41574         0     68499    126692   1049418     96.20    101.37  --
2960.23/741.14	c  S st 14169   2210830      9645     41574         0     85816    126692   3677180     96.19     97.43  --
2961.01/741.34	c  S st 14169   2211333      9645     41574         0     86319    126692   3728932     96.19   no data  --
2961.01/741.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2961.01/741.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2961.41/741.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.34
2962.21/741.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2962.21/741.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2962.21/741.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
2962.21/741.62	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
3121.60/781.52	c lits-rem:         0  cl-subs:        7  v-elim:      0  v-fix:    0  time: 158.88 s
3121.60/781.53	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.02
3121.60/781.58	c vivif2 --  cl tried    86312 cl shrink        0 lits rem          0 time: 0.21
3122.40/781.79	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.82
3122.40/781.79	c calculated reachability. Time: 0.00
3122.40/781.79	c  N dy 14169   2211333      9645     41574         0     86312    126692   3728126     96.19   no data  --
3152.75/789.35	c  N dy 14303   2231371      9645     41574         0    106348    126692   6780853     96.19    103.64  --
3186.70/797.89	c  N dy 14430   2251438      9645     41574         0    126413    126692   9860040     96.20    101.48  --
3215.86/805.10	c  N dy 14562   2271477      9645     41574         0     80451    126692   2771492     96.21    103.60  --
3245.02/812.43	c  N dy 14697   2291700      9645     41574         0    100674    126692   5908562     96.23    101.31  --
3278.17/820.74	c  N dy 14826   2311779      9645     41574         0    120752    126692   9022643     96.24    101.92  --
3310.94/828.92	c  N dy 14955   2331800      9645     41574         0     73779    126692   1571811     96.24    102.28  --
3338.12/835.78	c  N dy 15086   2351868      9645     41574         0     93846    126692   4629422     96.25    104.19  --
3369.27/843.56	c  N dy 15209   2371963      9645     41574         0    113941    126692   7688557     96.24    102.36  --
3406.01/852.70	c  N dy 15348   2391988      9645     41574         0    133965    126692  10828492     96.26    102.51  --
3433.96/859.71	c  N dy 15482   2412051      9645     41574         0     86026    126692   3323279     96.27    102.94  --
3463.92/867.25	c  N dy 15619   2432176      9645     41574         0    106149    126692   6438712     96.28    101.71  --
3498.27/875.80	c  N dy 15759   2452244      9645     41574         0    126215    126692   9530382     96.29    114.30  --
3529.43/883.60	c  N dy 15894   2472264      9645     41574         0     77235    126692   1832101     96.31    111.17  --
3555.80/890.29	c  N dy 16010   2492344      9645     41574         0     97313    126692   4899179     96.30    105.18  --
3586.56/897.96	c  N dy 16140   2512399      9645     41574         0    117366    126692   7981135     96.32    102.10  --
3621.31/906.63	c  N dy 16268   2532436      9645     41574         0    137401    126692  11050682     96.33    101.55  --
3648.47/913.46	c  N dy 16404   2552658      9645     41574         0     87628    126692   3239651     96.33    102.36  --
3677.23/920.64	c  N dy 16528   2572659      9645     41574         0    107629    126692   6309975     96.33    108.25  --
3709.98/928.81	c  N dy 16652   2592736      9645     41574         0    127706    126692   9361126     96.33    102.02  --
3743.14/937.11	c  N dy 16775   2612829      9645     41574         0     76805    126692   1452502     96.33    101.64  --
3769.90/943.88	c  N dy 16914   2632885      9645     41574         0     96858    126692   4570236     96.35    102.44  --
3802.26/951.97	c  N dy 17046   2652892      9645     41574         0    116863    126692   7653537     96.36    101.81  --
3839.80/961.32	c  N dy 17185   2673114      9645     41574         0    137084    126692  10771682     96.38    103.59  --
3871.36/969.24	c  N dy 17324   2693121      9645     41574         0     85097    126692   2625021     96.40    123.90  --
3898.12/975.94	c  S st 17450   2711335      9645     41574         0    103309    126692   5449353     96.41   no data  --
3898.92/976.19	c  S st 17450   2711843      9645     41574         0    103817    126692   5512967     96.41   no data  --
3899.32/976.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3899.32/976.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3899.72/976.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.42
3900.94/976.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3900.94/976.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3900.94/976.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9645 time:  0.01 s
3900.94/976.61	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
4290.79/1074.27	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time: 388.80 s
4290.79/1074.27	c vivif2 --  cl tried    41574 cl shrink        0 lits rem          0 time: 0.01
4291.19/1074.34	c vivif2 --  cl tried   103813 cl shrink        0 lits rem          0 time: 0.30
4292.01/1074.56	c asymm  cl-useful: 0/41574/41574 lits-rem:0 time: 0.85
4292.01/1074.56	c calculated reachability. Time: 0.00
4292.01/1074.56	c  N dy 17450   2711843      9645     41574         0    103813    126692   5511587     96.41   no data  --
4323.54/1082.40	c  N dy 17578   2731915      9645     41574         0    123885    126692   8550669     96.42    106.82  --
4359.49/1091.44	c  N dy 17712   2752080      9645     41574         0    144048    126692  11644826     96.43    102.28  --
4387.05/1098.33	c  N dy 17851   2772085      9645     41574         0     91063    126692   3383231     96.45    109.82  --
4416.61/1105.71	c  N dy 17989   2792174      9645     41574         0    111147    126692   6481646     96.47    101.80  --
4449.79/1114.06	c  N dy 18120   2812192      9645     41574         0    131165    126692   9548605     96.47    101.89  --
4485.34/1122.96	c  N dy 18243   2832216      9645     41574         0     77190    126692   1068132     96.47    106.33  --
4512.49/1129.74	c  N dy 18375   2852358      9645     41574         0     97330    126692   4158975     96.48    102.61  --
4543.23/1137.48	c  N dy 18519   2872401      9645     41574         0    117370    126692   7323695     96.51    102.34  --
4579.19/1146.40	c  N dy 18665   2892537      9645     41574         0    137503    126692  10432275     96.53    104.93  --
4612.76/1154.88	c  N dy 18794   2912645      9645     41574         0     82618    126692   1747906     96.53    104.68  --
4640.70/1161.85	c  N dy 18929   2932699      9645     41574         0    102671    126692   4884643     96.56    104.36  --
4671.46/1169.58	c  N dy 19044   2952776      9645     41574         0    122748    126692   7978505     96.56    104.66  --
4707.41/1178.59	c  N dy 19176   2972825      9645     41574         0    142794    126692  11074503     96.56    102.40  --
4739.37/1186.58	c  N dy 19302   2992972      9645     41574         0     86945    126692   2286421     96.57    102.47  --
4767.73/1193.67	c  N dy 19425   3013066      9645     41574         0    107038    126692   5359330     96.57    103.19  --

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-3174913-1304051017/watcher-3174913-1304051017 -o /tmp/evaluation-result-3174913-1304051017/solver-3174913-1304051017 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174913-1304051017.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: 4.12 4.09 4.87 2/174 12482
/proc/meminfo: memFree=26333000/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 516701392 52465664 352 33554432000 4194304 4650419 140735216844928 18446744073709551615 47213613492150 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 12809 354 304 112 0 7774 0
[pid=12482/tid=12483] ppid=12480 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 516701392 52465664 356 33554432000 4194304 4650419 140735216844928 18446744073709551615 208080232379 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 516701392 52465664 356 33554432000 4194304 4650419 140735216844928 18446744073709551615 47213613492136 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 516701392 52465664 356 33554432000 4194304 4650419 140735216844928 18446744073709551615 208075279446 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0930459 s]
/proc/loadavg: 4.12 4.09 4.87 2/174 12482
/proc/meminfo: memFree=26333000/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=302108 CPUtime=0.32 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 12229 0 0 0 29 3 0 0 18 0 4 0 516701392 309358592 10471 33554432000 4194304 4650419 140735216844928 18446744073709551615 208079893537 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 76314 15368 391 112 0 71279 0
[pid=12482/tid=12483] ppid=12480 vsize=305256 CPUtime=0.9 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 5168 0 0 0 89 1 0 0 19 0 4 0 516701392 312582144 15368 33554432000 4194304 4650419 140735216844928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=305256 CPUtime=0.89 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 4874 0 0 0 89 0 0 0 19 0 4 0 516701392 312582144 15368 33554432000 4194304 4650419 140735216844928 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=305256 CPUtime=0.9 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 2876 0 0 0 89 1 0 0 19 0 4 0 516701392 312582144 15368 33554432000 4194304 4650419 140735216844928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 302108

[startup+1.01684 s]
/proc/loadavg: 4.12 4.09 4.87 2/174 12482
/proc/meminfo: memFree=26333000/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=305256 CPUtime=4.01 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 18785 0 0 0 397 4 0 0 19 0 4 0 516701392 312582144 15895 33554432000 4194304 4650419 140735216844928 18446744073709551615 4331981 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 76314 15895 391 112 0 71279 0
[pid=12482/tid=12483] ppid=12480 vsize=305256 CPUtime=1 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 5271 0 0 0 99 1 0 0 19 0 4 0 516701392 312582144 15895 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=305256 CPUtime=0.99 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 4972 0 0 0 99 0 0 0 19 0 4 0 516701392 312582144 15895 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=305256 CPUtime=1 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 3099 0 0 0 99 1 0 0 19 0 4 0 516701392 312582144 15895 33554432000 4194304 4650419 140735216844928 18446744073709551615 4316048 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 305256

[startup+1.11682 s]
/proc/loadavg: 4.12 4.09 4.87 2/174 12482
/proc/meminfo: memFree=26333000/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=307216 CPUtime=4.41 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 19891 0 0 0 436 5 0 0 19 0 4 0 516701392 314589184 15702 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 76804 15702 393 112 0 71769 0
[pid=12482/tid=12483] ppid=12480 vsize=307216 CPUtime=1.09 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 5368 0 0 0 108 1 0 0 19 0 4 0 516701392 314589184 15702 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=307216 CPUtime=1.09 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 5071 0 0 0 108 1 0 0 19 0 4 0 516701392 314589184 15702 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363482 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=307216 CPUtime=1.1 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 3910 0 0 0 109 1 0 0 19 0 4 0 516701392 314589184 15702 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 307216

[startup+1.21681 s]
/proc/loadavg: 4.12 4.09 4.87 2/174 12482
/proc/meminfo: memFree=26333000/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=307216 CPUtime=4.81 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 20284 0 0 0 476 5 0 0 19 0 4 0 516701392 314589184 16095 33554432000 4194304 4650419 140735216844928 18446744073709551615 4313042 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 76804 16096 393 112 0 71769 0
[pid=12482/tid=12483] ppid=12480 vsize=307216 CPUtime=1.19 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 5463 0 0 0 118 1 0 0 19 0 4 0 516701392 314589184 16096 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=307216 CPUtime=1.19 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 5169 0 0 0 118 1 0 0 19 0 4 0 516701392 314589184 16096 33554432000 4194304 4650419 140735216844928 18446744073709551615 4313513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=317400 CPUtime=1.19 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 4014 0 0 0 118 1 0 0 19 0 4 0 516701392 325017600 16097 33554432000 4194304 4650419 140735216844928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 307216

[startup+1.50075 s]
/proc/loadavg: 4.12 4.09 4.87 2/174 12482
/proc/meminfo: memFree=26333000/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=309580 CPUtime=5.94 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 22986 0 0 0 589 5 0 0 20 0 4 0 516701392 317009920 14639 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328209 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 77395 14639 393 112 0 72360 0
[pid=12482/tid=12483] ppid=12480 vsize=309580 CPUtime=1.48 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 6364 0 0 0 147 1 0 0 19 0 4 0 516701392 317009920 14639 33554432000 4194304 4650419 140735216844928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=309580 CPUtime=1.48 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 5859 0 0 0 147 1 0 0 19 0 4 0 516701392 317009920 14639 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=309580 CPUtime=1.48 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 4297 0 0 0 147 1 0 0 20 0 4 0 516701392 317009920 14639 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364424 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 309580

[startup+3.10645 s]
/proc/loadavg: 4.75 4.22 4.90 9/184 12495
/proc/meminfo: memFree=26072652/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=310484 CPUtime=12.35 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 31476 0 0 0 1228 7 0 0 25 0 4 0 516701392 317935616 16467 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363506 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 77621 16467 393 112 0 72586 0
[pid=12482/tid=12483] ppid=12480 vsize=310484 CPUtime=3.09 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 8544 0 0 0 307 2 0 0 25 0 4 0 516701392 317935616 16468 33554432000 4194304 4650419 140735216844928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=310484 CPUtime=3.07 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 7874 0 0 0 306 1 0 0 25 0 4 0 516701392 317935616 16468 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328261 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=310484 CPUtime=3.09 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 6397 0 0 0 307 2 0 0 25 0 4 0 516701392 317935616 16468 33554432000 4194304 4650419 140735216844928 18446744073709551615 4315924 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 310484

[startup+6.30084 s]
/proc/loadavg: 5.01 4.29 4.92 9/184 12495
/proc/meminfo: memFree=25992668/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=311044 CPUtime=25.14 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 57271 0 0 0 2501 13 0 0 25 0 4 0 516701392 318509056 28179 33554432000 4194304 4650419 140735216844928 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 77761 28180 395 112 0 72726 0
[pid=12482/tid=12483] ppid=12480 vsize=311044 CPUtime=6.29 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 16329 0 0 0 625 4 0 0 25 0 4 0 516701392 318509056 28183 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=311044 CPUtime=6.25 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 11869 0 0 0 624 1 0 0 25 0 4 0 516701392 318509056 28183 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=311044 CPUtime=6.28 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 10597 0 0 0 625 3 0 0 25 0 4 0 516701392 318509056 28183 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 311044

[startup+12.7006 s]
/proc/loadavg: 5.25 4.35 4.94 9/184 12495
/proc/meminfo: memFree=25948784/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=348364 CPUtime=50.68 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 92037 0 0 0 5048 20 0 0 25 0 4 0 516701392 356724736 44567 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 87091 44568 395 112 0 82056 0
[pid=12482/tid=12483] ppid=12480 vsize=348364 CPUtime=12.68 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 19200 0 0 0 1264 4 0 0 25 0 4 0 516701392 356724736 44568 33554432000 4194304 4650419 140735216844928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=348364 CPUtime=12.61 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 25082 0 0 0 1257 4 0 0 25 0 4 0 516701392 356724736 44568 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363411 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=348364 CPUtime=12.68 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 23511 0 0 0 1262 6 0 0 25 0 4 0 516701392 356724736 44568 33554432000 4194304 4650419 140735216844928 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 348364

[startup+25.5012 s]
/proc/loadavg: 5.67 4.47 4.97 9/184 12495
/proc/meminfo: memFree=25543400/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=474444 CPUtime=101.8 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 149147 0 0 0 10144 36 0 0 25 0 4 0 516701392 485830656 69545 33554432000 4194304 4650419 140735216844928 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 118611 69545 395 112 0 113576 0
[pid=12482/tid=12483] ppid=12480 vsize=474444 CPUtime=25.48 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 36724 0 0 0 2538 10 0 0 25 0 4 0 516701392 485830656 69545 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=474444 CPUtime=25.33 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 36351 0 0 0 2526 7 0 0 25 0 4 0 516701392 485830656 69545 33554432000 4194304 4650419 140735216844928 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=474444 CPUtime=25.48 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 34983 0 0 0 2539 9 0 0 25 0 4 0 516701392 485830656 69545 33554432000 4194304 4650419 140735216844928 18446744073709551615 4438577 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 474444

[startup+51.1003 s]
/proc/loadavg: 6.53 4.77 5.05 9/184 12496
/proc/meminfo: memFree=25429152/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=517680 CPUtime=204.06 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 222346 0 0 0 20348 58 0 0 25 0 4 0 516701392 530104320 80008 33554432000 4194304 4650419 140735216844928 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 129420 80008 395 112 0 124385 0
[pid=12482/tid=12483] ppid=12480 vsize=517680 CPUtime=51.08 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 57925 0 0 0 5092 16 0 0 25 0 4 0 516701392 530104320 80008 33554432000 4194304 4650419 140735216844928 18446744073709551615 4333550 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=517680 CPUtime=50.8 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 51600 0 0 0 5068 12 0 0 25 0 4 0 516701392 530104320 80008 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=517680 CPUtime=51.07 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 58582 0 0 0 5091 16 0 0 25 0 4 0 516701392 530104320 80008 33554432000 4194304 4650419 140735216844928 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 517680

[startup+102.301 s]
/proc/loadavg: 7.47 5.32 5.23 9/184 12497
/proc/meminfo: memFree=25201336/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=598000 CPUtime=408.57 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 376232 0 0 0 40756 101 0 0 25 0 4 0 516701392 612352000 93404 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 149500 93405 395 112 0 144465 0
[pid=12482/tid=12483] ppid=12480 vsize=598000 CPUtime=102.28 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 93240 0 0 0 10203 25 0 0 25 0 4 0 516701392 612352000 93405 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=598000 CPUtime=101.71 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 91870 0 0 0 10145 26 0 0 25 0 4 0 516701392 612352000 93405 33554432000 4194304 4650419 140735216844928 18446744073709551615 4360531 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=598000 CPUtime=102.28 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 103846 0 0 0 10200 28 0 0 25 0 4 0 516701392 612352000 93405 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 598000

[startup+162.301 s]

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

[pid=12482] ppid=12480 vsize=956276 CPUtime=2565.57 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 2273378 0 0 0 255970 587 0 0 25 0 4 0 516701392 979226624 182470 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 239069 182470 395 112 0 234034 0
[pid=12482/tid=12483] ppid=12480 vsize=956276 CPUtime=642.29 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 769291 0 0 0 64054 175 0 0 25 0 4 0 516701392 979226624 182470 33554432000 4194304 4650419 140735216844928 18446744073709551615 4367384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=956276 CPUtime=638.72 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 318566 0 0 0 63764 108 0 0 25 0 4 0 516701392 979226624 182470 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=956276 CPUtime=642.29 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 642807 0 0 0 64065 164 0 0 25 0 4 0 516701392 979226624 182470 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.57
Current children cumulated vsize (KiB) 956276

[startup+702.3 s]
/proc/loadavg: 8.16 7.72 6.57 9/184 12513
/proc/meminfo: memFree=24316532/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=971288 CPUtime=2805.23 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 2387027 0 0 0 279898 625 0 0 25 0 4 0 516701392 994598912 173819 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 242822 173819 395 112 0 237787 0
[pid=12482/tid=12483] ppid=12480 vsize=971288 CPUtime=702.28 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 793812 0 0 0 70046 182 0 0 25 0 4 0 516701392 994598912 173819 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=971288 CPUtime=698.39 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 349004 0 0 0 69720 119 0 0 25 0 4 0 516701392 994598912 173819 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=971288 CPUtime=702.28 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 674096 0 0 0 70055 173 0 0 25 0 4 0 516701392 994598912 173819 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.23
Current children cumulated vsize (KiB) 971288

[startup+762.301 s]
/proc/loadavg: 8.17 7.80 6.67 9/184 12515
/proc/meminfo: memFree=24230048/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=921668 CPUtime=3044.9 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 2682810 0 0 0 303802 688 0 0 25 0 4 0 516701392 943788032 170293 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 230417 170293 395 112 0 225382 0
[pid=12482/tid=12483] ppid=12480 vsize=921668 CPUtime=762.29 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 819459 0 0 0 76036 193 0 0 25 0 4 0 516701392 943788032 170293 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363556 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=921668 CPUtime=758.05 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 376957 0 0 0 75674 131 0 0 25 0 4 0 516701392 943788032 170293 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=921668 CPUtime=762.27 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 834537 0 0 0 76030 197 0 0 25 0 4 0 516701392 943788032 170293 33554432000 4194304 4650419 140735216844928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.9
Current children cumulated vsize (KiB) 921668

[startup+822.3 s]
/proc/loadavg: 8.13 7.85 6.75 9/184 12516
/proc/meminfo: memFree=24166608/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=1040600 CPUtime=3284.57 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 2861600 0 0 0 327721 736 0 0 25 0 4 0 516701392 1065574400 193764 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 260150 193764 395 112 0 255115 0
[pid=12482/tid=12483] ppid=12480 vsize=1040600 CPUtime=822.29 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 821310 0 0 0 82035 194 0 0 25 0 4 0 516701392 1065574400 193764 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=1040600 CPUtime=817.72 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 399329 0 0 0 81634 138 0 0 25 0 4 0 516701392 1065574400 193764 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=1040600 CPUtime=822.27 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 862378 0 0 0 82013 214 0 0 25 0 4 0 516701392 1065574400 193764 33554432000 4194304 4650419 140735216844928 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.57
Current children cumulated vsize (KiB) 1040600

[startup+882.301 s]
/proc/loadavg: 8.05 7.88 6.83 9/184 12518
/proc/meminfo: memFree=24117832/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=990628 CPUtime=3524.24 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 2918281 0 0 0 351658 766 0 0 25 0 4 0 516701392 1014403072 190512 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 247657 190512 395 112 0 242622 0
[pid=12482/tid=12483] ppid=12480 vsize=990628 CPUtime=882.3 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 824319 0 0 0 88034 196 0 0 25 0 4 0 516701392 1014403072 190512 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=990628 CPUtime=877.39 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 399412 0 0 0 87601 138 0 0 25 0 4 0 516701392 1014403072 190512 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=990628 CPUtime=882.28 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 888571 0 0 0 88001 227 0 0 25 0 4 0 516701392 1014403072 190512 33554432000 4194304 4650419 140735216844928 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.24
Current children cumulated vsize (KiB) 990628

[startup+942.301 s]
/proc/loadavg: 8.02 7.90 6.90 9/184 12520
/proc/meminfo: memFree=24072144/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=1044840 CPUtime=3763.92 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 2999666 0 0 0 375587 805 0 0 25 0 4 0 516701392 1069916160 201612 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 261210 201612 395 112 0 256175 0
[pid=12482/tid=12483] ppid=12480 vsize=1044840 CPUtime=942.3 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 851905 0 0 0 94020 210 0 0 25 0 4 0 516701392 1069916160 201612 33554432000 4194304 4650419 140735216844928 18446744073709551615 4334464 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=1044840 CPUtime=937.06 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 399419 0 0 0 93568 138 0 0 25 0 4 0 516701392 1069916160 201612 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=1044840 CPUtime=942.28 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 915230 0 0 0 93988 240 0 0 25 0 4 0 516701392 1069916160 201612 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.92
Current children cumulated vsize (KiB) 1044840

[startup+1002.3 s]
/proc/loadavg: 8.00 7.91 6.97 9/184 12521
/proc/meminfo: memFree=23985368/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=1176672 CPUtime=4003.59 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 3295418 0 0 0 399493 866 0 0 25 0 4 0 516701392 1204912128 212387 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 294168 212387 395 112 0 289133 0
[pid=12482/tid=12483] ppid=12480 vsize=1176672 CPUtime=1002.29 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 873787 0 0 0 100005 224 0 0 25 0 4 0 516701392 1204912128 212387 33554432000 4194304 4650419 140735216844928 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=1176672 CPUtime=996.73 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 400551 0 0 0 99534 139 0 0 25 0 4 0 516701392 1204912128 212387 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=1176672 CPUtime=1002.28 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1099463 0 0 0 99961 267 0 0 25 0 4 0 516701392 1204912128 212387 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 1176672

[startup+1062.3 s]
/proc/loadavg: 8.06 7.94 7.03 9/184 12523
/proc/meminfo: memFree=24046156/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=1151632 CPUtime=4243.27 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 3738401 0 0 0 423377 950 0 0 25 0 4 0 516701392 1179271168 211155 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 287908 211155 395 112 0 282873 0
[pid=12482/tid=12483] ppid=12480 vsize=1151632 CPUtime=1062.3 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 895979 0 0 0 105993 237 0 0 25 0 4 0 516701392 1179271168 211155 33554432000 4194304 4650419 140735216844928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=1151632 CPUtime=1056.4 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 426838 0 0 0 105485 155 0 0 25 0 4 0 516701392 1179271168 211155 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=1151632 CPUtime=1062.29 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1280830 0 0 0 105936 293 0 0 25 0 4 0 516701392 1179271168 211155 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 1151632

[startup+1122.3 s]
/proc/loadavg: 8.08 7.96 7.10 9/184 12524
/proc/meminfo: memFree=23940796/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=1099908 CPUtime=4482.93 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 3990732 0 0 0 447286 1007 0 0 25 0 4 0 516701392 1126305792 216350 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 274977 216350 395 112 0 269942 0
[pid=12482/tid=12483] ppid=12480 vsize=1099908 CPUtime=1122.29 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1022844 0 0 0 111974 255 0 0 25 0 4 0 516701392 1126305792 216350 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=1099908 CPUtime=1116.07 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 446842 0 0 0 111442 165 0 0 25 0 4 0 516701392 1126305792 216350 33554432000 4194304 4650419 140735216844928 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=1099908 CPUtime=1122.29 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1306379 0 0 0 111924 305 0 0 25 0 4 0 516701392 1126305792 216350 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.93
Current children cumulated vsize (KiB) 1099908

[startup+1182.31 s]
/proc/loadavg: 8.13 8.00 7.16 9/184 12526
/proc/meminfo: memFree=23888664/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=1205780 CPUtime=4722.61 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 4217110 0 0 0 471202 1059 0 0 25 0 4 0 516701392 1234718720 228226 33554432000 4194304 4650419 140735216844928 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 301445 228226 395 112 0 296410 0
[pid=12482/tid=12483] ppid=12480 vsize=1205780 CPUtime=1182.3 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1180359 0 0 0 117954 276 0 0 25 0 4 0 516701392 1234718720 228226 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=1205780 CPUtime=1175.73 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 465489 0 0 0 117400 173 0 0 25 0 4 0 516701392 1234718720 228226 33554432000 4194304 4650419 140735216844928 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=1205780 CPUtime=1182.29 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1331805 0 0 0 117914 315 0 0 25 0 4 0 516701392 1234718720 228226 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.61
Current children cumulated vsize (KiB) 1205780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.00 7.18 9/184 12527
/proc/meminfo: memFree=23858268/32950928 swapFree=67111364/67111528
[pid=12482] ppid=12480 vsize=1206224 CPUtime=4800.1 cores=1,3,5,7
/proc/12482/stat : 12482 (strangenight1-m) R 12480 12482 10480 0 -1 4202496 4294872 0 0 0 478932 1078 0 0 25 0 4 0 516701392 1235173376 224794 33554432000 4194304 4650419 140735216844928 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12482/statm: 301556 224794 395 112 0 296521 0
[pid=12482/tid=12483] ppid=12480 vsize=1206224 CPUtime=1201.71 cores=1,3,5,7
/proc/12482/task/12483/stat : 12483 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1235381 0 0 0 119887 284 0 0 25 0 4 0 516701392 1235173376 224794 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12482/tid=12484] ppid=12480 vsize=1206224 CPUtime=1195.02 cores=1,3,5,7
/proc/12482/task/12484/stat : 12484 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 470541 0 0 0 119327 175 0 0 25 0 4 0 516701392 1235173376 224794 33554432000 4194304 4650419 140735216844928 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12482/tid=12485] ppid=12480 vsize=1206224 CPUtime=1201.69 cores=1,3,5,7
/proc/12482/task/12485/stat : 12485 (strangenight1-m) R 12480 12482 10480 0 -1 4202560 1340155 0 0 0 119851 318 0 0 25 0 4 0 516701392 1235173376 224794 33554432000 4194304 4650419 140735216844928 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1206224

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.75
CPU time (s): 4800.17
CPU user time (s): 4789.35
CPU system time (s): 10.8214
CPU usage (%): 399.432
Max. virtual memory (cumulated for all children) (KiB): 1206224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.35
system time used= 10.8214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4294874
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= 3163
involuntary context switches= 34992

runsolver used 1.88771 second user time and 4.67929 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-29 06:23:37
IDJOB=3174913
IDBENCH=82531
IDSOLVER=1588
FILE ID=node127/3174913-1304051017
RUNJOBID= node127-1304051017-12469
PBS_JOBID= 13170372
Free space on /tmp= 71820 MiB

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

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

MD5SUM BENCH= a0ab6c55c9b144fcd835244bca95a82b
RANDOM SEED=1737929689

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26333032 kB
Buffers:       1383204 kB
Cached:        4693096 kB
SwapCached:          0 kB
Active:        1737540 kB
Inactive:      4406068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26333032 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7768 kB
Writeback:           4 kB
AnonPages:       67252 kB
Mapped:          14396 kB
Slab:           409708 kB
PageTables:       4572 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190300 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= 71804 MiB
End job on node127 at 2011-04-29 06:43:41