Trace number 3368540

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.48 1202.97

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf
MD5SUMd872c255da29ab531c07d575af8ab92a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark41.3467
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.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368540-1305396714.cnf'
0.00/0.01	c -- header says num vars:          10000
0.00/0.01	c -- header says num clauses:       42000
0.09/0.06	c -- clauses added:            0 learnts,        42000 normals,            0 xors
0.09/0.06	c -- vars added      10000
0.09/0.06	c Parsing time:  0.07 s
0.09/0.06	c  N st     0         0     10000     42000         0         0    126000         0   no data   no data  --
0.09/0.06	c asymm  cl-useful: 0/42000/42000 lits-rem:0 time: 0.10
0.09/0.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
0.09/0.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.09/0.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.09/0.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10000 time:  0.01 s
0.09/0.13	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.00 s
0.47/0.94	c lits-rem:         0  cl-subs:        0  v-elim:    336  v-fix:    0  time:  0.33 s
0.47/0.94	c Finding binary XORs  T:     0.01 s  found:       0
0.47/0.94	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
0.47/0.94	c calculated reachability. Time: 0.00
0.47/0.94	c Calc default polars -  time:   0.01 s pos:    4353 undec:    1191 neg:    4456
0.47/0.94	c =========================================================================================
0.47/0.94	c types(t): F = full restart, N = normal restart
0.47/0.94	c types(t): S = simplification begin/end, E = solution found
0.47/0.94	c restart types(rt): st = static, dy = dynamic
0.47/0.94	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.47/0.94	c  B st     0         0      9664     41583         0         0    126682         0   no data   no data  --
0.47/0.94	c  N dy    20      4083      9664     41583         0      4083    126682    661483     89.38     94.72  --
5.53/1.40	c  N dy    46      8141      9664     41583         0      4648    126682    320303     90.73     96.26  --
7.92/2.02	c  N dy    77     12394      9664     41583         0      8900    126682    948749     91.81     97.02  --
10.32/2.66	c  N dy   103     16458      9664     41583         0      7213    126682    415337     92.92    134.96  --
12.71/3.29	c  N dy   133     20542      9664     41583         0     11296    126682   1031770     93.70    101.53  --
15.51/3.93	c  N dy   156     24560      9664     41583         0      7939    126682    293723     93.07    107.36  --
15.51/4.00	c  F st   158     25001      9664     41583         0      8380    126682    356802     92.94     87.18  --
19.10/4.86	c  N dy   164     30000      9664     41583         0     13379    126682   1341867     92.94   no data  --
19.10/4.86	c  S st   164     30000      9664     41583         0     13379    126682   1341867     92.94   no data  --
19.50/4.94	c  S st   164     30504      9664     41583         0     13883    126682   1393426     92.94   no data  --
19.50/4.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
19.50/4.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.50/4.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.13
19.91/5.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
19.91/5.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
19.91/5.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
19.91/5.10	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
27.08/6.82	c lits-rem:         7  cl-subs:        1  v-elim:      0  v-fix:    0  time:  6.85 s
27.08/6.87	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.20
27.08/6.87	c calculated reachability. Time: 0.00
27.08/6.87	c  N dy   164     30504      9664     41583         0     13882    126682   1393382     92.94   no data  --
29.86/7.59	c  N dy   190     34593      9664     41583         0      9283    126682    313404     92.97    101.15  --
32.66/8.27	c  N dy   222     38612      9664     41583         0     13302    126682    920750     93.49    103.67  --
35.85/9.01	c  N dy   249     42721      9664     41583         0     17410    126682   1522752     93.40    101.24  --
37.89/9.59	c  S st   271     45756      9664     41583         0     10602    126682    329616     93.45     91.75  --
38.25/9.68	c  S st   271     46264      9664     41583         0     11110    126682    390180     93.45   no data  --
38.25/9.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
38.25/9.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.65/9.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.14
38.65/9.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
38.65/9.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.65/9.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
38.65/9.75	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
45.04/11.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  6.29 s
45.04/11.33	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
45.04/11.34	c vivif2 --  cl tried    11110 cl shrink        0 lits rem          0 time: 0.02
45.04/11.38	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.17
45.04/11.38	c calculated reachability. Time: 0.00
45.04/11.38	c  N dy   271     46264      9664     41583         0     11110    126682    390180     93.45   no data  --
47.83/12.06	c  N dy   298     50365      9664     41583         0     15209    126682   1004593     93.62     99.96  --
50.64/12.75	c  N dy   325     54463      9664     41583         0     19306    126682   1601203     93.62    106.59  --
53.41/13.49	c  N dy   351     58742      9664     41583         0     12665    126682    482951     93.60     98.56  --
56.20/14.19	c  N dy   378     62937      9664     41583         0     16860    126682   1130290     93.85     99.34  --
59.42/14.91	c  N dy   402     67068      9664     41583         0     20990    126682   1740837     93.83     99.52  --
61.00/15.32	c  S st   416     69397      9664     41583         0     23319    126682   2088137     93.76     92.08  --
61.40/15.42	c  S st   416     69898      9664     41583         0     23820    126682   2145570     93.76   no data  --
61.40/15.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
61.40/15.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.40/15.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.16
61.80/15.60	c bin-w-bin subsume rem            0 bins  time:  0.01 s
62.20/15.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.20/15.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
62.20/15.60	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
78.55/19.70	c lits-rem:        12  cl-subs:        5  v-elim:      0  v-fix:    0  time: 16.28 s
78.55/19.70	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
78.55/19.73	c vivif2 --  cl tried    23815 cl shrink        0 lits rem          0 time: 0.10
78.55/19.79	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.26
78.55/19.79	c calculated reachability. Time: 0.00
78.55/19.79	c  N dy   416     69898      9664     41583         0     23815    126682   2143968     93.76   no data  --
81.79/20.58	c  N dy   451     74388      9664     41583         0     16345    126682    869376     93.90    116.41  --
85.34/21.45	c  N dy   478     79136      9664     41583         0     21093    126682   1591207     93.84    100.40  --
89.33/22.42	c  N dy   512     84283      9664     41583         0     13261    126682    266993     93.96    100.73  --
91.33/22.95	c  F st   532     87500      9664     41583         0     16478    126682    751708     93.97   no data  --
93.72/23.57	c  N st   537     90795      9664     41583         0     19772    126682   1364267     93.97   no data  --
98.11/24.69	c  N dy   567     96711      9664     41583         0     25687    126682   2358531     94.10     99.11  --
102.90/25.81	c  N dy   614    102931      9664     41583         0     17918    126682    818107     94.30    101.10  --
104.09/26.16	c  S st   629    104847      9664     41583         0     19834    126682   1124437     94.41   no data  --
104.49/26.25	c  S st   629    105348      9664     41583         0     20335    126682   1180824     94.41   no data  --
104.49/26.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.49/26.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
104.49/26.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.15
104.89/26.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
104.89/26.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
104.89/26.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
104.89/26.36	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
114.47/28.73	c lits-rem:        11  cl-subs:        0  v-elim:      0  v-fix:    0  time:  9.45 s
114.47/28.73	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
114.47/28.75	c vivif2 --  cl tried    20335 cl shrink        0 lits rem          0 time: 0.05
114.87/28.80	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.23
114.87/28.81	c calculated reachability. Time: 0.00
114.87/28.81	c  N dy   629    105348      9664     41583         0     20335    126682   1180813     94.41   no data  --
119.66/30.07	c  N dy   674    112161      9664     41583         0     27148    126682   2194983     94.43     99.70  --
125.26/31.43	c  N dy   718    119506      9664     41583         0     19498    126682    910751     94.38     99.80  --
130.84/32.88	c  N dy   769    127206      9664     41583         0     27197    126682   2038865     94.33    104.86  --
137.22/34.46	c  N dy   824    135609      9664     41583         0     19605    126682    773805     94.39    100.89  --
143.60/36.07	c  N dy   884    144336      9664     41583         0     28332    126682   2113668     94.46    102.16  --
150.79/37.86	c  N dy   945    153598      9664     41583         0     20596    126682    777061     94.55    100.76  --
153.98/38.68	c  S st   977    158023      9664     41583         0     25021    126682   1460657     94.59   no data  --
154.38/38.77	c  S st   977    158527      9664     41583         0     25525    126682   1510737     94.59   no data  --
154.38/38.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
154.38/38.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.78/38.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
154.78/38.89	c bin-w-bin subsume rem            0 bins  time:  0.01 s
154.78/38.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
154.78/38.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
155.18/38.90	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
166.75/41.80	c lits-rem:         8  cl-subs:        2  v-elim:      0  v-fix:    0  time: 11.59 s
166.75/41.81	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
166.75/41.83	c vivif2 --  cl tried    25523 cl shrink        0 lits rem          0 time: 0.07
166.75/41.89	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.27
166.75/41.90	c calculated reachability. Time: 0.00
166.75/41.90	c  N dy   977    158527      9664     41583         0     25523    126682   1510491     94.59   no data  --
175.12/43.99	c  N dy  1045    168838      9664     41583         0     35834    126682   3060486     94.69    100.53  --
183.50/46.05	c  N dy  1114    179811      9664     41583         0     28807    126682   1887586     94.80    100.04  --
192.68/48.37	c  N dy  1192    191366      9664     41583         0     21363    126682    606079     94.89    100.03  --
202.26/50.70	c  N dy  1270    203585      9664     41583         0     33582    126682   2447507     94.93    101.49  --
212.64/53.36	c  N dy  1349    216768      9664     41583         0     26766    126682   1286086     94.90    101.04  --
224.61/56.31	c  N dy  1440    230612      9664     41583         0     40609    126682   3379163     94.93    100.65  --
230.20/57.71	c  S st  1482    237792      9664     41583         0     26789    126682   1128854     94.87   no data  --
230.61/57.81	c  S st  1482    238295      9664     41583         0     27292    126682   1182325     94.87   no data  --
230.61/57.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
230.61/57.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
230.61/57.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.17
231.03/57.91	c bin-w-bin subsume rem            0 bins  time:  0.01 s
231.03/57.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
231.03/57.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
231.03/57.92	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
238.98/59.99	c lits-rem:         9  cl-subs:        1  v-elim:      0  v-fix:    0  time:  8.23 s
238.98/59.99	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
238.98/60.00	c vivif2 --  cl tried    27291 cl shrink        0 lits rem          0 time: 0.05
239.39/60.07	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.26
239.39/60.07	c calculated reachability. Time: 0.00
239.39/60.07	c  N dy  1482    238295      9664     41583         0     27291    126682   1182235     94.87   no data  --
252.15/63.26	c  N dy  1581    253538      9664     41583         0     42533    126682   3493772     94.89    101.17  --
265.73/66.62	c  N dy  1687    269768      9664     41583         0     36766    126682   2550584     94.99    100.50  --
279.68/70.19	c  N dy  1801    286991      9664     41583         0     30989    126682   1463207     94.97    100.04  --
295.25/74.08	c  N dy  1906    305359      9664     41583         0     25360    126682    483820     94.87    101.70  --
296.05/74.25	c  F st  1910    306250      9664     41583         0     26251    126682    609330     94.85     92.78  --
312.01/78.21	c  N dy  1996    325152      9664     41583         0     45152    126682   3667064     94.80    100.15  --
328.77/82.40	c  N dy  2128    345169      9664     41583         0     40167    126682   2545286     94.87    100.53  --
339.95/85.23	c  S st  2211    357442      9664     41583         0     26443    126682    354508     94.90   no data  --
340.36/85.33	c  S st  2211    357949      9664     41583         0     26950    126682    410200     94.90   no data  --
340.36/85.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
340.36/85.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
340.36/85.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
340.36/85.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
340.78/85.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
340.78/85.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
340.78/85.41	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
346.73/86.95	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  6.11 s
346.73/86.95	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
346.73/86.96	c vivif2 --  cl tried    26949 cl shrink        0 lits rem          0 time: 0.02
347.13/87.02	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.25
347.13/87.02	c calculated reachability. Time: 0.00
347.13/87.02	c  N dy  2211    357949      9664     41583         0     26949    126682    410057     94.90   no data  --
363.88/91.25	c  N dy  2343    378008      9664     41583         0     47005    126682   3499482     94.96    107.95  --
381.44/95.68	c  N dy  2480    398029      9664     41583         0     40025    126682   2276171     95.03    100.42  --
400.60/100.41	c  N dy  2606    418047      9664     41583         0     32048    126682    916880     95.07    101.39  --
418.16/104.81	c  N dy  2735    438122      9664     41583         0     52119    126682   3950427     95.11    100.14  --
435.72/109.22	c  N dy  2866    458217      9664     41583         0     43209    126682   2467979     95.16    101.12  --
454.48/113.94	c  N dy  2996    478232      9664     41583         0     33228    126682    806676     95.19    101.93  --
472.05/118.38	c  N dy  3123    498291      9664     41583         0     53286    126682   3823111     95.16    101.35  --
490.39/122.98	c  N dy  3254    518312      9664     41583         0     42305    126682   2034347     95.22    103.72  --
508.34/127.45	c  S st  3376    536926      9664     41583         0     60915    126682   4877445     95.24     83.90  --
508.74/127.59	c  S st  3376    537431      9664     41583         0     61420    126682   4930862     95.24   no data  --
509.14/127.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
509.14/127.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
509.14/127.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.26
510.34/127.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
510.34/127.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
510.34/127.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
510.34/127.94	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
782.11/196.09	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time: 271.26 s
782.11/196.09	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.02
782.51/196.15	c vivif2 --  cl tried    61414 cl shrink        0 lits rem          0 time: 0.25
782.91/196.29	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.56
783.31/196.30	c calculated reachability. Time: 0.00
783.31/196.30	c  N dy  3376    537431      9664     41583         0     61414    126682   4929165     95.24   no data  --
802.06/201.05	c  N dy  3509    557552      9664     41583         0     49536    126682   2991470     95.28    101.58  --
822.82/206.26	c  N dy  3635    577748      9664     41583         0     36737    126682    889492     95.34    102.20  --
841.97/211.08	c  N dy  3773    597874      9664     41583         0     56863    126682   3936182     95.37    100.86  --
863.16/216.32	c  N dy  3900    618357      9664     41583         0     43347    126682   1747372     95.36    101.06  --
883.88/221.51	c  N dy  4040    638427      9664     41583         0     63416    126682   4814886     95.44    100.55  --
903.83/226.51	c  N dy  4159    658498      9664     41583         0     48489    126682   2375941     95.42    100.59  --
925.37/231.91	c  N dy  4284    678625      9664     41583         0     68615    126682   5428684     95.42    106.12  --
944.94/236.89	c  N dy  4406    698690      9664     41583         0     52676    126682   2914057     95.44    102.34  --
967.29/242.49	c  N dy  4535    718802      9664     41583         0     72786    126682   6003647     95.47    103.21  --
987.23/247.48	c  N dy  4660    739110      9664     41583         0     56102    126682   3252941     95.47    101.07  --
1010.39/253.22	c  N dy  4785    759115      9664     41583         0     38105    126682    375247     95.50    103.59  --
1029.55/258.10	c  N dy  4909    779266      9664     41583         0     58254    126682   3448740     95.52    102.30  --
1053.49/264.02	c  N dy  5041    799505      9664     41583         0     39498    126682    438440     95.54    101.12  --
1059.47/265.55	c  S st  5085    806146      9664     41583         0     46139    126682   1444786     95.55     83.50  --
1059.87/265.68	c  S st  5085    806646      9664     41583         0     46639    126682   1501316     95.55   no data  --
1059.87/265.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1059.87/265.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1060.28/265.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.21
1060.70/265.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1060.70/265.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1060.70/265.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
1060.70/265.83	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
1073.86/269.19	c lits-rem:        11  cl-subs:        2  v-elim:      0  v-fix:    0  time: 13.38 s
1074.22/269.20	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
1074.22/269.22	c vivif2 --  cl tried    46637 cl shrink        0 lits rem          0 time: 0.08
1074.62/269.32	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.43
1074.62/269.33	c calculated reachability. Time: 0.00
1074.62/269.33	c  N dy  5085    806646      9664     41583         0     46637    126682   1500536     95.55   no data  --
1095.39/274.60	c  N dy  5206    827009      9664     41583         0     66998    126682   4559191     95.53    101.68  --
1117.76/280.14	c  N dy  5336    847027      9664     41583         0     47014    126682   1423476     95.51    103.05  --
1138.48/285.39	c  N dy  5469    867053      9664     41583         0     67039    126682   4501896     95.52    103.45  --
1160.43/290.86	c  N dy  5595    887147      9664     41583         0     46139    126682   1154088     95.51    101.62  --
1180.37/295.80	c  N dy  5726    907237      9664     41583         0     66228    126682   4247810     95.54    100.78  --
1202.72/301.49	c  N dy  5858    927288      9664     41583         0     44284    126682    720375     95.57    105.32  --
1221.89/306.29	c  N dy  5973    947329      9664     41583         0     64324    126682   3749656     95.55    106.55  --
1245.43/312.12	c  N dy  6107    967436      9664     41583         0     84429    126682   6823572     95.56    101.96  --
1265.38/317.14	c  N dy  6232    987635      9664     41583         0     61626    126682   3218869     95.57    103.56  --
1287.74/322.72	c  N dy  6357   1007648      9664     41583         0     81636    126682   6281759     95.57    102.63  --
1309.69/328.29	c  N dy  6494   1027707      9664     41583         0     57695    126682   2500543     95.61    109.29  --
1332.86/334.07	c  N dy  6625   1047881      9664     41583         0     77867    126682   5576481     95.61    105.99  --
1356.37/339.90	c  N dy  6751   1067920      9664     41583         0     52914    126682   1603249     95.62    101.22  --
1360.37/340.93	c  F st  6780   1071878      9664     41583         0     56872    126682   2208547     95.63     94.22  --
1378.33/345.42	c  N dy  6859   1087977      9664     41583         0     72970    126682   4823742     95.62    101.67  --
1403.10/351.62	c  N dy  6991   1107979      9664     41583         0     46969    126682    558937     95.64    118.35  --
1423.02/356.68	c  N dy  7133   1128002      9664     41583         0     66990    126682   3640376     95.69    141.89  --
1446.99/362.64	c  N dy  7274   1148181      9664     41583         0     87168    126682   6724652     95.72    102.97  --
1468.94/368.18	c  N dy  7412   1168350      9664     41583         0     60342    126682   2460549     95.75    105.73  --
1491.65/373.83	c  N dy  7541   1188419      9664     41583         0     80411    126682   5568845     95.77    118.93  --
1515.60/379.88	c  N dy  7666   1208578      9664     41583         0     52566    126682   1117864     95.78    102.01  --
1517.23/380.21	c  S st  7676   1209969      9664     41583         0     53956    126682   1326880     95.78   no data  --
1517.59/380.34	c  S st  7676   1210473      9664     41583         0     54460    126682   1377880     95.78   no data  --
1517.59/380.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1517.59/380.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1517.99/380.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.24
1517.99/380.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1517.99/380.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1517.99/380.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
1517.99/380.49	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
1530.40/383.53	c lits-rem:         5  cl-subs:        1  v-elim:      0  v-fix:    0  time: 12.13 s
1530.40/383.53	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
1530.40/383.55	c vivif2 --  cl tried    54459 cl shrink        0 lits rem          0 time: 0.07
1530.76/383.67	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.45
1530.76/383.67	c calculated reachability. Time: 0.00
1530.76/383.67	c  N dy  7676   1210473      9664     41583         0     54459    126682   1377333     95.78   no data  --
1551.93/388.97	c  N dy  7793   1230549      9664     41583         0     74535    126682   4443738     95.76    101.12  --
1576.26/395.08	c  N dy  7919   1250598      9664     41583         0     94581    126682   7536004     95.77    104.84  --
1597.81/400.44	c  N dy  8051   1270612      9664     41583         0     65594    126682   2986388     95.78    108.73  --
1620.95/406.24	c  N dy  8171   1290648      9664     41583         0     85630    126682   6026516     95.78    106.23  --
1645.69/412.40	c  N dy  8305   1310800      9664     41583         0     55784    126682   1309059     95.79    102.61  --
1666.84/417.78	c  N dy  8438   1330876      9664     41583         0     75859    126682   4374053     95.81    100.88  --
1691.98/424.07	c  N dy  8574   1350899      9664     41583         0     95879    126682   7430368     95.82    100.90  --
1714.76/429.73	c  N dy  8708   1371014      9664     41583         0     64997    126682   2579693     95.85    101.37  --
1739.07/435.80	c  N dy  8824   1391027      9664     41583         0     85008    126682   5678338     95.86    108.80  --
1765.41/442.48	c  N dy  8955   1411496      9664     41583         0     53484    126682    652573     95.86    101.30  --
1786.55/447.76	c  N dy  9080   1431591      9664     41583         0     73578    126682   3755809     95.87    110.85  --
1811.33/453.92	c  N dy  9209   1451696      9664     41583         0     93680    126682   6813254     95.88    101.88  --
1836.03/460.19	c  N dy  9345   1471849      9664     41583         0     60832    126682   1655308     95.89    101.43  --
1858.38/465.73	c  N dy  9463   1491864      9664     41583         0     80845    126682   4694281     95.88    102.03  --
1884.32/472.27	c  N dy  9597   1511937      9664     41583         0    100917    126682   7783273     95.89    102.46  --
1907.48/478.08	c  N dy  9725   1531973      9664     41583         0     66955    126682   2466847     95.92    101.30  --
1931.01/483.99	c  N dy  9858   1552156      9664     41583         0     87138    126682   5557900     95.93    104.00  --
1958.15/490.74	c  N dy  9981   1572368      9664     41583         0    107347    126682   8642430     95.92    101.17  --
1980.49/496.39	c  N dy 10116   1592432      9664     41583         0     72415    126682   3172210     95.94    107.23  --
2006.83/502.90	c  N dy 10241   1612539      9664     41583         0     92522    126682   6227216     95.94    104.17  --
2037.56/510.62	c  N dy 10371   1632586      9664     41583         0     56572    126682    551972     95.95    101.58  --
2060.71/516.50	c  N dy 10498   1652623      9664     41583         0     76608    126682   3623446     95.96    101.67  --
2088.24/523.36	c  N dy 10632   1672689      9664     41583         0     96673    126682   6709460     95.98    140.45  --
2118.61/530.94	c  N dy 10765   1692754      9664     41583         0     59738    126682    899074     95.99    151.36  --
2139.33/536.15	c  S st 10874   1710473      9664     41583         0     77456    126682   3608693     96.00   no data  --
2140.14/536.34	c  S st 10874   1710975      9664     41583         0     77958    126682   3662688     96.00   no data  --
2140.14/536.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2140.14/536.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2140.57/536.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.32
2141.32/536.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2141.32/536.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2141.32/536.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.02 s
2141.32/536.62	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
2285.00/572.70	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time: 143.44 s
2285.00/572.70	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.01
2285.42/572.75	c vivif2 --  cl tried    77955 cl shrink        0 lits rem          0 time: 0.20
2286.18/572.92	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.67
2286.18/572.92	c calculated reachability. Time: 0.00
2286.18/572.92	c  N dy 10874   1710975      9664     41583         0     77955    126682   3661745     96.00   no data  --
2312.53/579.53	c  N dy 11004   1731122      9664     41583         0     98101    126682   6734291     96.00    101.77  --
2341.66/586.84	c  N dy 11137   1751286      9664     41583         0     60278    126682    831581     96.02    102.74  --
2365.20/592.70	c  N dy 11276   1771316      9664     41583         0     80306    126682   3928343     96.05    116.41  --
2391.13/599.25	c  N dy 11408   1791367      9664     41583         0    100356    126682   7032315     96.07    101.81  --
2419.87/606.42	c  N dy 11541   1811373      9664     41583         0     61363    126682    838282     96.09    101.76  --
2442.21/612.01	c  N dy 11668   1831529      9664     41583         0     81517    126682   3929094     96.09    101.91  --
2468.15/618.59	c  N dy 11804   1851663      9664     41583         0    101650    126682   7052137     96.11    103.83  --
2497.29/625.85	c  N dy 11929   1871874      9664     41583         0     61861    126682    767883     96.10    102.09  --
2519.62/631.46	c  N dy 12051   1891952      9664     41583         0     81937    126682   3860460     96.10    105.24  --
2545.57/637.92	c  N dy 12180   1912009      9664     41583         0    101993    126682   6920040     96.10    102.46  --
2575.14/645.39	c  N dy 12309   1932062      9664     41583         0     61045    126682    500047     96.10    101.23  --
2597.45/650.99	c  N dy 12443   1952118      9664     41583         0     81100    126682   3607339     96.12    103.11  --
2623.78/657.55	c  N dy 12581   1972137      9664     41583         0    101116    126682   6706695     96.14    103.01  --
2652.92/664.89	c  N dy 12712   1992148      9664     41583         0    121127    126682   9762276     96.16    102.05  --
2676.46/670.78	c  N dy 12831   2012188      9664     41583         0     79170    126682   3145543     96.16    104.38  --
2702.44/677.23	c  N dy 12967   2032259      9664     41583         0     99239    126682   6224820     96.18    102.62  --
2731.93/684.60	c  N dy 13101   2052403      9664     41583         0    119383    126682   9332167     96.19    103.07  --
2757.07/690.95	c  N dy 13229   2072434      9664     41583         0     76417    126682   2550603     96.20    119.70  --
2782.21/697.20	c  N dy 13345   2092582      9664     41583         0     96564    126682   5664260     96.18    105.47  --
2811.36/704.53	c  N dy 13479   2112770      9664     41583         0    116750    126682   8747764     96.19    102.41  --
2840.48/711.87	c  N dy 13623   2132930      9664     41583         0     72915    126682   1896251     96.22    105.20  --
2866.01/718.22	c  N dy 13759   2153021      9664     41583         0     93003    126682   4979611     96.23    102.88  --
2895.16/725.52	c  N dy 13895   2173062      9664     41583         0    113042    126682   8104383     96.25    105.62  --
2925.88/733.29	c  N dy 14014   2193243      9664     41583         0     68221    126682   1017436     96.25    101.78  --
2947.43/738.69	c  S st 14131   2210975      9664     41583         0     85952    126682   3789877     96.26    103.97  --
2948.26/738.87	c  S st 14131   2211481      9664     41583         0     86458    126682   3841074     96.26   no data  --
2948.26/738.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2948.26/738.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2948.62/738.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.34
2949.42/739.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2949.42/739.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2949.42/739.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.01 s
2949.42/739.16	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
3120.22/781.95	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 170.26 s
3120.22/781.96	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.02
3120.62/782.01	c vivif2 --  cl tried    86452 cl shrink        0 lits rem          0 time: 0.22
3121.42/782.21	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.79
3121.42/782.21	c calculated reachability. Time: 0.00
3121.42/782.21	c  N dy 14131   2211481      9664     41583         0     86452    126682   3840359     96.26   no data  --
3150.95/789.68	c  N dy 14251   2231648      9664     41583         0    106619    126682   6921768     96.26    102.00  --
3184.89/798.14	c  N dy 14382   2251653      9664     41583         0    126623    126682   9990174     96.27    107.67  --
3213.61/805.32	c  N dy 14514   2271678      9664     41583         0     80652    126682   2803527     96.29    101.50  --
3242.38/812.57	c  N dy 14658   2291770      9664     41583         0    100743    126682   5899359     96.31    108.83  --
3275.06/820.78	c  N dy 14785   2311873      9664     41583         0    120844    126682   8944537     96.31    102.40  --
3307.81/828.92	c  N dy 14914   2332027      9664     41583         0     74006    126682   1622118     96.32    101.99  --
3334.93/835.70	c  N dy 15039   2352092      9664     41583         0     94063    126682   4682549     96.32    101.66  --
3365.66/843.47	c  N dy 15162   2372189      9664     41583         0    114160    126682   7704119     96.31    101.91  --
3401.58/852.42	c  N dy 15301   2392303      9664     41583         0    134272    126682  10858454     96.34    102.43  --
3428.71/859.29	c  N dy 15436   2412360      9664     41583         0     86331    126682   3391636     96.35    101.60  --
3458.64/866.78	c  N dy 15563   2432566      9664     41583         0    106535    126682   6508604     96.35    102.10  --
3491.37/874.91	c  N dy 15701   2452584      9664     41583         0    126550    126682   9638766     96.37    101.68  --
3522.50/882.76	c  N dy 15836   2472713      9664     41583         0     77686    126682   1891117     96.39    103.44  --
3548.83/889.41	c  N dy 15972   2492812      9664     41583         0     97785    126682   4962825     96.40    102.48  --
3579.98/897.14	c  N dy 16102   2512860      9664     41583         0    117833    126682   8080325     96.41    110.30  --
3614.28/905.74	c  N dy 16232   2532955      9664     41583         0    137928    126682  11196493     96.42    103.82  --
3640.62/912.31	c  N dy 16359   2553052      9664     41583         0     88024    126682   3366920     96.43    105.48  --
3669.35/919.55	c  N dy 16492   2573112      9664     41583         0    108083    126682   6510292     96.45    115.34  --
3702.08/927.77	c  N dy 16627   2593259      9664     41583         0    128224    126682   9620911     96.46    103.04  --
3734.05/935.78	c  N dy 16751   2613290      9664     41583         0     77260    126682   1516064     96.46    105.62  --
3761.54/942.60	c  N dy 16879   2633606      9664     41583         0     97575    126682   4611317     96.46    101.57  --
3793.46/950.62	c  N dy 17009   2653662      9664     41583         0    117630    126682   7712004     96.47    102.49  --
3829.78/959.77	c  N dy 17146   2673752      9664     41583         0    137718    126682  10808905     96.49    103.84  --
3860.11/967.31	c  N dy 17270   2693889      9664     41583         0     85859    126682   2654540     96.48    102.40  --
3885.25/973.67	c  S st 17385   2711481      9664     41583         0    103451    126682   5360250     96.49     79.72  --
3886.45/973.91	c  S st 17385   2711988      9664     41583         0    103958    126682   5417469     96.49   no data  --
3886.45/973.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3886.45/973.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3886.85/974.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.42
3888.05/974.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3888.05/974.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3888.05/974.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9664 time:  0.02 s
3888.05/974.33	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
4263.19/1068.33	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 374.24 s
4263.19/1068.33	c vivif2 --  cl tried    41583 cl shrink        0 lits rem          0 time: 0.02
4263.59/1068.41	c vivif2 --  cl tried   103953 cl shrink        0 lits rem          0 time: 0.29
4264.39/1068.63	c asymm  cl-useful: 0/41583/41583 lits-rem:0 time: 0.89
4264.39/1068.64	c calculated reachability. Time: 0.00
4264.39/1068.64	c  N dy 17385   2711988      9664     41583         0    103953    126682   5416461     96.49   no data  --
4295.53/1076.49	c  N dy 17515   2732102      9664     41583         0    124063    126682   8509814     96.50    105.69  --
4331.82/1085.50	c  N dy 17641   2752383      9664     41583         0    144344    126682  11620035     96.50    106.87  --
4358.96/1092.31	c  N dy 17773   2772393      9664     41583         0     91361    126682   3393643     96.50    103.66  --
4388.49/1099.71	c  N dy 17910   2792426      9664     41583         0    111391    126682   6482397     96.51    110.45  --
4421.62/1108.09	c  N dy 18041   2812841      9664     41583         0    131804    126682   9586489     96.51    102.03  --
4457.14/1116.91	c  N dy 18162   2833040      9664     41583         0     78008    126682   1198803     96.51    101.75  --
4483.47/1123.51	c  N dy 18288   2853090      9664     41583         0     98056    126682   4299470     96.52    103.77  --
4514.20/1131.25	c  N dy 18412   2873457      9664     41583         0    118420    126682   7396388     96.52    102.38  --
4548.93/1139.90	c  N dy 18542   2893530      9664     41583         0    138491    126682  10514226     96.53    107.32  --
4581.64/1148.10	c  N dy 18674   2913615      9664     41583         0     83586    126682   1904690     96.53    102.72  --
4609.19/1155.00	c  N dy 18804   2933622      9664     41583         0    103592    126682   4998271     96.54    101.70  --
4640.72/1162.94	c  N dy 18931   2953725      9664     41583         0    123694    126682   8096000     96.54    101.81  --
4676.63/1171.95	c  N dy 19056   2973880      9664     41583         0    143848    126682  11183575     96.54    102.51  --
4707.75/1179.76	c  N dy 19192   2993887      9664     41583         0     87854    126682   2385718     96.55    104.78  --
4736.09/1186.88	c  N dy 19322   3013896      9664     41583         0    107863    126682   5423071     96.55    104.98  --
4769.62/1195.23	c  N dy 19458   3033967      9664     41583         0    127932    126682   8522344     96.57    104.92  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.48 8.01 7.49 3/281 2677
/proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=20368 CPUtime=0 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4194304 337 0 0 0 0 0 0 0 23 0 1 0 651269581 20856832 277 33554432000 4194304 4650419 140733860915760 18446744073709551615 46915001766784 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2677/statm: 5092 296 254 112 0 57 0
[pid=2677/tid=2678] ppid=2675 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651269582 52465664 352 33554432000 4194304 4650419 140733860915760 18446744073709551615 46915004315568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651269582 52465664 352 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651269582 52465664 352 33554432000 4194304 4650419 140733860915760 18446744073709551615 46915004315570 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0369271 s]
/proc/loadavg: 7.48 8.01 7.49 3/281 2677
/proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=293492 CPUtime=0.09 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 7943 0 0 0 8 1 0 0 18 0 4 0 651269581 300535808 6897 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335557496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 73372 7009 354 112 0 68337 0
[pid=2677/tid=2678] ppid=2675 vsize=293488 CPUtime=0.03 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1864 0 0 0 3 0 0 0 18 0 4 0 651269582 300531712 7024 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335589131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=293488 CPUtime=0.01 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) S 2675 2677 1724 0 -1 4202560 1878 0 0 0 1 0 0 0 18 0 4 0 651269582 300531712 7047 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335997422 0 0 4096 2 18446604442171687872 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=293488 CPUtime=0.02 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 2036 0 0 0 2 0 0 0 18 0 4 0 651269582 300531712 7067 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 293492

