Trace number 3368667

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.15 1203.56

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf
MD5SUMa2618a2d05b86feb60504578f5d9c7e5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark47.6977
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.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368667-1305400201.cnf'
0.00/0.01	c -- header says num vars:          10000
0.00/0.01	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.07 s
0.00/0.05	c  N st     0         0     10000     42000         0         0    126000         0   no data   no data  --
0.38/0.11	c asymm  cl-useful: 0/42000/42000 lits-rem:0 time: 0.10
0.38/0.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
0.38/0.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.38/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.38/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10000 time:  0.01 s
0.38/0.16	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.01 s
3.94/1.01	c lits-rem:         0  cl-subs:        0  v-elim:    349  v-fix:    0  time:  0.33 s
3.94/1.01	c Finding binary XORs  T:     0.00 s  found:       0
3.94/1.01	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
3.94/1.01	c calculated reachability. Time: 0.00
3.94/1.01	c Calc default polars -  time:   0.01 s pos:    4468 undec:    1199 neg:    4333
3.94/1.01	c =========================================================================================
3.94/1.01	c types(t): F = full restart, N = normal restart
3.94/1.01	c types(t): S = simplification begin/end, E = solution found
3.94/1.01	c restart types(rt): st = static, dy = dynamic
3.94/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.94/1.01	c  B st     0         0      9651     41578         0         0    126575         0   no data   no data  --
3.94/1.01	c  N dy    20      4090      9651     41578         0      4090    126575    628761     90.10     95.33  --
5.59/1.44	c  N dy    48      8158      9651     41578         0      4660    126575    320205     90.83     97.30  --
7.94/2.05	c  N dy    77     12186      9651     41578         0      8688    126575    909455     91.56     98.86  --
10.32/2.69	c  N dy   105     16271      9651     41578         0      7024    126575    383434     91.64     97.42  --
13.12/3.31	c  N dy   132     20369      9651     41578         0     11122    126575    983140     91.91     96.76  --
15.51/3.99	c  N dy   158     24541      9651     41578         0      7921    126575    288467     91.58     97.55  --
15.91/4.06	c  F st   162     25001      9651     41578         0      8381    126575    353020     91.52   no data  --
19.49/4.96	c  N dy   168     30001      9651     41578         0     13381    126575   1359092     91.52   no data  --
19.49/4.96	c  S st   168     30001      9651     41578         0     13381    126575   1359092     91.52   no data  --
19.89/5.04	c  S st   168     30506      9651     41578         0     13886    126575   1413612     91.52   no data  --
19.89/5.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
19.89/5.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.89/5.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.14
20.29/5.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
20.69/5.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
20.69/5.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
20.69/5.20	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
27.11/6.91	c lits-rem:        44  cl-subs:        6  v-elim:      0  v-fix:    0  time:  6.77 s
27.52/6.95	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.19
27.52/6.96	c calculated reachability. Time: 0.00
27.52/6.96	c  N dy   168     30506      9651     41578         0     13880    126575   1410825     91.52   no data  --
30.27/7.69	c  N dy   198     34558      9651     41578         0      9247    126575    314151     91.84    112.86  --
33.06/8.37	c  N dy   227     38576      9651     41578         0     13265    126575    918693     92.32     98.20  --
36.30/9.11	c  N dy   254     42582      9651     41578         0     17269    126575   1514455     92.52     97.41  --
38.65/9.74	c  S st   278     45761      9651     41578         0     10602    126575    325138     92.90   no data  --
39.05/9.82	c  S st   278     46264      9651     41578         0     11105    126575    377091     92.90   no data  --
39.05/9.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
39.05/9.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.05/9.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.13
39.05/9.89	c bin-w-bin subsume rem            0 bins  time:  0.01 s
39.05/9.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.05/9.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
39.45/9.90	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
45.07/11.31	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  5.63 s
45.07/11.31	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
45.07/11.32	c vivif2 --  cl tried    11105 cl shrink        0 lits rem          0 time: 0.02
45.07/11.36	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.17
45.07/11.36	c calculated reachability. Time: 0.00
45.07/11.36	c  N dy   278     46264      9651     41578         0     11105    126575    377089     92.90   no data  --
47.83/12.06	c  N dy   304     50492      9651     41578         0     15333    126575   1014897     93.08     98.63  --
50.61/12.78	c  N dy   333     54619      9651     41578         0     19460    126575   1640229     93.22     98.45  --
53.43/13.51	c  N dy   359     58707      9651     41578         0     12627    126575    471559     93.15    104.66  --
56.20/14.19	c  N dy   387     62756      9651     41578         0     16676    126575   1079275     93.26    102.71  --
59.39/14.94	c  N dy   408     67002      9651     41578         0     20922    126575   1703655     93.11    100.27  --
60.99/15.38	c  S st   426     69396      9651     41578         0     23316    126575   2062980     93.25   no data  --
61.39/15.47	c  S st   426     69901      9651     41578         0     23821    126575   2117573     93.25   no data  --
61.39/15.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
61.39/15.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.79/15.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.16
62.21/15.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
62.21/15.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.21/15.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
62.21/15.67	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
78.94/19.80	c lits-rem:        16  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.45 s
78.94/19.80	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
78.94/19.83	c vivif2 --  cl tried    23818 cl shrink        0 lits rem          0 time: 0.10
78.94/19.89	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.26
78.94/19.89	c calculated reachability. Time: 0.00
78.94/19.90	c  N dy   426     69901      9651     41578         0     23818    126575   2117086     93.25   no data  --
82.13/20.69	c  N dy   459     74380      9651     41578         0     16336    126575    885124     93.51    100.89  --
86.12/21.60	c  N dy   494     79185      9651     41578         0     21141    126575   1604148     93.65     99.77  --
89.70/22.57	c  N dy   525     84259      9651     41578         0     13236    126575    266637     93.73    101.14  --
92.11/23.12	c  F st   545     87500      9651     41578         0     16477    126575    745072     93.75   no data  --
94.49/23.72	c  N st   550     90798      9651     41578         0     19775    126575   1344488     93.75   no data  --
98.88/24.86	c  N dy   574     96663      9651     41578         0     25640    126575   2349289     93.67    103.39  --
103.67/26.01	c  N dy   617    102949      9651     41578         0     17934    126575    832727     93.88    103.05  --
104.87/26.34	c  S st   628    104851      9651     41578         0     19835    126575   1097489     93.80     99.01  --
105.27/26.43	c  S st   628    105355      9651     41578         0     20339    126575   1156518     93.80   no data  --
105.27/26.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
105.27/26.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.27/26.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.15
105.66/26.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
105.66/26.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
105.66/26.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
105.66/26.54	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
114.45/28.77	c lits-rem:        24  cl-subs:        1  v-elim:      0  v-fix:    0  time:  8.86 s
114.45/28.77	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
114.45/28.78	c vivif2 --  cl tried    20338 cl shrink        0 lits rem          0 time: 0.06
114.87/28.84	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.21
114.87/28.84	c calculated reachability. Time: 0.00
114.87/28.84	c  N dy   628    105355      9651     41578         0     20338    126575   1155864     93.80   no data  --
120.02/30.13	c  N dy   672    112263      9651     41578         0     27246    126575   2203202     93.90     99.18  --
125.60/31.51	c  N dy   719    119527      9651     41578         0     19512    126575    919111     94.02     99.57  --
131.59/33.00	c  N dy   767    127321      9651     41578         0     27305    126575   2100509     93.95     99.20  --
137.57/34.58	c  N dy   815    135575      9651     41578         0     19566    126575    763650     94.01     99.33  --
143.96/36.19	c  N dy   871    144325      9651     41578         0     28314    126575   2082371     93.99     99.78  --
151.53/38.00	c  N dy   935    153600      9651     41578         0     20593    126575    753025     94.05    100.80  --
154.76/38.81	c  S st   963    158033      9651     41578         0     25026    126575   1430847     94.09   no data  --
155.12/38.91	c  S st   963    158540      9651     41578         0     25533    126575   1497569     94.09   no data  --
155.12/38.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
155.12/38.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
155.12/38.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.17
155.52/39.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
155.52/39.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
155.52/39.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
155.52/39.04	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
167.09/41.91	c lits-rem:        12  cl-subs:        1  v-elim:      0  v-fix:    0  time: 11.42 s
167.09/41.91	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.02
167.09/41.93	c vivif2 --  cl tried    25532 cl shrink        0 lits rem          0 time: 0.07
167.09/42.00	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.26
167.09/42.00	c calculated reachability. Time: 0.00
167.09/42.00	c  N dy   963    158540      9651     41578         0     25532    126575   1497004     94.09   no data  --
175.47/44.07	c  N dy  1030    168677      9651     41578         0     35668    126575   3018200     94.09     99.45  --
183.85/46.14	c  N dy  1098    179527      9651     41578         0     28521    126575   1851431     94.13    103.11  --
193.02/48.45	c  N dy  1167    191034      9651     41578         0     21025    126575    552302     94.01    100.22  --
202.20/50.81	c  N dy  1245    203252      9651     41578         0     33242    126575   2397422     94.02    103.12  --
212.96/53.46	c  N dy  1329    216282      9651     41578         0     26274    126575   1173108     93.91    101.44  --
224.97/56.46	c  N dy  1426    230084      9651     41578         0     40075    126575   3287939     94.10    101.79  --
230.92/57.98	c  S st  1480    237810      9651     41578         0     26798    126575   1136181     94.13   no data  --
231.32/58.08	c  S st  1480    238311      9651     41578         0     27299    126575   1192928     94.13   no data  --
231.32/58.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
231.32/58.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
231.72/58.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.17
231.72/58.18	c bin-w-bin subsume rem            0 bins  time:  0.01 s
231.72/58.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
231.72/58.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
231.72/58.19	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
241.69/60.61	c lits-rem:        15  cl-subs:        1  v-elim:      0  v-fix:    0  time:  9.61 s
241.69/60.61	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
241.69/60.62	c vivif2 --  cl tried    27298 cl shrink        0 lits rem          0 time: 0.06
241.69/60.69	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.27
241.69/60.69	c calculated reachability. Time: 0.00
241.69/60.69	c  N dy  1480    238311      9651     41578         0     27298    126575   1192795     94.13   no data  --
254.45/63.87	c  N dy  1578    253635      9651     41578         0     42620    126575   3506488     94.19    100.05  --
268.02/67.23	c  N dy  1678    269843      9651     41578         0     36830    126575   2543038     94.26    101.98  --
282.37/70.89	c  N dy  1792    287148      9651     41578         0     31136    126575   1484012     94.34     99.79  --
298.34/74.85	c  N dy  1911    305561      9651     41578         0     25549    126575    513401     94.38    105.52  --
298.74/74.98	c  F st  1914    306252      9651     41578         0     26240    126575    619932     94.38   no data  --
315.08/79.02	c  N dy  2012    325146      9651     41578         0     45133    126575   3709371     94.45    102.39  --
331.84/83.26	c  N dy  2146    345171      9651     41578         0     40161    126575   2582083     94.55    117.54  --
343.04/86.08	c  S st  2222    357467      9651     41578         0     26471    126575    355093     94.53     89.39  --
343.45/86.18	c  S st  2222    357970      9651     41578         0     26974    126575    416928     94.53   no data  --
343.45/86.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
343.45/86.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
343.80/86.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
343.80/86.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
343.80/86.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
343.80/86.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
343.80/86.26	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
350.59/87.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  6.62 s
350.59/87.92	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
350.59/87.93	c vivif2 --  cl tried    26974 cl shrink        0 lits rem          0 time: 0.02
350.59/87.99	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.25
350.99/88.00	c calculated reachability. Time: 0.00
350.99/88.00	c  N dy  2222    357970      9651     41578         0     26974    126575    416928     94.53   no data  --
368.14/92.30	c  N dy  2356    378007      9651     41578         0     47010    126575   3460265     94.60    148.06  --
385.69/96.79	c  N dy  2486    398119      9651     41578         0     40119    126575   2294069     94.65    101.04  --
405.22/101.65	c  N dy  2618    418172      9651     41578         0     32172    126575    933122     94.69    104.24  --
423.18/106.15	c  N dy  2754    438211      9651     41578         0     52208    126575   3951573     94.71    115.06  --
440.73/110.57	c  N dy  2875    458214      9651     41578         0     43211    126575   2424740     94.67    114.18  --
459.88/115.33	c  N dy  3005    478280      9651     41578         0     33274    126575    822154     94.72    103.20  --
478.24/119.96	c  N dy  3139    498743      9651     41578         0     53736    126575   3902145     94.74    100.23  --
497.02/124.63	c  N dy  3269    518826      9651     41578         0     42824    126575   2124471     94.78     99.94  --
514.58/129.05	c  S st  3389    536956      9651     41578         0     60953    126575   4873117     94.85   no data  --
515.33/129.20	c  S st  3389    537460      9651     41578         0     61457    126575   4929821     94.85   no data  --
515.33/129.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
515.33/129.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
515.33/129.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.27
516.53/129.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
516.53/129.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
516.53/129.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
516.53/129.54	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
786.22/197.16	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time: 269.18 s
786.22/197.17	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
786.64/197.23	c vivif2 --  cl tried    61447 cl shrink        0 lits rem          0 time: 0.25
786.99/197.37	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.57
786.99/197.37	c calculated reachability. Time: 0.00
786.99/197.37	c  N dy  3389    537460      9651     41578         0     61447    126575   4925985     94.85   no data  --
806.14/202.16	c  N dy  3518    557555      9651     41578         0     49540    126575   2990543     94.84    103.61  --
827.28/207.43	c  N dy  3648    577611      9651     41578         0     36595    126575    860964     94.90    100.48  --
847.66/212.54	c  N dy  3779    597893      9651     41578         0     56877    126575   3918135     94.93    102.33  --
868.38/217.79	c  N dy  3915    617914      9651     41578         0     42899    126575   1711908     95.01    103.86  --
889.11/222.92	c  N dy  4031    637947      9651     41578         0     62932    126575   4747140     95.02    100.72  --
909.50/228.08	c  N dy  4161    657957      9651     41578         0     47940    126575   2331475     95.04    100.64  --
931.45/233.53	c  N dy  4293    677996      9651     41578         0     67978    126575   5382996     95.06    100.88  --
951.75/238.61	c  N dy  4429    698045      9651     41578         0     52026    126575   2762763     95.09    103.07  --
974.09/244.20	c  N dy  4564    718083      9651     41578         0     72063    126575   5827623     95.14    101.99  --
994.03/249.26	c  N dy  4695    738145      9651     41578         0     55129    126575   3104540     95.16    117.31  --
1017.17/255.05	c  N dy  4830    758292      9651     41578         0     75275    126575   6167475     95.18    104.20  --
1037.51/260.12	c  N dy  4960    778463      9651     41578         0     57451    126575   3325673     95.18    101.45  --
1060.25/265.87	c  N dy  5080    798468      9651     41578         0     77456    126575   6332587     95.17    101.78  --
1067.83/267.77	c  S st  5133    806190      9651     41578         0     46175    126575   1446383     95.19     94.25  --
1068.63/267.90	c  S st  5133    806692      9651     41578         0     46677    126575   1501658     95.19   no data  --
1068.63/267.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1068.63/267.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1068.63/267.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.23
1069.03/268.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1069.03/268.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1069.03/268.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
1069.03/268.05	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
1082.59/271.42	c lits-rem:        22  cl-subs:        3  v-elim:      0  v-fix:    0  time: 13.40 s
1082.59/271.43	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
1082.59/271.45	c vivif2 --  cl tried    46674 cl shrink        0 lits rem          0 time: 0.08
1083.00/271.56	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.43
1083.00/271.56	c calculated reachability. Time: 0.00
1083.00/271.56	c  N dy  5133    806692      9651     41578         0     46674    126575   1500712     95.19   no data  --
1104.13/276.89	c  N dy  5267    826866      9651     41578         0     66847    126575   4595345     95.22    101.25  --
1126.88/282.57	c  N dy  5405    846879      9651     41578         0     46863    126575   1407061     95.25    103.07  --
1148.02/287.83	c  N dy  5540    866983      9651     41578         0     66966    126575   4495296     95.28    100.42  --
1169.95/293.35	c  N dy  5672    887014      9651     41578         0     45994    126575   1118468     95.30    106.55  --
1189.93/298.35	c  N dy  5796    907023      9651     41578         0     66000    126575   4128211     95.30    100.68  --
1213.04/304.11	c  N dy  5917    927079      9651     41578         0     44054    126575    692568     95.29    100.83  --
1232.59/309.04	c  N dy  6044    947119      9651     41578         0     64094    126575   3766275     95.31    101.58  --
1255.76/314.81	c  N dy  6174    967141      9651     41578         0     84115    126575   6816188     95.32    103.00  --
1275.67/319.85	c  N dy  6311    987199      9651     41578         0     61174    126575   3138271     95.37    101.36  --
1298.41/325.56	c  N dy  6441   1007301      9651     41578         0     81276    126575   6144907     95.37    101.37  --
1320.75/331.17	c  N dy  6579   1027322      9651     41578         0     57299    126575   2423181     95.40    104.52  --
1343.93/336.98	c  N dy  6711   1047328      9651     41578         0     77304    126575   5490022     95.43    127.32  --
1367.82/342.91	c  N dy  6834   1067461      9651     41578         0     52438    126575   1523079     95.42    100.59  --
1372.21/344.03	c  F st  6863   1071877      9651     41578         0     56854    126575   2203380     95.43     92.01  --
1389.36/348.39	c  N dy  6939   1087463      9651     41578         0     72438    126575   4804731     95.45    126.80  --
1414.49/354.64	c  N dy  7073   1107466      9651     41578         0     46444    126575    471803     95.48    106.45  --
1434.84/359.75	c  N dy  7213   1127473      9651     41578         0     66446    126575   3591144     95.53    102.87  --
1458.77/365.72	c  N dy  7348   1147522      9651     41578         0     86493    126575   6667050     95.58    127.15  --
1481.11/371.36	c  N dy  7485   1167856      9651     41578         0     59831    126575   2389724     95.60    103.13  --
1503.45/376.98	c  N dy  7613   1187934      9651     41578         0     79905    126575   5454141     95.61    106.44  --
1527.81/383.09	c  N dy  7743   1207944      9651     41578         0     51920    126575   1022192     95.62    106.66  --
1530.18/383.60	c  S st  7757   1210038      9651     41578         0     54014    126575   1342421     95.62     98.47  --
1530.58/383.74	c  S st  7757   1210542      9651     41578         0     54518    126575   1403983     95.62   no data  --
1530.58/383.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1530.58/383.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1530.98/383.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.24
1530.98/383.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1530.98/383.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1530.98/383.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
1530.98/383.89	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
1543.74/387.08	c lits-rem:         4  cl-subs:        0  v-elim:      0  v-fix:    0  time: 12.72 s
1543.74/387.09	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.01
1544.14/387.11	c vivif2 --  cl tried    54518 cl shrink        0 lits rem          0 time: 0.08
1544.54/387.22	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.45
1544.54/387.23	c calculated reachability. Time: 0.00
1544.54/387.23	c  N dy  7757   1210542      9651     41578         0     54518    126575   1403979     95.62   no data  --
1565.69/392.55	c  N dy  7890   1230574      9651     41578         0     74548    126575   4489219     95.64    103.68  --
1590.41/398.79	c  N dy  8018   1250668      9651     41578         0     94641    126575   7558197     95.65    101.75  --
1612.35/404.26	c  N dy  8153   1270812      9651     41578         0     65789    126575   2988194     95.67    104.53  --
1636.29/410.21	c  N dy  8293   1290873      9651     41578         0     85848    126575   6089793     95.71    124.59  --
1661.42/416.51	c  N dy  8436   1311102      9651     41578         0     56083    126575   1348311     95.76    103.12  --
1683.36/422.03	c  N dy  8569   1331201      9651     41578         0     76181    126575   4451503     95.78    101.42  --
1708.49/428.38	c  N dy  8699   1351374      9651     41578         0     96353    126575   7515460     95.78    109.42  --
1731.62/434.19	c  N dy  8830   1371434      9651     41578         0     65409    126575   2636071     95.79    101.10  --
1756.41/440.36	c  N dy  8958   1391517      9651     41578         0     85490    126575   5726549     95.81    102.77  --
1783.09/447.01	c  N dy  9094   1411557      9651     41578         0     53537    126575    679759     95.83    104.97  --
1804.26/452.38	c  N dy  9231   1431651      9651     41578         0     73626    126575   3788074     95.85    101.83  --
1828.96/458.52	c  N dy  9354   1451666      9651     41578         0     93640    126575   6833882     95.84    116.56  --
1853.69/464.79	c  N dy  9481   1471707      9651     41578         0     60688    126575   1630243     95.84    101.41  --
1876.43/470.44	c  N dy  9618   1491798      9651     41578         0     80778    126575   4743371     95.87    124.47  --
1901.96/476.88	c  N dy  9740   1511879      9651     41578         0    100856    126575   7836708     95.86    101.28  --
1926.30/482.93	c  N dy  9877   1532040      9651     41578         0     67014    126575   2418148     95.88    100.93  --
1950.22/488.91	c  N dy 10010   1552100      9651     41578         0     87072    126575   5523671     95.89    101.26  --
1977.36/495.79	c  N dy 10141   1572258      9651     41578         0    107229    126575   8589575     95.90    100.98  --
2000.10/501.47	c  N dy 10270   1592320      9651     41578         0     72296    126575   3079259     95.90    101.42  --
2026.02/507.97	c  N dy 10401   1612469      9651     41578         0     92445    126575   6120618     95.91    102.51  --
2057.94/515.92	c  N dy 10540   1632566      9651     41578         0     56544    126575    549076     95.93    101.78  --
2082.26/522.02	c  N dy 10674   1652816      9651     41578         0     76792    126575   3654223     95.95    101.20  --
2110.20/529.03	c  N dy 10805   1672912      9651     41578         0     96885    126575   6753827     95.95    106.73  --
2141.31/536.81	c  N dy 10936   1693068      9651     41578         0     60047    126575    943242     95.97    102.75  --
2162.46/542.17	c  S st 11045   1710544      9651     41578         0     77521    126575   3609894     95.97   no data  --
2163.25/542.37	c  S st 11045   1711047      9651     41578         0     78024    126575   3672621     95.97   no data  --
2163.25/542.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2163.25/542.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2163.65/542.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.33
2164.49/542.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2164.49/542.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2164.49/542.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.02 s
2164.49/542.66	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
2315.23/580.43	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time: 150.37 s
2315.23/580.43	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.02
2315.23/580.48	c vivif2 --  cl tried    78019 cl shrink        0 lits rem          0 time: 0.20
2316.04/580.66	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.69
2316.04/580.66	c calculated reachability. Time: 0.00
2316.04/580.66	c  N dy 11045   1711047      9651     41578         0     78019    126575   3671022     95.97   no data  --
2342.76/587.30	c  N dy 11176   1731128      9651     41578         0     98100    126575   6752211     95.98    102.47  --
2372.28/594.77	c  N dy 11310   1751326      9651     41578         0     60299    126575    820277     95.99    101.73  --
2395.43/600.52	c  N dy 11439   1771467      9651     41578         0     80440    126575   3931931     96.00    101.99  --
2421.35/607.03	c  N dy 11570   1791542      9651     41578         0    100515    126575   7044664     96.02    119.29  --
2449.72/614.14	c  N dy 11699   1811604      9651     41578         0     61580    126575    863520     96.03    101.68  --
2472.41/619.80	c  N dy 11824   1831662      9651     41578         0     81637    126575   3951048     96.03    123.90  --
2498.73/626.41	c  N dy 11959   1851683      9651     41578         0    101657    126575   7024127     96.05    121.01  --
2527.46/633.69	c  N dy 12091   1871754      9651     41578         0     61725    126575    743648     96.05    102.30  --
2550.23/639.38	c  N dy 12225   1891762      9651     41578         0     81730    126575   3846032     96.07    104.47  --
2577.31/646.11	c  N dy 12370   1911967      9651     41578         0    101932    126575   6999732     96.10    101.63  --
2606.85/653.59	c  N dy 12497   1932055      9651     41578         0     61033    126575    497923     96.11    106.28  --
2629.21/659.21	c  N dy 12632   1952062      9651     41578         0     81039    126575   3580873     96.12    101.77  --
2655.54/665.75	c  N dy 12757   1972111      9651     41578         0    101087    126575   6678552     96.13    101.76  --
2685.02/673.13	c  N dy 12890   1992124      9651     41578         0    121100    126575   9745638     96.14    104.62  --
2708.95/679.16	c  N dy 13027   2012151      9651     41578         0     79124    126575   3122264     96.15    107.69  --
2734.92/685.69	c  N dy 13167   2032389      9651     41578         0     99362    126575   6251818     96.18    101.57  --
2764.81/693.10	c  N dy 13295   2052583      9651     41578         0    119554    126575   9377165     96.19    105.44  --
2790.33/699.55	c  N dy 13426   2072605      9651     41578         0     76581    126575   2602229     96.20    102.22  --
2815.86/705.90	c  N dy 13555   2092762      9651     41578         0     96736    126575   5724750     96.20    103.36  --
2844.98/713.28	c  N dy 13697   2112856      9651     41578         0    116827    126575   8864119     96.23    101.71  --
2873.31/720.35	c  N dy 13828   2132912      9651     41578         0     72892    126575   1909012     96.24    102.13  --
2899.64/726.90	c  N dy 13956   2153080      9651     41578         0     93059    126575   5024208     96.25    102.63  --
2929.55/734.40	c  N dy 14087   2173368      9651     41578         0    113345    126575   8156331     96.26    105.78  --
2961.46/742.43	c  N dy 14219   2193416      9651     41578         0     68397    126575   1026851     96.27    119.99  --
2983.01/747.86	c  S st 14341   2211049      9651     41578         0     86029    126575   3744020     96.27    100.03  --
2983.81/748.06	c  S st 14341   2211553      9651     41578         0     86533    126575   3803957     96.27   no data  --
2983.81/748.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2983.81/748.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2984.22/748.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.35
2985.05/748.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2985.05/748.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2985.05/748.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
2985.05/748.35	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
3153.35/790.53	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time: 167.81 s
3153.35/790.53	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.02
3153.35/790.58	c vivif2 --  cl tried    86527 cl shrink        0 lits rem          0 time: 0.22
3154.15/790.78	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.79
3154.15/790.79	c calculated reachability. Time: 0.00
3154.15/790.79	c  N dy 14341   2211553      9651     41578         0     86527    126575   3801974     96.27   no data  --
3184.47/798.30	c  N dy 14460   2231609      9651     41578         0    106583    126575   6886067     96.26    101.39  --
3219.16/807.07	c  N dy 14589   2251642      9651     41578         0    126616    126575  10011223     96.27    107.47  --
3248.69/814.40	c  N dy 14720   2271864      9651     41578         0     80834    126575   2804610     96.28    101.42  --
3277.81/821.74	c  N dy 14856   2291901      9651     41578         0    100871    126575   5895103     96.29    101.78  --
3311.72/830.23	c  N dy 14987   2312118      9651     41578         0    121086    126575   8966683     96.29    103.12  --
3344.87/838.57	c  N dy 15117   2332180      9651     41578         0     74151    126575   1633250     96.30    101.42  --
3372.75/845.53	c  N dy 15246   2352216      9651     41578         0     94185    126575   4689495     96.30    105.03  --
3405.07/853.69	c  N dy 15376   2372373      9651     41578         0    114338    126575   7796370     96.31    101.67  --
3441.00/862.64	c  N dy 15488   2392538      9651     41578         0    134502    126575  10889974     96.31    102.14  --
3468.50/869.57	c  N dy 15620   2412593      9651     41578         0     86560    126575   3413166     96.32    114.34  --
3498.46/877.05	c  N dy 15749   2432687      9651     41578         0    106653    126575   6507854     96.33    108.19  --
3532.73/885.60	c  N dy 15880   2453692      9651     41578         0    127654    126575   9772238     96.33    102.46  --
3563.04/893.29	c  N dy 16008   2473808      9651     41578         0     78776    126575   2064573     96.34    103.00  --
3590.61/900.12	c  N dy 16134   2493887      9651     41578         0     98855    126575   5151567     96.34    116.44  --
3621.60/907.95	c  N dy 16267   2513954      9651     41578         0    118922    126575   8230541     96.35    105.19  --
3656.02/916.67	c  N dy 16388   2533964      9651     41578         0    138932    126575  11311805     96.34    101.91  --
3682.39/923.32	c  N dy 16507   2553983      9651     41578         0     88954    126575   3457735     96.34    111.39  --
3711.79/930.79	c  N dy 16637   2574008      9651     41578         0    108977    126575   6545934     96.35    101.62  --
3745.30/939.15	c  N dy 16767   2594014      9651     41578         0    128982    126575   9569576     96.35    103.38  --
3778.03/947.37	c  N dy 16893   2614064      9651     41578         0     78037    126575   1623271     96.36    101.94  --
3805.13/954.15	c  N dy 17028   2634081      9651     41578         0     98051    126575   4733032     96.38    101.90  --
3836.25/961.93	c  N dy 17157   2654093      9651     41578         0    118061    126575   7826995     96.39    102.83  --
3873.35/971.21	c  N dy 17293   2674121      9651     41578         0    138089    126575  10944472     96.41    118.84  --
3904.47/979.02	c  N dy 17423   2694336      9651     41578         0     86310    126575   2760268     96.41    102.38  --
3929.60/985.38	c  S st 17532   2711553      9651     41578         0    103524    126575   5389746     96.41     92.12  --
3930.80/985.63	c  S st 17532   2712059      9651     41578         0    104030    126575   5442845     96.41   no data  --
3930.80/985.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3930.80/985.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3931.19/985.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.42
3932.38/986.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3932.38/986.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3932.38/986.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9651 time:  0.01 s
3932.38/986.05	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
4312.97/1081.47	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time: 379.96 s
4312.97/1081.47	c vivif2 --  cl tried    41578 cl shrink        0 lits rem          0 time: 0.02
4313.39/1081.55	c vivif2 --  cl tried   104028 cl shrink        0 lits rem          0 time: 0.28
4314.16/1081.77	c asymm  cl-useful: 0/41578/41578 lits-rem:0 time: 0.89
4314.16/1081.78	c calculated reachability. Time: 0.00
4314.16/1081.78	c  N dy 17532   2712059      9651     41578         0    104028    126575   5442073     96.41   no data  --
4346.07/1089.70	c  N dy 17661   2732085      9651     41578         0    124053    126575   8506692     96.41    123.89  --
4381.97/1098.74	c  N dy 17787   2752095      9651     41578         0    144058    126575  11610280     96.42    107.02  --
4409.50/1105.63	c  N dy 17918   2772213      9651     41578         0     91186    126575   3388806     96.43    102.81  --
4439.42/1113.10	c  N dy 18052   2792352      9651     41578         0    111322    126575   6477191     96.43    102.29  --
4472.93/1121.55	c  N dy 18176   2812550      9651     41578         0    131517    126575   9613815     96.44    102.92  --
4508.43/1130.41	c  N dy 18296   2832639      9651     41578         0     77602    126575   1122792     96.44    163.02  --
4534.76/1137.09	c  N dy 18428   2852686      9651     41578         0     97647    126575   4184029     96.44    109.68  --
4565.88/1144.82	c  N dy 18557   2872767      9651     41578         0    117726    126575   7248001     96.44    103.41  --
4600.98/1153.61	c  N dy 18684   2892875      9651     41578         0    137832    126575  10368672     96.45    105.01  --
4633.72/1161.87	c  N dy 18809   2912921      9651     41578         0     82878    126575   1787973     96.45    106.28  --
4661.61/1168.85	c  N dy 18938   2932962      9651     41578         0    102918    126575   4845350     96.45    103.31  --
4693.93/1176.94	c  N dy 19077   2953082      9651     41578         0    123038    126575   7958661     96.46    102.06  --
4730.25/1186.06	c  N dy 19217   2973152      9651     41578         0    143108    126575  11128612     96.48    101.58  --
4762.13/1194.06	c  N dy 19358   2993251      9651     41578         0     87216    126575   2336099     96.50    103.26  --
4791.26/1201.36	c  N dy 19497   3013357      9651     41578         0    107319    126575   5444488     96.51    105.00  --

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-3368667-1305400201/watcher-3368667-1305400201 -o /tmp/evaluation-result-3368667-1305400201/solver-3368667-1305400201 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368667-1305400201.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: 8.04 8.06 8.02 6/332 20332
/proc/meminfo: memFree=23412616/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 415 0 0 0 1 0 0 0 20 0 4 0 632435748 52465664 355 33554432000 4194304 4650419 140733391548944 18446744073709551615 47091342472727 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 12809 355 306 112 0 7774 0
[pid=20332/tid=20333] ppid=20330 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 4 0 632435748 52465664 355 33554432000 4194304 4650419 140733391548944 18446744073709551615 47091342472729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 632435748 52465664 355 33554432000 4194304 4650419 140733391548944 18446744073709551615 47091342472733 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 4 0 632435748 52465664 355 33554432000 4194304 4650419 140733391548944 18446744073709551615 47091342473142 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.102672 s]
/proc/loadavg: 8.04 8.06 8.02 6/332 20332
/proc/meminfo: memFree=23412616/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=363292 CPUtime=0.38 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) S 20330 20332 20095 0 -1 4202496 10983 0 0 0 29 9 0 0 18 0 4 0 632435748 372011008 9099 33554432000 4194304 4650419 140733391548944 18446744073709551615 270338488814 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 90823 9153 377 112 0 85788 0
[pid=20332/tid=20333] ppid=20330 vsize=363292 CPUtime=0.09 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) S 20330 20332 20095 0 -1 4202560 2498 0 0 0 7 2 0 0 18 0 4 0 632435748 372011008 9169 33554432000 4194304 4650419 140733391548944 18446744073709551615 270338488814 0 0 4096 2 18446604460138443072 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=363292 CPUtime=0.09 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 3257 0 0 0 8 1 0 0 18 0 4 0 632435748 372011008 9185 33554432000 4194304 4650419 140733391548944 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=363292 CPUtime=0.08 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) S 20330 20332 20095 0 -1 4202560 2033 0 0 0 6 2 0 0 18 0 4 0 632435748 372011008 9199 33554432000 4194304 4650419 140733391548944 18446744073709551615 270338488814 0 0 4096 2 18446604460138443072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 363292

