Trace number 3293154

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.29 1201.74

General information on the benchmark

NameSAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w8.shuffled.cnf
MD5SUM82e833e539576c6d79252b19dcace0cf
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.08123
Satisfiable
(Un)Satisfiability was proved
Number of variables10056
Number of clauses271393
Sum of the clauses size550328
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2270136
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51257

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3293154-1304181637.cnf'
0.00/0.00	c -- header says num vars:          10056
0.00/0.00	c -- header says num clauses:      271393
0.33/0.09	c -- clauses added:            0 learnts,       271393 normals,            0 xors
0.33/0.09	c -- vars added      10056
0.33/0.09	c Parsing time:  0.31 s
0.33/0.09	c  N st     0         0     10056      1257    270136         0    550328         0   no data   no data  --
0.33/0.09	c asymm  cl-useful: 0/1257/1257 lits-rem:0 time: 0.00
0.37/0.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.34
0.78/0.22	c bin-w-bin subsume rem            0 bins  time:  0.13 s
0.78/0.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
0.78/0.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  10056 time:  0.13 s
1.17/0.30	c Removed useless bin:       0  fixed:     0  props:   1.39M  time:  0.12 s
1.96/0.52	c lits-rem:         3  cl-subs:       10  v-elim:   1376  v-fix:    0  time:  0.86 s
1.96/0.53	c Finding binary XORs  T:     0.04 s  found:       0
1.96/0.56	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
1.96/0.56	c calculated reachability. Time: 0.01
1.96/0.56	c Calc default polars -  time:   0.02 s pos:    4315 undec:    1376 neg:    4365
1.96/0.56	c =========================================================================================
1.96/0.56	c types(t): F = full restart, N = normal restart
1.96/0.56	c types(t): S = simplification begin/end, E = solution found
1.96/0.56	c restart types(rt): st = static, dy = dynamic
1.96/0.56	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.96/0.56	c  B st     0         0      8680     63335    206667         0    945249         0   no data   no data  --
4.39/1.13	c  N dy    20      4054      8680     63335    206667      3942    945249    101327      8.38      8.89  --
7.16/1.89	c  N dy    37      8995      8680     63335    206671      6340    945249    136496      7.91      8.33  --
10.35/2.61	c  N dy    60     13086      8680     63335    206673      6211    945249    126301      8.12      8.67  --
12.77/3.26	c  N dy    78     17100      8680     63335    206673     10121    945249    218036      8.07      9.50  --
15.95/4.00	c  N dy    98     21265      8680     63335    206677      8695    945249    172180      8.11      8.55  --
18.34/4.61	c  F st   116     25001      8680     63335    206677     12301    945249    250364      8.08      8.04  --
18.74/4.76	c  N st   118     25630      8680     63335    206677     12906    945249    265329      8.08   no data  --
22.73/5.75	c  N dy   122     30000      8680     63335    206677     10606    945249    255856      8.08   no data  --
22.73/5.75	c  S st   122     30000      8680     63335    206677     10606    945249    255856      8.08   no data  --
23.54/5.92	c  S st   122     30503      8680     63335    206677     11107    945249    269536      8.08   no data  --
23.54/5.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
23.54/5.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.36/6.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.3M T:  2.85
26.73/6.70	c bin-w-bin subsume rem            0 bins  time:  0.08 s
29.13/7.37	c subs with bin:       54  lits-rem:        11  v-fix:    0  time:  2.66 s
29.13/7.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.11 s
29.53/7.42	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.09 s
35.14/8.86	c lits-rem:       235  cl-subs:      316  v-elim:      0  v-fix:    0  time:  5.76 s
35.92/9.07	c asymm  cl-useful: 0/10784/63335 lits-rem:0 time: 0.85
35.92/9.08	c calculated reachability. Time: 0.01
35.92/9.08	c  N dy   122     30503      8680     63335    206677     10737    945236    264496      8.08   no data  --
39.14/9.80	c  N dy   145     34648      8680     63335    206682     14776    945236    363856      8.13      8.74  --
42.31/10.62	c  N dy   169     38703      8680     63335    206684     11002    945236    218771      8.19     12.07  --
45.11/11.39	c  N dy   184     42808      8680     63335    206685     15000    945236    315812      8.15      8.61  --
47.92/12.00	c  S st   203     45754      8680     63335    206685      9129    945236    154696      8.17      6.83  --
48.33/12.18	c  S st   203     46259      8680     63335    206685      9631    945236    168968      8.17   no data  --
48.33/12.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
48.33/12.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.50/12.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.0M T:  3.12
51.90/13.01	c bin-w-bin subsume rem            0 bins  time:  0.07 s
53.49/13.42	c subs with bin:       48  lits-rem:         7  v-fix:    0  time:  1.65 s
53.49/13.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
53.49/13.48	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.10 s
55.09/13.88	c lits-rem:        55  cl-subs:      164  v-elim:      0  v-fix:    0  time:  1.62 s
55.49/13.90	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.07
55.49/13.91	c vivif2 --  cl tried     9419 cl shrink        0 lits rem          0 time: 0.03
56.29/14.15	c asymm  cl-useful: 0/11958/63335 lits-rem:0 time: 0.97
56.29/14.16	c calculated reachability. Time: 0.01
56.29/14.16	c  N dy   203     46259      8680     63335    206685      9419    945235    167066      8.17   no data  --
59.49/14.99	c  N dy   219     50421      8680     63335    206686     13456    945235    261427      8.17      8.67  --
63.08/15.82	c  N dy   240     54936      8680     63335    206689     17823    945235    358150      8.16      8.72  --
66.27/16.67	c  N dy   261     59136      8680     63335    206693     12190    945235    213612      8.17      8.60  --
69.48/17.41	c  N dy   286     63159      8680     63335    206697     16100    945235    308561      8.19     10.46  --
72.67/18.29	c  N dy   315     67330      8680     63335    206698     20163    945235    414762      8.28      9.30  --
74.69/18.75	c  S st   329     69390      8680     63335    206702     11468    945235    188145      8.30      7.82  --
75.46/18.93	c  S st   329     69895      8680     63335    206702     11972    945235    203932      8.30   no data  --
75.46/18.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
75.46/18.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.27/19.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 31.7M T:  2.95
78.68/19.72	c bin-w-bin subsume rem            0 bins  time:  0.07 s
80.26/20.18	c subs with bin:     1343  lits-rem:        31  v-fix:    0  time:  1.85 s
80.66/20.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.11 s
80.66/20.23	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.10 s
82.66/20.72	c lits-rem:       128  cl-subs:      273  v-elim:      0  v-fix:    0  time:  1.93 s
82.66/20.73	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.07
82.66/20.74	c vivif2 --  cl tried    10356 cl shrink        0 lits rem          0 time: 0.03
83.48/20.97	c asymm  cl-useful: 0/11355/63335 lits-rem:0 time: 0.89
83.48/20.97	c calculated reachability. Time: 0.01
83.48/20.98	c  N dy   329     69895      8680     63335    206702     10356    945235    186945      8.30   no data  --
87.05/21.88	c  N dy   360     74535      8680     63335    206702     14877    945235    307010      8.36      8.99  --
91.86/23.07	c  N dy   391     80563      8680     63335    206709     20748    945235    449127      8.39      8.85  --
97.03/24.32	c  N dy   434     85769      8680     63335    206711     14188    945235    254873      8.48      8.93  --
98.63/24.71	c  F st   446     87500      8680     63335    206711     15891    945235    300957      8.51   no data  --
103.83/26.03	c  N dy   452     92697      8680     63335    206711     21007    945235    474136      8.51   no data  --
109.83/27.59	c  N dy   495     98616      8680     63335    206713     14113    945235    245555      8.58     10.37  --
115.41/28.98	c  S st   540    104842      8680     63335    206714     20213    945235    406287      8.63      7.65  --
116.20/29.18	c  S st   540    105343      8680     63335    206714     20712    945235    420622      8.63   no data  --
116.20/29.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
116.20/29.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
119.80/30.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.8M T:  3.29
119.80/30.07	c bin-w-bin subsume rem            0 bins  time:  0.07 s
123.01/30.84	c subs with bin:      559  lits-rem:        45  v-fix:    0  time:  3.09 s
123.01/30.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
123.40/30.90	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.10 s
129.79/32.50	c lits-rem:       285  cl-subs:      288  v-elim:      0  v-fix:    0  time:  6.40 s
129.79/32.52	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.07
129.79/32.53	c vivif2 --  cl tried    19865 cl shrink        0 lits rem          0 time: 0.06
130.58/32.76	c asymm  cl-useful: 0/9787/63335 lits-rem:0 time: 0.91
130.58/32.77	c calculated reachability. Time: 0.01
130.58/32.77	c  N dy   540    105343      8680     63335    206714     19865    945235    409518      8.63   no data  --
136.58/34.22	c  N dy   577    112073      8680     63335    206720     26373    945235    573450      8.64      9.11  --
142.57/35.78	c  N dy   627    119247      8680     63335    206721     19741    945235    378665      8.69      9.74  --
150.15/37.67	c  N dy   676    126942      8680     63335    206722     27264    945235    570684      8.73      9.76  --
157.77/39.51	c  N dy   727    135311      8680     63335    206728     20772    945235    384494      8.75      9.22  --
165.34/41.40	c  N dy   773    143973      8680     63335    206730     29188    945235    596696      8.76     10.59  --
174.13/43.65	c  N dy   843    153231      8680     63335    206732     22653    945235    436077      8.82      9.39  --
178.51/44.74	c  S st   870    158016      8680     63335    206737     27316    945235    563551      8.83   no data  --
179.31/44.96	c  S st   870    158519      8680     63335    206737     27817    945235    580513      8.83   no data  --
179.31/44.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
179.31/44.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.91/45.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 33.9M T:  3.49
183.32/45.90	c bin-w-bin subsume rem            0 bins  time:  0.07 s
187.31/46.99	c subs with bin:     1742  lits-rem:       203  v-fix:    0  time:  4.35 s
187.71/47.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.11 s
187.71/47.05	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.09 s
190.90/47.89	c lits-rem:       207  cl-subs:      397  v-elim:      0  v-fix:    0  time:  3.37 s
191.30/47.91	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.07
191.30/47.93	c vivif2 --  cl tried    25678 cl shrink        0 lits rem          0 time: 0.09
192.10/48.16	c asymm  cl-useful: 0/9264/63335 lits-rem:0 time: 0.91
192.10/48.17	c calculated reachability. Time: 0.01
192.10/48.17	c  N dy   870    158519      8680     63335    206737     25678    945235    556157      8.83   no data  --
202.49/50.78	c  N dy   933    168734      8680     63335    206744     19118    945235    334249      8.88     10.78  --
214.47/53.70	c  N dy  1019    179550      8680     63335    206746     29719    945235    638032      8.95     12.22  --
226.85/56.82	c  N dy  1089    191037      8680     63335    206746     23405    945235    445391      8.99      9.48  --
240.03/60.11	c  N dy  1174    203245      8680     63335    206755     35417    945235    804752      9.05      9.58  --
254.02/63.64	c  N dy  1257    216441      8680     63335    206756     29690    945235    604621      9.09      9.60  --
268.79/67.33	c  N dy  1352    230331      8680     63335    206758     23690    945235    414935      9.14     11.23  --
276.40/69.29	c  S st  1409    237779      8680     63335    206759     31010    945235    624610      9.18      8.38  --
277.57/69.51	c  S st  1409    238280      8680     63335    206759     31507    945235    642964      9.18   no data  --
277.57/69.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
277.57/69.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
281.20/70.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 34.8M T:  3.77
281.57/70.53	c bin-w-bin subsume rem            0 bins  time:  0.07 s
285.97/71.61	c subs with bin:      446  lits-rem:        53  v-fix:    0  time:  4.33 s
285.97/71.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
285.97/71.66	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.10 s
289.58/72.53	c lits-rem:       231  cl-subs:      513  v-elim:      0  v-fix:    0  time:  3.45 s
289.58/72.55	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.07
289.58/72.57	c vivif2 --  cl tried    30548 cl shrink        0 lits rem          0 time: 0.10
290.35/72.79	c asymm  cl-useful: 0/8352/63335 lits-rem:0 time: 0.87
290.75/72.80	c calculated reachability. Time: 0.01
290.75/72.80	c  N dy  1409    238280      8680     63335    206759     30548    945235    630121      9.18   no data  --
308.74/77.35	c  N dy  1502    254697      8680     63335    206764     26018    945235    450532      9.20      9.72  --
324.32/81.29	c  N dy  1575    271012      8680     63335    206769     41973    945235    879373      9.20      9.90  --
342.31/85.76	c  N dy  1662    288425      8680     63335    206772     37439    945235    758512      9.21      9.69  --
362.26/90.77	c  F st  1785    306253      8680     63335    206773     32448    945235    643984      9.25   no data  --
363.47/91.01	c  N st  1787    306879      8680     63335    206773     33068    945235    661748      9.25   no data  --
386.65/96.85	c  N dy  1892    327587      8680     63335    206778     29845    945235    540380      9.28      9.81  --
410.60/102.82	c  N dy  2005    347635      8680     63335    206782     24984    945235    396884      9.31     11.19  --
420.19/105.20	c  S st  2063    357421      8680     63335    206784     34550    945235    655201      9.31   no data  --
420.99/105.40	c  S st  2063    357923      8680     63335    206784     35045    945235    670385      9.31   no data  --
420.99/105.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
420.99/105.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
424.58/106.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 35.1M T:  3.86
424.98/106.44	c bin-w-bin subsume rem            0 bins  time:  0.07 s
429.37/107.55	c subs with bin:     1291  lits-rem:       308  v-fix:    0  time:  4.43 s
429.37/107.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
429.78/107.60	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.09 s
432.97/108.45	c lits-rem:       241  cl-subs:      515  v-elim:      0  v-fix:    0  time:  3.37 s
432.97/108.47	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.08
432.97/108.49	c vivif2 --  cl tried    33239 cl shrink        9 lits rem          9 time: 0.10
433.37/108.52	c asymm  cl-useful: 0/578/63335 lits-rem:0 time: 0.09
433.37/108.53	c calculated reachability. Time: 0.01
433.37/108.53	c  N dy  2063    357923      8680     63335    206784     33239    945235    651011      9.31   no data  --
461.72/115.62	c  N dy  2191    381411      8680     63335    206788     30765    945235    547915      9.32      9.87  --
486.10/121.78	c  N dy  2301    402501      8680     63335    206792     51428    945235   1127022      9.34      9.86  --
512.45/128.36	c  N dy  2411    424272      8680     63335    206793     46361    945235    985685      9.35      9.87  --
536.42/134.34	c  N dy  2524    444335      8680     63335    206797     38606    945235    778894      9.38     10.80  --
562.79/140.94	c  N dy  2641    464613      8680     63335    206802     30063    945235    498266      9.40      9.92  --
585.55/146.69	c  N dy  2754    484628      8680     63335    206805     49662    945235   1053082      9.42     11.22  --
611.52/153.15	c  N dy  2892    504924      8680     63335    206806     40178    945235    777981      9.44     10.02  --
636.29/159.36	c  N dy  3003    524984      8680     63335    206808     59902    945235   1334092      9.46     13.08  --
650.67/162.91	c  S st  3083    536885      8680     63335    206808     41182    945235    808525      9.47   no data  --
651.47/163.16	c  S st  3083    537387      8680     63335    206808     41684    945235    823155      9.47   no data  --
651.47/163.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
651.47/163.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
655.86/164.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 36.7M T:  4.13
655.86/164.27	c bin-w-bin subsume rem            0 bins  time:  0.07 s
660.25/165.38	c subs with bin:      260  lits-rem:       137  v-fix:    0  time:  4.43 s
660.65/165.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
660.65/165.43	c Removed useless bin:       0  fixed:     0  props:   1.06M  time:  0.10 s
664.65/166.46	c lits-rem:       240  cl-subs:      720  v-elim:      0  v-fix:    0  time:  4.12 s
664.65/166.48	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.08
665.05/166.51	c vivif2 --  cl tried    40704 cl shrink       26 lits rem         26 time: 0.12
665.85/166.74	c asymm  cl-useful: 0/7244/63335 lits-rem:0 time: 0.92
665.85/166.75	c calculated reachability. Time: 0.01
665.85/166.75	c  N dy  3083    537387      8680     63335    206808     40704    945235    810758      9.47   no data  --
693.01/173.59	c  N dy  3185    557469      8680     63335    206810     60337    945235   1363062      9.48     11.38  --
717.77/179.71	c  N dy  3303    577622      8680     63335    206811     48731    945235   1020423      9.50     10.15  --
744.94/186.59	c  N dy  3446    597855      8680     63335    206811     36264    945235    642831      9.53     10.31  --
771.30/193.17	c  N dy  3583    617939      8680     63335    206811     55988    945235   1238499      9.56     10.62  --
798.07/199.84	c  N dy  3684    637967      8680     63335    206813     42209    945235    775009      9.56     11.56  --
827.22/207.18	c  N dy  3811    657986      8680     63335    206815     61892    945235   1356189      9.58     10.68  --
853.98/213.87	c  N dy  3923    678369      8680     63335    206830     47520    945235    907790      9.59     10.18  --
883.17/221.19	c  N dy  4056    698373      8680     63335    206832     67199    945235   1499246      9.62     12.74  --
907.52/227.29	c  N dy  4135    718813      8680     63335    206837     51782    945235    977428      9.60     10.11  --
935.90/234.38	c  N dy  4266    738922      8680     63335    206841     71576    945235   1577227      9.63     10.16  --
962.26/240.95	c  N dy  4392    758988      8680     63335    206843     54947    945235   1106815      9.64     12.14  --
990.21/247.97	c  N dy  4510    779026      8680     63335    206845     37359    945235    559003      9.65     10.32  --
1015.77/254.31	c  N dy  4614    799560      8680     63335    206847     57528    945235   1137645      9.66     10.32  --
1024.56/256.59	c  S st  4650    806081      8680     63335    206847     63931    945235   1326039      9.66      9.27  --
1025.76/256.82	c  S st  4650    806586      8680     63335    206847     64435    945235   1340681      9.66   no data  --
1025.76/256.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1025.76/256.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1030.55/258.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P: 39.5M T:  4.76
1030.95/258.11	c bin-w-bin subsume rem            0 bins  time:  0.07 s
1035.74/259.34	c subs with bin:      515  lits-rem:        99  v-fix:    0  time:  4.92 s
1035.74/259.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
1035.74/259.39	c Removed useless bin:       0  fixed:     0  props:   1.05M  time:  0.09 s
1044.93/261.60	c lits-rem:       243  cl-subs:     1514  v-elim:      0  v-fix:    0  time:  8.81 s
1044.93/261.62	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.07
1044.93/261.67	c vivif2 --  cl tried    62406 cl shrink       68 lits rem         68 time: 0.22
1046.12/261.95	c asymm  cl-useful: 0/7891/63335 lits-rem:0 time: 1.09
1046.12/261.96	c calculated reachability. Time: 0.01
1046.12/261.96	c  N dy  4650    806586      8680     63335    206854     62406    945235   1312513      9.66   no data  --
1074.08/268.95	c  N dy  4766    826674      8680     63335    206857     43836    945235    725977      9.66     10.26  --
1103.65/276.39	c  N dy  4813    846752      8680     63335    206861     63354    945235   1230016      9.64     10.26  --
1135.60/284.32	c  N dy  4930    866865      8680     63335    206863     44011    945235    729533      9.65     10.17  --
1162.77/291.16	c  N dy  5048    887523      8680     63335    206865     64356    945235   1343754      9.66     10.19  --
1191.92/298.48	c  N dy  5157    907554      8680     63335    206866     43767    945235    694729      9.67     11.99  --
1220.69/305.64	c  N dy  5276    927609      8680     63335    206868     63525    945235   1302180      9.68     13.46  --
1251.04/313.26	c  N dy  5388    948013      8680     63335    206870     42308    945235    631900      9.68     10.27  --
1277.01/319.74	c  N dy  5491    968021      8680     63335    206873     61958    945235   1199347      9.69     10.26  --
1306.56/327.19	c  N dy  5596    988036      8680     63335    206875     81615    945235   1782932      9.69     10.21  --
1335.75/334.42	c  N dy  5695   1008105      8680     63335    206875     59113    945235   1088175      9.69     10.29  --
1364.48/341.65	c  N dy  5815   1028172      8680     63335    206877     78828    945235   1662693      9.70     11.80  --
1391.25/348.35	c  N dy  5919   1048196      8680     63335    206878     55232    945235    979632      9.70     10.29  --
1420.40/355.64	c  N dy  6022   1068273      8680     63335    206878     74983    945235   1554719      9.71     10.80  --
1425.99/357.07	c  F st  6045   1071875      8680     63335    206878     78533    945235   1658346      9.71      9.41  --
1450.76/363.26	c  N dy  6125   1088828      8680     63335    206879     50966    945235    820793      9.71     10.30  --
1479.93/370.53	c  N dy  6240   1108908      8680     63335    206880     70717    945235   1430160      9.72     11.23  --
1513.09/378.88	c  N dy  6367   1128951      8680     63335    206891     90438    945235   2015791      9.73     10.45  --
1540.64/385.70	c  N dy  6477   1149201      8680     63335    206892     65032    945235   1213434      9.74     10.26  --
1574.60/394.23	c  N dy  6592   1169355      8680     63335    206893     84848    945235   1777956      9.74     10.40  --
1603.78/401.56	c  N dy  6683   1189370      8680     63335    206894     58295    945235   1004479      9.74     10.26  --
1635.71/409.59	c  N dy  6805   1209704      8680     63335    206897     78272    945235   1579773      9.75     10.32  --
1636.11/409.66	c  S st  6807   1209881      8680     63335    206897     78448    945235   1585757      9.75   no data  --
1637.31/409.98	c  S st  6807   1210386      8680     63335    206897     78949    945235   1600325      9.75   no data  --
1637.71/410.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1637.71/410.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1642.92/411.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 41.9M T:  5.24
1643.33/411.41	c bin-w-bin subsume rem            0 bins  time:  0.07 s
1648.10/412.68	c subs with bin:      511  lits-rem:       239  v-fix:    0  time:  5.08 s
1648.50/412.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
1648.50/412.73	c Removed useless bin:       0  fixed:     0  props:   1.05M  time:  0.10 s
1660.91/415.84	c lits-rem:       325  cl-subs:     1824  v-elim:      0  v-fix:    0  time: 12.40 s
1660.91/415.86	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.08
1661.28/415.93	c vivif2 --  cl tried    76614 cl shrink       65 lits rem         65 time: 0.27
1662.48/416.21	c asymm  cl-useful: 0/6955/63335 lits-rem:0 time: 1.12
1662.48/416.22	c calculated reachability. Time: 0.01
1662.48/416.22	c  N dy  6807   1210386      8680     63335    206897     76614    945235   1567217      9.75   no data  --
1692.44/423.73	c  N dy  6905   1230438      8680     63335    206904     49188    945235    736190      9.75     10.28  --
1719.60/430.56	c  N dy  6987   1250824      8680     63335    206908     69036    945235   1246130      9.75     10.30  --
1751.97/438.62	c  N dy  7076   1271128      8680     63335    206910     88892    945235   1793818      9.75     10.30  --
1782.71/446.34	c  N dy  7199   1291244      8680     63335    206910     60702    945235   1050649      9.75     10.51  --
1813.87/454.14	c  N dy  7313   1311251      8680     63335    206910     80377    945235   1612808      9.76     11.39  --
1845.06/461.91	c  N dy  7380   1331329      8680     63335    206913     50989    945235    751541      9.75     11.56  --
1874.20/469.29	c  N dy  7495   1351364      8680     63335    206914     70676    945235   1324758      9.75     10.62  --
1906.57/477.36	c  N dy  7600   1371623      8680     63335    206916     90568    945235   1891848      9.76     10.36  --
1938.50/485.37	c  N dy  7701   1391780      8680     63335    206916     60368    945235   1009015      9.76     10.31  --
1969.67/493.10	c  N dy  7819   1411798      8680     63335    206917     80048    945235   1583252      9.77     11.93  --
2001.22/501.00	c  N dy  7904   1431869      8680     63335    206917     99675    945235   2115780      9.76     10.40  --
2030.38/508.34	c  N dy  8010   1451985      8680     63335    206917     68382    945235   1222609      9.77     10.35  --
2062.74/516.42	c  N dy  8152   1472087      8680     63335    206921     88159    945235   1807459      9.78     11.16  --
2094.70/524.48	c  N dy  8268   1492150      8680     63335    206922     55823    945235    841665      9.78     10.35  --
2122.27/531.37	c  N dy  8369   1512870      8680     63335    206924     76158    945235   1429418      9.78     10.32  --
2157.43/540.15	c  N dy  8459   1534452      8680     63335    206925     97347    945235   2028483      9.79     10.33  --
2188.96/548.01	c  N dy  8578   1554510      8680     63335    206925     64070    945235   1069321      9.79     10.35  --
2218.94/555.51	c  N dy  8683   1574578      8680     63335    206927     83765    945235   1632325      9.79     11.02  --
2254.10/564.31	c  N dy  8796   1594744      8680     63335    206927    103518    945235   2203650      9.80     10.33  --
2285.62/572.20	c  N dy  8858   1614817      8680     63335    206934     69162    945235   1167963      9.79     10.34  --
2315.99/579.83	c  N dy  8958   1634842      8680     63335    206935     88844    945235   1742694      9.80     11.21  --
2350.36/588.40	c  N dy  9077   1655228      8680     63335    206939    108896    945235   2347600      9.80     10.35  --
2376.72/595.01	c  N dy  9167   1675361      8680     63335    206941     73690    945235   1289319      9.80     10.32  --
2408.27/602.92	c  N dy  9285   1695442      8680     63335    206942     93438    945235   1866228      9.80     13.14  --
2434.25/609.43	c  S st  9359   1710386      8680     63335    206942    108079    945235   2286427      9.81      9.16  --
2435.43/609.75	c  S st  9359   1710888      8680     63335    206942    108576    945235   2299637      9.81   no data  --
2435.43/609.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2435.43/609.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2441.42/611.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 45.2M T:  5.91
2441.82/611.37	c bin-w-bin subsume rem            0 bins  time:  0.07 s
2447.43/612.72	c subs with bin:      493  lits-rem:       182  v-fix:    0  time:  5.38 s
2447.43/612.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
2447.43/612.78	c Removed useless bin:       0  fixed:     0  props:   1.05M  time:  0.10 s
2471.78/618.87	c lits-rem:       248  cl-subs:     2744  v-elim:      0  v-fix:    0  time: 24.33 s
2471.78/618.89	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.08
2472.18/618.98	c vivif2 --  cl tried   105339 cl shrink      255 lits rem        259 time: 0.38
2473.39/619.27	c asymm  cl-useful: 0/6539/63335 lits-rem:0 time: 1.13
2473.39/619.28	c calculated reachability. Time: 0.01
2473.39/619.28	c  N dy  9359   1710888      8680     63335    206942    105339    945235   2253643      9.81   no data  --
2505.73/627.34	c  N dy  9488   1730955      8680     63335    206945     69136    945235   1183082      9.81     10.33  --
2538.89/635.65	c  N dy  9606   1751026      8680     63335    206947     88881    945235   1751843      9.82     12.24  --
2571.65/643.83	c  N dy  9716   1771113      8680     63335    206947    108595    945235   2298490      9.82     10.37  --
2605.22/652.28	c  N dy  9823   1791124      8680     63335    206948     71288    945235   1184679      9.82     10.48  --
2637.95/660.43	c  N dy  9914   1811417      8680     63335    206949     91162    945235   1737087      9.82     10.40  --
2674.71/669.66	c  N dy 10046   1831458      8680     63335    206949    110908    945235   2329383      9.83     10.35  --
2708.26/678.04	c  N dy 10160   1851553      8680     63335    206953     72697    945235   1242182      9.83     12.16  --
2737.83/685.48	c  N dy 10255   1871749      8680     63335    206954     92464    945235   1788037      9.83     10.36  --
2773.38/694.30	c  N dy 10354   1891786      8680     63335    206955    112131    945235   2369854      9.83     12.19  --
2804.92/702.20	c  N dy 10446   1911789      8680     63335    206959     72915    945235   1232771      9.84     10.68  --
2838.10/710.58	c  N dy 10537   1931871      8680     63335    206959     92567    945235   1781392      9.84     10.84  --
2872.44/719.12	c  N dy 10625   1951874      8680     63335    206961    112225    945235   2355570      9.84     10.36  --
2905.59/727.45	c  N dy 10733   1972265      8680     63335    206963     72407    945235   1208019      9.84     10.37  --
2937.55/735.40	c  N dy 10857   1992413      8680     63335    206965     92157    945235   1792859      9.84     10.47  --
2971.10/743.87	c  N dy 10961   2012471      8680     63335    206966    111826    945235   2359402      9.85     11.63  --
3003.06/751.89	c  N dy 11055   2032491      8680     63335    206967     70592    945235   1118616      9.85     10.40  --
3034.62/759.79	c  N dy 11146   2052524      8680     63335    206968     90237    945235   1671484      9.85     10.62  --
3070.58/768.74	c  N dy 11270   2072725      8680     63335    206969    110081    945235   2255583      9.85     10.39  --
3104.13/777.16	c  N dy 11357   2093082      8680     63335    206971     68230    945235   1038248      9.85     10.45  --
3137.68/785.58	c  N dy 11466   2113181      8680     63335    206971     87964    945235   1622516      9.85     12.45  --
3177.62/795.57	c  N dy 11559   2133253      8680     63335    206972    107660    945235   2201638      9.85     11.27  --
3213.97/804.68	c  N dy 11656   2153829      8680     63335    206972     65038    945235    923609      9.85     10.39  --
3244.33/812.21	c  N dy 11752   2174230      8680     63335    206972     85029    945235   1476162      9.85     10.38  --
3278.29/820.79	c  N dy 11835   2194549      8680     63335    206974    105005    945235   2029154      9.85     10.45  --
3309.85/828.60	c  S st 11933   2210891      8680     63335    206974    121074    945235   2504358      9.85   no data  --
3310.65/828.89	c  S st 11933   2211393      8680     63335    206974    121572    945235   2518495      9.85   no data  --
3311.05/828.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3311.05/828.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3317.06/830.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 44.5M T:  6.06
3317.46/830.56	c bin-w-bin subsume rem            0 bins  time:  0.07 s
3323.03/831.94	c subs with bin:      233  lits-rem:       306  v-fix:    0  time:  5.52 s
3323.03/831.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
3323.03/831.99	c Removed useless bin:       0  fixed:     0  props:   1.05M  time:  0.10 s
3368.97/843.46	c lits-rem:       198  cl-subs:     3090  v-elim:      0  v-fix:    0  time: 45.79 s
3368.97/843.48	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.08
3369.37/843.59	c vivif2 --  cl tried   118249 cl shrink      551 lits rem        552 time: 0.44
3370.57/843.88	c asymm  cl-useful: 0/5711/63335 lits-rem:0 time: 1.15
3370.57/843.89	c calculated reachability. Time: 0.01
3370.57/843.89	c  N dy 11933   2211393      8680     63335    206974    118249    945235   2468450      9.85   no data  --
3405.34/852.54	c  N dy 12025   2231473      8680     63335    206977     74211    945235   1197196      9.85     10.39  --
3439.68/861.14	c  N dy 12125   2251551      8680     63335    206977     93931    945235   1755643      9.86     10.67  --
3475.65/870.15	c  N dy 12244   2271651      8680     63335    206978    113647    945235   2347523      9.86     10.39  --
3514.79/879.96	c  N dy 12344   2291660      8680     63335    206981     68517    945235   1004862      9.86     10.39  --
3547.53/888.18	c  N dy 12438   2312853      8680     63335    206981     89265    945235   1594697      9.86     10.39  --
3583.08/897.02	c  N dy 12545   2332893      8680     63335    206982    108895    945235   2155175      9.86     11.30  --
3623.43/907.11	c  N dy 12647   2353188      8680     63335    206982    128787    945235   2721380      9.86     10.39  --
3656.17/915.30	c  N dy 12745   2373337      8680     63335    206982     82883    945235   1399907      9.86     10.41  --
3699.34/926.11	c  N dy 12824   2396952      8680     63335    206985    105936    945235   2013524      9.86     10.50  --
3733.67/934.72	c  N dy 12910   2417012      8680     63335    206990    125568    945235   2567994      9.86     10.54  --
3767.23/943.12	c  N dy 13000   2437040      8680     63335    206992     78579    945235   1243559      9.86     10.48  --
3801.98/951.87	c  N dy 13091   2457112      8680     63335    206992     98232    945235   1789849      9.86     11.50  --
3836.33/960.46	c  N dy 13182   2477189      8680     63335    206992    117901    945235   2351544      9.86     10.49  --
3875.87/970.39	c  N dy 13281   2497374      8680     63335    206993     70087    945235   1001313      9.86     10.41  --
3906.64/978.09	c  N dy 13395   2517475      8680     63335    206995     89784    945235   1583952      9.86     10.39  --
3942.19/986.91	c  N dy 13507   2537629      8680     63335    206995    109564    945235   2145054      9.86     10.39  --
3984.14/997.45	c  N dy 13624   2557649      8680     63335    206995    129225    945235   2716432      9.87     10.40  --
4022.48/1007.09	c  N dy 13699   2578244      8680     63335    206997     80770    945235   1283528      9.87     10.39  --
4056.83/1015.68	c  N dy 13794   2598416      8680     63335    206998    100493    945235   1850279      9.87     10.46  --
4095.20/1025.21	c  N dy 13902   2619564      8680     63335    206999    121173    945235   2438329      9.87     10.42  --
4137.93/1035.95	c  N dy 13999   2639644      8680     63335    207003     71293    945235   1009512      9.87     10.50  --
4169.90/1043.90	c  N dy 14074   2659693      8680     63335    207008     90906    945235   1573065      9.87     11.47  --
4206.64/1053.14	c  N dy 14193   2679811      8680     63335    207009    110704    945235   2161524      9.87     10.49  --
4248.58/1063.65	c  N dy 14264   2699889      8680     63335    207012    130336    945235   2682956      9.87     12.29  --
4272.94/1069.73	c  S st 14334   2711393      8680     63335    207012     71085    945235    986191      9.87   no data  --
4274.14/1070.02	c  S st 14334   2711897      8680     63335    207012     71586    945235   1000745      9.87   no data  --
4274.14/1070.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4274.14/1070.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4278.93/1071.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P: 40.5M T:  4.98
4279.35/1071.35	c bin-w-bin subsume rem            0 bins  time:  0.07 s
4282.93/1072.29	c subs with bin:      800  lits-rem:       234  v-fix:    0  time:  3.75 s
4283.33/1072.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   8680 time:  0.12 s
4283.33/1072.34	c Removed useless bin:       0  fixed:     0  props:   1.05M  time:  0.10 s
4288.54/1073.67	c lits-rem:        83  cl-subs:      401  v-elim:      0  v-fix:    0  time:  5.27 s
4288.54/1073.68	c vivif2 --  cl tried    63335 cl shrink        0 lits rem          0 time: 0.08
4288.91/1073.73	c vivif2 --  cl tried    70385 cl shrink        5 lits rem          5 time: 0.18
4289.71/1073.98	c asymm  cl-useful: 0/6528/63335 lits-rem:0 time: 1.01
4289.71/1073.99	c calculated reachability. Time: 0.01
4289.71/1073.99	c  N dy 14334   2711897      8680     63335    207011     70385    945235    991297      9.87   no data  --
4322.08/1082.06	c  N dy 14415   2731941      8680     63335    207016     89930    945235   1521070      9.87     12.04  --
4356.43/1090.69	c  N dy 14516   2751966      8680     63335    207016    109528    945235   2073314      9.87     10.49  --
4394.00/1100.04	c  N dy 14608   2772027      8680     63335    207017    129200    945235   2630023      9.87     10.39  --
4430.73/1109.28	c  N dy 14698   2792170      8680     63335    207018     77478    945235   1169357      9.87     10.40  --
4473.47/1119.96	c  N dy 14807   2816842      8680     63335    207020    101591    945235   1833590      9.87     10.48  --
4508.63/1128.74	c  N dy 14902   2837314      8680     63335    207020    121617    945235   2361089      9.87     10.44  --
4548.17/1138.66	c  N dy 14976   2857373      8680     63335    207023    141229    945235   2880947      9.86     12.79  --
4587.33/1148.41	c  N dy 15055   2879261      8680     63335    207024     90229    945235   1493671      9.86     10.39  --
4624.46/1157.78	c  N dy 15129   2900137      8680     63335    207024    110636    945235   2061593      9.86     10.51  --
4662.41/1167.21	c  N dy 15218   2920257      8680     63335    207026    130337    945235   2602114      9.86     10.44  --
4704.36/1177.78	c  N dy 15328   2940287      8680     63335    207027     76578    945235   1102060      9.86     10.42  --
4735.12/1185.44	c  N dy 15429   2960484      8680     63335    207027     96359    945235   1678342      9.87     10.52  --
4772.65/1194.88	c  N dy 15520   2980568      8680     63335    207027    116104    945235   2275002      9.87     11.08  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3293154-1304181637/watcher-3293154-1304181637 -o /tmp/evaluation-result-3293154-1304181637/solver-3293154-1304181637 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3293154-1304181637.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: 8.19 8.10 8.02 5/180 11020
/proc/meminfo: memFree=30358604/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 529762477 52465664 352 33554432000 4194304 4650419 140736415951040 18446744073709551615 235594922993 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 12809 352 303 112 0 7774 0
[pid=11020/tid=11021] ppid=11018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529762478 52465664 356 33554432000 4194304 4650419 140736415951040 18446744073709551615 47646700865458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529762478 52465664 356 33554432000 4194304 4650419 140736415951040 18446744073709551615 47646700865452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529762478 52465664 356 33554432000 4194304 4650419 140736415951040 18446744073709551615 235589913686 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.089063 s]
/proc/loadavg: 8.19 8.10 8.02 5/180 11020
/proc/meminfo: memFree=30358604/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=296352 CPUtime=0.33 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 10542 0 0 0 30 3 0 0 25 0 4 0 529762477 303464448 9524 33554432000 4194304 4650419 140736415951040 18446744073709551615 235594527777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 74088 9525 354 112 0 69053 0
[pid=11020/tid=11021] ppid=11018 vsize=296352 CPUtime=0.07 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 2512 0 0 0 7 0 0 0 25 0 4 0 529762478 303464448 9525 33554432000 4194304 4650419 140736415951040 18446744073709551615 235594531840 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=296352 CPUtime=0.07 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 2498 0 0 0 7 0 0 0 25 0 4 0 529762478 303464448 9527 33554432000 4194304 4650419 140736415951040 18446744073709551615 4372331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=296352 CPUtime=0.07 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 2606 0 0 0 7 0 0 0 25 0 4 0 529762478 303464448 9527 33554432000 4194304 4650419 140736415951040 18446744073709551615 4528829 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 296352

