Trace number 3368535

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.3 1203.96

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf
MD5SUM5fbb493df133934f33cf8a2f736084e5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark40.9418
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.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-3368535-1305396282.cnf'
0.00/0.01	c -- header says num vars:          10000
0.00/0.01	c -- header says num clauses:       42000
0.00/0.04	c -- clauses added:            0 learnts,        42000 normals,            0 xors
0.00/0.04	c -- vars added      10000
0.00/0.09	c Parsing time:  0.09 s
0.00/0.09	c  N st     0         0     10000     42000         0         0    126000         0   no data   no data  --
0.00/0.09	c asymm  cl-useful: 0/42000/42000 lits-rem:0 time: 0.10
0.00/0.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
0.10/0.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.10/0.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.10/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10000 time:  0.01 s
0.10/0.83	c Removed useless bin:       0  fixed:     0  props:   0.10M  time:  0.01 s
0.10/0.83	c lits-rem:         0  cl-subs:        0  v-elim:    338  v-fix:    0  time:  0.32 s
0.10/0.83	c Finding binary XORs  T:     0.00 s  found:       0
0.10/0.83	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
0.10/0.83	c calculated reachability. Time: 0.00
0.10/0.83	c Calc default polars -  time:   0.01 s pos:    4397 undec:    1189 neg:    4414
0.10/0.83	c =========================================================================================
0.10/0.83	c types(t): F = full restart, N = normal restart
0.10/0.83	c types(t): S = simplification begin/end, E = solution found
0.10/0.83	c restart types(rt): st = static, dy = dynamic
0.10/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.10/0.83	c  B st     0         0      9662     41605         0         0    126629         0   no data   no data  --
0.10/0.83	c  N dy    21      4047      9662     41605         0      4047    126629    680059     95.98    105.36  --
5.55/1.42	c  N dy    46      8121      9662     41605         0      4623    126629    332601     94.67    100.14  --
7.95/2.03	c  N dy    72     12196      9662     41605         0      8698    126629    958007     96.26    102.44  --
10.34/2.66	c  N dy    98     16216      9662     41605         0      6969    126629    395546     95.45    100.51  --
13.13/3.30	c  N dy   127     20378      9662     41605         0     11131    126629   1024871     95.55    100.65  --
15.52/3.97	c  N dy   150     24472      9662     41605         0      7852    126629    292241     95.47    101.69  --
15.95/4.05	c  F st   154     25002      9662     41605         0      8382    126629    370787     95.46     89.54  --
19.51/4.90	c  N dy   160     30001      9662     41605         0     13381    126629   1284601     95.46   no data  --
19.51/4.90	c  S st   160     30001      9662     41605         0     13381    126629   1284601     95.46   no data  --
19.51/4.98	c  S st   160     30511      9662     41605         0     13891    126629   1335561     95.46   no data  --
19.51/4.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
19.51/4.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.91/5.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.14
20.33/5.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
20.33/5.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
20.33/5.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
20.33/5.14	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
27.08/6.84	c lits-rem:        31  cl-subs:        3  v-elim:      0  v-fix:    0  time:  6.76 s
27.08/6.89	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.19
27.08/6.89	c calculated reachability. Time: 0.00
27.08/6.89	c  N dy   160     30511      9662     41605         0     13888    126629   1334221     95.46   no data  --
30.27/7.62	c  N dy   188     34600      9662     41605         0      9288    126629    320656     95.54    101.20  --
33.07/8.31	c  N dy   216     38708      9662     41605         0     13396    126629    943153     95.51    101.50  --
35.86/9.04	c  N dy   239     42807      9662     41605         0     17495    126629   1560808     95.33    100.62  --
38.30/9.61	c  S st   260     45767      9662     41605         0     10615    126629    347530     95.46   no data  --
38.64/9.70	c  S st   260     46279      9662     41605         0     11127    126629    405481     95.46   no data  --
38.64/9.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
38.64/9.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.64/9.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.13
38.64/9.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
38.64/9.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.64/9.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
38.64/9.78	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
45.42/11.45	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  6.68 s
45.42/11.46	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
45.42/11.46	c vivif2 --  cl tried    11126 cl shrink        0 lits rem          0 time: 0.02
45.82/11.50	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.16
45.82/11.50	c calculated reachability. Time: 0.00
45.82/11.50	c  N dy   260     46279      9662     41605         0     11126    126629    405126     95.46   no data  --
48.21/12.19	c  N dy   287     50311      9662     41605         0     15158    126629   1010139     95.40    101.02  --
51.04/12.89	c  N dy   315     54365      9662     41605         0     19212    126629   1625389     95.47    103.72  --
54.20/13.62	c  N dy   340     58532      9662     41605         0     12457    126629    459662     95.29    100.68  --
56.98/14.32	c  N dy   363     62762      9662     41605         0     16687    126629   1084724     94.99    100.14  --
59.80/15.05	c  N dy   390     66918      9662     41605         0     20843    126629   1701652     94.86    101.61  --
61.37/15.49	c  S st   408     69418      9662     41605         0     23342    126629   2074442     94.87     86.18  --
61.76/15.59	c  S st   408     69923      9662     41605         0     23847    126629   2125546     94.87   no data  --
62.17/15.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
62.17/15.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.17/15.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.16
62.57/15.77	c bin-w-bin subsume rem            0 bins  time:  0.01 s
62.57/15.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
62.57/15.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
62.57/15.78	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
78.91/19.88	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time: 16.29 s
78.91/19.89	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
79.31/19.91	c vivif2 --  cl tried    23843 cl shrink        0 lits rem          0 time: 0.10
79.31/19.98	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.25
79.31/19.98	c calculated reachability. Time: 0.00
79.31/19.98	c  N dy   408     69923      9662     41605         0     23843    126629   2124656     94.87   no data  --
82.49/20.77	c  N dy   434     74458      9662     41605         0     16417    126629    880840     94.65    101.06  --
86.12/21.64	c  N dy   463     79233      9662     41605         0     21192    126629   1588020     94.59     99.83  --
89.68/22.58	c  N dy   494     84288      9662     41605         0     13267    126629    275207     94.40    100.34  --
92.07/23.13	c  F st   518     87500      9662     41605         0     16479    126629    764351     94.43     94.44  --
94.46/23.73	c  N st   523     90803      9662     41605         0     19782    126629   1351224     94.43   no data  --
98.86/24.86	c  N dy   549     96810      9662     41605         0     25789    126629   2303370     94.30    107.05  --
103.25/25.99	c  N dy   581    103118      9662     41605         0     18104    126629    847041     94.04    104.29  --
104.43/26.29	c  S st   590    104885      9662     41605         0     19871    126629   1099389     93.99   no data  --
104.83/26.38	c  S st   590    105388      9662     41605         0     20374    126629   1153024     93.99   no data  --
104.83/26.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.83/26.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.23/26.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.15
105.23/26.48	c bin-w-bin subsume rem            0 bins  time:  0.01 s
105.23/26.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
105.23/26.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
105.23/26.49	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
113.60/28.56	c lits-rem:        21  cl-subs:        2  v-elim:      0  v-fix:    0  time:  8.21 s
113.60/28.56	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
113.60/28.57	c vivif2 --  cl tried    20372 cl shrink        0 lits rem          0 time: 0.06
114.00/28.63	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.22
114.00/28.63	c calculated reachability. Time: 0.00
114.00/28.63	c  N dy   590    105388      9662     41605         0     20372    126629   1152776     93.99   no data  --
118.79/29.87	c  N dy   634    112131      9662     41605         0     27115    126629   2166020     94.03    100.98  --
124.37/31.28	c  N dy   680    119777      9662     41605         0     19767    126629    947934     93.98    101.78  --
130.40/32.75	c  N dy   726    127464      9662     41605         0     27452    126629   2118538     94.01    103.10  --
136.73/34.31	c  N dy   785    135668      9662     41605         0     19660    126629    792032     94.13    100.33  --
143.13/35.94	c  N dy   842    144468      9662     41605         0     28460    126629   2109205     94.09     99.57  --
150.28/37.73	c  N dy   902    153758      9662     41605         0     20751    126629    825091     94.14    113.13  --
153.47/38.54	c  S st   935    158082      9662     41605         0     25075    126629   1497716     94.27    109.93  --
153.87/38.63	c  S st   935    158582      9662     41605         0     25575    126629   1557946     94.27   no data  --
153.87/38.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
153.87/38.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.87/38.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.17
154.28/38.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
154.28/38.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
154.28/38.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
154.28/38.76	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
165.48/41.51	c lits-rem:        12  cl-subs:        2  v-elim:      0  v-fix:    0  time: 10.93 s
165.48/41.52	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
165.48/41.54	c vivif2 --  cl tried    25573 cl shrink        0 lits rem          0 time: 0.08
165.83/41.60	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.26
165.83/41.60	c calculated reachability. Time: 0.00
165.83/41.60	c  N dy   935    158582      9662     41605         0     25573    126629   1557550     94.27   no data  --
173.83/43.63	c  N dy   998    168699      9662     41605         0     35689    126629   3088469     94.35    112.04  --
181.79/45.63	c  N dy  1061    179484      9662     41605         0     28476    126629   1800620     94.30    102.02  --
190.96/47.94	c  N dy  1131    191063      9662     41605         0     21054    126629    559986     94.30     99.96  --
200.15/50.28	c  N dy  1203    203366      9662     41605         0     33356    126629   2380496     94.13    101.48  --
210.89/52.93	c  N dy  1292    216562      9662     41605         0     26559    126629   1261687     94.18    102.35  --
222.85/55.92	c  N dy  1381    230474      9662     41605         0     40469    126629   3386220     94.26    112.24  --
228.44/57.39	c  S st  1430    237873      9662     41605         0     26867    126629   1133561     94.23     85.48  --
228.84/57.49	c  S st  1430    238375      9662     41605         0     27369    126629   1195418     94.23   no data  --
228.84/57.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
228.84/57.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
229.24/57.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.17
229.24/57.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
229.24/57.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
229.63/57.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
229.63/57.60	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
238.81/59.99	c lits-rem:        19  cl-subs:        1  v-elim:      0  v-fix:    0  time:  9.51 s
238.81/59.99	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
239.21/60.01	c vivif2 --  cl tried    27368 cl shrink        0 lits rem          0 time: 0.06
239.21/60.07	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.26
239.21/60.08	c calculated reachability. Time: 0.00
239.21/60.08	c  N dy  1430    238375      9662     41605         0     27368    126629   1195033     94.23   no data  --
251.97/63.21	c  N dy  1523    253609      9662     41605         0     42600    126629   3457073     94.18    122.08  --
265.12/66.59	c  N dy  1631    269812      9662     41605         0     36805    126629   2521100     94.30    100.07  --
279.87/70.22	c  N dy  1751    287204      9662     41605         0     31200    126629   1487269     94.36    100.42  --
295.83/74.26	c  N dy  1875    305852      9662     41605         0     25845    126629    551515     94.44    102.62  --
296.23/74.34	c  F st  1879    306250      9662     41605         0     26243    126629    612211     94.45   no data  --
312.57/78.47	c  N dy  1984    325704      9662     41605         0     45693    126629   3770108     94.59     99.78  --
329.72/82.71	c  N dy  2116    345775      9662     41605         0     40765    126629   2678932     94.63    103.56  --
340.51/85.45	c  S st  2191    357564      9662     41605         0     26552    126629    371464     94.69     92.73  --
340.93/85.55	c  S st  2191    358068      9662     41605         0     27056    126629    430627     94.69   no data  --
340.93/85.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
340.93/85.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
341.28/85.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.16
341.28/85.63	c bin-w-bin subsume rem            0 bins  time:  0.01 s
341.28/85.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
341.28/85.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
341.28/85.63	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
347.66/87.23	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  6.37 s
347.66/87.24	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
347.66/87.24	c vivif2 --  cl tried    27056 cl shrink        0 lits rem          0 time: 0.02
348.06/87.30	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.25
348.06/87.31	c calculated reachability. Time: 0.00
348.06/87.31	c  N dy  2191    358068      9662     41605         0     27056    126629    430624     94.69   no data  --
365.21/91.67	c  N dy  2338    378410      9662     41605         0     47398    126629   3559850     94.87    100.76  --
382.75/96.00	c  N dy  2465    398478      9662     41605         0     40466    126629   2352103     94.88    120.61  --
401.50/100.80	c  N dy  2599    418483      9662     41605         0     32476    126629   1002950     94.95    100.96  --
419.46/105.29	c  N dy  2724    438643      9662     41605         0     52635    126629   4075116     95.00    101.24  --
437.42/109.74	c  N dy  2855    458707      9662     41605         0     43705    126629   2562087     95.07    101.62  --
456.11/114.49	c  N dy  2983    478830      9662     41605         0     33823    126629    897003     95.09    103.00  --
474.45/119.04	c  N dy  3126    498862      9662     41605         0     53855    126629   3980375     95.22    143.97  --
492.79/123.67	c  N dy  3264    518962      9662     41605         0     42951    126629   2140021     95.30    101.58  --
510.34/128.03	c  S st  3377    537102      9662     41605         0     61091    126629   4904749     95.29   no data  --
510.74/128.18	c  S st  3377    537607      9662     41605         0     61596    126629   4966269     95.29   no data  --
510.74/128.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
510.74/128.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
511.14/128.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.27
512.32/128.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
512.32/128.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
512.32/128.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
512.32/128.53	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.01 s
787.46/197.58	c lits-rem:         8  cl-subs:       12  v-elim:      0  v-fix:    0  time: 274.55 s
787.46/197.58	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
787.88/197.64	c vivif2 --  cl tried    61584 cl shrink        0 lits rem          0 time: 0.23
788.30/197.78	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.55
788.30/197.78	c calculated reachability. Time: 0.00
788.30/197.78	c  N dy  3377    537607      9662     41605         0     61584    126629   4962348     95.29   no data  --
807.38/202.58	c  N dy  3510    557658      9662     41605         0     49638    126629   3063632     95.37    124.49  --
828.11/207.70	c  N dy  3636    577804      9662     41605         0     36784    126629    902196     95.34    100.92  --
847.65/212.60	c  N dy  3777    597866      9662     41605         0     56845    126629   3989058     95.42    102.24  --
867.98/217.73	c  N dy  3907    617919      9662     41605         0     42896    126629   1679024     95.44    100.61  --
888.32/222.87	c  N dy  4034    637966      9662     41605         0     62942    126629   4772716     95.47    102.50  --
908.66/227.97	c  N dy  4166    658016      9662     41605         0     47992    126629   2327499     95.52    104.13  --
929.79/233.28	c  N dy  4291    678046      9662     41605         0     68021    126629   5330034     95.49    100.75  --
949.74/238.30	c  N dy  4422    698119      9662     41605         0     52091    126629   2807943     95.54    101.02  --
971.66/243.81	c  N dy  4543    718158      9662     41605         0     72126    126629   5837935     95.51    100.67  --
991.99/248.83	c  N dy  4676    738174      9662     41605         0     55152    126629   3156482     95.58    101.23  --
1014.72/254.57	c  N dy  4803    758270      9662     41605         0     75246    126629   6286203     95.65    106.39  --
1034.64/259.54	c  N dy  4936    778338      9662     41605         0     57317    126629   3338347     95.68    101.33  --
1057.78/265.35	c  N dy  5064    798448      9662     41605         0     77425    126629   6391553     95.68    101.18  --
1065.75/267.31	c  S st  5116    806411      9662     41605         0     46395    126629   1484377     95.68     83.98  --
1066.15/267.44	c  S st  5116    806917      9662     41605         0     46901    126629   1537815     95.68   no data  --
1066.15/267.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1066.15/267.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1066.55/267.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.23
1066.55/267.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1066.55/267.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1066.55/267.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
1066.55/267.59	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
1080.91/271.10	c lits-rem:         5  cl-subs:        0  v-elim:      0  v-fix:    0  time: 13.97 s
1080.91/271.11	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
1080.91/271.13	c vivif2 --  cl tried    46901 cl shrink        0 lits rem          0 time: 0.09
1081.31/271.23	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.42
1081.31/271.24	c calculated reachability. Time: 0.00
1081.31/271.24	c  N dy  5116    806917      9662     41605         0     46901    126629   1537810     95.68   no data  --
1102.04/276.47	c  N dy  5245    826944      9662     41605         0     66927    126629   4565996     95.68    101.78  --
1124.37/282.04	c  N dy  5369    847024      9662     41605         0     47004    126629   1427762     95.73    122.02  --
1145.10/287.23	c  N dy  5497    867047      9662     41605         0     67025    126629   4473024     95.72    110.06  --
1167.03/292.78	c  N dy  5626    887186      9662     41605         0     46163    126629   1169594     95.75    102.29  --
1186.99/297.81	c  N dy  5761    907275      9662     41605         0     66252    126629   4253711     95.79    100.87  --
1210.09/303.57	c  N dy  5903    927384      9662     41605         0     44363    126629    738598     95.83    108.84  --
1230.04/308.50	c  N dy  6027    947492      9662     41605         0     64470    126629   3814986     95.81    103.62  --
1252.79/314.26	c  N dy  6154    967620      9662     41605         0     84596    126629   6904983     95.84    101.03  --
1273.10/319.30	c  N dy  6288    987705      9662     41605         0     61686    126629   3250019     95.85    101.60  --
1295.83/325.08	c  N dy  6421   1007787      9662     41605         0     81764    126629   6342947     95.87    101.67  --
1318.15/330.62	c  N dy  6560   1027888      9662     41605         0     57865    126629   2516837     95.91    101.80  --
1340.93/336.33	c  N dy  6675   1047916      9662     41605         0     77890    126629   5588473     95.88    101.33  --
1364.00/342.18	c  N dy  6798   1068064      9662     41605         0     53041    126629   1612346     95.88    100.99  --
1367.99/343.12	c  F st  6815   1071876      9662     41605         0     56852    126629   2169584     95.86     86.54  --
1386.34/347.75	c  N dy  6901   1088450      9662     41605         0     73426    126629   4821231     95.89    105.84  --
1411.11/353.93	c  N dy  7036   1108472      9662     41605         0     47452    126629    627365     95.92    102.86  --
1431.40/359.08	c  N dy  7175   1128550      9662     41605         0     67529    126629   3704059     95.95    109.97  --
1455.31/365.03	c  N dy  7309   1148605      9662     41605         0     87583    126629   6803514     95.97    101.61  --
1476.89/370.45	c  N dy  7440   1168647      9662     41605         0     60629    126629   2479049     95.96    104.09  --
1499.57/376.11	c  N dy  7560   1188764      9662     41605         0     80745    126629   5549054     95.95    103.11  --
1523.50/382.15	c  N dy  7695   1208791      9662     41605         0     52770    126629   1172807     95.97    101.91  --
1525.14/382.54	c  S st  7706   1210375      9662     41605         0     54353    126629   1419336     95.97   no data  --
1525.48/382.67	c  S st  7706   1210876      9662     41605         0     54854    126629   1480795     95.97   no data  --
1525.48/382.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1525.48/382.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1525.89/382.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.23
1526.29/382.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1526.29/382.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1526.29/382.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
1526.29/382.82	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
1539.45/386.18	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 13.39 s
1539.45/386.19	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
1539.85/386.21	c vivif2 --  cl tried    54853 cl shrink        0 lits rem          0 time: 0.08
1540.25/386.32	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.46
1540.25/386.33	c calculated reachability. Time: 0.00
1540.25/386.33	c  N dy  7706   1210876      9662     41605         0     54853    126629   1480319     95.97   no data  --
1561.78/391.74	c  N dy  7823   1230949      9662     41605         0     74924    126629   4558437     95.96    103.48  --
1586.54/397.98	c  N dy  7960   1250987      9662     41605         0     94961    126629   7643066     95.99    103.61  --
1608.05/403.38	c  N dy  8097   1271087      9662     41605         0     66061    126629   3031675     96.00    113.26  --
1631.95/409.30	c  N dy  8230   1291258      9662     41605         0     86230    126629   6119857     96.02    105.37  --
1655.47/415.28	c  N dy  8356   1311293      9662     41605         0     56277    126629   1385365     96.03    109.17  --
1677.80/420.85	c  N dy  8490   1331598      9662     41605         0     76580    126629   4494398     96.06    104.03  --
1702.92/427.16	c  N dy  8626   1351687      9662     41605         0     96669    126629   7571733     96.09    113.30  --
1726.47/433.01	c  N dy  8758   1371799      9662     41605         0     65779    126629   2644878     96.10    102.19  --
1750.76/439.10	c  N dy  8892   1391943      9662     41605         0     85923    126629   5697282     96.10    101.74  --
1777.07/445.75	c  N dy  9024   1412322      9662     41605         0     54304    126629    813575     96.12    102.36  --
1798.21/451.08	c  N dy  9147   1432351      9662     41605         0     74332    126629   3854617     96.11    101.73  --
1822.96/457.30	c  N dy  9277   1452514      9662     41605         0     94493    126629   6925317     96.11    101.85  --
1847.25/463.36	c  N dy  9395   1472608      9662     41605         0     61585    126629   1753447     96.10    102.03  --
1869.99/469.05	c  N dy  9530   1492692      9662     41605         0     81668    126629   4867821     96.13    147.02  --
1896.30/475.60	c  N dy  9661   1512773      9662     41605         0    101747    126629   7962033     96.15    101.74  --
1919.45/481.46	c  N dy  9787   1532802      9662     41605         0     67781    126629   2571109     96.16    101.57  --
1942.95/487.34	c  N dy  9918   1552858      9662     41605         0     87835    126629   5647190     96.17    102.06  --
1970.06/494.13	c  N dy 10045   1572875      9662     41605         0    107852    126629   8705037     96.18    103.91  --
1992.79/499.82	c  N dy 10174   1592902      9662     41605         0     72878    126629   3223861     96.19    104.62  --
2018.70/506.37	c  N dy 10307   1612988      9662     41605         0     92964    126629   6290243     96.22    104.02  --
2049.00/513.98	c  N dy 10432   1633061      9662     41605         0     57044    126629    622857     96.23    109.56  --
2072.54/519.90	c  N dy 10565   1653234      9662     41605         0     77213    126629   3709282     96.24    102.11  --
2100.44/526.85	c  N dy 10703   1673287      9662     41605         0     97265    126629   6813006     96.26    102.96  --
2129.98/534.30	c  N dy 10822   1693340      9662     41605         0     60321    126629    984849     96.26    103.94  --
2150.68/539.42	c  S st 10950   1710876      9662     41605         0     77857    126629   3698435     96.28   no data  --
2151.48/539.60	c  S st 10950   1711379      9662     41605         0     78360    126629   3761115     96.28   no data  --
2151.48/539.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2151.48/539.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2151.48/539.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.32
2152.32/539.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2152.32/539.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2152.32/539.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
2152.32/539.89	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
2315.76/580.86	c lits-rem:         1  cl-subs:        8  v-elim:      0  v-fix:    0  time: 162.87 s
2315.76/580.86	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.02
2316.15/580.91	c vivif2 --  cl tried    78352 cl shrink        0 lits rem          0 time: 0.20
2316.56/581.08	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.67
2316.56/581.08	c calculated reachability. Time: 0.00
2316.56/581.08	c  N dy 10950   1711379      9662     41605         0     78352    126629   3758533     96.28   no data  --
2343.28/587.70	c  N dy 11071   1731603      9662     41605         0     98576    126629   6868524     96.29    101.45  --
2371.97/594.97	c  N dy 11204   1751719      9662     41605         0     60692    126629    901519     96.31    101.60  --
2395.50/600.88	c  N dy 11337   1771799      9662     41605         0     80770    126629   4020785     96.33    101.62  --
2422.22/607.57	c  N dy 11464   1791875      9662     41605         0    100846    126629   7080010     96.32    106.01  --
2450.15/614.56	c  N dy 11586   1811932      9662     41605         0     61908    126629    930235     96.34    130.98  --
2472.51/620.19	c  N dy 11715   1832031      9662     41605         0     82005    126629   4051794     96.35    106.76  --
2499.17/626.86	c  N dy 11861   1852141      9662     41605         0    102112    126629   7223189     96.39    101.98  --
2528.28/634.17	c  N dy 12001   1872181      9662     41605         0     62158    126629    829137     96.41    119.93  --
2550.61/639.76	c  N dy 12127   1892225      9662     41605         0     82200    126629   3896400     96.41    106.53  --
2576.92/646.33	c  N dy 12257   1912340      9662     41605         0    102315    126629   6965786     96.41    104.72  --
2606.41/653.78	c  N dy 12387   1932368      9662     41605         0     61342    126629    542303     96.43    101.95  --
2628.74/659.31	c  N dy 12516   1952492      9662     41605         0     81466    126629   3602632     96.43    102.36  --
2654.66/665.84	c  N dy 12644   1972513      9662     41605         0    101486    126629   6664218     96.43    101.90  --
2683.77/673.17	c  N dy 12775   1992524      9662     41605         0    121496    126629   9760608     96.45    103.13  --
2707.69/679.19	c  N dy 12904   2012892      9662     41605         0     79864    126629   3259142     96.45    102.01  --
2734.01/685.71	c  N dy 13040   2032964      9662     41605         0     99930    126629   6363988     96.47    103.44  --
2764.31/693.34	c  N dy 13174   2053564      9662     41605         0    120529    126629   9516211     96.48    104.17  --
2789.42/699.65	c  N dy 13300   2073679      9662     41605         0     77649    126629   2776417     96.48    102.47  --
2815.33/706.15	c  N dy 13424   2093769      9662     41605         0     97738    126629   5865999     96.48    103.05  --
2845.64/713.72	c  N dy 13556   2113781      9662     41605         0    117750    126629   8907031     96.48    104.37  --
2873.95/720.85	c  N dy 13693   2133793      9662     41605         0     73763    126629   2016538     96.50    110.38  --
2899.47/727.21	c  N dy 13816   2153816      9662     41605         0     93784    126629   5103154     96.50    101.68  --
2928.20/734.46	c  N dy 13933   2173840      9662     41605         0    113807    126629   8173867     96.49    103.22  --
2958.90/742.12	c  N dy 14058   2193887      9662     41605         0     68855    126629   1104460     96.50    105.63  --
2979.62/747.37	c  S st 14162   2211379      9662     41605         0     86346    126629   3825265     96.49   no data  --
2980.41/747.57	c  S st 14162   2211881      9662     41605         0     86848    126629   3882283     96.49   no data  --
2980.41/747.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2980.41/747.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2980.83/747.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.34
2981.60/747.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2981.60/747.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2981.60/747.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
2981.60/747.88	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
3157.04/791.88	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 175.14 s
3157.04/791.88	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.02
3157.44/791.93	c vivif2 --  cl tried    86844 cl shrink        0 lits rem          0 time: 0.22
3158.24/792.12	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.76
3158.24/792.13	c calculated reachability. Time: 0.00
3158.24/792.13	c  N dy 14162   2211881      9662     41605         0     86844    126629   3881646     96.49   no data  --
3188.15/799.70	c  N dy 14298   2232041      9662     41605         0    107004    126629   7018720     96.50    104.24  --
3222.49/808.25	c  N dy 14432   2252164      9662     41605         0    127125    126629  10127364     96.51    101.87  --
3251.14/815.40	c  N dy 14568   2272297      9662     41605         0     81260    126629   2852713     96.53    104.45  --
3279.85/822.61	c  N dy 14702   2292301      9662     41605         0    101262    126629   5967676     96.54    103.07  --
3312.95/830.97	c  N dy 14837   2312382      9662     41605         0    121340    126629   9036420     96.54    103.10  --
3345.30/839.05	c  N dy 14955   2332503      9662     41605         0     74469    126629   1660843     96.54    102.58  --
3372.76/845.98	c  N dy 15082   2352647      9662     41605         0     94610    126629   4771295     96.54    101.76  --
3404.25/853.86	c  N dy 15205   2372888      9662     41605         0    114847    126629   7909550     96.54    103.29  --
3440.15/862.86	c  N dy 15345   2392925      9662     41605         0    134882    126629  10997339     96.56    101.66  --
3467.26/869.64	c  N dy 15479   2412993      9662     41605         0     86957    126629   3491127     96.58    101.73  --
3496.76/877.03	c  N dy 15606   2433002      9662     41605         0    106964    126629   6569140     96.58    112.64  --
3530.25/885.47	c  N dy 15732   2453080      9662     41605         0    127041    126629   9685644     96.59    101.83  --
3562.15/893.50	c  N dy 15867   2473307      9662     41605         0     78271    126629   1971969     96.59    102.26  --
3589.26/900.24	c  N dy 16000   2493432      9662     41605         0     98395    126629   5069521     96.60    101.68  --
3620.37/908.01	c  N dy 16136   2513460      9662     41605         0    118422    126629   8160564     96.61    103.85  --
3655.05/916.72	c  N dy 16271   2533490      9662     41605         0    138452    126629  11299494     96.63    103.75  --
3681.77/923.40	c  N dy 16406   2553507      9662     41605         0     88473    126629   3407324     96.64    101.79  --
3710.47/930.65	c  N dy 16531   2573595      9662     41605         0    108559    126629   6491110     96.65    111.14  --
3742.78/938.79	c  N dy 16663   2593721      9662     41605         0    128682    126629   9614352     96.66    106.39  --
3775.86/947.09	c  N dy 16793   2613769      9662     41605         0     77741    126629   1586430     96.66    105.16  --
3804.58/954.21	c  N dy 16926   2633908      9662     41605         0     97877    126629   4731385     96.67    102.94  --
3836.52/962.27	c  N dy 17057   2653934      9662     41605         0    117902    126629   7833308     96.68    102.67  --
3873.15/971.46	c  N dy 17192   2673956      9662     41605         0    137923    126629  10967829     96.70    103.56  --
3903.85/979.14	c  N dy 17323   2693975      9662     41605         0     85944    126629   2725258     96.71    102.73  --
3929.77/985.68	c  S st 17442   2711881      9662     41605         0    103849    126629   5495441     96.71   no data  --
3930.97/985.92	c  S st 17442   2712384      9662     41605         0    104352    126629   5553009     96.71   no data  --
3930.97/985.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3930.97/985.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3931.37/986.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.42
3932.58/986.33	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3932.58/986.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3932.58/986.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   9662 time:  0.01 s
3932.58/986.34	c Removed useless bin:       0  fixed:     0  props:   0.09M  time:  0.02 s
4329.29/1085.83	c lits-rem:         6  cl-subs:        9  v-elim:      0  v-fix:    0  time: 395.60 s
4329.29/1085.83	c vivif2 --  cl tried    41605 cl shrink        0 lits rem          0 time: 0.01
4329.69/1085.90	c vivif2 --  cl tried   104343 cl shrink        0 lits rem          0 time: 0.29
4330.49/1086.12	c asymm  cl-useful: 0/41605/41605 lits-rem:0 time: 0.87
4330.49/1086.13	c calculated reachability. Time: 0.00
4330.49/1086.13	c  N dy 17442   2712384      9662     41605         0    104343    126629   5551032     96.71   no data  --
4361.59/1093.99	c  N dy 17575   2732461      9662     41605         0    124416    126629   8667162     96.72    115.50  --
4397.09/1102.86	c  N dy 17707   2752494      9662     41605         0    144446    126629  11756595     96.73    123.55  --
4423.82/1109.54	c  N dy 17833   2772582      9662     41605         0     91536    126629   3415317     96.73    102.73  --
4453.29/1116.97	c  N dy 17963   2792755      9662     41605         0    111709    126629   6534812     96.73    102.07  --
4486.79/1125.32	c  N dy 18092   2813085      9662     41605         0    132037    126629   9623706     96.73    103.30  --
4521.47/1134.01	c  N dy 18224   2833150      9662     41605         0     78109    126629   1212114     96.74    101.89  --
4548.19/1140.72	c  N dy 18355   2853289      9662     41605         0     98247    126629   4307122     96.74    102.49  --
4578.89/1148.49	c  N dy 18483   2873495      9662     41605         0    118451    126629   7476778     96.75    102.37  --
4613.58/1157.15	c  N dy 18606   2893499      9662     41605         0    138454    126629  10557293     96.76    104.49  --
4646.68/1165.43	c  N dy 18741   2913647      9662     41605         0     83606    126629   1915877     96.77    102.01  --
4674.24/1172.36	c  N dy 18869   2933787      9662     41605         0    103746    126629   5024109     96.78    105.10  --
4706.08/1180.37	c  N dy 19005   2953838      9662     41605         0    123797    126629   8117651     96.78    124.05  --
4741.96/1189.36	c  N dy 19137   2973899      9662     41605         0    143854    126629  11252792     96.80    104.21  --
4774.26/1197.50	c  N dy 19270   2993993      9662     41605         0     87950    126629   2437090     96.80    103.29  --

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-3368535-1305396282/watcher-3368535-1305396282 -o /tmp/evaluation-result-3368535-1305396282/solver-3368535-1305396282 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368535-1305396282.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: 7.62 7.97 7.75 4/382 10992
/proc/meminfo: memFree=14898960/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 729858916 52465664 353 33554432000 4194304 4650419 140736933201008 18446744073709551615 47838748719024 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 12809 353 303 112 0 7774 0
[pid=10992/tid=10995] ppid=10988 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 729858916 52465664 353 33554432000 4194304 4650419 140736933201008 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 729858916 52465664 353 33554432000 4194304 4650419 140736933201008 18446744073709551615 47838748719026 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 729858916 52465664 353 33554432000 4194304 4650419 140736933201008 18446744073709551615 47838748719026 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.027367 s]
/proc/loadavg: 7.62 7.97 7.75 4/382 10992
/proc/meminfo: memFree=14898960/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=291876 CPUtime=0.1 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) D 10988 10992 10272 0 -1 4202496 6802 0 0 0 9 1 0 0 18 0 4 0 729858916 298881024 5783 33554432000 4194304 4650419 140736933201008 18446744073709551615 216734875848 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 80386 7488 369 112 0 75351 0
[pid=10992/tid=10995] ppid=10988 vsize=296920 CPUtime=0.06 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 2668 0 0 0 6 0 0 0 18 0 4 0 729858916 304046080 8701 33554432000 4194304 4650419 140736933201008 18446744073709551615 216735221943 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=296920 CPUtime=0.08 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 2849 0 0 0 8 0 0 0 18 0 4 0 729858916 304046080 9263 33554432000 4194304 4650419 140736933201008 18446744073709551615 216734839841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=296920 CPUtime=0.08 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 2016 0 0 0 8 0 0 0 20 0 4 0 729858916 304046080 9905 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 291876