[startup+0.41268 s]
/proc/loadavg: 8.04 8.06 8.02 6/332 20332
/proc/meminfo: memFree=23412616/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=363696 CPUtime=1.6 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 16344 0 0 0 148 12 0 0 18 0 4 0 632435748 372424704 13674 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363448 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 90924 13674 391 112 0 85889 0
[pid=20332/tid=20333] ppid=20330 vsize=363696 CPUtime=0.4 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 4252 0 0 0 37 3 0 0 18 0 4 0 632435748 372424704 13675 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364539 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=363696 CPUtime=0.4 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 4758 0 0 0 38 2 0 0 18 0 4 0 632435748 372424704 13675 33554432000 4194304 4650419 140733391548944 18446744073709551615 4230110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=363696 CPUtime=0.39 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 2340 0 0 0 37 2 0 0 18 0 4 0 632435748 372424704 13675 33554432000 4194304 4650419 140733391548944 18446744073709551615 270338488814 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 363696

[startup+0.500397 s]
/proc/loadavg: 8.04 8.06 8.02 6/332 20332
/proc/meminfo: memFree=23412616/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=363856 CPUtime=1.95 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 16758 0 0 0 183 12 0 0 18 0 4 0 632435748 372588544 14088 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 90964 14088 391 112 0 85929 0
[pid=20332/tid=20333] ppid=20330 vsize=363856 CPUtime=0.48 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 4370 0 0 0 45 3 0 0 18 0 4 0 632435748 372588544 14088 33554432000 4194304 4650419 140733391548944 18446744073709551615 4333735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=363856 CPUtime=0.48 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 4858 0 0 0 46 2 0 0 18 0 4 0 632435748 372588544 14088 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=363856 CPUtime=0.47 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 2426 0 0 0 45 2 0 0 18 0 4 0 632435748 372588544 14088 33554432000 4194304 4650419 140733391548944 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 363856

