Trace number 3421746

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-2-mt (fixed)SAT 2935.3 367.904

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p15-s54275047.cnf
MD5SUM67948a6aed9ea09317abe3c8a9a27a03
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.0564
Satisfiable
(Un)Satisfiability was proved
Number of variables1590
Number of clauses272291
Sum of the clauses size546092
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2272251
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.11/0.03	c This is CryptoMiniSat 3.0.0
0.11/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.11/0.03	c Reading file 'HOME/instance-3421746-1306829776.cnf'
0.11/0.04	c -- header says num vars:           1590
0.11/0.04	c -- header says num clauses:      272291
0.45/0.17	c -- clauses added:            0 learnts,       272291 normals,            0 xors
0.45/0.17	c -- vars added       1590
0.45/0.17	c Parsing time:  0.04 s
0.45/0.17	c  N st     0         0      1590        40    272251         0    546092         0   no data   no data
0.45/0.18	c asymm  cl-useful: 0/40/40 lits-rem:0 time: 0.00
0.91/0.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.04
0.91/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.91/0.28	c bin-w-bin subsume rem            0 bins  time:  0.04 s
0.91/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1.86/0.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1590 time:  0.03 s
1.86/0.39	c Removed useless bin:       0  fixed:     0  props:   1.37M  time:  0.02 s
2.44/0.51	c lits-rem:      1085  cl-subs:        0  v-elim:     40  v-fix:    0  time:  0.09 s
2.44/0.52	c Finding binary XORs  T:     0.01 s  found:       0
2.44/0.53	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.44/0.53	c calculated reachability. Time: 0.00
2.44/0.53	c Calc default polars -  time:   0.00 s pos:       0 undec:      40 neg:    1550
2.44/0.53	c =========================================================================================
2.44/0.53	c types(t): F = full restart, N = normal restart
2.44/0.53	c types(t): S = simplification begin/end, E = solution found
2.44/0.53	c restart types(rt): st = static, dy = dynamic
2.44/0.53	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.44/0.53	c  B st     0         0      1550      6567    264134         0    816024         0   no data   no data
2.44/1.06	c  N dy    19      4635      1550      6567    264134      4445    816024    276340     10.94     11.52
10.59/1.50	c  N dy    34      8713      1550      6567    264135      5959    816021    262483     10.22     11.00
13.39/1.91	c  N dy    41     12852      1550      6567    264138      5854    816021    226353      9.66     10.18
17.33/2.36	c  N dy    63     17003      1550      6567    264138      9832    816018    417066      9.81     10.38
20.53/2.74	c  N dy    76     21084      1550      6567    264139      8358    816018    304109      9.60     10.34
23.71/3.10	c  F st    92     25000      1550      6567    264140     12134    816018    484877      9.52      7.13
23.71/3.16	c  N st    93     25250      1550      6567    264140     12373    816018    495160      9.52   no data
27.70/3.67	c  N dy    98     30000      1550      6567    264142     10264    816018    327014      9.52   no data
27.70/3.67	c  S st    98     30000      1550      6567    264142     10264    816018    327014      9.52   no data
28.50/3.72	c  S st    98     30502      1550      6567    264142     10764    816018    360895      9.52   no data
28.50/3.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
30.95/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.7M T:  0.34
30.95/4.07	c blocked clauses removed:        0 vars:      0 tried:        1550 T: 0.00 s
30.95/4.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
68.42/8.76	c subs with bin:        0  lits-rem:     78523  v-fix:    0  time:  4.67 s
68.42/8.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1550 time:  0.02 s
69.22/8.81	c Removed useless bin:       0  fixed:     0  props:   1.32M  time:  0.02 s
69.22/8.87	c lits-rem:      2178  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
78.79/10.08	c subs with bin:       77  lits-rem:       145  v-fix:    0  time:  1.20 s
81.99/10.48	c lits-rem:      5106  cl-subs:     2515  v-elim:      0  v-fix:    0  time:  0.39 s
83.64/10.66	c asymm  cl-useful: 338/1866/6567 lits-rem:4176 time: 0.18
83.64/10.67	c calculated reachability. Time: 0.00
83.64/10.67	c  N dy    98     30502      1550      6567    264142      8172    730824    305231      9.52   no data
86.78/11.08	c  N dy   124     34532      1550      6567    264153     12015    730824    551067      9.68     13.51
90.78/11.53	c  N dy   144     38600      1550      6567    264153      8471    730824    328636      9.85     18.51
93.96/11.94	c  N dy   160     42669      1550      6567    264153     12426    730824    784035      9.81     10.35
97.16/12.37	c  S st   182     45753      1550      6567    264153     15384    730824    989726     10.04   no data
97.96/12.44	c  S st   182     46254      1550      6567    264153     15885    730824   1049958     10.04   no data
97.96/12.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.09/12.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 23.4M T:  0.49
102.09/12.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
102.09/12.97	c bin-w-bin subsume rem            0 bins  time:  0.02 s
126.70/16.10	c subs with bin:        0  lits-rem:        78  v-fix:    0  time:  3.14 s
127.54/16.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1550 time:  0.02 s
127.54/16.15	c Removed useless bin:       0  fixed:     0  props:   1.32M  time:  0.02 s
127.54/16.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.87/17.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.29 s
150.64/19.06	c lits-rem:       958  cl-subs:      504  v-elim:      0  v-fix:    0  time:  1.56 s
150.64/19.06	c vivif2 --  cl tried     6567 cl shrink        0 lits rem          0 time: 0.00
150.64/19.09	c vivif2 --  cl tried    15381 cl shrink     1501 lits rem       2616 time: 0.03
152.24/19.29	c asymm  cl-useful: 0/1445/6567 lits-rem:0 time: 0.19
152.24/19.30	c calculated reachability. Time: 0.00
152.24/19.30	c  N dy   182     46254      1550      6567    264153     15381    730746   1019404     10.04   no data
157.02/19.81	c  N dy   205     50309      1550      6567    264168     10720    730746    496836     10.27     10.87
160.22/20.27	c  N dy   232     54381      1550      6567    264168     14644    730746    807908     10.44     11.05
165.00/20.85	c  N dy   256     58489      1550      6567    264171     18630    730746   1177753     10.71     11.28
169.01/21.36	c  N dy   282     62578      1550      6567    264173     12979    730746    665216     10.83     13.08
173.79/21.95	c  N dy   305     66673      1550      6567    264174     16945    730746    984980     11.04     11.95
176.99/22.38	c  S st   315     69381      1550      6567    264174     19494    730746   1094416     11.01      9.86
177.79/22.46	c  S st   315     69884      1550      6567    264174     19994    730746   1134859     11.01   no data
177.79/22.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
181.77/22.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 25.5M T:  0.51
181.77/22.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.57/23.00	c bin-w-bin subsume rem            0 bins  time:  0.02 s
207.45/26.16	c subs with bin:        0  lits-rem:        19  v-fix:    0  time:  3.16 s
207.45/26.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1550 time:  0.02 s
208.09/26.21	c Removed useless bin:       0  fixed:     0  props:   1.32M  time:  0.02 s
208.09/26.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
218.47/27.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.25 s
239.24/30.18	c lits-rem:      2074  cl-subs:     1062  v-elim:      0  v-fix:    0  time:  2.67 s
239.24/30.19	c vivif2 --  cl tried     6567 cl shrink        0 lits rem          0 time: 0.00
240.04/30.23	c vivif2 --  cl tried    18932 cl shrink     1038 lits rem       1092 time: 0.04
241.69/30.44	c asymm  cl-useful: 0/696/6567 lits-rem:0 time: 0.21
241.69/30.44	c calculated reachability. Time: 0.00
241.69/30.44	c  N dy   315     69884      1550      6567    264174     18932    730727   1099664     11.01   no data
247.22/31.13	c  N dy   327     74901      1550      6567    264174     13218    730727    507862     10.93     11.69
251.36/31.68	c  N dy   347     79853      1550      6567    264192     17932    730727    750579     10.89     11.52
256.80/32.30	c  N dy   366     84980      1550      6567    264192     22863    730727   1030664     10.91     15.78
258.40/32.59	c  F st   379     87502      1550      6567    264192     13791    730727    556925     10.90      7.82
261.58/32.99	c  N st   384     90806      1550      6567    264193     16921    730727    727319     10.90   no data
268.92/33.85	c  N dy   397     97531      1550      6567    264201     23294    730727   1030837     10.82     11.50
275.17/34.69	c  N dy   424    103989      1550      6567    264204     17075    730727    716546     10.84     11.47
276.81/34.82	c  S st   429    104829      1550      6567    264204     17856    730727    740523     10.84      8.60
276.81/34.88	c  S st   429    105331      1550      6567    264204     18356    730727    788038     10.84   no data
276.81/34.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
280.75/35.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 21.0M T:  0.43
280.75/35.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
280.75/35.34	c bin-w-bin subsume rem            0 bins  time:  0.02 s
305.48/38.49	c subs with bin:        0  lits-rem:        35  v-fix:    0  time:  3.15 s
306.29/38.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1550 time:  0.02 s
306.29/38.54	c Removed useless bin:       0  fixed:     0  props:   1.31M  time:  0.02 s
306.29/38.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
316.67/39.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.25 s
327.05/41.19	c lits-rem:      1333  cl-subs:     1234  v-elim:      0  v-fix:    0  time:  1.36 s
327.05/41.19	c vivif2 --  cl tried     6567 cl shrink        0 lits rem          0 time: 0.00
327.84/41.23	c vivif2 --  cl tried    17122 cl shrink     2382 lits rem       3986 time: 0.04
329.50/41.43	c asymm  cl-useful: 0/1315/6567 lits-rem:0 time: 0.19
329.50/41.44	c calculated reachability. Time: 0.00
329.50/41.44	c  N dy   429    105331      1550      6567    264204     17122    730692    758743     10.84   no data
337.42/42.40	c  N dy   459    112263      1549      6567    264214     23764    730692   1250402     10.87     11.62
345.40/43.47	c  N dy   500    120051      1549      6567    264217     17894    730692    828185     10.99     11.96
353.39/44.47	c  N dy   526    127869      1549      6567    264221     25421    730692   1336585     10.95     11.63
363.77/45.75	c  N dy   584    137539      1549      6567    264223     20378    730692    924770     11.13     11.73
374.93/47.19	c  N dy   643    146539      1549      6567    264225     29112    730692   1799696     11.32     12.29
386.11/48.59	c  N dy   674    156029      1549      6567    264227     22820    730692   1009851     11.25     12.02
388.51/48.84	c  S st   685    157997      1549      6567    264230     24733    730692   1183051     11.27   no data
389.31/48.91	c  S st   685    158501      1549      6567    264230     25236    730692   1241286     11.27   no data
389.31/48.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
393.29/49.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 24.9M T:  0.54
393.29/49.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
393.29/49.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
418.84/52.65	c subs with bin:        0  lits-rem:        22  v-fix:    0  time:  3.18 s
418.84/52.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1549 time:  0.02 s
419.64/52.70	c Removed useless bin:       0  fixed:     0  props:   1.31M  time:  0.02 s
419.64/52.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
430.82/54.12	c subs with bin:      633  lits-rem:      1391  v-fix:    0  time:  1.36 s
447.58/56.22	c lits-rem:      2191  cl-subs:      972  v-elim:      0  v-fix:    0  time:  2.09 s
447.58/56.22	c vivif2 --  cl tried     6544 cl shrink        0 lits rem          0 time: 0.00
447.58/56.25	c vivif2 --  cl tried    19915 cl shrink      398 lits rem        454 time: 0.03
449.18/56.46	c asymm  cl-useful: 0/1053/6544 lits-rem:0 time: 0.21
449.18/56.47	c calculated reachability. Time: 0.00
449.18/56.47	c  N dy   685    158501      1549      6544    263762     19914    729183   1123888     11.27   no data
462.74/58.12	c  N dy   744    168685      1549      6544    263773     15263    729183    677512     11.38     12.03
473.92/59.56	c  N dy   780    179606      1549      6544    263777     25903    729183   1560545     11.33     11.94
488.43/61.34	c  N dy   829    191102      1549      6544    263784     20513    729183    991615     11.35     12.08
504.27/63.40	c  N dy   875    203348      1549      6544    263790     32357    729183   1980412     11.37     12.16
520.22/65.34	c  N dy   927    216481      1549      6544    263792     27146    729183   1446040     11.36     12.12
541.12/67.93	c  N dy   984    230415      1549      6544    263796     21478    729183    871781     11.43     12.03
549.01/68.99	c  S st  1013    237753      1549      6544    263799     28615    729183   1470255     11.43      7.80
549.90/69.07	c  S st  1013    238253      1549      6544    263799     29113    729183   1503801     11.43   no data
549.90/69.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
554.54/69.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 28.2M T:  0.62
555.35/69.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
555.35/69.72	c bin-w-bin subsume rem            1 bins  time:  0.02 s
580.07/72.86	c subs with bin:        0  lits-rem:        32  v-fix:    0  time:  3.14 s
580.07/72.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1549 time:  0.02 s
580.88/72.91	c Removed useless bin:       0  fixed:     0  props:   1.30M  time:  0.02 s
580.88/72.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
591.26/74.26	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  1.30 s
609.61/76.58	c lits-rem:      1747  cl-subs:     1285  v-elim:      0  v-fix:    0  time:  2.31 s
609.61/76.58	c vivif2 --  cl tried     6544 cl shrink        0 lits rem          0 time: 0.01
610.45/76.64	c vivif2 --  cl tried    27825 cl shrink      842 lits rem        997 time: 0.05
611.99/76.85	c asymm  cl-useful: 0/1314/6544 lits-rem:0 time: 0.22
611.99/76.86	c calculated reachability. Time: 0.00
611.99/76.86	c  N dy  1013    238253      1549      6544    263798     27825    729151   1468541     11.43   no data
631.96/79.34	c  N dy  1066    253523      1549      6544    263814     22397    729151    995845     11.39     12.29
655.25/82.26	c  N dy  1124    270691      1549      6544    263820     39046    729151   2206184     11.36     12.18
679.06/85.29	c  N dy  1183    288008      1549      6544    263829     34463    729151   1629595     11.33     12.12
706.20/88.61	c  F st  1250    306251      1549      6544    263837     29819    729151   1180876     11.31      9.31
706.20/88.70	c  N st  1251    306501      1549      6544    263837     30054    729151   1187778     11.31   no data
736.52/92.47	c  N dy  1305    326181      1549      6544    263848     25916    729151   1179440     11.29     11.94
772.44/96.92	c  N dy  1397    346738      1548      6544    263855     45722    729151   2701785     11.31     12.01
787.60/98.80	c  S st  1434    357379      1548      6544    263860     31941    729151   1622254     11.32     11.55
787.60/98.89	c  S st  1434    357881      1548      6544    263860     32439    729151   1668905     11.32   no data
787.60/98.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
793.20/99.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.5M T:  0.69
793.20/99.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
794.00/99.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
818.75/102.76	c subs with bin:        0  lits-rem:        23  v-fix:    0  time:  3.15 s
818.75/102.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1548 time:  0.02 s
819.55/102.81	c Removed useless bin:       0  fixed:     0  props:   1.30M  time:  0.02 s
819.55/102.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
829.97/104.16	c subs with bin:        5  lits-rem:         1  v-fix:    0  time:  1.28 s
846.69/106.24	c lits-rem:      1199  cl-subs:     1082  v-elim:      0  v-fix:    0  time:  2.08 s
846.69/106.25	c vivif2 --  cl tried     6521 cl shrink        0 lits rem          0 time: 0.00
846.69/106.30	c vivif2 --  cl tried    27276 cl shrink      822 lits rem        981 time: 0.05
849.08/106.54	c asymm  cl-useful: 0/559/6521 lits-rem:0 time: 0.24
849.08/106.55	c calculated reachability. Time: 0.00
849.08/106.55	c  N dy  1434    357881      1548      6521    263379     27276    727645   1551200     11.32   no data
881.81/110.67	c  N dy  1507    378052      1548      6521    263391     23710    727645   1071455     11.31     12.03
909.89/114.15	c  N dy  1609    398226      1548      6521    263400     43310    727645   2753097     11.35     12.04
944.11/118.48	c  N dy  1712    418257      1548      6521    263405     37590    727645   2134011     11.43     12.11
979.23/122.91	c  N dy  1793    438551      1548      6521    263415     30560    727645   1385334     11.45     12.09
1015.24/127.35	c  N dy  1891    459075      1548      6521    263422     50323    727645   3077920     11.51     12.14
1051.02/131.80	c  N dy  1964    479464      1548      6521    263428     42167    727645   2022335     11.51     12.20
1086.94/136.39	c  N dy  2062    499647      1548      6521    263442     32733    727645   1515062     11.55     12.18
1126.06/141.28	c  N dy  2135    520146      1548      6521    263451     52410    727645   2936230     11.55     12.50
1157.18/145.10	c  S st  2217    536822      1547      6521    263465     38848    727645   1905447     11.58      9.17
1157.18/145.19	c  S st  2217    537324      1547      6521    263465     39349    727645   1952292     11.58   no data
1157.98/145.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1165.16/146.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 37.4M T:  0.91
1165.16/146.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1165.16/146.16	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1190.85/149.38	c subs with bin:        0  lits-rem:        22  v-fix:    0  time:  3.16 s
1191.50/149.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1547 time:  0.02 s
1191.50/149.42	c Removed useless bin:       0  fixed:     0  props:   1.29M  time:  0.02 s
1191.50/149.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1201.88/150.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.27 s
1225.08/153.66	c lits-rem:      1539  cl-subs:      875  v-elim:      0  v-fix:    0  time:  2.80 s
1225.08/153.66	c vivif2 --  cl tried     6498 cl shrink        0 lits rem          0 time: 0.00
1225.97/153.72	c vivif2 --  cl tried    31591 cl shrink      891 lits rem       1002 time: 0.05
1227.42/153.96	c asymm  cl-useful: 0/466/6498 lits-rem:0 time: 0.25
1227.42/153.97	c calculated reachability. Time: 0.00
1227.42/153.97	c  N dy  2217    537324      1547      6498    262960     31590    726133   1774252     11.58   no data
1266.54/158.86	c  N dy  2307    557450      1547      6498    262978     50942    726133   3343741     11.60     12.38
1302.46/163.37	c  N dy  2419    577494      1547      6498    262984     43035    726133   2623524     11.67     12.31
1349.55/169.23	c  N dy  2507    597684      1547      6498    262991     32461    726133   1529658     11.69     12.78
1387.87/174.07	c  N dy  2595    617747      1547      6498    262996     51884    726133   3309831     11.72     16.55
1431.78/179.55	c  N dy  2674    638483      1547      6498    262999     39976    726133   2211575     11.72     12.37
1475.67/185.05	c  N dy  2769    658578      1547      6498    263007     59354    726133   3940996     11.76     12.45
1515.73/190.06	c  N dy  2863    678680      1547      6498    263012     45297    726133   2224942     11.78     12.67
1554.69/194.96	c  N dy  2957    698686      1547      6498    263013     64635    726133   3755811     11.80     24.36
1593.02/199.72	c  N dy  3047    718747      1547      6498    263030     49392    726133   2518525     11.82     13.25
1636.12/205.10	c  N dy  3127    738765      1547      6498    263043     68759    726133   4216427     11.83     14.97
1675.21/210.01	c  N dy  3225    758809      1547      6498    263049     52536    726133   3121936     11.86     23.67
1726.46/216.44	c  N dy  3309    778832      1547      6498    263063     71851    726133   4931937     11.87     12.54
1766.23/221.42	c  N dy  3398    798925      1546      6498    263071     54646    726133   3178033     11.88     17.07
1783.80/223.64	c  S st  3436    805986      1546      6498    263072     61502    726133   3849994     11.89     11.00
1785.40/223.84	c  S st  3436    806486      1546      6498    263072     62001    726133   3892942     11.89   no data
1785.40/223.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1799.76/225.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 58.4M T:  1.74
1799.76/225.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1799.76/225.67	c bin-w-bin subsume rem            1 bins  time:  0.02 s
1825.30/228.86	c subs with bin:        0  lits-rem:        40  v-fix:    0  time:  3.14 s
1825.30/228.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1546 time:  0.02 s
1826.10/228.91	c Removed useless bin:       0  fixed:     0  props:   1.28M  time:  0.02 s
1826.10/228.94	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1838.08/230.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.40 s
1926.69/241.53	c lits-rem:      3914  cl-subs:     2832  v-elim:      0  v-fix:    0  time: 10.84 s
1926.69/241.53	c vivif2 --  cl tried     6475 cl shrink        0 lits rem          0 time: 0.00
1927.53/241.67	c vivif2 --  cl tried    56634 cl shrink     3548 lits rem       5145 time: 0.12
1929.87/241.94	c asymm  cl-useful: 0/699/6475 lits-rem:0 time: 0.26
1929.87/241.95	c calculated reachability. Time: 0.00
1929.87/241.95	c  N dy  3436    806486      1546      6475    262589     56634    724617   3750935     11.89   no data
1989.00/249.36	c  N dy  3536    826507      1546      6475    262617     39568    724617   1955442     11.92     12.55
2031.25/254.66	c  N dy  3633    846775      1546      6475    262622     59199    724617   3862859     11.96     12.65
2087.92/261.78	c  N dy  3740    866852      1546      6475    262634     40617    724617   2002351     12.00     12.88
2128.65/266.89	c  N dy  3834    887050      1546      6475    262643     60076    724617   3555148     12.03     12.67
2178.92/273.16	c  N dy  3897    907352      1546      6475    262658     40466    724617   1857723     12.02     12.67
2218.83/278.17	c  N dy  3973    927483      1546      6475    262667     59824    724617   3196830     12.03     12.75
2279.65/285.75	c  N dy  4053    948033      1546      6475    262678     79547    724617   4648922     12.03     12.86
2321.03/290.98	c  N dy  4154    968085      1545      6475    262682     58613    724617   3382484     12.06     16.88
2372.90/297.44	c  N dy  4229    988448      1545      6475    262686     78207    724617   4849364     12.07     12.71
2413.61/302.59	c  N dy  4298   1008563      1545      6475    262690     56298    724617   3123220     12.06     12.76
2467.09/309.27	c  N dy  4421   1028591      1545      6475    262703     75703    724617   5079197     12.11     16.56
2521.37/316.03	c  N dy  4527   1048700      1545      6475    262711     52757    724617   2780597     12.14     12.97
2572.46/322.44	c  N dy  4640   1068887      1545      6475    262718     72254    724617   4593680     12.20     13.25
2582.04/323.60	c  F st  4648   1071875      1545      6475    262718     75102    724617   4837394     12.19     10.05
2632.33/329.90	c  N dy  4727   1089311      1545      6452    262228     46868    723115   2361970     12.21     12.93
2681.04/336.05	c  N dy  4831   1109331      1545      6452    262233     66156    723115   4055245     12.25     16.74
2743.29/343.81	c  N dy  4915   1129414      1545      6452    262239     85467    723115   5936284     12.26     12.93
2786.39/349.21	c  N dy  4996   1149760      1545      6452    262248     61592    723115   3580661     12.26     12.98
2846.26/356.70	c  N dy  5098   1170863      1545      6452    262257     81938    723115   5403912     12.29     13.04
2894.95/362.82	c  N dy  5178   1191264      1545      6452    262262     56717    723115   3276199     12.30     13.14
2934.87/367.84	c Following stats are for *FIRST FINISHED THREAD ONLY*
2934.87/367.84	c num threads              : 8          
2934.87/367.84	c restarts                 : 6140       
2934.87/367.84	c dynamic restarts         : 6110       
2934.87/367.84	c static restarts          : 30         
2934.87/367.84	c full restarts            : 4          
2934.87/367.84	c total simplify time      : 0.01       
2934.87/367.84	c learnts DL2              : 0          
2934.87/367.84	c learnts size 2           : 272829     
2934.87/367.84	c learnts size 1           : 5           (0.31      % of vars)
2934.87/367.84	c filedLit time            : 4.04        (1.10      % time)
2934.87/367.84	c v-elim SatELite          : 40          (2.52      % vars)
2934.87/367.84	c SatELite time            : 25.67       (6.99      % time)
2934.87/367.84	c v-elim xor               : 0           (0.00      % vars)
2934.87/367.84	c xor elim time            : 0.04        (0.01      % time)
2934.87/367.84	c num binary xor trees     : 0          
2934.87/367.84	c binxor trees' crown      : 0           (nan       leafs/tree)
2934.87/367.84	c bin xor find time        : 0.00       
2934.87/367.84	c OTF clause improved      : 49873       (0.04      clauses/conflict)
2934.87/367.84	c OTF impr. size diff      : 59025       (1.18       lits/clause)
2934.87/367.84	c OTF cl watch-shrink      : 1150158     (0.83      clauses/conflict)
2934.87/367.84	c OTF cl watch-sh-lit      : 31944650    (27.77      lits/clause)
2934.87/367.84	c tried to recurMin cls    : 391062      (28.18      % of conflicts)
2934.87/367.84	c updated cache            : 8583        (0.02       lits/tried recurMin)
2934.87/367.84	c unit cls recevied        : 5           (100.00    % of units)
2934.87/367.84	c unit cls sent            : 0           (0.00      % of units)
2934.87/367.84	c bin cls recevied         : 490        
2934.87/367.84	c bin cls sent             : 78         
2934.87/367.84	c clauses over max glue    : 0           (0.00      % of all clauses)
2934.87/367.84	c conflicts                : 1387620     (3778.25   / sec)
2934.87/367.84	c decisions                : 2217394     (0.20      % random)
2934.87/367.84	c bogo-props               : 28923080228 (78752582.13 / sec)
2934.87/367.84	c conflict literals        : 111391280   (46.03     % deleted)
2934.87/367.84	c Memory used              : 1752.34     MB
2934.87/367.84	c single-thread CPU time   : 367.27      s
2934.87/367.84	c all-threads sum CPU time : 2931.63     s
2934.87/367.84	s SATISFIABLE
2934.87/367.84	v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 1590 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3421746-1306829776/watcher-3421746-1306829776 -o /tmp/evaluation-result-3421746-1306829776/solver-3421746-1306829776 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421746-1306829776.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.41 7.91 7.96 2/519 6184
/proc/meminfo: memFree=5856600/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=92144 CPUtime=0 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 8 0 775393505 94355456 352 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267937202 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6184/statm: 23036 352 299 95 0 18018 0
[pid=6184/tid=6185] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936791 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=92144 CPUtime=0 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267937196 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936784 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936787 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936793 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936793 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936787 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.022353 s]
/proc/loadavg: 7.41 7.91 7.96 2/519 6184
/proc/meminfo: memFree=5856600/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=92144 CPUtime=0.11 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 420 0 0 0 11 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936793 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6184/statm: 23036 360 302 95 0 18018 0
[pid=6184/tid=6185] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=92144 CPUtime=0 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267937196 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936784 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936791 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936793 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936793 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 775393505 94355456 360 33554432000 4194304 4580107 140736942882576 18446744073709551615 47293267936793 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 92144