[startup+0.135496 s]
/proc/loadavg: 7.48 8.01 7.49 3/281 2677
/proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=297028 CPUtime=0.47 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 13483 0 0 0 45 2 0 0 18 0 4 0 651269581 304156672 11643 33554432000 4194304 4650419 140733860915760 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 74257 11644 385 112 0 69222 0
[pid=2677/tid=2678] ppid=2675 vsize=297028 CPUtime=0.12 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3654 0 0 0 12 0 0 0 18 0 4 0 651269582 304156672 11645 33554432000 4194304 4650419 140733860915760 18446744073709551615 4441572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=297028 CPUtime=0.1 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3645 0 0 0 10 0 0 0 18 0 4 0 651269582 304156672 11645 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335589561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=297028 CPUtime=0.11 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 2135 0 0 0 11 0 0 0 18 0 4 0 651269582 304156672 11647 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 297028

[startup+0.974714 s]
/proc/loadavg: 7.48 8.01 7.49 3/281 2677
/proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=297560 CPUtime=3.83 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 19644 0 0 0 379 4 0 0 19 0 4 0 651269581 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 74390 15088 391 112 0 69355 0
[pid=2677/tid=2678] ppid=2675 vsize=297560 CPUtime=0.96 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5408 0 0 0 96 0 0 0 19 0 4 0 651269582 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=297560 CPUtime=0.94 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5324 0 0 0 93 1 0 0 19 0 4 0 651269582 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4334270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=297560 CPUtime=0.95 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3133 0 0 0 95 0 0 0 19 0 4 0 651269582 304701440 15088 33554432000 4194304 4650419 140733860915760 18446744073709551615 4314818 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 297560