[startup+0.700357 s]
/proc/loadavg: 8.04 8.06 8.02 6/332 20332
/proc/meminfo: memFree=23412616/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=363856 CPUtime=2.74 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 17590 0 0 0 262 12 0 0 18 0 4 0 632435748 372588544 14920 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 90964 14920 391 112 0 85929 0
[pid=20332/tid=20333] ppid=20330 vsize=363856 CPUtime=0.68 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 4575 0 0 0 65 3 0 0 18 0 4 0 632435748 372588544 14920 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=363856 CPUtime=0.68 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 5069 0 0 0 66 2 0 0 18 0 4 0 632435748 372588544 14920 33554432000 4194304 4650419 140733391548944 18446744073709551615 4333519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=363856 CPUtime=0.67 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 2639 0 0 0 65 2 0 0 18 0 4 0 632435748 372588544 14920 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 363856

[startup+1.5012 s]
/proc/loadavg: 8.04 8.06 8.02 10/337 20337
/proc/meminfo: memFree=23306304/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=368916 CPUtime=5.94 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 22965 0 0 0 581 13 0 0 19 0 4 0 632435748 377769984 14894 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 92229 14894 393 112 0 87194 0
[pid=20332/tid=20333] ppid=20330 vsize=368916 CPUtime=1.48 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 6001 0 0 0 145 3 0 0 19 0 4 0 632435748 377769984 14894 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=368916 CPUtime=1.49 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 6324 0 0 0 147 2 0 0 20 0 4 0 632435748 377769984 14894 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=368916 CPUtime=1.46 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 4148 0 0 0 144 2 0 0 20 0 4 0 632435748 377769984 14894 33554432000 4194304 4650419 140733391548944 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 368916