[startup+0.101328 s]
/proc/loadavg: 7.41 7.91 7.96 2/519 6184
/proc/meminfo: memFree=5856600/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=556440 CPUtime=0.45 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) S 6182 6184 5968 0 -1 4202496 7995 0 0 0 32 13 0 0 17 0 8 0 775393505 569794560 7880 33554432000 4194304 4580107 140736942882576 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6184/statm: 139110 7886 336 95 0 134092 0
[pid=6184/tid=6185] ppid=6182 vsize=556440 CPUtime=0.06 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) S 6182 6184 5968 0 -1 4202560 1067 0 0 0 5 1 0 0 17 0 8 0 775393505 569794560 7892 33554432000 4194304 4580107 140736942882576 18446744073709551615 233510402542 0 0 4096 2 18446604442208170944 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=556440 CPUtime=0.03 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) S 6182 6184 5968 0 -1 4202560 1021 0 0 0 1 2 0 0 17 0 8 0 775393505 569794560 7899 33554432000 4194304 4580107 140736942882576 18446744073709551615 233510402542 0 0 4096 2 18446604442208170944 0 0 -1 7 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=556440 CPUtime=0.05 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 996 0 0 0 4 1 0 0 17 0 8 0 775393505 569794560 7906 33554432000 4194304 4580107 140736942882576 18446744073709551615 4353598 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=556440 CPUtime=0.05 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 769 0 0 0 4 1 0 0 17 0 8 0 775393505 569794560 7909 33554432000 4194304 4580107 140736942882576 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=556440 CPUtime=0.05 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 1059 0 0 0 4 1 0 0 17 0 8 0 775393505 569794560 7915 33554432000 4194304 4580107 140736942882576 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=556572 CPUtime=0.05 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 973 0 0 0 4 1 0 0 17 0 8 0 775393505 569929728 7919 33554432000 4194304 4580107 140736942882576 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=556572 CPUtime=0.06 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 932 0 0 0 4 2 0 0 17 0 8 0 775393505 569929728 7926 33554432000 4194304 4580107 140736942882576 18446744073709551615 233509958341 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 556440