[startup+0.966321 s]
/proc/loadavg: 7.62 7.97 7.75 4/382 10992
/proc/meminfo: memFree=14898960/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=296920 CPUtime=3.81 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 19273 0 0 0 379 2 0 0 19 0 4 0 729858916 304046080 14961 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 74230 14961 391 112 0 69195 0
[pid=10992/tid=10995] ppid=10988 vsize=296920 CPUtime=0.94 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 5314 0 0 0 93 1 0 0 19 0 4 0 729858916 304046080 14961 33554432000 4194304 4650419 140736933201008 18446744073709551615 4334208 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=296920 CPUtime=0.95 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 5321 0 0 0 95 0 0 0 19 0 4 0 729858916 304046080 14961 33554432000 4194304 4650419 140736933201008 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=296920 CPUtime=0.95 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 2912 0 0 0 95 0 0 0 21 0 4 0 729858916 304046080 14961 33554432000 4194304 4650419 140736933201008 18446744073709551615 4360387 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 296920

[startup+1.00032 s]
/proc/loadavg: 7.62 7.97 7.75 4/382 10992
/proc/meminfo: memFree=14898960/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=297452 CPUtime=3.95 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 19529 0 0 0 393 2 0 0 19 0 4 0 729858916 304590848 15217 33554432000 4194304 4650419 140736933201008 18446744073709551615 4367284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 74363 15217 391 112 0 69328 0
[pid=10992/tid=10995] ppid=10988 vsize=297452 CPUtime=0.98 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 5347 0 0 0 97 1 0 0 19 0 4 0 729858916 304590848 15217 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=297452 CPUtime=0.98 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 5360 0 0 0 98 0 0 0 19 0 4 0 729858916 304590848 15217 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=297452 CPUtime=0.98 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 3064 0 0 0 98 0 0 0 21 0 4 0 729858916 304590848 15217 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 297452

