0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3421631-1306685403.cnf'
0.00/0.02 c -- header says num vars: 135
0.00/0.02 c -- header says num clauses: 5251
0.00/0.03 c -- clauses added: 0 learnts, 5251 normals, 0 xors
0.00/0.03 c -- vars added 135
0.00/0.03 c Parsing time: 0.00 s
0.00/0.03 c N st 0 0 135 5251 0 0 22611 0 no data no data
0.00/0.04 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.01
0.00/0.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
0.00/0.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
0.00/0.05 c bin-w-bin subsume rem 0 bins time: 0.00 s
0.00/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
0.00/0.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
0.00/0.05 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
0.00/0.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
0.00/0.41 c Finding binary XORs T: 0.00 s found: 0
0.00/0.41 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
0.00/0.41 c calculated reachability. Time: 0.00
0.00/0.41 c Calc default polars - time: 0.00 s pos: 135 undec: 0 neg: 0
0.00/0.41 c =========================================================================================
0.00/0.41 c types(t): F = full restart, N = normal restart
0.00/0.41 c types(t): S = simplification begin/end, E = solution found
0.00/0.41 c restart types(rt): st = static, dy = dynamic
0.00/0.41 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
0.00/0.41 c B st 0 0 135 5251 0 0 22611 0 no data no data
0.00/0.41 c N dy 15 6054 135 5251 0 3336 22611 51911 11.57 12.23
0.00/0.91 c N dy 28 10103 135 5251 0 7146 22611 116419 11.40 12.06
0.00/0.91 c N dy 35 14373 135 5251 0 7110 22611 108326 10.92 11.50
0.00/0.91 c N dy 43 18384 135 5251 0 5579 22611 79859 10.71 12.85
0.00/0.91 c N dy 67 22506 135 5251 0 9475 22611 146880 10.91 11.54
7.25/1.01 c F st 79 25001 135 5251 0 11836 22611 187402 11.00 10.32
8.05/1.11 c N st 83 27033 135 5251 0 7386 22611 104156 11.00 no data
8.84/1.21 c S st 85 30001 135 5251 0 10174 22611 148972 11.00 no data
8.84/1.21 c S st 85 30506 135 5251 0 10675 22611 158525 11.00 no data
8.84/1.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
8.84/1.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
8.84/1.21 c blocked clauses removed: 0 vars: 0 tried: 135 T: 0.00 s
8.84/1.21 c bin-w-bin subsume rem 0 bins time: 0.00 s
8.84/1.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
8.84/1.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
8.84/1.21 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
8.84/1.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
8.84/1.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
9.64/1.31 c lits-rem: 158 cl-subs: 1486 v-elim: 0 v-fix: 0 time: 0.08 s
11.06/1.41 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.06
11.06/1.41 c calculated reachability. Time: 0.00
11.06/1.41 c N dy 85 30506 135 5251 0 9189 22611 142639 11.00 no data
12.67/1.61 c N dy 101 34539 135 5251 0 12992 22611 204970 10.93 11.53
13.46/1.71 c N dy 119 38540 135 5251 0 9327 22611 132329 10.98 11.58
14.27/1.87 c N dy 133 42561 135 5251 0 13077 22611 193799 10.97 11.60
15.96/2.03 c S st 149 45759 135 5251 0 16095 22611 243565 10.99 no data
15.96/2.06 c S st 149 46263 135 5251 0 16587 22611 252651 10.99 no data
15.96/2.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
15.96/2.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
15.96/2.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
15.96/2.06 c bin-w-bin subsume rem 0 bins time: 0.00 s
15.96/2.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
15.96/2.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
15.96/2.07 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
15.96/2.07 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
15.96/2.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
17.45/2.22 c lits-rem: 217 cl-subs: 1907 v-elim: 0 v-fix: 0 time: 0.15 s
17.45/2.22 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
17.45/2.22 c vivif2 -- cl tried 14680 cl shrink 0 lits rem 0 time: 0.00
18.25/2.31 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.09
18.25/2.31 c calculated reachability. Time: 0.00
18.25/2.31 c N dy 149 46263 135 5251 0 14680 22611 230126 10.99 no data
19.85/2.53 c N dy 171 50598 135 5251 0 10417 22611 150246 11.02 11.61
21.45/2.73 c N dy 184 54902 135 5251 0 14476 22611 216986 10.99 11.62
23.04/2.98 c N dy 198 59748 135 5251 0 9676 22611 131092 10.93 11.58
24.74/3.17 c N dy 217 63805 135 5251 0 13517 22611 194459 10.97 12.23
26.23/3.37 c N dy 233 67874 135 5251 0 17324 22611 256116 10.96 12.20
27.03/3.46 c S st 241 69396 135 5251 0 18747 22611 279872 10.98 no data
27.03/3.49 c S st 241 69899 135 5251 0 19244 22611 289303 10.98 no data
27.03/3.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
27.83/3.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
27.83/3.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
27.83/3.50 c bin-w-bin subsume rem 0 bins time: 0.00 s
27.83/3.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
27.83/3.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
27.83/3.50 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
27.83/3.50 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
27.83/3.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
28.64/3.68 c lits-rem: 256 cl-subs: 1746 v-elim: 0 v-fix: 0 time: 0.17 s
28.64/3.68 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
28.64/3.69 c vivif2 -- cl tried 17498 cl shrink 0 lits rem 0 time: 0.00
29.44/3.79 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.10
29.44/3.79 c calculated reachability. Time: 0.00
29.44/3.79 c N dy 241 69899 135 5251 0 17498 22611 267409 10.98 no data
31.83/4.09 c N dy 271 75234 135 5251 0 12247 22611 168516 11.03 11.64
34.23/4.33 c N dy 291 80243 135 5251 0 16947 22611 245491 11.03 11.81
36.62/4.63 c N dy 305 85606 135 5251 0 21924 22611 324910 10.99 11.57
37.42/4.74 c F st 308 87500 135 5251 0 12494 22611 164570 10.97 10.49
39.02/4.99 c N dy 314 92691 135 5251 0 17365 22611 244270 10.97 no data
43.01/5.43 c N dy 345 100136 135 5251 0 24358 22611 357803 10.98 11.88
44.61/5.68 c S st 374 104850 135 5251 0 16616 22611 231228 11.01 no data
45.41/5.71 c S st 374 105357 135 5251 0 17114 22611 240392 11.01 no data
45.41/5.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
45.41/5.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00
45.41/5.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
45.41/5.72 c bin-w-bin subsume rem 0 bins time: 0.00 s
45.41/5.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
45.41/5.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
45.41/5.72 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
45.41/5.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
45.41/5.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
46.21/5.82 c lits-rem: 133 cl-subs: 1047 v-elim: 0 v-fix: 0 time: 0.09 s
46.21/5.82 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
46.21/5.82 c vivif2 -- cl tried 16067 cl shrink 0 lits rem 0 time: 0.00
47.01/5.91 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.09
47.01/5.91 c calculated reachability. Time: 0.00
47.01/5.91 c N dy 374 105357 135 5251 0 16067 22611 228623 11.01 no data
50.28/6.35 c N dy 394 112862 135 5251 0 23039 22611 338198 10.97 11.58
53.39/6.79 c N dy 418 120249 135 5251 0 16891 22611 232814 10.95 11.57
58.20/7.35 c N dy 433 130273 135 5251 0 26235 22611 376163 10.86 11.45
62.18/7.86 c N dy 471 138680 135 5251 0 20096 22611 283020 10.86 17.57
68.68/8.63 c N dy 499 150254 135 5251 0 15962 22611 204122 10.82 11.50
71.77/9.04 c S st 532 158036 135 5251 0 23267 22611 321504 10.81 no data
71.77/9.08 c S st 532 158538 135 5251 0 23760 22611 330352 10.81 no data
71.77/9.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
71.77/9.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00
71.77/9.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
71.77/9.08 c bin-w-bin subsume rem 0 bins time: 0.00 s
71.77/9.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
71.77/9.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
71.77/9.08 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
71.77/9.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
71.77/9.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
74.16/9.33 c lits-rem: 434 cl-subs: 2090 v-elim: 0 v-fix: 0 time: 0.23 s
74.16/9.33 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
74.16/9.33 c vivif2 -- cl tried 21670 cl shrink 0 lits rem 0 time: 0.00
74.96/9.45 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.12
74.96/9.45 c calculated reachability. Time: 0.00
74.96/9.45 c N dy 532 158538 135 5251 0 21670 22611 306566 10.81 no data
80.56/10.16 c N dy 572 168699 135 5251 0 31196 22611 457225 10.81 15.13
85.43/10.80 c N dy 597 179491 135 5251 0 25400 22611 346476 10.76 11.35
92.54/11.69 c N dy 654 192278 135 5251 0 20537 22611 264770 10.77 11.36
99.73/12.50 c N dy 713 204737 135 5251 0 32224 22611 453630 10.79 11.38
106.92/13.43 c N dy 773 218152 135 5251 0 27102 22611 365863 10.80 11.49
115.70/14.52 c N dy 828 232562 135 5251 0 21845 22611 275243 10.80 11.37
118.10/14.85 c S st 843 237807 135 5251 0 26769 22611 351759 10.79 8.73
118.10/14.88 c S st 843 238311 135 5251 0 27266 22611 361055 10.79 no data
118.10/14.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
118.10/14.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00
118.10/14.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
118.10/14.89 c bin-w-bin subsume rem 0 bins time: 0.00 s
118.10/14.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
118.10/14.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
118.10/14.89 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
118.10/14.89 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
118.90/14.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
120.58/15.17 c lits-rem: 359 cl-subs: 2142 v-elim: 0 v-fix: 0 time: 0.26 s
120.58/15.17 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
120.58/15.17 c vivif2 -- cl tried 25124 cl shrink 0 lits rem 0 time: 0.00
122.10/15.31 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.14
122.10/15.31 c calculated reachability. Time: 0.00
122.10/15.31 c N dy 843 238311 135 5251 0 25124 22611 336805 10.79 no data
131.68/16.53 c N dy 890 253986 135 5251 0 20125 22611 246395 10.77 11.47
140.47/17.64 c N dy 958 270229 135 5251 0 35316 22611 483064 10.77 14.50
150.85/18.93 c N dy 1007 287628 135 5251 0 30995 22611 404124 10.73 11.31
162.04/20.39 c N dy 1074 306030 135 5251 0 26707 22611 336793 10.73 11.31
162.84/20.41 c F st 1077 306253 135 5251 0 26923 22611 340481 10.73 no data
174.81/21.99 c N dy 1147 325942 135 5251 0 22969 22611 276487 10.73 11.30
186.80/23.49 c N dy 1211 346152 135 5251 0 41904 22611 566993 10.72 11.41
194.79/24.42 c S st 1246 357468 135 5251 0 29078 22611 363737 10.71 no data
194.79/24.46 c S st 1246 357968 135 5251 0 29574 22611 372695 10.71 no data
194.79/24.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
194.79/24.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
194.79/24.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
194.79/24.47 c bin-w-bin subsume rem 0 bins time: 0.00 s
194.79/24.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
194.79/24.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
194.79/24.47 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
194.79/24.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
194.79/24.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
197.19/24.78 c lits-rem: 451 cl-subs: 2431 v-elim: 0 v-fix: 0 time: 0.29 s
197.19/24.78 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
197.19/24.78 c vivif2 -- cl tried 27143 cl shrink 0 lits rem 0 time: 0.01
198.78/24.93 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.15
198.78/24.94 c calculated reachability. Time: 0.00
198.78/24.94 c N dy 1246 357968 135 5251 0 27143 22611 348013 10.71 no data
212.37/26.70 c N dy 1303 380330 135 5251 0 47896 22611 659507 10.68 11.29
226.02/28.37 c N dy 1368 400925 135 5251 0 42951 22611 582199 10.67 11.41
241.12/30.27 c N dy 1435 421557 135 5251 0 37079 22611 487322 10.66 11.28
256.29/32.18 c N dy 1495 442458 135 5251 0 30375 22611 384304 10.64 11.22
269.95/33.90 c N dy 1549 462675 135 5251 0 49216 22611 667516 10.62 11.20
284.24/35.68 c N dy 1625 482821 135 5251 0 40932 22611 540493 10.62 11.31
301.03/37.77 c N dy 1705 503861 135 5251 0 32589 22611 402357 10.61 11.20
315.40/39.53 c N dy 1775 524039 135 5251 0 51422 22611 689322 10.61 11.17
325.78/40.80 c S st 1815 536953 135 5251 0 34542 22611 425407 10.60 10.57
325.78/40.84 c S st 1815 537459 135 5251 0 35036 22611 433991 10.60 no data
325.78/40.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
325.78/40.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01
325.78/40.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
325.78/40.85 c bin-w-bin subsume rem 0 bins time: 0.00 s
325.78/40.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
325.78/40.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
325.78/40.85 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
325.78/40.86 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s
325.78/40.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
328.98/41.23 c lits-rem: 459 cl-subs: 2369 v-elim: 0 v-fix: 0 time: 0.36 s
328.98/41.23 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
328.98/41.24 c vivif2 -- cl tried 32667 cl shrink 0 lits rem 0 time: 0.00
330.58/41.45 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.21
330.58/41.45 c calculated reachability. Time: 0.00
330.58/41.45 c N dy 1815 537459 135 5251 0 32667 22611 409365 10.60 no data
344.96/43.25 c N dy 1874 557899 135 5251 0 51564 22611 687734 10.58 11.25
362.53/45.41 c N dy 1957 578842 135 5251 0 41492 22611 528333 10.58 11.22
377.70/47.38 c N dy 2017 598913 135 5251 0 60193 22611 805739 10.57 12.27
392.09/49.18 c N dy 2083 618923 135 5251 0 48128 22611 621752 10.56 11.24
411.36/51.52 c N dy 2142 642070 135 5251 0 37865 22611 455360 10.54 11.20
428.12/53.64 c N dy 2210 664278 135 5251 0 58515 22611 757497 10.52 11.09
444.82/55.70 c N dy 2296 684320 135 5251 0 44727 22611 558680 10.52 11.49
461.59/57.85 c N dy 2368 704442 135 5251 0 63487 22611 840910 10.52 11.08
477.56/59.86 c N dy 2438 724502 135 5251 0 48665 22611 608622 10.51 11.45
495.94/62.18 c N dy 2521 744662 135 5251 0 67463 22611 887745 10.52 11.12
511.92/64.16 c N dy 2587 764718 135 5251 0 51678 22611 650046 10.51 14.93
530.29/66.43 c N dy 2644 785170 135 5251 0 70593 22611 925800 10.50 11.13
545.46/68.40 c N dy 2687 805719 135 5251 0 54406 22611 677503 10.49 11.14
546.26/68.45 c S st 2689 806188 135 5251 0 54835 22611 683799 10.49 9.12
547.06/68.51 c S st 2689 806690 135 5251 0 55335 22611 692886 10.49 no data
547.06/68.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
547.06/68.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.01
547.06/68.53 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
547.06/68.53 c bin-w-bin subsume rem 0 bins time: 0.00 s
547.06/68.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
547.06/68.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
547.06/68.53 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
547.06/68.54 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
547.06/68.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
559.06/70.11 c lits-rem: 1717 cl-subs: 6872 v-elim: 0 v-fix: 0 time: 1.55 s
559.06/70.11 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
559.92/70.12 c vivif2 -- cl tried 48463 cl shrink 0 lits rem 0 time: 0.01
561.44/70.31 c asymm cl-useful: 0/2669/5251 lits-rem:0 time: 0.20
561.44/70.32 c calculated reachability. Time: 0.00
561.44/70.32 c N dy 2689 806690 135 5251 0 48463 22611 618507 10.49 no data
579.81/72.66 c N dy 2762 827696 135 5251 0 67994 22611 908391 10.49 11.05
598.17/74.93 c N dy 2840 849602 135 5251 0 52257 22611 651249 10.48 11.13
618.15/77.42 c N dy 2929 870379 135 5251 0 71606 22611 933873 10.48 11.09
638.12/79.99 c N dy 2977 895838 135 5251 0 58103 22611 722859 10.46 11.03
662.09/82.92 c N dy 3046 918245 135 5251 0 40818 22611 470634 10.45 11.06
678.06/84.93 c N dy 3114 938247 135 5251 0 59333 22611 743693 10.44 11.04
698.84/87.51 c N dy 3159 958607 135 5251 0 39277 22611 443731 10.43 11.05
714.81/89.52 c N dy 3244 978952 135 5251 0 58174 22611 721940 10.43 11.04
734.79/92.05 c N dy 3299 999828 135 5251 0 77469 22611 997014 10.42 10.99
753.23/94.37 c N dy 3383 1020597 135 5251 0 56969 22611 699648 10.42 10.97
773.12/96.82 c N dy 3464 1040680 135 5251 0 75581 22611 970700 10.42 10.97
791.49/99.18 c N dy 3517 1061693 135 5251 0 54256 22611 647791 10.41 11.22
800.28/100.28 c F st 3544 1071876 135 5251 0 63709 22611 782836 10.40 8.94
815.56/102.18 c N dy 3574 1087877 135 5251 0 78595 22611 1003761 10.40 10.99
835.43/104.65 c N dy 3654 1108387 135 5251 0 55862 22611 667789 10.40 10.95
855.39/107.19 c N dy 3720 1130052 135 5251 0 75946 22611 955614 10.39 10.98
877.76/109.99 c N dy 3800 1151574 135 5251 0 53329 22611 625732 10.39 11.07
897.74/112.40 c N dy 3864 1172297 135 5251 0 72460 22611 900270 10.38 10.94
920.18/115.30 c N dy 3915 1193156 135 5251 0 48157 22611 550064 10.37 10.92
935.29/117.13 c S st 3981 1210035 135 5251 0 63865 22611 777951 10.37 10.16
936.08/117.21 c S st 3981 1210539 135 5251 0 64367 22611 787810 10.37 no data
936.08/117.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
936.08/117.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02
936.08/117.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
936.08/117.23 c bin-w-bin subsume rem 0 bins time: 0.00 s
936.08/117.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
936.08/117.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
936.08/117.23 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
936.08/117.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
936.08/117.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
956.15/119.78 c lits-rem: 2672 cl-subs: 7624 v-elim: 0 v-fix: 0 time: 2.52 s
956.15/119.78 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
956.15/119.79 c vivif2 -- cl tried 56743 cl shrink 0 lits rem 0 time: 0.01
958.45/120.06 c asymm cl-useful: 0/2582/5251 lits-rem:0 time: 0.26
958.45/120.06 c calculated reachability. Time: 0.00
958.45/120.06 c N dy 3981 1210539 135 5251 0 56743 22611 707058 10.37 no data
982.50/123.06 c N dy 4071 1231314 135 5251 0 76103 22611 989908 10.37 10.94
1005.58/125.99 c N dy 4149 1252031 135 5251 0 51090 22611 596913 10.37 10.94
1024.75/128.40 c N dy 4226 1272572 135 5251 0 70154 22611 870020 10.37 11.09
1047.11/131.14 c N dy 4276 1292665 135 5251 0 88731 22611 1128051 10.36 10.99
1067.08/133.66 c N dy 4369 1312753 135 5251 0 62143 22611 753882 10.36 11.01
1087.14/136.17 c N dy 4425 1332799 135 5251 0 80582 22611 1014087 10.36 13.29
1111.02/139.13 c N dy 4502 1352902 135 5251 0 52979 22611 615766 10.36 10.92
1129.40/141.48 c N dy 4573 1372990 135 5251 0 71586 22611 881168 10.36 11.63
1152.56/144.38 c N dy 4645 1393508 135 5251 0 90508 22611 1148214 10.35 10.93
1174.13/147.04 c N dy 4710 1413925 135 5251 0 62253 22611 740597 10.35 10.95
1197.29/149.95 c N dy 4798 1433933 135 5251 0 80775 22611 1006159 10.35 10.93
1225.26/153.47 c N dy 4867 1454352 135 5251 0 51548 22611 580990 10.35 10.97
1244.43/155.81 c N dy 4932 1475411 135 5251 0 70974 22611 860520 10.34 10.89
1267.59/158.76 c N dy 5015 1495491 135 5251 0 89526 22611 1123462 10.34 10.89
1291.55/161.77 c N dy 5094 1515921 135 5251 0 59417 22611 691975 10.34 10.91
1312.33/164.33 c N dy 5167 1536074 135 5251 0 78092 22611 957839 10.34 11.04
1335.48/167.27 c N dy 5215 1556153 135 5251 0 96627 22611 1211555 10.33 11.37
1360.35/170.37 c N dy 5288 1577381 135 5251 0 66265 22611 781856 10.33 10.92
1385.02/173.43 c N dy 5353 1597437 135 5251 0 84791 22611 1037545 10.33 10.90
1413.07/176.92 c N dy 5428 1618162 135 5251 0 53132 22611 594810 10.32 10.88
1431.34/179.27 c N dy 5482 1638258 135 5251 0 71562 22611 849647 10.32 12.06
1454.51/182.14 c N dy 5535 1658450 135 5251 0 90200 22611 1110430 10.31 10.95
1481.68/185.54 c N dy 5594 1679098 135 5251 0 57551 22611 654816 10.31 10.90
1502.44/188.15 c N dy 5658 1699900 135 5251 0 76776 22611 926793 10.30 10.91
1514.43/189.65 c S st 5695 1710541 135 5251 0 86523 22611 1060299 10.30 7.26
1515.23/189.74 c S st 5695 1711046 135 5251 0 87020 22611 1068820 10.30 no data
1515.23/189.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00
1515.23/189.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
1515.23/189.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1515.23/189.78 c bin-w-bin subsume rem 0 bins time: 0.00 s
1515.23/189.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1515.23/189.78 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
1515.23/189.78 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
1515.23/189.79 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s
1516.03/189.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
1557.56/195.02 c lits-rem: 6161 cl-subs: 12943 v-elim: 0 v-fix: 0 time: 5.20 s
1557.56/195.02 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00
1557.56/195.04 c vivif2 -- cl tried 74077 cl shrink 0 lits rem 0 time: 0.02
1559.96/195.36 c asymm cl-useful: 0/1983/5251 lits-rem:0 time: 0.32
1559.96/195.37 c calculated reachability. Time: 0.00
1559.96/195.37 c N dy 5695 1711046 135 5251 0 74077 22611 929747 10.30 no data
1588.82/198.97 c N dy 5788 1731089 135 5251 0 92659 22611 1195935 10.30 12.47
1619.87/202.82 c N dy 5847 1753604 135 5251 0 61190 22611 707902 10.30 10.94
1640.72/205.41 c N dy 5899 1773671 135 5251 0 79658 22611 960618 10.29 10.85
1664.61/208.45 c N dy 5955 1794159 135 5251 0 98427 22611 1216713 10.28 10.90
1690.16/211.64 c N dy 6020 1814647 135 5251 0 64234 22611 754395 10.28 10.86
1712.52/214.49 c N dy 6094 1834768 135 5251 0 82767 22611 1009603 10.28 10.83
1739.68/217.84 c N dy 6174 1855218 135 5251 0 101586 22611 1273775 10.28 10.83
1765.25/221.05 c N dy 6234 1875456 135 5251 0 66040 22611 772350 10.27 10.89
1788.43/223.98 c N dy 6323 1895927 135 5251 0 84991 22611 1039498 10.27 10.85
1814.78/227.28 c N dy 6380 1916055 135 5251 0 103559 22611 1297119 10.27 10.85
1841.94/230.63 c N dy 6425 1936097 135 5251 0 66583 22611 763260 10.26 11.36
1865.11/233.56 c N dy 6507 1956398 135 5251 0 85357 22611 1024902 10.26 10.98
1897.85/237.62 c N dy 6581 1980884 135 5251 0 107950 22611 1331995 10.26 10.80
1921.89/240.70 c N dy 6645 2001063 135 5251 1 70368 22611 809598 10.25 10.83
1945.78/243.60 c N dy 6712 2021203 135 5251 1 88937 22611 1060680 10.25 10.81
1972.15/246.95 c N dy 6787 2041719 135 5251 1 107808 22611 1319283 10.25 10.81
1996.92/250.07 c N dy 6844 2061721 135 5251 1 69104 22611 781930 10.24 10.86
2024.87/253.55 c N dy 6918 2083937 135 5251 1 89517 22611 1060688 10.24 10.79
2055.21/257.31 c N dy 6981 2104382 135 5251 1 108317 22611 1320988 10.24 10.79
2083.98/260.98 c N dy 7037 2124595 135 5251 1 69015 22611 769265 10.23 10.81
2107.94/263.94 c N dy 7101 2144675 135 5251 1 87463 22611 1021555 10.23 10.82
2137.50/267.65 c N dy 7175 2164713 135 5251 1 105864 22611 1274350 10.23 12.50
2167.93/271.44 c N dy 7220 2185150 135 5251 1 65792 22611 716587 10.22 10.89
2192.62/274.51 c N dy 7269 2206348 135 5251 1 85277 22611 981072 10.22 10.77
2198.20/275.23 c S st 7282 2211047 135 5251 1 89632 22611 1040998 10.22 no data
2199.00/275.33 c S st 7282 2211549 135 5251 1 90127 22611 1049984 10.22 no data
2199.00/275.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2199.00/275.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.04
2199.00/275.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2199.00/275.38 c bin-w-bin subsume rem 0 bins time: 0.00 s
2199.00/275.38 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.00 s
2199.00/275.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s
2199.00/275.38 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s
2199.80/275.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
2200.60/275.50 c subs with bin: 263 lits-rem: 1021 v-fix: 0 time: 0.07 s
2248.52/281.53 c lits-rem: 9041 cl-subs: 12721 v-elim: 0 v-fix: 0 time: 6.04 s
2248.52/281.53 c vivif2 -- cl tried 5248 cl shrink 0 lits rem 0 time: 0.00
2248.52/281.55 c vivif2 -- cl tried 77143 cl shrink 0 lits rem 0 time: 0.02
2251.72/281.97 c asymm cl-useful: 0/1521/5248 lits-rem:0 time: 0.42
2251.72/281.97 c calculated reachability. Time: 0.00
2251.72/281.97 c N dy 7282 2211549 135 5248 1 77143 22604 905953 10.22 no data
2284.47/286.03 c N dy 7341 2231866 135 5248 1 95810 22604 1160675 10.21 10.82
2319.62/290.44 c N dy 7396 2252049 135 5248 1 114320 22604 1406972 10.21 10.82
2348.38/294.04 c N dy 7456 2273589 135 5248 1 74832 22604 834036 10.20 10.76
2372.35/297.08 c N dy 7499 2293811 135 5248 1 93376 22604 1078033 10.20 10.75
2399.50/300.41 c N dy 7545 2313846 135 5248 2 111746 22604 1320150 10.19 10.82
2418.67/302.89 c Finding binary XORs T: 0.00 s found: 0
2427.46/303.99 c N dy 7580 2334227 135 5248 4 70004 22604 761388 10.18 10.73
2452.23/307.06 c N dy 7623 2354462 135 5248 4 88446 22604 1000630 10.18 10.74
2456.22/307.52 c Finding binary XORs T: 0.00 s found: 0
2483.38/310.91 c N dy 7657 2376464 135 5248 9 108615 22604 1262300 10.17 10.71
2485.77/311.27 c Finding binary XORs T: 0.00 s found: 0
2512.14/314.57 c Finding binary XORs T: 0.00 s found: 0
2516.94/315.13 c N dy 7726 2396528 135 5248 16 65771 22604 698132 10.17 12.43
2536.10/317.54 c Finding binary XORs T: 0.00 s found: 0
2540.89/318.13 c N dy 7773 2416667 135 5248 21 84282 22604 940846 10.16 10.77
2556.86/320.14 c Finding binary XORs T: 0.00 s found: 0
2569.65/321.77 c N dy 7811 2436938 134 5248 25 102806 22604 1177981 10.15 10.73
2578.44/322.89 c Finding binary XORs T: 0.00 s found: 0
2600.80/325.62 c Finding binary XORs T: 0.00 s found: 0
2602.40/325.82 c N dy 7836 2457490 134 5118 25 113696 22118 1327246 10.14 10.72
2621.58/328.23 c Finding binary XORs T: 0.00 s found: 0
2630.36/329.39 c N dy 7858 2481027 133 5118 38 76969 22118 825015 10.13 10.76
2632.76/329.63 c Finding binary XORs T: 0.00 s found: 0
2645.54/331.20 c Finding binary XORs T: 0.00 s found: 0
2656.73/332.67 c Following stats are for *FIRST FINISHED THREAD ONLY*
2656.73/332.67 c num threads : 8
2656.73/332.67 c restarts : 8028
2656.73/332.67 c dynamic restarts : 7998
2656.73/332.67 c static restarts : 30
2656.73/332.67 c full restarts : 4
2656.73/332.67 c total simplify time : 0.27
2656.73/332.67 c learnts DL2 : 0
2656.73/332.67 c learnts size 2 : 209
2656.73/332.67 c learnts size 1 : 56 (41.48 % of vars)
2656.73/332.67 c filedLit time : 0.16 (0.05 % time)
2656.73/332.67 c v-elim SatELite : 0 (0.00 % vars)
2656.73/332.67 c SatELite time : 21.29 (6.40 % time)
2656.73/332.67 c v-elim xor : 0 (0.00 % vars)
2656.73/332.67 c xor elim time : 0.02 (0.01 % time)
2656.73/332.67 c num binary xor trees : 0
2656.73/332.67 c binxor trees' crown : 0 (nan leafs/tree)
2656.73/332.67 c bin xor find time : 0.00
2656.73/332.67 c OTF clause improved : 183312 (0.07 clauses/conflict)
2656.73/332.67 c OTF impr. size diff : 200169 (1.09 lits/clause)
2656.73/332.67 c OTF cl watch-shrink : 1839595 (0.74 clauses/conflict)
2656.73/332.67 c OTF cl watch-sh-lit : 5446464 (2.96 lits/clause)
2656.73/332.67 c tried to recurMin cls : 178496 (7.17 % of conflicts)
2656.73/332.67 c updated cache : 1156 (0.01 lits/tried recurMin)
2656.73/332.67 c unit cls recevied : 9 (16.07 % of units)
2656.73/332.67 c unit cls sent : 2 (3.57 % of units)
2656.73/332.67 c bin cls recevied : 51
2656.73/332.67 c bin cls sent : 18
2656.73/332.67 c clauses over max glue : 0 (0.00 % of all clauses)
2656.73/332.67 c conflicts : 2489384 (7489.18 / sec)
2656.73/332.67 c decisions : 3085339 (0.29 % random)
2656.73/332.67 c bogo-props : 62073969784 (186746217.85 / sec)
2656.73/332.67 c conflict literals : 35517255 (47.50 % deleted)
2656.73/332.67 c Memory used : 746.49 MB
2656.73/332.67 c single-thread CPU time : 332.40 s
2656.73/332.67 c all-threads sum CPU time : 2655.47 s
2656.73/332.67 s UNSATISFIABLE
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3421631-1306685403/watcher-3421631-1306685403 -o /tmp/evaluation-result-3421631-1306685403/solver-3421631-1306685403 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421631-1306685403.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: 6.42 7.70 7.90 2/366 16988
/proc/meminfo: memFree=22684424/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=92144 CPUtime=0.03 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 412 0 0 0 3 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 47815573198770 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 23036 353 299 95 0 18018 0
[pid=16988/tid=16989] ppid=16986 vsize=92144 CPUtime=0.01 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 47815573198770 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=92144 CPUtime=0 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=92144 CPUtime=0 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 47815573198768 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=92144 CPUtime=0 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 47815573198760 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=92144 CPUtime=0 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 47815573198770 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=92144 CPUtime=0 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 47815573198770 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=92144 CPUtime=0 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 780140744 94355456 353 33554432000 4194304 4580107 140735970161824 18446744073709551615 47815573198770 0 0 4096 2 0 0 0 -1 1 0 0 0
[startup+0.268381 s]
/proc/loadavg: 6.42 7.70 7.90 2/366 16988
/proc/meminfo: memFree=22684424/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=559004 CPUtime=7.25 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 10867 0 0 0 721 4 0 0 19 0 8 0 780140744 572420096 6054 33554432000 4194304 4580107 140735970161824 18446744073709551615 4317147 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 139751 6054 376 95 0 134733 0
[pid=16988/tid=16989] ppid=16986 vsize=559004 CPUtime=0.9 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1357 0 0 0 90 0 0 0 19 0 8 0 780140744 572420096 6054 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=559004 CPUtime=0.88 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1331 0 0 0 88 0 0 0 19 0 8 0 780140744 572420096 6055 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=559004 CPUtime=0.9 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1392 0 0 0 90 0 0 0 18 0 8 0 780140744 572420096 6055 33554432000 4194304 4580107 140735970161824 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=559004 CPUtime=0.9 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1357 0 0 0 90 0 0 0 19 0 8 0 780140744 572420096 6056 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=559004 CPUtime=0.9 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1313 0 0 0 90 0 0 0 19 0 8 0 780140744 572420096 6056 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=559004 CPUtime=0.89 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1325 0 0 0 89 0 0 0 19 0 8 0 780140744 572420096 6056 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=559004 CPUtime=0.9 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1065 0 0 0 90 0 0 0 19 0 8 0 780140744 572420096 6057 33554432000 4194304 4580107 140735970161824 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 559004
[startup+1.02287 s]
/proc/loadavg: 6.42 7.70 7.90 2/366 16988
/proc/meminfo: memFree=22684424/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=577588 CPUtime=8.05 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 12331 0 0 0 801 4 0 0 19 0 8 0 780140744 591450112 6432 33554432000 4194304 4580107 140735970161824 18446744073709551615 4316435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 144397 6432 377 95 0 139379 0
[pid=16988/tid=16989] ppid=16986 vsize=577588 CPUtime=1 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1610 0 0 0 100 0 0 0 19 0 8 0 780140744 591450112 6156 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=568784 CPUtime=0.98 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1556 0 0 0 98 0 0 0 19 0 8 0 780140744 582434816 6156 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=568784 CPUtime=1 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1442 0 0 0 100 0 0 0 19 0 8 0 780140744 582434816 6157 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=568784 CPUtime=1 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1575 0 0 0 100 0 0 0 19 0 8 0 780140744 582434816 6158 33554432000 4194304 4580107 140735970161824 18446744073709551615 230809208967 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=568784 CPUtime=1 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1390 0 0 0 100 0 0 0 19 0 8 0 780140744 582434816 6158 33554432000 4194304 4580107 140735970161824 18446744073709551615 4305164 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=568784 CPUtime=0.99 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1546 0 0 0 99 0 0 0 19 0 8 0 780140744 582434816 6158 33554432000 4194304 4580107 140735970161824 18446744073709551615 4486112 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=568784 CPUtime=1 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1303 0 0 0 100 0 0 0 19 0 8 0 780140744 582434816 6159 33554432000 4194304 4580107 140735970161824 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 577588
[startup+1.12285 s]
/proc/loadavg: 6.42 7.70 7.90 2/366 16988
/proc/meminfo: memFree=22684424/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=560148 CPUtime=8.84 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 13023 0 0 0 880 4 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 140037 6034 377 95 0 135019 0
[pid=16988/tid=16989] ppid=16986 vsize=560148 CPUtime=1.1 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1663 0 0 0 110 0 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=560148 CPUtime=1.08 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1608 0 0 0 108 0 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=560148 CPUtime=1.1 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1635 0 0 0 110 0 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=560148 CPUtime=1.1 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1625 0 0 0 110 0 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=560148 CPUtime=1.1 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1585 0 0 0 110 0 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=560148 CPUtime=1.09 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1598 0 0 0 109 0 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=560148 CPUtime=1.1 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1349 0 0 0 110 0 0 0 19 0 8 0 780140744 573591552 6034 33554432000 4194304 4580107 140735970161824 18446744073709551615 4316835 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (KiB) 560148
[startup+1.22283 s]
/proc/loadavg: 6.42 7.70 7.90 2/366 16988
/proc/meminfo: memFree=22684424/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=560148 CPUtime=9.64 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 14397 0 0 0 960 4 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 140037 7408 378 95 0 135019 0
[pid=16988/tid=16989] ppid=16986 vsize=560148 CPUtime=1.2 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1710 0 0 0 120 0 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=560148 CPUtime=1.18 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1652 0 0 0 118 0 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=560148 CPUtime=1.2 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1686 0 0 0 120 0 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=560148 CPUtime=1.2 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1672 0 0 0 120 0 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=560148 CPUtime=1.2 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1638 0 0 0 120 0 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4317025 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=560148 CPUtime=1.19 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1647 0 0 0 119 0 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=560148 CPUtime=1.2 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1396 0 0 0 120 0 0 0 19 0 8 0 780140744 573591552 7408 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.64
Current children cumulated vsize (KiB) 560148
[startup+1.50078 s]
/proc/loadavg: 6.42 7.70 7.90 2/366 16988
/proc/meminfo: memFree=22684424/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=560592 CPUtime=11.87 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 17538 0 0 0 1182 5 0 0 19 0 8 0 780140744 574046208 8164 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 140148 8164 378 95 0 135130 0
[pid=16988/tid=16989] ppid=16986 vsize=560592 CPUtime=1.48 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 2920 0 0 0 148 0 0 0 20 0 8 0 780140744 574046208 8165 33554432000 4194304 4580107 140735970161824 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=560592 CPUtime=1.45 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1956 0 0 0 145 0 0 0 20 0 8 0 780140744 574046208 8165 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=560592 CPUtime=1.47 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1979 0 0 0 147 0 0 0 19 0 8 0 780140744 574046208 8165 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=560592 CPUtime=1.48 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1975 0 0 0 148 0 0 0 19 0 8 0 780140744 574046208 8165 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=560592 CPUtime=1.47 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1965 0 0 0 147 0 0 0 19 0 8 0 780140744 574046208 8165 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=560592 CPUtime=1.47 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1947 0 0 0 147 0 0 0 20 0 8 0 780140744 574046208 8165 33554432000 4194304 4580107 140735970161824 18446744073709551615 4325074 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=560592 CPUtime=1.48 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 1715 0 0 0 148 0 0 0 20 0 8 0 780140744 574046208 8165 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 560592
[startup+3.11448 s]
/proc/loadavg: 6.42 7.70 7.90 9/374 16996
/proc/meminfo: memFree=22623228/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=557236 CPUtime=24.74 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 33567 0 0 0 2467 7 0 0 25 0 8 0 780140744 570609664 16376 33554432000 4194304 4580107 140735970161824 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 139309 16376 378 95 0 134291 0
[pid=16988/tid=16989] ppid=16986 vsize=557236 CPUtime=3.1 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 5083 0 0 0 309 1 0 0 25 0 8 0 780140744 570609664 16376 33554432000 4194304 4580107 140735970161824 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=557236 CPUtime=3.07 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 4462 0 0 0 306 1 0 0 25 0 8 0 780140744 570609664 16377 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=557236 CPUtime=3.09 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 4291 0 0 0 309 0 0 0 25 0 8 0 780140744 570609664 16377 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=557236 CPUtime=3.09 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 3893 0 0 0 309 0 0 0 25 0 8 0 780140744 570609664 16377 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=557236 CPUtime=3.09 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 4664 0 0 0 308 1 0 0 25 0 8 0 780140744 570609664 16377 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=557236 CPUtime=3.06 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 3184 0 0 0 306 0 0 0 25 0 8 0 780140744 570609664 16377 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=557236 CPUtime=3.09 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 2956 0 0 0 309 0 0 0 25 0 8 0 780140744 570609664 16377 33554432000 4194304 4580107 140735970161824 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 557236
[startup+6.3009 s]
/proc/loadavg: 6.54 7.70 7.90 9/374 16996
/proc/meminfo: memFree=22596480/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=568528 CPUtime=50.28 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 53859 0 0 0 5017 11 0 0 25 0 8 0 780140744 582172672 22136 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 142132 22136 378 95 0 137114 0
[pid=16988/tid=16989] ppid=16986 vsize=568528 CPUtime=6.29 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 6948 0 0 0 628 1 0 0 25 0 8 0 780140744 582172672 22141 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=568528 CPUtime=6.27 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 7029 0 0 0 626 1 0 0 25 0 8 0 780140744 582172672 22141 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=568528 CPUtime=6.29 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 7345 0 0 0 628 1 0 0 25 0 8 0 780140744 582172672 22141 33554432000 4194304 4580107 140735970161824 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=568528 CPUtime=6.29 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 5930 0 0 0 629 0 0 0 25 0 8 0 780140744 582172672 22141 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=568528 CPUtime=6.29 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 6677 0 0 0 628 1 0 0 25 0 8 0 780140744 582172672 22141 33554432000 4194304 4580107 140735970161824 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=568528 CPUtime=6.22 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 6035 0 0 0 621 1 0 0 25 0 8 0 780140744 582172672 22141 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=568528 CPUtime=6.29 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 6495 0 0 0 628 1 0 0 25 0 8 0 780140744 582172672 22141 33554432000 4194304 4580107 140735970161824 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 75047 0 0 0 28221 19 0 0 25 0 8 0 780140744 724930560 94258 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=707940 CPUtime=282.38 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 79657 0 0 0 28219 19 0 0 25 0 8 0 780140744 724930560 94258 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=707940 CPUtime=279.05 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 78197 0 0 0 27881 24 0 0 25 0 8 0 780140744 724930560 94258 33554432000 4194304 4580107 140735970161824 18446744073709551615 4406470 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=707940 CPUtime=282.39 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 75054 0 0 0 28216 23 0 0 25 0 8 0 780140744 724930560 94258 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2255.8
Current children cumulated vsize (KiB) 707940
[startup+308.001 s]
/proc/loadavg: 8.00 7.91 7.92 9/374 17004
/proc/meminfo: memFree=22322468/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=706672 CPUtime=2460.21 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 641156 0 0 0 245846 175 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 176668 90931 381 95 0 171650 0
[pid=16988/tid=16989] ppid=16986 vsize=706672 CPUtime=307.93 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82151 0 0 0 30773 20 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=706672 CPUtime=307.96 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 78127 0 0 0 30777 19 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=706672 CPUtime=307.97 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82750 0 0 0 30773 24 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=706672 CPUtime=307.98 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 76158 0 0 0 30779 19 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=706672 CPUtime=307.98 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 83387 0 0 0 30777 21 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=706672 CPUtime=304.34 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 81999 0 0 0 30409 25 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=706672 CPUtime=307.98 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 79100 0 0 0 30774 24 0 0 25 0 8 0 780140744 723632128 90931 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2460.21
Current children cumulated vsize (KiB) 706672
[startup+320.801 s]
/proc/loadavg: 8.00 7.91 7.92 9/374 17004
/proc/meminfo: memFree=22289360/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=711232 CPUtime=2562.47 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 658641 0 0 0 256066 181 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 177808 98636 413 95 0 172790 0
[pid=16988/tid=16989] ppid=16986 vsize=711232 CPUtime=320.72 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82992 0 0 0 32052 20 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=711232 CPUtime=320.77 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 80160 0 0 0 32057 20 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=711232 CPUtime=320.77 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84703 0 0 0 32052 25 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=711232 CPUtime=320.79 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 80686 0 0 0 32059 20 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=711232 CPUtime=320.78 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 85302 0 0 0 32056 22 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=711232 CPUtime=317 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 83990 0 0 0 31674 26 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=711232 CPUtime=320.78 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 81889 0 0 0 32053 25 0 0 25 0 8 0 780140744 728301568 98636 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2562.47
Current children cumulated vsize (KiB) 711232
[startup+327.201 s]
/proc/loadavg: 8.00 7.91 7.92 9/374 17004
/proc/meminfo: memFree=22277704/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=711232 CPUtime=2613.59 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 662606 0 0 0 261175 184 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 177808 100773 413 95 0 172790 0
[pid=16988/tid=16989] ppid=16986 vsize=711232 CPUtime=327.12 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82999 0 0 0 32692 20 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=711232 CPUtime=327.16 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 80776 0 0 0 32696 20 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=711232 CPUtime=327.17 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84849 0 0 0 32692 25 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=711232 CPUtime=327.19 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 80723 0 0 0 32699 20 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=711232 CPUtime=327.18 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 86695 0 0 0 32695 23 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=711232 CPUtime=323.33 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84552 0 0 0 32306 27 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=711232 CPUtime=327.19 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82523 0 0 0 32693 26 0 0 25 0 8 0 780140744 728301568 100773 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2613.59
Current children cumulated vsize (KiB) 711232
[startup+330.4 s]
/proc/loadavg: 8.00 7.91 7.92 9/374 17005
/proc/meminfo: memFree=22279152/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=776768 CPUtime=2639.15 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 664586 0 0 0 263730 185 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294354 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 194192 102753 413 95 0 189174 0
[pid=16988/tid=16989] ppid=16986 vsize=776768 CPUtime=330.32 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 83027 0 0 0 33012 20 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=776768 CPUtime=330.36 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 81798 0 0 0 33016 20 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=776768 CPUtime=330.37 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84849 0 0 0 33012 25 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=776768 CPUtime=330.38 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 80967 0 0 0 33018 20 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=776768 CPUtime=330.37 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 86950 0 0 0 33014 23 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=776768 CPUtime=326.49 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84720 0 0 0 32622 27 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=776768 CPUtime=330.38 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82763 0 0 0 33012 26 0 0 25 0 8 0 780140744 795410432 102753 33554432000 4194304 4580107 140735970161824 18446744073709551615 4305164 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2639.15
Current children cumulated vsize (KiB) 776768
[startup+332.014 s]
/proc/loadavg: 8.00 7.91 7.92 9/374 17005
/proc/meminfo: memFree=22272952/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=776768 CPUtime=2652.03 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 665117 0 0 0 265018 185 0 0 25 0 8 0 780140744 795410432 103226 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 194192 103226 413 95 0 189174 0
[pid=16988/tid=16989] ppid=16986 vsize=776768 CPUtime=331.93 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 83027 0 0 0 33173 20 0 0 25 0 8 0 780140744 795410432 103226 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=776768 CPUtime=331.97 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 81977 0 0 0 33177 20 0 0 25 0 8 0 780140744 795410432 103226 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=776768 CPUtime=331.98 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84849 0 0 0 33173 25 0 0 25 0 8 0 780140744 795410432 103226 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=776768 CPUtime=332 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 81086 0 0 0 33180 20 0 0 25 0 8 0 780140744 795410432 103226 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=776768 CPUtime=331.99 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 87074 0 0 0 33176 23 0 0 25 0 8 0 780140744 795410432 103226 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=776768 CPUtime=328.07 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84723 0 0 0 32780 27 0 0 25 0 8 0 780140744 795410432 103227 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=776768 CPUtime=332 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82867 0 0 0 33174 26 0 0 25 0 8 0 780140744 795410432 103227 33554432000 4194304 4580107 140735970161824 18446744073709551615 4305152 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2652.03
Current children cumulated vsize (KiB) 776768
[startup+332.401 s]
/proc/loadavg: 8.00 7.91 7.92 9/374 17005
/proc/meminfo: memFree=22272952/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=764404 CPUtime=2655.13 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 665217 0 0 0 265328 185 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 191101 101473 413 95 0 186083 0
[pid=16988/tid=16989] ppid=16986 vsize=764404 CPUtime=332.32 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 83027 0 0 0 33212 20 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4305233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=764404 CPUtime=332.36 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82023 0 0 0 33216 20 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=764404 CPUtime=332.37 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84849 0 0 0 33212 25 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=764404 CPUtime=332.38 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 81115 0 0 0 33218 20 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=764404 CPUtime=332.37 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 87098 0 0 0 33214 23 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=764404 CPUtime=328.46 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84723 0 0 0 32819 27 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=764404 CPUtime=332.38 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82868 0 0 0 33212 26 0 0 25 0 8 0 780140744 782749696 101473 33554432000 4194304 4580107 140735970161824 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2655.13
Current children cumulated vsize (KiB) 764404
[startup+332.601 s]
/proc/loadavg: 8.00 7.91 7.92 9/374 17005
/proc/meminfo: memFree=22272952/32951124 swapFree=37160472/67111528
[pid=16988] ppid=16986 vsize=764404 CPUtime=2656.73 cores=0-7
/proc/16988/stat : 16988 (strangenight2-m) R 16986 16988 16962 0 -1 4202496 665277 0 0 0 265488 185 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16988/statm: 191101 101533 413 95 0 186083 0
[pid=16988/tid=16989] ppid=16986 vsize=764404 CPUtime=332.52 cores=0-7
/proc/16988/task/16989/stat : 16989 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 83027 0 0 0 33232 20 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4342192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16988/tid=16990] ppid=16986 vsize=764404 CPUtime=332.56 cores=0-7
/proc/16988/task/16990/stat : 16990 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82048 0 0 0 33236 20 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16988/tid=16991] ppid=16986 vsize=764404 CPUtime=332.57 cores=0-7
/proc/16988/task/16991/stat : 16991 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84849 0 0 0 33232 25 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16988/tid=16992] ppid=16986 vsize=764404 CPUtime=332.58 cores=0-7
/proc/16988/task/16992/stat : 16992 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 81137 0 0 0 33238 20 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16988/tid=16993] ppid=16986 vsize=764404 CPUtime=332.57 cores=0-7
/proc/16988/task/16993/stat : 16993 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 87111 0 0 0 33234 23 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16988/tid=16994] ppid=16986 vsize=764404 CPUtime=328.66 cores=0-7
/proc/16988/task/16994/stat : 16994 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 84723 0 0 0 32839 27 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16988/tid=16995] ppid=16986 vsize=764404 CPUtime=332.58 cores=0-7
/proc/16988/task/16995/stat : 16995 (strangenight2-m) R 16986 16988 16962 0 -1 4202560 82868 0 0 0 33232 26 0 0 25 0 8 0 780140744 782749696 101533 33554432000 4194304 4580107 140735970161824 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2656.73
Current children cumulated vsize (KiB) 764404
Child status: 20
Real time (s): 332.694
CPU time (s): 2657.34
CPU user time (s): 2655.47
CPU system time (s): 1.87571
CPU usage (%): 798.735
Max. virtual memory (cumulated for all children) (KiB): 776768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2655.47
system time used= 1.87571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665307
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= 4533
involuntary context switches= 11470
runsolver used 1.11583 second user time and 2.83157 second system time
The end
Begin job on node104 at 2011-05-29 18:10:03
IDJOB=3421631
IDBENCH=83361
IDSOLVER=1878
FILE ID=node104/3421631-1306685403
RUNJOBID= node104-1306685403-16976
PBS_JOBID= 13471826
Free space on /tmp= 73416 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421631-1306685403/watcher-3421631-1306685403 -o /tmp/evaluation-result-3421631-1306685403/solver-3421631-1306685403 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3421631-1306685403.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f20ed0313cfa494f86b5c8ef723973ee
RANDOM SEED=664650302
node104.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.855
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.71
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.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
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.67
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.855
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.80
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.855
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 : 5293.18
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.855
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.855
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.75
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.855
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.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 22684828 kB
Buffers: 367724 kB
Cached: 7814132 kB
SwapCached: 152248 kB
Active: 3457296 kB
Inactive: 6498148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 22684828 kB
SwapTotal: 67111528 kB
SwapFree: 37160472 kB
Dirty: 5460 kB
Writeback: 0 kB
AnonPages: 1634548 kB
Mapped: 10220 kB
Slab: 154892 kB
PageTables: 88980 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 87698640 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= 73412 MiB
End job on node104 at 2011-05-29 18:15:36