[startup+0.10106 s]
/proc/loadavg: 8.19 8.10 8.02 5/180 11020
/proc/meminfo: memFree=30358604/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=296544 CPUtime=0.37 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 11114 0 0 0 34 3 0 0 25 0 4 0 529762477 303661056 10051 33554432000 4194304 4650419 140736415951040 18446744073709551615 4369093 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 74136 10052 372 112 0 69101 0
[pid=11020/tid=11021] ppid=11018 vsize=296544 CPUtime=0.09 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 2696 0 0 0 9 0 0 0 25 0 4 0 529762478 303661056 10052 33554432000 4194304 4650419 140736415951040 18446744073709551615 4370767 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=296544 CPUtime=0.08 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 2675 0 0 0 8 0 0 0 25 0 4 0 529762478 303661056 10054 33554432000 4194304 4650419 140736415951040 18446744073709551615 235594525807 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=296544 CPUtime=0.09 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 2620 0 0 0 9 0 0 0 25 0 4 0 529762478 303661056 10054 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 296544

[startup+0.301027 s]
/proc/loadavg: 8.19 8.10 8.02 5/180 11020
/proc/meminfo: memFree=30358604/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=296824 CPUtime=1.17 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 16090 0 0 0 112 5 0 0 25 0 4 0 529762477 303947776 15027 33554432000 4194304 4650419 140736415951040 18446744073709551615 4522209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 74206 15027 386 112 0 69171 0
[pid=11020/tid=11021] ppid=11018 vsize=296824 CPUtime=0.29 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 4275 0 0 0 28 1 0 0 25 0 4 0 529762478 303947776 15027 33554432000 4194304 4650419 140736415951040 18446744073709551615 4303254 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=296824 CPUtime=0.28 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 4260 0 0 0 27 1 0 0 25 0 4 0 529762478 303947776 15027 33554432000 4194304 4650419 140736415951040 18446744073709551615 4522992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=296824 CPUtime=0.29 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 2841 0 0 0 29 0 0 0 25 0 4 0 529762478 303947776 15027 33554432000 4194304 4650419 140736415951040 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 296824