[startup+0.331719 s]
/proc/loadavg: 7.41 7.91 7.96 2/519 6184
/proc/meminfo: memFree=5856600/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=628808 CPUtime=1.86 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 21094 0 0 0 159 27 0 0 17 0 8 0 775393505 643899392 20979 33554432000 4194304 4580107 140736942882576 18446744073709551615 233509958341 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6184/statm: 157202 20990 369 95 0 152184 0
[pid=6184/tid=6185] ppid=6182 vsize=628808 CPUtime=0.23 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 2764 0 0 0 20 3 0 0 17 0 8 0 775393505 643899392 20998 33554432000 4194304 4580107 140736942882576 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=628808 CPUtime=0.2 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 2607 0 0 0 17 3 0 0 17 0 8 0 775393505 643899392 21002 33554432000 4194304 4580107 140736942882576 18446744073709551615 4515939 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=628808 CPUtime=0.22 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 2711 0 0 0 19 3 0 0 17 0 8 0 775393505 643899392 21011 33554432000 4194304 4580107 140736942882576 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=628808 CPUtime=0.22 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 2365 0 0 0 19 3 0 0 17 0 8 0 775393505 643899392 21023 33554432000 4194304 4580107 140736942882576 18446744073709551615 4431213 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=628808 CPUtime=0.23 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 2891 0 0 0 21 2 0 0 17 0 8 0 775393505 643899392 21031 33554432000 4194304 4580107 140736942882576 18446744073709551615 233509958689 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=628808 CPUtime=0.23 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 2673 0 0 0 20 3 0 0 17 0 8 0 775393505 643899392 21040 33554432000 4194304 4580107 140736942882576 18446744073709551615 233510340791 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=628808 CPUtime=0.23 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 2271 0 0 0 20 3 0 0 17 0 8 0 775393505 643899392 21043 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 628808