[startup+3.10088 s]
/proc/loadavg: 8.04 8.06 8.02 9/337 20337
/proc/meminfo: memFree=23282000/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=371028 CPUtime=12.32 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 31631 0 0 0 1217 15 0 0 24 0 4 0 632435748 379932672 16905 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 92757 16905 393 112 0 87722 0
[pid=20332/tid=20333] ppid=20330 vsize=371028 CPUtime=3.08 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 8193 0 0 0 305 3 0 0 24 0 4 0 632435748 379932672 16905 33554432000 4194304 4650419 140733391548944 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=371028 CPUtime=3.08 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 8440 0 0 0 305 3 0 0 25 0 4 0 632435748 379932672 16905 33554432000 4194304 4650419 140733391548944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=371028 CPUtime=3.05 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 6313 0 0 0 302 3 0 0 25 0 4 0 632435748 379932672 16905 33554432000 4194304 4650419 140733391548944 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 371028

[startup+6.30025 s]
/proc/loadavg: 8.04 8.06 8.02 9/337 20337
/proc/meminfo: memFree=23187740/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=378352 CPUtime=25.08 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 56903 0 0 0 2488 20 0 0 25 0 4 0 632435748 387432448 28331 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476201 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 94588 28331 395 112 0 89553 0
[pid=20332/tid=20333] ppid=20330 vsize=378352 CPUtime=6.27 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 15526 0 0 0 623 4 0 0 25 0 4 0 632435748 387432448 28331 33554432000 4194304 4650419 140733391548944 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=378352 CPUtime=6.28 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 12748 0 0 0 624 4 0 0 25 0 4 0 632435748 387432448 28331 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=378352 CPUtime=6.21 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 10491 0 0 0 618 3 0 0 25 0 4 0 632435748 387432448 28332 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 378352