[startup+0.700958 s]
/proc/loadavg: 8.19 8.10 8.02 5/180 11020
/proc/meminfo: memFree=30358604/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=297928 CPUtime=2.77 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 32097 0 0 0 269 8 0 0 18 0 4 0 529762477 305078272 29075 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365477 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 74482 29075 393 112 0 69447 0
[pid=11020/tid=11021] ppid=11018 vsize=297928 CPUtime=0.69 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 9466 0 0 0 67 2 0 0 25 0 4 0 529762478 305078272 29075 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=297928 CPUtime=0.68 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 9413 0 0 0 66 2 0 0 25 0 4 0 529762478 305078272 29075 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=297928 CPUtime=0.68 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 3297 0 0 0 68 0 0 0 25 0 4 0 529762478 305078272 29075 33554432000 4194304 4650419 140736415951040 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 297928

[startup+1.50082 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 11024
/proc/meminfo: memFree=30240028/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=299128 CPUtime=5.96 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 33943 0 0 0 588 8 0 0 19 0 4 0 529762477 306307072 30473 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 74782 30473 393 112 0 69747 0
[pid=11020/tid=11021] ppid=11018 vsize=299128 CPUtime=1.48 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 9902 0 0 0 146 2 0 0 25 0 4 0 529762478 306307072 30473 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=299128 CPUtime=1.48 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 9713 0 0 0 146 2 0 0 25 0 4 0 529762478 306307072 30473 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=299128 CPUtime=1.48 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 4062 0 0 0 148 0 0 0 25 0 4 0 529762478 306307072 30473 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363690 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 299128

[startup+3.10054 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 11024
/proc/meminfo: memFree=30234820/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=315928 CPUtime=12.35 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 38378 0 0 0 1226 9 0 0 23 0 4 0 529762477 323510272 33185 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366882 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 78982 33185 395 112 0 73947 0
[pid=11020/tid=11021] ppid=11018 vsize=315928 CPUtime=3.08 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 11748 0 0 0 306 2 0 0 25 0 4 0 529762478 323510272 33185 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=315928 CPUtime=3.07 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 10042 0 0 0 305 2 0 0 25 0 4 0 529762478 323510272 33185 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=315928 CPUtime=3.08 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 5931 0 0 0 308 0 0 0 25 0 4 0 529762478 323510272 33185 33554432000 4194304 4650419 140736415951040 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 315928

[startup+6.30097 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 11024
/proc/meminfo: memFree=30218816/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=314712 CPUtime=25.14 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 44295 0 0 0 2503 11 0 0 25 0 4 0 529762477 322265088 34559 33554432000 4194304 4650419 140736415951040 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 78678 34559 396 112 0 73643 0
[pid=11020/tid=11021] ppid=11018 vsize=314712 CPUtime=6.29 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 13265 0 0 0 626 3 0 0 25 0 4 0 529762478 322265088 34559 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=314712 CPUtime=6.26 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 11905 0 0 0 623 3 0 0 25 0 4 0 529762478 322265088 34559 33554432000 4194304 4650419 140736415951040 18446744073709551615 4349904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=314712 CPUtime=6.29 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 6682 0 0 0 628 1 0 0 25 0 4 0 529762478 322265088 34559 33554432000 4194304 4650419 140736415951040 18446744073709551615 4304130 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 314712

[startup+12.7009 s]
/proc/loadavg: 8.15 8.09 8.01 9/184 11024
/proc/meminfo: memFree=30166724/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=356420 CPUtime=50.7 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 64436 0 0 0 5055 15 0 0 25 0 4 0 529762477 364974080 49094 33554432000 4194304 4650419 140736415951040 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 89105 49094 402 112 0 84070 0
[pid=11020/tid=11021] ppid=11018 vsize=356420 CPUtime=12.68 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 16504 0 0 0 1265 3 0 0 25 0 4 0 529762478 364974080 49094 33554432000 4194304 4650419 140736415951040 18446744073709551615 4435908 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=356420 CPUtime=12.62 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 16011 0 0 0 1258 4 0 0 25 0 4 0 529762478 364974080 49094 33554432000 4194304 4650419 140736415951040 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=356420 CPUtime=12.68 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 15920 0 0 0 1265 3 0 0 25 0 4 0 529762478 364974080 49094 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 356420

[startup+25.5006 s]
/proc/loadavg: 8.20 8.11 8.02 9/184 11024
/proc/meminfo: memFree=30154900/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=357412 CPUtime=101.82 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 81528 0 0 0 10163 19 0 0 25 0 4 0 529762477 365989888 50905 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 89353 50905 396 112 0 84318 0
[pid=11020/tid=11021] ppid=11018 vsize=357412 CPUtime=25.48 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 21284 0 0 0 2544 4 0 0 25 0 4 0 529762478 365989888 50905 33554432000 4194304 4650419 140736415951040 18446744073709551615 4364808 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=357412 CPUtime=25.35 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 20762 0 0 0 2530 5 0 0 25 0 4 0 529762478 365989888 50905 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=357412 CPUtime=25.48 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 18442 0 0 0 2544 4 0 0 25 0 4 0 529762478 365989888 50905 33554432000 4194304 4650419 140736415951040 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 357412

[startup+51.1011 s]
/proc/loadavg: 8.13 8.10 8.02 9/184 11025
/proc/meminfo: memFree=30130328/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=347168 CPUtime=204.09 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 124368 0 0 0 20380 29 0 0 25 0 4 0 529762477 355500032 57278 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 86792 57278 396 112 0 81757 0
[pid=11020/tid=11021] ppid=11018 vsize=347168 CPUtime=51.08 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 32413 0 0 0 5101 7 0 0 25 0 4 0 529762478 355500032 57278 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=347168 CPUtime=50.81 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 32756 0 0 0 5074 7 0 0 25 0 4 0 529762478 355500032 57278 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=347168 CPUtime=51.08 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 26744 0 0 0 5101 7 0 0 25 0 4 0 529762478 355500032 57278 33554432000 4194304 4650419 140736415951040 18446744073709551615 4328450 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 347168

[startup+102.306 s]
/proc/loadavg: 8.13 8.11 8.02 9/184 11026
/proc/meminfo: memFree=30073704/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=511188 CPUtime=408.62 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 187821 0 0 0 40818 44 0 0 25 0 4 0 529762477 523456512 71928 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 127797 71928 396 112 0 122762 0
[pid=11020/tid=11021] ppid=11018 vsize=511188 CPUtime=102.29 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 51353 0 0 0 10217 12 0 0 25 0 4 0 529762478 523456512 71928 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=511188 CPUtime=101.72 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 50282 0 0 0 10162 10 0 0 25 0 4 0 529762478 523456512 71928 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=511188 CPUtime=102.28 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 37692 0 0 0 10218 10 0 0 25 0 4 0 529762478 523456512 71928 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 511188

[startup+162.301 s]

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

[pid=11020] ppid=11018 vsize=693224 CPUtime=2805.33 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 630001 0 0 0 280348 185 0 0 25 0 4 0 529762477 709861376 119418 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 173306 119418 396 112 0 168271 0
[pid=11020/tid=11021] ppid=11018 vsize=693224 CPUtime=702.29 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 178743 0 0 0 70175 54 0 0 25 0 4 0 529762478 709861376 119418 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=693224 CPUtime=698.51 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 152322 0 0 0 69810 41 0 0 25 0 4 0 529762478 709861376 119418 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=693224 CPUtime=702.2 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 134617 0 0 0 70179 41 0 0 25 0 4 0 529762478 709861376 119418 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 693224

[startup+762.306 s]
/proc/loadavg: 8.04 8.11 8.06 9/184 11105
/proc/meminfo: memFree=29381484/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=694260 CPUtime=3045.03 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 656318 0 0 0 304307 196 0 0 25 0 4 0 529762477 710922240 125431 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 173565 125431 396 112 0 168530 0
[pid=11020/tid=11021] ppid=11018 vsize=694260 CPUtime=762.3 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 187534 0 0 0 76171 59 0 0 25 0 4 0 529762478 710922240 125431 33554432000 4194304 4650419 140736415951040 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=694260 CPUtime=758.19 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 162929 0 0 0 75774 45 0 0 25 0 4 0 529762478 710922240 125431 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=694260 CPUtime=762.2 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 135014 0 0 0 76179 41 0 0 25 0 4 0 529762478 710922240 125431 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 694260

[startup+822.301 s]
/proc/loadavg: 8.01 8.09 8.05 9/184 11107
/proc/meminfo: memFree=29393828/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=683448 CPUtime=3284.68 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 679562 0 0 0 328263 205 0 0 25 0 4 0 529762477 699850752 123608 33554432000 4194304 4650419 140736415951040 18446744073709551615 4330369 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 170862 123608 396 112 0 165827 0
[pid=11020/tid=11021] ppid=11018 vsize=683448 CPUtime=822.29 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 197162 0 0 0 82167 62 0 0 25 0 4 0 529762478 699850752 123608 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=683448 CPUtime=817.86 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 171658 0 0 0 81738 48 0 0 25 0 4 0 529762478 699850752 123608 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=683448 CPUtime=822.2 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 135806 0 0 0 82178 42 0 0 25 0 4 0 529762478 699850752 123608 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 683448

[startup+882.301 s]
/proc/loadavg: 8.06 8.08 8.05 9/184 11108
/proc/meminfo: memFree=29348624/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=700748 CPUtime=3524.36 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 701331 0 0 0 352220 216 0 0 25 0 4 0 529762477 717565952 121780 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363350 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 175187 121780 396 112 0 170152 0
[pid=11020/tid=11021] ppid=11018 vsize=700748 CPUtime=882.3 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 202861 0 0 0 88164 66 0 0 25 0 4 0 529762478 717565952 121780 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=700748 CPUtime=877.54 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 180278 0 0 0 87702 52 0 0 25 0 4 0 529762478 717565952 121780 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=700748 CPUtime=882.18 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 139370 0 0 0 88175 43 0 0 25 0 4 0 529762478 717565952 121780 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 700748

[startup+942.301 s]
/proc/loadavg: 8.07 8.08 8.05 9/184 11110
/proc/meminfo: memFree=29276992/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=683596 CPUtime=3764.03 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 728723 0 0 0 376179 224 0 0 25 0 4 0 529762477 700002304 124916 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 170899 124916 396 112 0 165864 0
[pid=11020/tid=11021] ppid=11018 vsize=683596 CPUtime=942.29 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 210880 0 0 0 94161 68 0 0 25 0 4 0 529762478 700002304 124916 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=683596 CPUtime=937.22 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 191698 0 0 0 93667 55 0 0 25 0 4 0 529762478 700002304 124916 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=683596 CPUtime=942.18 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 143215 0 0 0 94173 45 0 0 25 0 4 0 529762478 700002304 124916 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.03
Current children cumulated vsize (KiB) 683596

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.05 9/184 11111
/proc/meminfo: memFree=29204608/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=700756 CPUtime=4003.71 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 750753 0 0 0 400138 233 0 0 25 0 4 0 529762477 717574144 134028 33554432000 4194304 4650419 140736415951040 18446744073709551615 4311000 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 175189 134028 396 112 0 170154 0
[pid=11020/tid=11021] ppid=11018 vsize=700756 CPUtime=1002.3 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 213152 0 0 0 100160 70 0 0 25 0 4 0 529762478 717574144 134028 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=700756 CPUtime=996.89 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 201050 0 0 0 99631 58 0 0 25 0 4 0 529762478 717574144 134028 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=700756 CPUtime=1002.18 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 148829 0 0 0 100171 47 0 0 25 0 4 0 529762478 717574144 134028 33554432000 4194304 4650419 140736415951040 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 700756

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 8.05 9/184 11113
/proc/meminfo: memFree=29072468/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=717952 CPUtime=4243.38 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 764731 0 0 0 424100 238 0 0 25 0 4 0 529762477 735182848 143212 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 179488 143212 396 112 0 174453 0
[pid=11020/tid=11021] ppid=11018 vsize=717952 CPUtime=1062.3 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 213642 0 0 0 106160 70 0 0 25 0 4 0 529762478 735182848 143212 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=717952 CPUtime=1056.57 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 207553 0 0 0 105596 61 0 0 25 0 4 0 529762478 735182848 143212 33554432000 4194304 4650419 140736415951040 18446744073709551615 4364811 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=717952 CPUtime=1062.17 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 153303 0 0 0 106169 48 0 0 25 0 4 0 529762478 735182848 143212 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.38
Current children cumulated vsize (KiB) 717952

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.06 9/184 11115
/proc/meminfo: memFree=29079608/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=723016 CPUtime=4483.06 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 780506 0 0 0 448064 242 0 0 25 0 4 0 529762477 740368384 143030 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 180754 143030 396 112 0 175719 0
[pid=11020/tid=11021] ppid=11018 vsize=723016 CPUtime=1122.3 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 213770 0 0 0 112160 70 0 0 25 0 4 0 529762478 740368384 143030 33554432000 4194304 4650419 140736415951040 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=723016 CPUtime=1116.25 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 218928 0 0 0 111561 64 0 0 25 0 4 0 529762478 740368384 143030 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=723016 CPUtime=1122.16 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 153433 0 0 0 112168 48 0 0 25 0 4 0 529762478 740368384 143030 33554432000 4194304 4650419 140736415951040 18446744073709551615 4364856 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 723016

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.06 9/184 11116
/proc/meminfo: memFree=29011580/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=723136 CPUtime=4722.73 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 795396 0 0 0 472025 248 0 0 25 0 4 0 529762477 740491264 143842 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 180784 143842 396 112 0 175749 0
[pid=11020/tid=11021] ppid=11018 vsize=723136 CPUtime=1182.3 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 213773 0 0 0 118160 70 0 0 25 0 4 0 529762478 740491264 143842 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=723136 CPUtime=1175.92 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 228358 0 0 0 117526 66 0 0 25 0 4 0 529762478 740491264 143842 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=723136 CPUtime=1182.16 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 154770 0 0 0 118167 49 0 0 25 0 4 0 529762478 740491264 143842 33554432000 4194304 4650419 140736415951040 18446744073709551615 4368081 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 723136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.09 8.06 9/184 11117
/proc/meminfo: memFree=28954640/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=686152 CPUtime=4800.23 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 796736 0 0 0 479775 248 0 0 25 0 4 0 529762477 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 171538 136155 396 112 0 166503 0
[pid=11020/tid=11021] ppid=11018 vsize=686152 CPUtime=1201.7 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 213777 0 0 0 120100 70 0 0 25 0 4 0 529762478 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=686152 CPUtime=1195.22 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 229694 0 0 0 119455 67 0 0 25 0 4 0 529762478 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=686152 CPUtime=1201.56 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 154770 0 0 0 120107 49 0 0 25 0 4 0 529762478 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 686152

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

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

[startup+1201.7 s]
/proc/loadavg: 8.10 8.09 8.06 9/184 11117
/proc/meminfo: memFree=28954640/32950928 swapFree=67111404/67111528
[pid=11020] ppid=11018 vsize=686152 CPUtime=4800.23 cores=0,2,4,6
/proc/11020/stat : 11020 (strangenight1-m) R 11018 11020 10804 0 -1 4202496 796736 0 0 0 479775 248 0 0 25 0 4 0 529762477 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11020/statm: 171538 136155 396 112 0 166503 0
[pid=11020/tid=11021] ppid=11018 vsize=686152 CPUtime=1201.7 cores=0,2,4,6
/proc/11020/task/11021/stat : 11021 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 213777 0 0 0 120100 70 0 0 25 0 4 0 529762478 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11020/tid=11022] ppid=11018 vsize=686152 CPUtime=1195.22 cores=0,2,4,6
/proc/11020/task/11022/stat : 11022 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 229694 0 0 0 119455 67 0 0 25 0 4 0 529762478 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11020/tid=11023] ppid=11018 vsize=686152 CPUtime=1201.56 cores=0,2,4,6
/proc/11020/task/11023/stat : 11023 (strangenight1-m) R 11018 11020 10804 0 -1 4202560 154770 0 0 0 120107 49 0 0 25 0 4 0 529762478 702619648 136155 33554432000 4194304 4650419 140736415951040 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 686152

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.29
CPU user time (s): 4797.78
CPU system time (s): 2.51362
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 788636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.78
system time used= 2.51362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 796736
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= 3117
involuntary context switches= 35707

runsolver used 1.9687 second user time and 4.53431 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 18:40:37
IDJOB=3293154
IDBENCH=88062
IDSOLVER=1588
FILE ID=node120/3293154-1304181637
RUNJOBID= node120-1304180724-10822
PBS_JOBID= 13172454
Free space on /tmp= 73160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293154-1304181637/watcher-3293154-1304181637 -o /tmp/evaluation-result-3293154-1304181637/solver-3293154-1304181637 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3293154-1304181637.cnf

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

MD5SUM BENCH= 82e833e539576c6d79252b19dcace0cf
RANDOM SEED=1109062819

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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:     32950928 kB
MemFree:      30358760 kB
Buffers:        544408 kB
Cached:        1069120 kB
SwapCached:          8 kB
Active:        1226096 kB
Inactive:      1004624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30358760 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            9864 kB
Writeback:           0 kB
AnonPages:      617080 kB
Mapped:          15724 kB
Slab:           297196 kB
PageTables:       5416 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   820664 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= 73148 MiB
End job on node120 at 2011-04-30 19:00:41