[startup+1.45607 s]
/proc/loadavg: 7.41 7.91 7.96 2/519 6184
/proc/meminfo: memFree=5856600/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=647704 CPUtime=10.59 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 46119 0 0 0 1022 37 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6184/statm: 161926 37870 376 95 0 156908 0
[pid=6184/tid=6185] ppid=6182 vsize=647704 CPUtime=1.32 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5932 0 0 0 127 5 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=647704 CPUtime=1.29 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5611 0 0 0 124 5 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=647704 CPUtime=1.31 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 6262 0 0 0 127 4 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=647704 CPUtime=1.32 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5754 0 0 0 127 5 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=647704 CPUtime=1.33 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 6229 0 0 0 130 3 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=647704 CPUtime=1.31 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5561 0 0 0 127 4 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4320743 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=647704 CPUtime=1.34 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 4765 0 0 0 130 4 0 0 19 0 8 0 775393505 663248896 37870 33554432000 4194304 4580107 140736942882576 18446744073709551615 4322656 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 647704

[startup+1.55605 s]
/proc/loadavg: 7.41 7.91 7.96 2/519 6184
/proc/meminfo: memFree=5856600/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=647836 CPUtime=11.39 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 46785 0 0 0 1102 37 0 0 19 0 8 0 775393505 663384064 38536 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6184/statm: 161959 38536 376 95 0 156941 0
[pid=6184/tid=6185] ppid=6182 vsize=647836 CPUtime=1.42 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5978 0 0 0 137 5 0 0 19 0 8 0 775393505 663384064 38536 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=647836 CPUtime=1.39 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5723 0 0 0 134 5 0 0 19 0 8 0 775393505 663384064 38536 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=647836 CPUtime=1.41 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 6349 0 0 0 137 4 0 0 19 0 8 0 775393505 663384064 38536 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=647836 CPUtime=1.42 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5822 0 0 0 137 5 0 0 19 0 8 0 775393505 663384064 38536 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=647836 CPUtime=1.43 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 6276 0 0 0 140 3 0 0 19 0 8 0 775393505 663384064 38536 33554432000 4194304 4580107 140736942882576 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=647836 CPUtime=1.41 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 5658 0 0 0 137 4 0 0 19 0 8 0 775393505 663384064 38537 33554432000 4194304 4580107 140736942882576 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=647836 CPUtime=1.44 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 4904 0 0 0 140 4 0 0 19 0 8 0 775393505 663384064 38538 33554432000 4194304 4580107 140736942882576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 647836