[startup+12.701 s]
/proc/loadavg: 8.03 8.05 8.01 9/337 20337
/proc/meminfo: memFree=23050964/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=380940 CPUtime=50.61 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 90459 0 0 0 5033 28 0 0 25 0 4 0 632435748 390082560 43866 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 95235 43866 395 112 0 90200 0
[pid=20332/tid=20333] ppid=20330 vsize=380940 CPUtime=12.68 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 17986 0 0 0 1263 5 0 0 25 0 4 0 632435748 390082560 43866 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=380940 CPUtime=12.68 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 25440 0 0 0 1261 7 0 0 25 0 4 0 632435748 390082560 43866 33554432000 4194304 4650419 140733391548944 18446744073709551615 4367456 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=380940 CPUtime=12.55 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 23077 0 0 0 1248 7 0 0 25 0 4 0 632435748 390082560 43866 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 380940

[startup+25.5004 s]
/proc/loadavg: 8.19 8.08 8.02 9/337 20338
/proc/meminfo: memFree=22868088/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=390300 CPUtime=101.71 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 151459 0 0 0 10127 44 0 0 25 0 4 0 632435748 399667200 61669 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 97575 61669 395 112 0 92540 0
[pid=20332/tid=20333] ppid=20330 vsize=390300 CPUtime=25.49 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 35691 0 0 0 2541 8 0 0 25 0 4 0 632435748 399667200 61681 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=390300 CPUtime=25.49 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 40115 0 0 0 2539 10 0 0 25 0 4 0 632435748 399667200 61681 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=390300 CPUtime=25.21 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 35216 0 0 0 2511 10 0 0 25 0 4 0 632435748 399667200 61681 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476756 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 390300