[startup+1.00071 s]
/proc/loadavg: 7.48 8.01 7.49 3/281 2677
/proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=297560 CPUtime=3.93 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 19748 0 0 0 389 4 0 0 19 0 4 0 651269581 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 74390 15192 391 112 0 69355 0
[pid=2677/tid=2678] ppid=2675 vsize=297560 CPUtime=0.98 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5435 0 0 0 98 0 0 0 19 0 4 0 651269582 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=297560 CPUtime=0.97 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 5350 0 0 0 96 1 0 0 19 0 4 0 651269582 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=297560 CPUtime=0.97 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 3159 0 0 0 97 0 0 0 19 0 4 0 651269582 304701440 15192 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 297560

[startup+1.50062 s]
/proc/loadavg: 7.48 8.01 7.49 3/281 2677
/proc/meminfo: memFree=21567184/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=303476 CPUtime=5.93 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 24292 0 0 0 588 5 0 0 19 0 4 0 651269581 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 75869 14084 393 112 0 70834 0
[pid=2677/tid=2678] ppid=2675 vsize=303476 CPUtime=1.48 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 6546 0 0 0 148 0 0 0 19 0 4 0 651269582 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=303476 CPUtime=1.47 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 6455 0 0 0 146 1 0 0 19 0 4 0 651269582 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=303476 CPUtime=1.48 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 4381 0 0 0 147 1 0 0 20 0 4 0 651269582 310759424 14084 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 303476