[startup+3.10078 s]
/proc/loadavg: 7.41 7.91 7.96 9/527 6192
/proc/meminfo: memFree=5687896/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=631584 CPUtime=23.71 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 62924 0 0 0 2331 40 0 0 22 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6184/statm: 157896 43100 377 95 0 152878 0
[pid=6184/tid=6185] ppid=6182 vsize=631584 CPUtime=2.97 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 7773 0 0 0 292 5 0 0 22 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=631584 CPUtime=2.9 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 7686 0 0 0 285 5 0 0 22 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=631584 CPUtime=2.96 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 8363 0 0 0 291 5 0 0 22 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=631584 CPUtime=2.96 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 7885 0 0 0 291 5 0 0 23 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4242857 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=631584 CPUtime=2.97 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 8200 0 0 0 293 4 0 0 22 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=631584 CPUtime=2.95 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 7551 0 0 0 291 4 0 0 23 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=631584 CPUtime=2.98 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 7536 0 0 0 294 4 0 0 22 0 8 0 775393505 646742016 43100 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 631584

[startup+6.3202 s]
/proc/loadavg: 7.46 7.91 7.96 9/527 6192
/proc/meminfo: memFree=5660376/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=623800 CPUtime=49.4 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 88076 0 0 0 4895 45 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4413658 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6184/statm: 155950 49297 378 95 0 150932 0
[pid=6184/tid=6185] ppid=6182 vsize=623800 CPUtime=6.18 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 10016 0 0 0 613 5 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4413516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=623800 CPUtime=6.06 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 10015 0 0 0 601 5 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=623800 CPUtime=6.18 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 11794 0 0 0 612 6 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=623800 CPUtime=6.17 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 11744 0 0 0 612 5 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=623800 CPUtime=6.19 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 11485 0 0 0 615 4 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=623800 CPUtime=6.18 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 11122 0 0 0 613 5 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=623800 CPUtime=6.21 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 13186 0 0 0 615 6 0 0 25 0 8 0 775393505 638771200 49297 33554432000 4194304 4580107 140736942882576 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 4 0 0 0

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