[startup+1.1003 s]
/proc/loadavg: 7.62 7.97 7.75 4/382 10992
/proc/meminfo: memFree=14898960/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=300956 CPUtime=4.36 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 20629 0 0 0 433 3 0 0 19 0 4 0 729858916 308178944 15032 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 75239 15032 393 112 0 70204 0
[pid=10992/tid=10995] ppid=10988 vsize=300956 CPUtime=1.08 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 5445 0 0 0 107 1 0 0 19 0 4 0 729858916 308178944 15032 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=300956 CPUtime=1.08 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 5459 0 0 0 108 0 0 0 19 0 4 0 729858916 308178944 15032 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=300956 CPUtime=1.08 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 3869 0 0 0 108 0 0 0 22 0 4 0 729858916 308178944 15032 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 300956

[startup+1.50023 s]
/proc/loadavg: 7.62 7.97 7.75 4/382 10992
/proc/meminfo: memFree=14898960/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=303384 CPUtime=5.95 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 24042 0 0 0 592 3 0 0 19 0 4 0 729858916 310665216 14046 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363398 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 75846 14046 393 112 0 70811 0
[pid=10992/tid=10995] ppid=10988 vsize=303384 CPUtime=1.47 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 6453 0 0 0 146 1 0 0 20 0 4 0 729858916 310665216 14046 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=303384 CPUtime=1.48 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 6466 0 0 0 148 0 0 0 20 0 4 0 729858916 310665216 14047 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=303384 CPUtime=1.48 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 4255 0 0 0 148 0 0 0 23 0 4 0 729858916 310665216 14047 33554432000 4194304 4650419 140736933201008 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 303384