[startup+3.10034 s]
/proc/loadavg: 7.28 7.96 7.47 10/291 2690
/proc/meminfo: memFree=21270268/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=304880 CPUtime=12.31 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 33047 0 0 0 1225 6 0 0 25 0 4 0 651269581 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4315633 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 76220 16021 393 112 0 71185 0
[pid=2677/tid=2678] ppid=2675 vsize=304880 CPUtime=3.08 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 8775 0 0 0 308 0 0 0 24 0 4 0 651269582 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=304880 CPUtime=3.04 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 8642 0 0 0 303 1 0 0 25 0 4 0 651269582 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=304880 CPUtime=3.07 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 6520 0 0 0 306 1 0 0 25 0 4 0 651269582 312197120 16021 33554432000 4194304 4650419 140733860915760 18446744073709551615 4331032 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 304880

[startup+6.30077 s]
/proc/loadavg: 7.42 7.97 7.48 9/291 2690
/proc/meminfo: memFree=21200024/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=305868 CPUtime=25.08 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 59740 0 0 0 2493 15 0 0 25 0 4 0 651269581 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 76467 28588 395 112 0 71432 0
[pid=2677/tid=2678] ppid=2675 vsize=305868 CPUtime=6.29 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 16712 0 0 0 626 3 0 0 25 0 4 0 651269582 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=305868 CPUtime=6.21 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 13022 0 0 0 618 3 0 0 25 0 4 0 651269582 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=305868 CPUtime=6.27 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 10615 0 0 0 624 3 0 0 25 0 4 0 651269582 313208832 28588 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 305868