[pid=6184] ppid=6182 vsize=1836192 CPUtime=2731.31 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 1204087 0 0 0 272794 337 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 459048 289362 381 95 0 454030 0
[pid=6184/tid=6185] ppid=6182 vsize=1836192 CPUtime=342.06 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 145536 0 0 0 34169 37 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=1836192 CPUtime=339.67 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 150198 0 0 0 33926 41 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=1836192 CPUtime=342.14 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 150658 0 0 0 34176 38 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=1836192 CPUtime=342.15 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 140381 0 0 0 34173 42 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=1836192 CPUtime=342.18 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 161836 0 0 0 34174 44 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=1836192 CPUtime=342.15 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 182150 0 0 0 34163 52 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=1836192 CPUtime=342.18 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 116537 0 0 0 34182 36 0 0 25 0 8 0 775393505 1880260608 289362 33554432000 4194304 4580107 140736942882576 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2731.31
Current children cumulated vsize (KiB) 1836192

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

[startup+346.301 s]
/proc/loadavg: 8.16 8.05 8.00 9/527 6201
/proc/meminfo: memFree=4667832/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=1902724 CPUtime=2763.24 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 1215734 0 0 0 275983 341 0 0 25 0 8 0 775393505 1948389376 297421 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 475681 297421 381 95 0 470663 0
[pid=6184/tid=6185] ppid=6182 vsize=1902724 CPUtime=346.06 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 145536 0 0 0 34569 37 0 0 25 0 8 0 775393505 1948389376 297421 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=1902724 CPUtime=343.67 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 151287 0 0 0 34325 42 0 0 25 0 8 0 775393505 1948389376 297422 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=1902724 CPUtime=346.14 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 154333 0 0 0 34575 39 0 0 25 0 8 0 775393505 1948389376 297422 33554432000 4194304 4580107 140736942882576 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=1902724 CPUtime=346.15 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 141194 0 0 0 34573 42 0 0 25 0 8 0 775393505 1948389376 297422 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=1902724 CPUtime=346.17 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 162658 0 0 0 34573 44 0 0 25 0 8 0 775393505 1948389376 297422 33554432000 4194304 4580107 140736942882576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=1902724 CPUtime=346.15 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 183188 0 0 0 34563 52 0 0 25 0 8 0 775393505 1948389376 297422 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=1902724 CPUtime=346.17 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 117404 0 0 0 34581 36 0 0 25 0 8 0 775393505 1948389376 297422 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2763.24
Current children cumulated vsize (KiB) 1902724