[startup+3.10095 s]
/proc/loadavg: 7.97 8.04 7.78 10/390 11000
/proc/meminfo: memFree=14770240/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=304804 CPUtime=12.33 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 32798 0 0 0 1228 5 0 0 25 0 4 0 729858916 312119296 16002 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 76201 16002 393 112 0 71166 0
[pid=10992/tid=10995] ppid=10988 vsize=304804 CPUtime=3.05 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 8649 0 0 0 303 2 0 0 25 0 4 0 729858916 312119296 16002 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=304804 CPUtime=3.09 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 8688 0 0 0 308 1 0 0 25 0 4 0 729858916 312119296 16003 33554432000 4194304 4650419 140736933201008 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=304804 CPUtime=3.08 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 6354 0 0 0 308 0 0 0 25 0 4 0 729858916 312119296 16003 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 304804

[startup+6.31439 s]
/proc/loadavg: 7.97 8.03 7.78 10/390 11001
/proc/meminfo: memFree=14656912/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=305596 CPUtime=25.14 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 59447 0 0 0 2503 11 0 0 25 0 4 0 729858916 312930304 28434 33554432000 4194304 4650419 140736933201008 18446744073709551615 4443741 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 76399 28434 395 112 0 71364 0
[pid=10992/tid=10995] ppid=10988 vsize=305596 CPUtime=6.22 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 16601 0 0 0 619 3 0 0 25 0 4 0 729858916 312930304 28434 33554432000 4194304 4650419 140736933201008 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=305596 CPUtime=6.3 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 13084 0 0 0 628 2 0 0 25 0 4 0 729858916 312930304 28434 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=305596 CPUtime=6.3 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 10439 0 0 0 628 2 0 0 25 0 4 0 729858916 312930304 28435 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 305596