[startup+51.1004 s]
/proc/loadavg: 8.19 8.09 8.03 9/337 20338
/proc/meminfo: memFree=22733572/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=471668 CPUtime=203.79 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 243142 0 0 0 20312 67 0 0 25 0 4 0 632435748 482988032 71236 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 117917 71236 395 112 0 112882 0
[pid=20332/tid=20333] ppid=20330 vsize=471668 CPUtime=51.07 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 59435 0 0 0 5092 15 0 0 25 0 4 0 632435748 482988032 71236 33554432000 4194304 4650419 140733391548944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=471668 CPUtime=51.07 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 63939 0 0 0 5091 16 0 0 25 0 4 0 632435748 482988032 71236 33554432000 4194304 4650419 140733391548944 18446744073709551615 4315074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=471668 CPUtime=50.53 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 56717 0 0 0 5037 16 0 0 25 0 4 0 632435748 482988032 71237 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 471668

[startup+102.3 s]
/proc/loadavg: 8.15 8.09 8.03 9/337 20340
/proc/meminfo: memFree=22580228/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=662136 CPUtime=408.02 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 404937 0 0 0 40689 113 0 0 25 0 4 0 632435748 678027264 90229 33554432000 4194304 4650419 140733391548944 18446744073709551615 4330765 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 165534 90229 395 112 0 160499 0
[pid=20332/tid=20333] ppid=20330 vsize=662136 CPUtime=102.26 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 97320 0 0 0 10200 26 0 0 25 0 4 0 632435748 678027264 90229 33554432000 4194304 4650419 140733391548944 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=662136 CPUtime=102.28 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 103308 0 0 0 10201 27 0 0 25 0 4 0 632435748 678027264 90229 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=662136 CPUtime=101.17 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 100838 0 0 0 10089 28 0 0 25 0 4 0 632435748 678027264 90229 33554432000 4194304 4650419 140733391548944 18446744073709551615 4303982 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.02
Current children cumulated vsize (KiB) 662136