[startup+359.101 s]
/proc/loadavg: 8.12 8.05 8.00 9/527 6201
/proc/meminfo: memFree=4776332/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=1733132 CPUtime=2865.43 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 1253204 0 0 0 286190 353 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 433283 272067 381 95 0 428265 0
[pid=6184/tid=6185] ppid=6182 vsize=1733132 CPUtime=358.87 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 149992 0 0 0 35848 39 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=1733132 CPUtime=356.47 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 157160 0 0 0 35604 43 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=1733132 CPUtime=358.94 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 159897 0 0 0 35852 42 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=1733132 CPUtime=358.95 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 142280 0 0 0 35852 43 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=1733132 CPUtime=358.98 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 168692 0 0 0 35852 46 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=1733132 CPUtime=358.95 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 188410 0 0 0 35841 54 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=1733132 CPUtime=358.97 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 123076 0 0 0 35859 38 0 0 25 0 8 0 775393505 1774727168 272067 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2865.43
Current children cumulated vsize (KiB) 1733132

[startup+362.3 s]
/proc/loadavg: 8.12 8.05 8.00 9/527 6202
/proc/meminfo: memFree=4745580/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=1631580 CPUtime=2890.96 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 1264143 0 0 0 288741 355 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 407895 270435 381 95 0 402877 0
[pid=6184/tid=6185] ppid=6182 vsize=1631580 CPUtime=362.06 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 150904 0 0 0 36167 39 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=1631580 CPUtime=359.67 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 157979 0 0 0 35924 43 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=1631580 CPUtime=362.14 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 160895 0 0 0 36172 42 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=1631580 CPUtime=362.15 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 142816 0 0 0 36172 43 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=1631580 CPUtime=362.17 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 169455 0 0 0 36171 46 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=1631580 CPUtime=362.15 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 189209 0 0 0 36161 54 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4296096 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=1631580 CPUtime=362.17 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 125623 0 0 0 36179 38 0 0 25 0 8 0 775393505 1670737920 270435 33554432000 4194304 4580107 140736942882576 18446744073709551615 4322884 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2890.96
Current children cumulated vsize (KiB) 1631580

[startup+365.501 s]
/proc/loadavg: 8.11 8.05 8.00 9/527 6202
/proc/meminfo: memFree=4753888/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=1712304 CPUtime=2916.51 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 1270473 0 0 0 291293 358 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 428076 276765 381 95 0 423058 0
[pid=6184/tid=6185] ppid=6182 vsize=1712304 CPUtime=365.26 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 151739 0 0 0 36487 39 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=1712304 CPUtime=362.87 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 158722 0 0 0 36243 44 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=1712304 CPUtime=365.34 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 161690 0 0 0 36492 42 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=1712304 CPUtime=365.35 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 143345 0 0 0 36492 43 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=1712304 CPUtime=365.37 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 170079 0 0 0 36491 46 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4342268 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=1712304 CPUtime=365.35 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 189857 0 0 0 36480 55 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=1712304 CPUtime=365.37 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 126770 0 0 0 36499 38 0 0 25 0 8 0 775393505 1753399296 276765 33554432000 4194304 4580107 140736942882576 18446744073709551615 4296107 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2916.51
Current children cumulated vsize (KiB) 1712304