[startup+12.7003 s]
/proc/loadavg: 7.97 8.03 7.78 10/390 11001
/proc/meminfo: memFree=14531140/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=323580 CPUtime=50.61 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 93433 0 0 0 5041 20 0 0 25 0 4 0 729858916 331345920 43575 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 80895 43575 395 112 0 75860 0
[pid=10992/tid=10995] ppid=10988 vsize=323580 CPUtime=12.54 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 18969 0 0 0 1250 4 0 0 25 0 4 0 729858916 331345920 43576 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=323580 CPUtime=12.68 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 26883 0 0 0 1263 5 0 0 25 0 4 0 729858916 331345920 43576 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=323580 CPUtime=12.68 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 22748 0 0 0 1264 4 0 0 25 0 4 0 729858916 331345920 43576 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 323580

[startup+25.501 s]
/proc/loadavg: 7.98 8.03 7.78 10/390 11001
/proc/meminfo: memFree=14317368/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=380892 CPUtime=101.64 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 153383 0 0 0 10128 36 0 0 25 0 4 0 729858916 390033408 65100 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 95223 65100 395 112 0 90188 0
[pid=10992/tid=10995] ppid=10988 vsize=380892 CPUtime=25.18 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 36203 0 0 0 2509 9 0 0 25 0 4 0 729858916 390033408 65100 33554432000 4194304 4650419 140736933201008 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=380892 CPUtime=25.47 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 42073 0 0 0 2538 9 0 0 25 0 4 0 729858916 390033408 65100 33554432000 4194304 4650419 140736933201008 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=380892 CPUtime=25.49 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 33505 0 0 0 2541 8 0 0 25 0 4 0 729858916 390033408 65100 33554432000 4194304 4650419 140736933201008 18446744073709551615 4439648 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 380892