[startup+12.7006 s]
/proc/loadavg: 7.46 7.97 7.49 9/291 2690
/proc/meminfo: memFree=21109800/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=322652 CPUtime=50.64 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 93518 0 0 0 5042 22 0 0 25 0 4 0 651269581 330395648 46251 33554432000 4194304 4650419 140733860915760 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 80663 46251 395 112 0 75628 0
[pid=2677/tid=2678] ppid=2675 vsize=322652 CPUtime=12.69 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 19316 0 0 0 1266 3 0 0 25 0 4 0 651269582 330395648 46271 33554432000 4194304 4650419 140733860915760 18446744073709551615 4331971 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=322652 CPUtime=12.57 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 26713 0 0 0 1250 7 0 0 25 0 4 0 651269582 330395648 46271 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=322652 CPUtime=12.68 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 22891 0 0 0 1263 5 0 0 25 0 4 0 651269582 330395648 46271 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 322652

[startup+25.5004 s]
/proc/loadavg: 7.55 7.97 7.49 9/291 2691
/proc/meminfo: memFree=20726580/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=435328 CPUtime=101.7 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 151580 0 0 0 10134 36 0 0 25 0 4 0 651269581 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4331010 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 108832 67857 395 112 0 103797 0
[pid=2677/tid=2678] ppid=2675 vsize=435328 CPUtime=25.49 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 36738 0 0 0 2540 9 0 0 25 0 4 0 651269582 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=435328 CPUtime=25.24 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 42037 0 0 0 2514 10 0 0 25 0 4 0 651269582 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=435328 CPUtime=25.46 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 33568 0 0 0 2539 7 0 0 25 0 4 0 651269582 445775872 67857 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476348 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 435328