[startup+367.12 s]
/proc/loadavg: 8.11 8.05 8.00 9/527 6202
/proc/meminfo: memFree=4735656/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=1793524 CPUtime=2929.42 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 1275840 0 0 0 292582 360 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4489434 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 448381 280357 381 95 0 443363 0
[pid=6184/tid=6185] ppid=6182 vsize=1793524 CPUtime=366.88 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 152111 0 0 0 36648 40 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=1793524 CPUtime=364.49 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 159114 0 0 0 36405 44 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=1793524 CPUtime=366.97 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 161996 0 0 0 36654 43 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=1793524 CPUtime=366.96 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 146127 0 0 0 36653 43 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=1793524 CPUtime=366.99 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 170355 0 0 0 36653 46 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=1793524 CPUtime=366.97 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 190211 0 0 0 36642 55 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=1793524 CPUtime=366.98 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 127316 0 0 0 36660 38 0 0 25 0 8 0 775393505 1836568576 280357 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2929.42
Current children cumulated vsize (KiB) 1793524

[startup+367.5 s]
/proc/loadavg: 8.11 8.05 8.00 9/527 6202
/proc/meminfo: memFree=4735656/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=1813672 CPUtime=2932.46 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) R 6182 6184 5968 0 -1 4202496 1279128 0 0 0 292886 360 0 0 25 0 8 0 775393505 1857200128 282109 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 453418 281597 381 95 0 448400 0
[pid=6184/tid=6185] ppid=6182 vsize=1813672 CPUtime=367.26 cores=0-7
/proc/6184/task/6185/stat : 6185 (strangenight2-m) D 6182 6184 5968 0 -1 4202560 152214 0 0 0 36686 40 0 0 25 0 8 0 775393505 1857200128 281597 33554432000 4194304 4580107 140736942882576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=1813672 CPUtime=364.87 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 159168 0 0 0 36443 44 0 0 25 0 8 0 775393505 1857200128 281597 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6184/tid=6187] ppid=6182 vsize=1813672 CPUtime=367.35 cores=0-7
/proc/6184/task/6187/stat : 6187 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 162050 0 0 0 36692 43 0 0 25 0 8 0 775393505 1857200128 281597 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6184/tid=6188] ppid=6182 vsize=1813672 CPUtime=367.35 cores=0-7
/proc/6184/task/6188/stat : 6188 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 146252 0 0 0 36692 43 0 0 25 0 8 0 775393505 1857200128 281085 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6184/tid=6189] ppid=6182 vsize=1813672 CPUtime=367.38 cores=0-7
/proc/6184/task/6189/stat : 6189 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 172868 0 0 0 36691 47 0 0 25 0 8 0 775393505 1857200128 281085 33554432000 4194304 4580107 140736942882576 18446744073709551615 233510340743 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6184/tid=6190] ppid=6182 vsize=1813672 CPUtime=367.35 cores=0-7
/proc/6184/task/6190/stat : 6190 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 190442 0 0 0 36680 55 0 0 25 0 8 0 775393505 1857200128 281085 33554432000 4194304 4580107 140736942882576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6184/tid=6191] ppid=6182 vsize=1813672 CPUtime=367.37 cores=0-7
/proc/6184/task/6191/stat : 6191 (strangenight2-m) R 6182 6184 5968 0 -1 4202560 127404 0 0 0 36698 39 0 0 25 0 8 0 775393505 1857200128 281085 33554432000 4194304 4580107 140736942882576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2932.46
Current children cumulated vsize (KiB) 1813672

[startup+367.9 s]
/proc/loadavg: 8.11 8.05 8.00 9/527 6202
/proc/meminfo: memFree=4735656/32951124 swapFree=64303760/67111528
[pid=6184] ppid=6182 vsize=0 CPUtime=2935.28 cores=0-7
/proc/6184/stat : 6184 (strangenight2-m) Z 6182 6184 5968 0 -1 4203548 1279876 0 0 0 293162 366 0 0 25 0 2 0 775393505 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/6184/statm: 0 0 0 0 0 0 0
[pid=6184/tid=6186] ppid=6182 vsize=0 CPUtime=365.27 cores=0-7
/proc/6184/task/6186/stat : 6186 (strangenight2-m) R 6182 6184 5968 0 -1 4203588 159227 0 0 0 36477 50 0 0 25 0 2 0 775393505 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2935.28
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 367.904
CPU time (s): 2935.3
CPU user time (s): 2931.63
CPU system time (s): 3.66944
CPU usage (%): 797.842
Max. virtual memory (cumulated for all children) (KiB): 1902724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2931.63
system time used= 3.66944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1279876
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= 51152
involuntary context switches= 12813

runsolver used 1.81072 second user time and 4.55031 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-31 10:16:16
IDJOB=3421746
IDBENCH=88225
IDSOLVER=1878
FILE ID=node145/3421746-1306829776
RUNJOBID= node145-1306824762-5982
PBS_JOBID= 13479117
Free space on /tmp= 54016 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q585-n40-p15-s54275047.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421746-1306829776/watcher-3421746-1306829776 -o /tmp/evaluation-result-3421746-1306829776/solver-3421746-1306829776 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421746-1306829776.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 67948a6aed9ea09317abe3c8a9a27a03
RANDOM SEED=1921873540

node145.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.786
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.57
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.786
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.76
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.786
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.786
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.786
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.82
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       5856880 kB
Buffers:        111016 kB
Cached:       17284992 kB
SwapCached:       1188 kB
Active:       17411748 kB
Inactive:      8968704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       5856880 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:            8988 kB
Writeback:           0 kB
AnonPages:     8983308 kB
Mapped:          33764 kB
Slab:           576524 kB
PageTables:      65784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153201060 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= 54012 MiB
End job on node145 at 2011-05-31 10:22:25