[startup+162.3 s]

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

[pid=20332] ppid=20330 vsize=943296 CPUtime=2562.16 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 1951727 0 0 0 255656 560 0 0 25 0 4 0 632435748 965935104 180625 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363455 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 235824 180625 395 112 0 230789 0
[pid=20332/tid=20333] ppid=20330 vsize=943296 CPUtime=642.27 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 434473 0 0 0 64101 126 0 0 25 0 4 0 632435748 965935104 180625 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=943296 CPUtime=637.2 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 572500 0 0 0 63560 160 0 0 25 0 4 0 632435748 965935104 180625 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=943296 CPUtime=640.37 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 474759 0 0 0 63895 142 0 0 25 0 4 0 632435748 965935104 180625 33554432000 4194304 4650419 140733391548944 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.16
Current children cumulated vsize (KiB) 943296

[startup+702.3 s]
/proc/loadavg: 8.06 8.10 8.05 9/337 20356
/proc/meminfo: memFree=21993196/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=983380 CPUtime=2801.5 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 2068123 0 0 0 279551 599 0 0 25 0 4 0 632435748 1006981120 178308 33554432000 4194304 4650419 140733391548944 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 245845 178308 395 112 0 240810 0
[pid=20332/tid=20333] ppid=20330 vsize=983380 CPUtime=702.26 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 462187 0 0 0 70091 135 0 0 25 0 4 0 632435748 1006981120 178308 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=983380 CPUtime=696.54 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 603670 0 0 0 69485 169 0 0 25 0 4 0 632435748 1006981120 178308 33554432000 4194304 4650419 140733391548944 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=983380 CPUtime=700.37 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 504956 0 0 0 69885 152 0 0 25 0 4 0 632435748 1006981120 178308 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.5
Current children cumulated vsize (KiB) 983380

[startup+762.3 s]
/proc/loadavg: 8.06 8.10 8.05 9/337 20357
/proc/meminfo: memFree=21994756/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=972384 CPUtime=3040.86 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 2277754 0 0 0 303432 654 0 0 25 0 4 0 632435748 995721216 176728 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 243096 176728 395 112 0 238061 0
[pid=20332/tid=20333] ppid=20330 vsize=972384 CPUtime=762.26 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 488271 0 0 0 76078 148 0 0 25 0 4 0 632435748 995721216 176728 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=972384 CPUtime=755.89 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 630670 0 0 0 75406 183 0 0 25 0 4 0 632435748 995721216 176728 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=972384 CPUtime=760.37 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 616578 0 0 0 75869 168 0 0 25 0 4 0 632435748 995721216 176728 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.86
Current children cumulated vsize (KiB) 972384

[startup+822.3 s]
/proc/loadavg: 8.19 8.12 8.06 9/337 20359
/proc/meminfo: memFree=21897628/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1051548 CPUtime=3280.2 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 2440467 0 0 0 327316 704 0 0 25 0 4 0 632435748 1076785152 204717 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 262887 204717 395 112 0 257852 0
[pid=20332/tid=20333] ppid=20330 vsize=1051548 CPUtime=822.27 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 508685 0 0 0 82074 153 0 0 25 0 4 0 632435748 1076785152 204717 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1051548 CPUtime=815.24 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 707018 0 0 0 81323 201 0 0 25 0 4 0 632435748 1076785152 204717 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1051548 CPUtime=820.37 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 646715 0 0 0 81853 184 0 0 25 0 4 0 632435748 1076785152 204717 33554432000 4194304 4650419 140733391548944 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.2
Current children cumulated vsize (KiB) 1051548

[startup+882.301 s]
/proc/loadavg: 8.21 8.13 8.07 9/337 20361
/proc/meminfo: memFree=21822700/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1065316 CPUtime=3519.57 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 2548718 0 0 0 351212 745 0 0 25 0 4 0 632435748 1090883584 214536 33554432000 4194304 4650419 140733391548944 18446744073709551615 4315996 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 266329 214536 395 112 0 261294 0
[pid=20332/tid=20333] ppid=20330 vsize=1065316 CPUtime=882.27 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 534220 0 0 0 88071 156 0 0 25 0 4 0 632435748 1090883584 214537 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1065316 CPUtime=874.59 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 745571 0 0 0 87251 208 0 0 25 0 4 0 632435748 1090883584 214537 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1065316 CPUtime=880.38 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 668417 0 0 0 87838 200 0 0 25 0 4 0 632435748 1090883584 214538 33554432000 4194304 4650419 140733391548944 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.57
Current children cumulated vsize (KiB) 1065316