[startup+51.1008 s]
/proc/loadavg: 7.76 7.99 7.51 9/291 2691
/proc/meminfo: memFree=20564836/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=555128 CPUtime=203.86 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 226656 0 0 0 20332 54 0 0 25 0 4 0 651269581 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 138782 77949 395 112 0 133747 0
[pid=2677/tid=2678] ppid=2675 vsize=555128 CPUtime=51.09 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 55534 0 0 0 5095 14 0 0 25 0 4 0 651269582 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=555128 CPUtime=50.61 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 66084 0 0 0 5046 15 0 0 25 0 4 0 651269582 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=555128 CPUtime=51.06 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 51755 0 0 0 5094 12 0 0 25 0 4 0 651269582 568451072 77949 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 555128

[startup+102.301 s]
/proc/loadavg: 8.04 8.03 7.55 9/291 2693
/proc/meminfo: memFree=20410164/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=712836 CPUtime=408.18 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 378742 0 0 0 40725 93 0 0 25 0 4 0 651269581 729944064 93161 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 178209 93162 395 112 0 173174 0
[pid=2677/tid=2678] ppid=2675 vsize=712836 CPUtime=102.28 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 97232 0 0 0 10204 24 0 0 25 0 4 0 651269582 729944064 93162 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=712836 CPUtime=101.35 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 106978 0 0 0 10107 28 0 0 25 0 4 0 651269582 729944064 93162 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=712836 CPUtime=102.26 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 88521 0 0 0 10206 20 0 0 25 0 4 0 651269582 729944064 93162 33554432000 4194304 4650419 140733860915760 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 712836