[startup+51.1006 s]
/proc/loadavg: 7.98 8.03 7.78 10/390 11002
/proc/meminfo: memFree=14212960/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=586612 CPUtime=203.71 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 230435 0 0 0 20313 58 0 0 25 0 4 0 729858916 600690688 83304 33554432000 4194304 4650419 140736933201008 18446744073709551615 4334526 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 146653 83304 395 112 0 141618 0
[pid=10992/tid=10995] ppid=10988 vsize=586612 CPUtime=50.45 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 54621 0 0 0 5031 14 0 0 25 0 4 0 729858916 600690688 83304 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=586612 CPUtime=51.08 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 66719 0 0 0 5091 17 0 0 25 0 4 0 729858916 600690688 83304 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=586612 CPUtime=51.08 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 51275 0 0 0 5096 12 0 0 25 0 4 0 729858916 600690688 83304 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.71
Current children cumulated vsize (KiB) 586612

[startup+102.301 s]
/proc/loadavg: 7.99 8.02 7.80 10/390 11003
/proc/meminfo: memFree=14055420/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=656244 CPUtime=407.87 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 367065 0 0 0 40688 99 0 0 25 0 4 0 729858916 671993856 92456 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 164061 92456 395 112 0 159026 0
[pid=10992/tid=10995] ppid=10988 vsize=656244 CPUtime=101 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 84525 0 0 0 10078 22 0 0 25 0 4 0 729858916 671993856 92456 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=656244 CPUtime=102.27 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 109268 0 0 0 10197 30 0 0 25 0 4 0 729858916 671993856 92456 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=656244 CPUtime=102.28 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 82358 0 0 0 10207 21 0 0 25 0 4 0 729858916 671993856 92456 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.87
Current children cumulated vsize (KiB) 656244