[startup+942.301 s]
/proc/loadavg: 8.49 8.22 8.10 9/337 20365
/proc/meminfo: memFree=21830556/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1015580 CPUtime=3758.06 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 2621422 0 0 0 375025 781 0 0 25 0 4 0 632435748 1039953920 214666 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 253895 214666 395 112 0 248860 0
[pid=20332/tid=20333] ppid=20330 vsize=1015580 CPUtime=942.28 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 559048 0 0 0 94060 168 0 0 25 0 4 0 632435748 1039953920 214666 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1015580 CPUtime=933.93 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 745571 0 0 0 93185 208 0 0 25 0 4 0 632435748 1039953920 214666 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1015580 CPUtime=939.71 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 693790 0 0 0 93759 212 0 0 25 0 4 0 632435748 1039953920 214666 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.06
Current children cumulated vsize (KiB) 1015580

[startup+1002.3 s]
/proc/loadavg: 8.29 8.21 8.10 9/337 20367
/proc/meminfo: memFree=21863196/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1253612 CPUtime=3997.44 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 2780269 0 0 0 398919 825 0 0 25 0 4 0 632435748 1283698688 213594 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 313403 213594 397 112 0 308368 0
[pid=20332/tid=20333] ppid=20330 vsize=1253612 CPUtime=1002.28 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 581614 0 0 0 100044 184 0 0 25 0 4 0 632435748 1283698688 213596 33554432000 4194304 4650419 140733391548944 18446744073709551615 4363411 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1253612 CPUtime=993.28 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 780743 0 0 0 99116 212 0 0 25 0 4 0 632435748 1283698688 213596 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1253612 CPUtime=999.73 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 776645 0 0 0 99747 226 0 0 25 0 4 0 632435748 1283698688 213596 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.44
Current children cumulated vsize (KiB) 1253612

[startup+1062.3 s]
/proc/loadavg: 8.15 8.19 8.10 9/337 20368
/proc/meminfo: memFree=21813200/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1241504 CPUtime=4236.77 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 2932222 0 0 0 422806 871 0 0 25 0 4 0 632435748 1271300096 211918 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 310376 211918 395 112 0 305341 0
[pid=20332/tid=20333] ppid=20330 vsize=1241504 CPUtime=1062.28 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 602928 0 0 0 106029 199 0 0 25 0 4 0 632435748 1271300096 211918 33554432000 4194304 4650419 140733391548944 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1241504 CPUtime=1052.62 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 803232 0 0 0 105035 227 0 0 25 0 4 0 632435748 1271300096 211918 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1241504 CPUtime=1059.72 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 884793 0 0 0 105730 242 0 0 25 0 4 0 632435748 1271300096 211918 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.77
Current children cumulated vsize (KiB) 1241504

[startup+1122.31 s]
/proc/loadavg: 8.05 8.15 8.09 9/337 20370
/proc/meminfo: memFree=21741248/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1229024 CPUtime=4476.16 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 3022497 0 0 0 446703 913 0 0 25 0 4 0 632435748 1258520576 229411 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 307256 229411 395 112 0 302221 0
[pid=20332/tid=20333] ppid=20330 vsize=1229024 CPUtime=1122.29 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 612335 0 0 0 112026 203 0 0 25 0 4 0 632435748 1258520576 229411 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1229024 CPUtime=1111.98 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 828641 0 0 0 110956 242 0 0 25 0 4 0 632435748 1258520576 229411 33554432000 4194304 4650419 140733391548944 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1229024 CPUtime=1119.73 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 922677 0 0 0 111718 255 0 0 25 0 4 0 632435748 1258520576 229411 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.16
Current children cumulated vsize (KiB) 1229024

[startup+1182.3 s]
/proc/loadavg: 8.07 8.14 8.09 9/337 20372
/proc/meminfo: memFree=21663440/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1269224 CPUtime=4715.47 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 3154843 0 0 0 470586 961 0 0 25 0 4 0 632435748 1299685376 244672 33554432000 4194304 4650419 140733391548944 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 317306 244672 395 112 0 312271 0
[pid=20332/tid=20333] ppid=20330 vsize=1269224 CPUtime=1182.28 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 670577 0 0 0 118016 212 0 0 25 0 4 0 632435748 1299685376 244672 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1269224 CPUtime=1171.33 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 853664 0 0 0 116877 256 0 0 25 0 4 0 632435748 1299685376 244672 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1269224 CPUtime=1179.73 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 946554 0 0 0 117703 270 0 0 25 0 4 0 632435748 1299685376 244672 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.47
Current children cumulated vsize (KiB) 1269224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.05 8.13 8.09 5/332 20373
/proc/meminfo: memFree=22460660/32951124 swapFree=59367104/67111528
[pid=20332] ppid=20330 vsize=1335340 CPUtime=4800.07 cores=1,3,5,7
/proc/20332/stat : 20332 (strangenight1-m) R 20330 20332 20095 0 -1 4202496 3203936 0 0 0 479029 978 0 0 25 0 4 0 632435748 1367388160 238049 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/20332/statm: 333835 238049 395 112 0 328800 0
[pid=20332/tid=20333] ppid=20330 vsize=1335340 CPUtime=1203.49 cores=1,3,5,7
/proc/20332/task/20333/stat : 20333 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 691366 0 0 0 120134 215 0 0 25 0 4 0 632435748 1367388160 238050 33554432000 4194304 4650419 140733391548944 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20332/tid=20334] ppid=20330 vsize=1335340 CPUtime=1192.3 cores=1,3,5,7
/proc/20332/task/20334/stat : 20334 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 863063 0 0 0 118970 260 0 0 25 0 4 0 632435748 1367388160 238050 33554432000 4194304 4650419 140733391548944 18446744073709551615 4481912 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20332/tid=20335] ppid=20330 vsize=1335340 CPUtime=1200.93 cores=1,3,5,7
/proc/20332/task/20335/stat : 20335 (strangenight1-m) R 20330 20332 20095 0 -1 4202560 956160 0 0 0 119819 274 0 0 25 0 4 0 632435748 1367388160 238050 33554432000 4194304 4650419 140733391548944 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1335340

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.56
CPU time (s): 4800.15
CPU user time (s): 4790.33
CPU system time (s): 9.82251
CPU usage (%): 398.83
Max. virtual memory (cumulated for all children) (KiB): 1335340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.33
system time used= 9.82251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3203940
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= 6597
involuntary context switches= 32424

runsolver used 3.2895 second user time and 9.8825 second system time

The end

Launcher Data 

Begin job on node143 at 2011-05-14 21:10:01
IDJOB=3368667
IDBENCH=82676
IDSOLVER=1846
FILE ID=node143/3368667-1305400201
RUNJOBID= node143-1305397790-20114
PBS_JOBID= 13324468
Free space on /tmp= 73412 MiB

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

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

MD5SUM BENCH= a2618a2d05b86feb60504578f5d9c7e5
RANDOM SEED=1975781207

node143.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23417732 kB
Buffers:        141184 kB
Cached:         647528 kB
SwapCached:      67336 kB
Active:          86144 kB
Inactive:      9224676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23417732 kB
SwapTotal:    67111528 kB
SwapFree:     59367104 kB
Dirty:           14004 kB
Writeback:           0 kB
AnonPages:     8455024 kB
Mapped:          22444 kB
Slab:           105156 kB
PageTables:      53372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69975196 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= 73408 MiB
End job on node143 at 2011-05-14 21:30:07