[startup+162.301 s]

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

[pid=2677] ppid=2675 vsize=1016276 CPUtime=2563.13 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 2456025 0 0 0 255756 557 0 0 25 0 4 0 651269581 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4310792 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 254069 178280 395 112 0 249034 0
[pid=2677/tid=2678] ppid=2675 vsize=1016276 CPUtime=642.26 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 794163 0 0 0 64055 171 0 0 25 0 4 0 651269582 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1016276 CPUtime=636.43 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 643283 0 0 0 63498 145 0 0 25 0 4 0 651269582 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1016276 CPUtime=642.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 321291 0 0 0 64128 96 0 0 25 0 4 0 651269582 1040666624 178280 33554432000 4194304 4650419 140733860915760 18446744073709551615 4229498 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2563.13
Current children cumulated vsize (KiB) 1016276

[startup+702.3 s]
/proc/loadavg: 8.24 8.18 7.84 9/291 2709
/proc/meminfo: memFree=19486016/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1031292 CPUtime=2802.57 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 2571432 0 0 0 279663 594 0 0 25 0 4 0 651269581 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 257823 179448 395 112 0 252788 0
[pid=2677/tid=2678] ppid=2675 vsize=1031292 CPUtime=702.27 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 819283 0 0 0 70047 180 0 0 25 0 4 0 651269582 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1031292 CPUtime=695.88 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 674962 0 0 0 69432 156 0 0 25 0 4 0 651269582 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1031292 CPUtime=702.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 348202 0 0 0 70120 104 0 0 25 0 4 0 651269582 1056043008 179448 33554432000 4194304 4650419 140733860915760 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.57
Current children cumulated vsize (KiB) 1031292

[startup+762.301 s]
/proc/loadavg: 8.13 8.16 7.86 9/291 2710
/proc/meminfo: memFree=19515632/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=983832 CPUtime=3042.01 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 2716167 0 0 0 303566 635 0 0 25 0 4 0 651269581 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 245958 168328 395 112 0 240923 0
[pid=2677/tid=2678] ppid=2675 vsize=983832 CPUtime=762.26 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 842471 0 0 0 76036 190 0 0 25 0 4 0 651269582 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=983832 CPUtime=755.33 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 703210 0 0 0 75365 168 0 0 25 0 4 0 651269582 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4363644 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=983832 CPUtime=762.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 353817 0 0 0 76118 106 0 0 25 0 4 0 651269582 1007443968 168328 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.01
Current children cumulated vsize (KiB) 983832

[startup+822.301 s]
/proc/loadavg: 8.24 8.18 7.88 9/291 2712
/proc/meminfo: memFree=19332588/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1037348 CPUtime=3281.47 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 3155120 0 0 0 327436 711 0 0 25 0 4 0 651269581 1062244352 194608 33554432000 4194304 4650419 140733860915760 18446744073709551615 232335916951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 259337 194608 395 112 0 254302 0
[pid=2677/tid=2678] ppid=2675 vsize=1037348 CPUtime=822.27 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1018239 0 0 0 82014 213 0 0 25 0 4 0 651269582 1062244352 194610 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1037348 CPUtime=814.8 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 816038 0 0 0 81294 186 0 0 25 0 4 0 651269582 1062244352 194610 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1037348 CPUtime=822.25 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 380876 0 0 0 82106 119 0 0 25 0 4 0 651269582 1062244352 194610 33554432000 4194304 4650419 140733860915760 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.47
Current children cumulated vsize (KiB) 1037348

[startup+882.3 s]
/proc/loadavg: 8.17 8.18 7.90 9/291 2714
/proc/meminfo: memFree=19331196/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1009404 CPUtime=3520.89 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 3529365 0 0 0 351309 780 0 0 25 0 4 0 651269581 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 252351 187504 395 112 0 247316 0
[pid=2677/tid=2678] ppid=2675 vsize=1009404 CPUtime=882.26 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1204061 0 0 0 87986 240 0 0 25 0 4 0 651269582 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1009404 CPUtime=874.25 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 950299 0 0 0 87220 205 0 0 25 0 4 0 651269582 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1009404 CPUtime=882.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 407053 0 0 0 88094 130 0 0 25 0 4 0 651269582 1033629696 187504 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3520.89
Current children cumulated vsize (KiB) 1009404