[startup+162.3 s]

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

[pid=10992] ppid=10988 vsize=1012072 CPUtime=2800.19 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 2395087 0 0 0 279374 645 0 0 25 0 4 0 729858916 1036361728 181468 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 253018 181468 395 112 0 247983 0
[pid=10992/tid=10995] ppid=10988 vsize=1012072 CPUtime=693.38 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 786248 0 0 0 69154 184 0 0 25 0 4 0 729858916 1036361728 181468 33554432000 4194304 4650419 140736933201008 18446744073709551615 4331084 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1012072 CPUtime=702.24 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 660425 0 0 0 70050 174 0 0 25 0 4 0 729858916 1036361728 181468 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1012072 CPUtime=702.27 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 369082 0 0 0 70096 131 0 0 25 0 4 0 729858916 1036361728 181468 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.19
Current children cumulated vsize (KiB) 1012072

[startup+762.301 s]
/proc/loadavg: 8.00 8.06 7.92 10/390 11021
/proc/meminfo: memFree=13408040/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1017852 CPUtime=3039.42 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 2472875 0 0 0 303256 686 0 0 25 0 4 0 729858916 1042280448 182659 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476525 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 254463 182659 395 112 0 249428 0
[pid=10992/tid=10995] ppid=10988 vsize=1017852 CPUtime=752.61 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 810735 0 0 0 75063 198 0 0 25 0 4 0 729858916 1042280448 182659 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1017852 CPUtime=762.23 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 689043 0 0 0 76035 188 0 0 25 0 4 0 729858916 1042280448 182659 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1017852 CPUtime=762.27 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 375248 0 0 0 76094 133 0 0 25 0 4 0 729858916 1042280448 182659 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.42
Current children cumulated vsize (KiB) 1017852

[startup+822.301 s]
/proc/loadavg: 8.00 8.04 7.92 10/390 11022
/proc/meminfo: memFree=13358996/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1033004 CPUtime=3278.67 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 2631247 0 0 0 327133 734 0 0 25 0 4 0 729858916 1057796096 193109 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 258251 193109 395 112 0 253216 0
[pid=10992/tid=10995] ppid=10988 vsize=1033004 CPUtime=811.86 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 817731 0 0 0 80985 201 0 0 25 0 4 0 729858916 1057796096 193109 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1033004 CPUtime=822.23 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 803484 0 0 0 82015 208 0 0 25 0 4 0 729858916 1057796096 193109 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1033004 CPUtime=822.26 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 402158 0 0 0 82076 150 0 0 25 0 4 0 729858916 1057796096 193109 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.67
Current children cumulated vsize (KiB) 1033004

[startup+882.301 s]
/proc/loadavg: 8.06 8.05 7.93 10/390 11024
/proc/meminfo: memFree=13328772/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1085348 CPUtime=3517.89 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 2817568 0 0 0 351001 788 0 0 25 0 4 0 729858916 1111396352 198043 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 271337 198043 395 112 0 266302 0
[pid=10992/tid=10995] ppid=10988 vsize=1085348 CPUtime=871.09 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 817731 0 0 0 86908 201 0 0 25 0 4 0 729858916 1111396352 198043 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1085348 CPUtime=882.23 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 937445 0 0 0 87995 228 0 0 25 0 4 0 729858916 1111396352 198044 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1085348 CPUtime=882.26 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 428069 0 0 0 88058 168 0 0 25 0 4 0 729858916 1111396352 198044 33554432000 4194304 4650419 140736933201008 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.89
Current children cumulated vsize (KiB) 1085348

[startup+942.3 s]
/proc/loadavg: 8.12 8.07 7.94 10/390 11025
/proc/meminfo: memFree=13252688/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1193108 CPUtime=3757.14 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 3055672 0 0 0 374863 851 0 0 25 0 4 0 729858916 1221742592 216574 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 298277 216574 395 112 0 293242 0
[pid=10992/tid=10995] ppid=10988 vsize=1193108 CPUtime=930.33 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 841634 0 0 0 92822 211 0 0 25 0 4 0 729858916 1221742592 216578 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1193108 CPUtime=942.24 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1092710 0 0 0 93974 250 0 0 25 0 4 0 729858916 1221742592 216578 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1193108 CPUtime=942.28 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 460710 0 0 0 94044 184 0 0 25 0 4 0 729858916 1221742592 216578 33554432000 4194304 4650419 140736933201008 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.14
Current children cumulated vsize (KiB) 1193108

[startup+1002.3 s]
/proc/loadavg: 8.13 8.08 7.95 10/390 11027
/proc/meminfo: memFree=13247168/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1195316 CPUtime=3996.35 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 3320377 0 0 0 398719 916 0 0 25 0 4 0 729858916 1224003584 216613 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 298829 216613 395 112 0 293794 0
[pid=10992/tid=10995] ppid=10988 vsize=1195316 CPUtime=989.57 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 863327 0 0 0 98729 228 0 0 25 0 4 0 729858916 1224003584 216613 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1195316 CPUtime=1002.22 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1269784 0 0 0 99944 278 0 0 25 0 4 0 729858916 1224003584 216613 33554432000 4194304 4650419 140736933201008 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1195316 CPUtime=1002.27 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 461041 0 0 0 100043 184 0 0 25 0 4 0 729858916 1224003584 216613 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.35
Current children cumulated vsize (KiB) 1195316

[startup+1062.31 s]
/proc/loadavg: 8.22 8.12 7.97 10/390 11029
/proc/meminfo: memFree=13262636/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1131804 CPUtime=4235.65 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 3573566 0 0 0 422586 979 0 0 25 0 4 0 729858916 1158967296 219262 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 282951 219262 395 112 0 277916 0
[pid=10992/tid=10995] ppid=10988 vsize=1131804 CPUtime=1048.8 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 888278 0 0 0 104636 244 0 0 25 0 4 0 729858916 1158967296 219262 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1131804 CPUtime=1062.24 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1295186 0 0 0 105930 294 0 0 25 0 4 0 729858916 1158967296 219262 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1131804 CPUtime=1062.28 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 463173 0 0 0 106043 185 0 0 25 0 4 0 729858916 1158967296 219262 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4235.65
Current children cumulated vsize (KiB) 1131804

[startup+1122.3 s]
/proc/loadavg: 8.19 8.14 7.99 10/390 11030
/proc/meminfo: memFree=13210620/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1171592 CPUtime=4474.83 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 3836219 0 0 0 446441 1042 0 0 25 0 4 0 729858916 1199710208 226742 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 292898 226742 395 112 0 287863 0
[pid=10992/tid=10995] ppid=10988 vsize=1171592 CPUtime=1108.04 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 978453 0 0 0 110543 261 0 0 25 0 4 0 729858916 1199710208 226742 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1171592 CPUtime=1122.21 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1320761 0 0 0 111916 305 0 0 25 0 4 0 729858916 1199710208 226742 33554432000 4194304 4650419 140736933201008 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1171592 CPUtime=1122.27 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 489194 0 0 0 112029 198 0 0 25 0 4 0 729858916 1199710208 226742 33554432000 4194304 4650419 140736933201008 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4474.83
Current children cumulated vsize (KiB) 1171592

[startup+1182.3 s]
/proc/loadavg: 8.07 8.11 7.99 10/390 11032
/proc/meminfo: memFree=13186980/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1238072 CPUtime=4714.05 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 4056146 0 0 0 470306 1099 0 0 25 0 4 0 729858916 1267785728 228008 33554432000 4194304 4650419 140736933201008 18446744073709551615 4334468 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 309518 228008 395 112 0 304483 0
[pid=10992/tid=10995] ppid=10988 vsize=1238072 CPUtime=1167.27 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1127807 0 0 0 116446 281 0 0 25 0 4 0 729858916 1267785728 228008 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1238072 CPUtime=1182.22 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1343437 0 0 0 117903 319 0 0 25 0 4 0 729858916 1267785728 228008 33554432000 4194304 4650419 140736933201008 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1238072 CPUtime=1182.27 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 514706 0 0 0 118017 210 0 0 25 0 4 0 729858916 1267785728 228008 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4714.05
Current children cumulated vsize (KiB) 1238072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.11 8.12 7.99 10/390 11032
/proc/meminfo: memFree=13207660/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1186084 CPUtime=4800.2 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 4160793 0 0 0 478897 1123 0 0 25 0 4 0 729858916 1214550016 222309 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 296521 222309 395 112 0 291486 0
[pid=10992/tid=10995] ppid=10988 vsize=1186084 CPUtime=1188.61 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1186868 0 0 0 118571 290 0 0 25 0 4 0 729858916 1214550016 222314 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1186084 CPUtime=1203.83 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1370663 0 0 0 120059 324 0 0 25 0 4 0 729858916 1214550016 222314 33554432000 4194304 4650419 140736933201008 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1186084 CPUtime=1203.88 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 523858 0 0 0 120173 215 0 0 25 0 4 0 729858916 1214550016 222314 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1186084

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

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

[startup+1203.9 s]
/proc/loadavg: 8.11 8.12 7.99 10/390 11032
/proc/meminfo: memFree=13207660/32951124 swapFree=65586204/67111528
[pid=10992] ppid=10988 vsize=1186084 CPUtime=4800.2 cores=1,3,5,7
/proc/10992/stat : 10992 (strangenight1-m) R 10988 10992 10272 0 -1 4202496 4160793 0 0 0 478897 1123 0 0 25 0 4 0 729858916 1214550016 222309 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10992/statm: 296521 222309 395 112 0 291486 0
[pid=10992/tid=10995] ppid=10988 vsize=1186084 CPUtime=1188.61 cores=1,3,5,7
/proc/10992/task/10995/stat : 10995 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1186868 0 0 0 118571 290 0 0 25 0 4 0 729858916 1214550016 222314 33554432000 4194304 4650419 140736933201008 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10992/tid=10997] ppid=10988 vsize=1186084 CPUtime=1203.83 cores=1,3,5,7
/proc/10992/task/10997/stat : 10997 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 1370663 0 0 0 120059 324 0 0 25 0 4 0 729858916 1214550016 222314 33554432000 4194304 4650419 140736933201008 18446744073709551615 4443768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10992/tid=10998] ppid=10988 vsize=1186084 CPUtime=1203.88 cores=1,3,5,7
/proc/10992/task/10998/stat : 10998 (strangenight1-m) R 10988 10992 10272 0 -1 4202560 523858 0 0 0 120173 215 0 0 25 0 4 0 729858916 1214550016 222314 33554432000 4194304 4650419 140736933201008 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1186084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.96
CPU time (s): 4800.3
CPU user time (s): 4789.02
CPU system time (s): 11.2793
CPU usage (%): 398.708
Max. virtual memory (cumulated for all children) (KiB): 1238072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.02
system time used= 11.2793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4161183
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= 1599
involuntary context switches= 37041

runsolver used 3.83942 second user time and 11.4563 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 20:04:43
IDJOB=3368535
IDBENCH=82544
IDSOLVER=1846
FILE ID=node119/3368535-1305396282
RUNJOBID= node119-1305396282-10974
PBS_JOBID= 13324436
Free space on /tmp= 73192 MiB

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

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

MD5SUM BENCH= 5fbb493df133934f33cf8a2f736084e5
RANDOM SEED=1061951939

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
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.815
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.815
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.67
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.815
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.815
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.815
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:      14899636 kB
Buffers:        280268 kB
Cached:        4557976 kB
SwapCached:       4756 kB
Active:       14702420 kB
Inactive:      3016116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14899636 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           14380 kB
Writeback:           0 kB
AnonPages:    12878584 kB
Mapped:          29616 kB
Slab:           211468 kB
PageTables:      56424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102456008 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= 73180 MiB
End job on node119 at 2011-05-14 20:24:49