[startup+942.311 s]
/proc/loadavg: 8.40 8.23 7.93 9/291 2715
/proc/meminfo: memFree=19258016/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1142092 CPUtime=3760.39 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 3763506 0 0 0 375207 832 0 0 25 0 4 0 651269581 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 285523 202850 402 112 0 280488 0
[pid=2677/tid=2678] ppid=2675 vsize=1142092 CPUtime=942.27 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1231138 0 0 0 93976 251 0 0 25 0 4 0 651269582 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1142092 CPUtime=933.71 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1103912 0 0 0 93146 225 0 0 25 0 4 0 651269582 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1142092 CPUtime=942.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 432921 0 0 0 94085 139 0 0 25 0 4 0 651269582 1169502208 202850 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.39
Current children cumulated vsize (KiB) 1142092

[startup+1002.3 s]
/proc/loadavg: 8.28 8.22 7.95 9/291 2717
/proc/meminfo: memFree=19231452/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1167876 CPUtime=3999.79 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4062563 0 0 0 399092 887 0 0 25 0 4 0 651269581 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 291969 217880 395 112 0 286934 0
[pid=2677/tid=2678] ppid=2675 vsize=1167876 CPUtime=1002.26 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1255850 0 0 0 99961 265 0 0 25 0 4 0 651269582 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1167876 CPUtime=993.16 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1280252 0 0 0 99067 249 0 0 25 0 4 0 651269582 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1167876 CPUtime=1002.23 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 432941 0 0 0 100084 139 0 0 25 0 4 0 651269582 1195905024 217880 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.79
Current children cumulated vsize (KiB) 1167876

[startup+1062.3 s]
/proc/loadavg: 8.26 8.22 7.96 9/291 2718
/proc/meminfo: memFree=19154312/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1155044 CPUtime=4239.24 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4351944 0 0 0 422981 943 0 0 25 0 4 0 651269581 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 288761 221206 412 112 0 283726 0
[pid=2677/tid=2678] ppid=2675 vsize=1155044 CPUtime=1062.27 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1286649 0 0 0 105950 277 0 0 25 0 4 0 651269582 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1155044 CPUtime=1052.61 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1305189 0 0 0 105000 261 0 0 25 0 4 0 651269582 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1155044 CPUtime=1062.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 436950 0 0 0 106083 141 0 0 25 0 4 0 651269582 1182765056 221206 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.24
Current children cumulated vsize (KiB) 1155044

[startup+1122.3 s]
/proc/loadavg: 8.18 8.21 7.97 10/291 2720
/proc/meminfo: memFree=19160864/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1207912 CPUtime=4478.69 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4591347 0 0 0 446875 994 0 0 25 0 4 0 651269581 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367388 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 301978 223619 395 112 0 296943 0
[pid=2677/tid=2678] ppid=2675 vsize=1207912 CPUtime=1122.26 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1427139 0 0 0 111931 295 0 0 25 0 4 0 651269582 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1207912 CPUtime=1112.07 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1326992 0 0 0 110937 270 0 0 25 0 4 0 651269582 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1207912 CPUtime=1122.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 462702 0 0 0 112071 153 0 0 25 0 4 0 651269582 1236901888 223619 33554432000 4194304 4650419 140733860915760 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.69
Current children cumulated vsize (KiB) 1207912

[startup+1182.3 s]
/proc/loadavg: 8.21 8.21 7.99 9/291 2722
/proc/meminfo: memFree=19161696/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1208956 CPUtime=4718.13 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4827827 0 0 0 470765 1048 0 0 25 0 4 0 651269581 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 302239 221782 395 112 0 297204 0
[pid=2677/tid=2678] ppid=2675 vsize=1208956 CPUtime=1182.27 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1589497 0 0 0 117911 316 0 0 25 0 4 0 651269582 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1208956 CPUtime=1171.52 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1349312 0 0 0 116870 282 0 0 25 0 4 0 651269582 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1208956 CPUtime=1182.24 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 488291 0 0 0 118061 163 0 0 25 0 4 0 651269582 1237970944 221782 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.13
Current children cumulated vsize (KiB) 1208956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.15 8.20 7.99 10/291 2722
/proc/meminfo: memFree=19054304/32951124 swapFree=66457188/67111528
[pid=2677] ppid=2675 vsize=1209168 CPUtime=4800.38 cores=0,2,4,6
/proc/2677/stat : 2677 (strangenight1-m) R 2675 2677 1724 0 -1 4202496 4930413 0 0 0 478972 1066 0 0 25 0 4 0 651269581 1238188032 230894 33554432000 4194304 4650419 140733860915760 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2677/statm: 302292 230894 395 112 0 297257 0
[pid=2677/tid=2678] ppid=2675 vsize=1209168 CPUtime=1202.89 cores=0,2,4,6
/proc/2677/task/2678/stat : 2678 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1651370 0 0 0 119965 324 0 0 25 0 4 0 651269582 1238188032 230900 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2677/tid=2679] ppid=2675 vsize=1209168 CPUtime=1191.94 cores=0,2,4,6
/proc/2677/task/2679/stat : 2679 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 1373438 0 0 0 118908 286 0 0 25 0 4 0 651269582 1238188032 230900 33554432000 4194304 4650419 140733860915760 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2677/tid=2680] ppid=2675 vsize=1209168 CPUtime=1202.86 cores=0,2,4,6
/proc/2677/task/2680/stat : 2680 (strangenight1-m) R 2675 2677 1724 0 -1 4202560 497433 0 0 0 120119 167 0 0 25 0 4 0 651269582 1238188032 230900 33554432000 4194304 4650419 140733860915760 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 1209168

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): 1202.97
CPU time (s): 4800.48
CPU user time (s): 4789.77
CPU system time (s): 10.7124
CPU usage (%): 399.052
Max. virtual memory (cumulated for all children) (KiB): 1209168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.77
system time used= 10.7124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4930422
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= 1798
involuntary context switches= 70115

runsolver used 3.14552 second user time and 7.82581 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 20:11:54
IDJOB=3368540
IDBENCH=82549
IDSOLVER=1846
FILE ID=node132/3368540-1305396714
RUNJOBID= node132-1305396714-2662
PBS_JOBID= 13324437
Free space on /tmp= 73332 MiB

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

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

MD5SUM BENCH= d872c255da29ab531c07d575af8ab92a
RANDOM SEED=1756015123

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21567340 kB
Buffers:        273896 kB
Cached:        5557776 kB
SwapCached:       6904 kB
Active:        4767648 kB
Inactive:      6311248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21567340 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:            7472 kB
Writeback:           0 kB
AnonPages:     5244920 kB
Mapped:          18472 kB
Slab:           218288 kB
PageTables:      23936 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34738796 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73316 MiB
End job on node132 at 2011-05-14 20:31:59