0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 8 threads
0.29/0.06 c This is CryptoMiniSat 3.0.0
0.29/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.29/0.06 c Reading file 'HOME/instance-3321181-1304325134.cnf'
0.29/0.06 c -- header says num vars: 67777
0.29/0.06 c -- header says num clauses: 227761
1.32/0.30 c -- clauses added: 0 learnts, 227761 normals, 0 xors
1.32/0.30 c -- vars added 67777
1.32/0.30 c Parsing time: 0.12 s
1.32/0.30 c N st 0 0 67777 111162 102291 0 549195 0 no data no data
1.32/0.83 c asymm cl-useful: 8/18120/111162 lits-rem:89 time: 0.52
61.91/7.86 c Flit: 95 Blit: 5804 bXBeca: 0 bXProp: 10991 Bins: 0 BRemL: 0 BRemN: 0 P: 113.4M T: 7.03
61.91/7.88 c Cleaning up after failed var search: 0.01 s
62.71/7.93 c Replacing 10991 vars Replaced 313815 lits Time: 0.05 s
62.71/7.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
62.71/7.98 c bin-w-bin subsume rem 1085 bins time: 0.01 s
62.71/8.00 c subs with bin: 0 lits-rem: 12 v-fix: 0 time: 0.02 s
63.53/8.07 c Subs w/ non-existent bins: 0 l-rem: 4 v-fix: 0 done: 48051 time: 0.06 s
64.34/8.13 c Removed useless bin: 50 fixed: 0 props: 7.97M time: 0.06 s
66.60/8.40 c lits-rem: 0 cl-subs: 330 v-elim: 16017 v-fix: 0 time: 0.23 s
66.60/8.41 c Finding binary XORs T: 0.01 s found: 0
67.39/8.52 c Finding non-binary XORs: 0.06 s (found: 15851, avg size: 3.0)
67.39/8.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2591 locsubst: 10152 time: 0.04
67.39/8.54 c Replacing 5076 vars Replaced 30456 lits Time: 0.01 s
67.39/8.54 c calculated reachability. Time: 0.00
67.39/8.55 c Calc default polars - time: 0.01 s pos: 2606 undec: 43485 neg: 21686
67.39/8.55 c =========================================================================================
67.39/8.55 c types(t): F = full restart, N = normal restart
67.39/8.55 c types(t): S = simplification begin/end, E = solution found
67.39/8.55 c restart types(rt): st = static, dy = dynamic
67.39/8.55 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
67.39/8.55 c B st 0 0 24367 40283 30611 0 265275 0 no data no data
70.56/8.95 c Decided on static restart strategy
75.35/9.53 c N st 8 4914 24366 40283 30629 4752 265275 313392 no data no data
88.14/11.17 c N st 10 11296 24366 40283 30837 11007 265275 1013698 no data no data
107.37/13.55 c N st 11 17039 24366 40283 30850 16699 265275 2097763 no data no data
127.31/16.00 c F st 12 25001 24353 40283 31114 14833 265275 1386952 no data no data
127.31/16.04 c N st 12 25001 24353 40279 30945 14820 264902 1386568 no data no data
134.56/16.96 c Decided on static restart strategy
134.56/16.96 c N st 18 30001 24353 40279 31029 19695 264902 1612822 no data no data
134.56/16.96 c S st 18 30001 24353 40279 31029 19695 264902 1612822 no data no data
136.09/17.16 c S st 18 30502 24353 40279 31064 20160 264902 1619391 no data no data
136.09/17.20 c x-sub: 5076 x-cut: 0 vfix: 0 v-elim: 1296 locsubst: 0 time: 0.03
150.48/18.97 c Flit: 48 Blit: 0 bXBeca: 0 bXProp: 32 Bins: 141185 BRemL: 71563 BRemN: 5 P: 18.1M T: 1.77
150.48/18.99 c Replacing 32 vars Replaced 1200 lits Time: 0.02 s
151.33/19.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
151.33/19.02 c bin-w-bin subsume rem 258 bins time: 0.01 s
151.33/19.04 c subs with bin: 359 lits-rem: 352 v-fix: 0 time: 0.02 s
151.33/19.08 c Subs w/ non-existent bins: 157 l-rem: 20 v-fix: 0 done: 22976 time: 0.04 s
151.33/19.10 c Removed useless bin: 10 fixed: 0 props: 1.08M time: 0.02 s
152.14/19.19 c lits-rem: 501 cl-subs: 178 v-elim: 2780 v-fix: 0 time: 0.09 s
152.87/19.23 c subs with bin: 59 lits-rem: 498 v-fix: 0 time: 0.03 s
152.87/19.27 c lits-rem: 192 cl-subs: 319 v-elim: 0 v-fix: 0 time: 0.03 s
156.87/19.79 c asymm cl-useful: 0/22180/40300 lits-rem:0 time: 0.52
157.67/19.80 c calculated reachability. Time: 0.01
157.67/19.80 c N st 18 30502 20196 40300 75746 4461 240799 200460 no data no data
157.67/19.83 c Finding binary XORs T: 0.02 s found: 0
167.26/21.04 c N st 20 37615 20192 40300 75942 11201 240799 408396 no data no data
176.85/22.20 c N st 21 44015 20190 40300 76046 10127 240799 369619 no data no data
177.70/22.38 c Finding binary XORs T: 0.02 s found: 1
180.03/22.65 c S st 22 45753 20190 40290 176697 11798 240465 618707 no data no data
181.64/22.81 c S st 22 46256 20190 40290 176717 12280 240465 627989 no data no data
181.64/22.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 648 locsubst: 0 time: 0.02
192.82/24.29 c Flit: 6 Blit: 1 bXBeca: 0 bXProp: 0 Bins: 265454 BRemL: 45057 BRemN: 0 P: 13.3M T: 1.46
193.62/24.33 c Replacing 1 vars Replaced 20 lits Time: 0.03 s
193.62/24.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
194.42/24.41 c bin-w-bin subsume rem 26770 bins time: 0.07 s
194.42/24.45 c subs with bin: 193 lits-rem: 455 v-fix: 0 time: 0.04 s
195.27/24.51 c Subs w/ non-existent bins: 2 l-rem: 64 v-fix: 0 done: 19534 time: 0.06 s
195.27/24.53 c Removed useless bin: 79 fixed: 0 props: 0.83M time: 0.02 s
195.27/24.57 c lits-rem: 1 cl-subs: 37 v-elim: 11 v-fix: 0 time: 0.04 s
196.07/24.64 c subs with bin: 30 lits-rem: 559 v-fix: 0 time: 0.06 s
196.81/24.70 c lits-rem: 518 cl-subs: 369 v-elim: 0 v-fix: 0 time: 0.06 s
196.81/24.72 c vivif2 -- cl tried 40039 cl shrink 223 lits rem 697 time: 0.01
196.81/24.73 c vivif2 -- cl tried 8792 cl shrink 1312 lits rem 10587 time: 0.01
199.19/25.07 c asymm cl-useful: 260/20579/39904 lits-rem:1223 time: 0.34
199.19/25.09 c calculated reachability. Time: 0.01
199.19/25.09 c N st 22 46256 19523 39904 359759 8787 235859 844353 no data no data
199.82/25.11 c Finding binary XORs T: 0.02 s found: 0
229.03/28.88 c N st 23 60653 19523 39904 390311 22858 235859 2989845 no data no data
229.87/28.93 c Finding binary XORs T: 0.03 s found: 18
245.01/30.87 c N st 24 69384 19520 39896 391444 18926 235747 1776685 no data no data
245.01/30.87 c S st 24 69384 19520 39896 391444 18926 235747 1776685 no data no data
246.61/31.06 c S st 24 69885 19519 39896 391503 19420 235746 1792214 no data no data
246.61/31.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 288 locsubst: 0 time: 0.03
256.74/32.38 c Flit: 9 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 197 BRemL: 71545 BRemN: 0 P: 14.0M T: 1.30
257.38/32.42 c Replacing 18 vars Replaced 1558 lits Time: 0.03 s
257.38/32.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
257.38/32.47 c bin-w-bin subsume rem 784 bins time: 0.04 s
258.15/32.51 c subs with bin: 67 lits-rem: 62 v-fix: 0 time: 0.04 s
258.15/32.55 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 0 done: 19204 time: 0.05 s
258.15/32.57 c Removed useless bin: 2 fixed: 0 props: 0.74M time: 0.02 s
258.89/32.62 c lits-rem: 0 cl-subs: 41 v-elim: 57 v-fix: 0 time: 0.05 s
261.08/32.92 c subs with bin: 10 lits-rem: 172 v-fix: 0 time: 0.27 s
262.67/33.14 c lits-rem: 511 cl-subs: 357 v-elim: 0 v-fix: 0 time: 0.21 s
262.67/33.15 c vivif2 -- cl tried 39758 cl shrink 72 lits rem 141 time: 0.01
262.67/33.20 c vivif2 -- cl tried 15628 cl shrink 1698 lits rem 5931 time: 0.04
265.86/33.53 c asymm cl-useful: 86/14528/39758 lits-rem:258 time: 0.34
265.86/33.55 c calculated reachability. Time: 0.01
265.86/33.55 c N st 24 69885 19147 39672 309474 15628 234416 1334270 no data no data
315.41/39.70 c F st 25 87505 19147 39672 309493 17210 234416 1703414 no data no data
315.41/39.73 c N st 25 87505 19147 39672 309493 17210 234416 1703414 no data no data
318.53/40.12 c Finding binary XORs T: 0.03 s found: 102
332.13/41.80 c N dy 33 94148 19109 39574 363159 23720 233326 2254300 10.17 10.75
341.71/43.05 c N dy 71 100174 19099 39574 369539 29666 233326 2574161 11.18 15.45
349.71/44.09 c S st 88 104831 19098 39574 373422 34248 233326 2759864 10.67 no data
352.16/44.33 c S st 88 105334 19098 39574 373429 34741 233326 2773514 10.67 no data
352.16/44.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 144 locsubst: 0 time: 0.03
363.29/45.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 14 Bins: 2262 BRemL: 52964 BRemN: 0 P: 16.5M T: 1.37
363.29/45.78 c Replacing 116 vars Replaced 4883 lits Time: 0.04 s
364.09/45.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
364.09/45.87 c bin-w-bin subsume rem 48252 bins time: 0.07 s
364.89/45.91 c subs with bin: 341 lits-rem: 315 v-fix: 0 time: 0.04 s
364.89/45.95 c Subs w/ non-existent bins: 4 l-rem: 10 v-fix: 0 done: 18842 time: 0.05 s
364.89/45.97 c Removed useless bin: 6 fixed: 0 props: 0.69M time: 0.02 s
365.69/46.03 c lits-rem: 25 cl-subs: 265 v-elim: 83 v-fix: 0 time: 0.06 s
378.53/47.65 c subs with bin: 16 lits-rem: 763 v-fix: 0 time: 1.52 s
384.87/48.42 c lits-rem: 1599 cl-subs: 1112 v-elim: 0 v-fix: 0 time: 0.77 s
384.87/48.44 c vivif2 -- cl tried 38910 cl shrink 44 lits rem 90 time: 0.01
385.67/48.53 c vivif2 -- cl tried 31527 cl shrink 3704 lits rem 27925 time: 0.10
386.47/48.64 c asymm cl-useful: 6/3799/38906 lits-rem:18 time: 0.11
386.47/48.66 c calculated reachability. Time: 0.01
386.47/48.66 c N dy 88 105334 18759 38900 239119 31527 230249 2154482 10.67 no data
386.47/48.68 c Finding binary XORs T: 0.02 s found: 3
399.26/50.26 c N dy 104 113044 18747 38900 239622 19963 230249 878806 10.23 10.83
412.85/51.90 c N dy 138 121664 18745 38900 239828 28431 230248 1396499 10.09 10.70
427.23/53.71 c N dy 174 130003 18744 38900 239906 36666 230248 1808906 10.17 10.77
444.82/55.94 c N dy 215 140238 18744 38900 240051 24836 230247 932097 10.15 11.09
460.80/57.91 c N dy 272 149575 18742 38900 240111 34073 230247 1475435 10.34 10.89
476.05/59.83 c S st 309 158001 18742 38900 240205 42351 230247 1853587 10.41 7.08
477.59/60.07 c S st 309 158501 18742 38900 240211 42842 230247 1867261 10.41 no data
477.59/60.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
488.77/61.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 11 Bins: 2495 BRemL: 51484 BRemN: 0 P: 16.5M T: 1.36
488.77/61.49 c Replacing 14 vars Replaced 364 lits Time: 0.03 s
489.57/61.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
489.57/61.53 c bin-w-bin subsume rem 452 bins time: 0.02 s
489.57/61.56 c subs with bin: 95 lits-rem: 52 v-fix: 0 time: 0.03 s
489.57/61.59 c Subs w/ non-existent bins: 7 l-rem: 17 v-fix: 0 done: 18728 time: 0.04 s
490.38/61.61 c Removed useless bin: 20 fixed: 0 props: 0.65M time: 0.02 s
490.38/61.66 c lits-rem: 9 cl-subs: 49 v-elim: 62 v-fix: 0 time: 0.05 s
498.37/62.69 c subs with bin: 12 lits-rem: 91 v-fix: 0 time: 0.95 s
504.76/63.50 c lits-rem: 2471 cl-subs: 1579 v-elim: 0 v-fix: 0 time: 0.79 s
505.56/63.51 c vivif2 -- cl tried 38689 cl shrink 26 lits rem 67 time: 0.01
506.36/63.60 c vivif2 -- cl tried 41035 cl shrink 5374 lits rem 48701 time: 0.09
509.56/64.02 c asymm cl-useful: 228/13405/38686 lits-rem:568 time: 0.42
509.56/64.03 c calculated reachability. Time: 0.01
509.56/64.03 c N dy 309 158501 18666 38684 164768 41034 228346 1604869 10.41 no data
509.56/64.06 c Finding binary XORs T: 0.02 s found: 0
527.14/66.28 c N dy 352 168642 18663 38684 165201 27378 228346 834053 10.36 11.64
545.58/68.54 c N dy 403 179429 18662 38684 165256 38014 228346 1312449 10.37 11.03
567.90/71.33 c N dy 445 190930 18662 38684 165400 49321 228346 2422147 10.29 12.03
589.55/74.10 c N dy 514 203571 18660 38684 165825 36740 228346 1346148 10.41 11.02
615.91/77.31 c N dy 581 216681 18660 38684 165955 49715 228345 2558236 10.45 11.05
636.64/79.90 c Finding binary XORs T: 0.02 s found: 4
643.09/80.75 c N dy 646 230550 18659 38669 147563 36800 228246 1795916 10.50 11.19
657.42/82.51 c S st 690 237751 18658 38669 147614 43904 228246 2131994 10.54 8.62
659.02/82.72 c S st 690 238251 18658 38669 147621 44393 228246 2146298 10.54 no data
659.02/82.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
670.20/84.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 31859 BRemL: 59368 BRemN: 53 P: 15.9M T: 1.40
671.00/84.20 c Replacing 4 vars Replaced 104 lits Time: 0.03 s
671.00/84.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
671.00/84.23 c bin-w-bin subsume rem 347 bins time: 0.01 s
671.00/84.25 c subs with bin: 93 lits-rem: 69 v-fix: 0 time: 0.02 s
671.00/84.28 c Subs w/ non-existent bins: 4 l-rem: 9 v-fix: 0 done: 18654 time: 0.03 s
671.80/84.30 c Removed useless bin: 1 fixed: 0 props: 0.46M time: 0.02 s
671.80/84.35 c lits-rem: 3 cl-subs: 81 v-elim: 33 v-fix: 0 time: 0.06 s
684.60/85.91 c subs with bin: 68 lits-rem: 2585 v-fix: 0 time: 1.48 s
690.98/86.78 c lits-rem: 1618 cl-subs: 1200 v-elim: 0 v-fix: 0 time: 0.85 s
690.98/86.79 c vivif2 -- cl tried 38504 cl shrink 19 lits rem 26 time: 0.01
692.59/86.90 c vivif2 -- cl tried 43018 cl shrink 5404 lits rem 53441 time: 0.12
695.04/87.24 c asymm cl-useful: 19/12258/38504 lits-rem:23 time: 0.33
695.04/87.25 c calculated reachability. Time: 0.01
695.04/87.25 c N dy 690 238251 18621 38502 114463 43018 227472 1924212 10.54 no data
695.04/87.28 c Finding binary XORs T: 0.02 s found: 0
718.95/90.28 c Finding binary XORs T: 0.02 s found: 0
726.95/91.24 c N dy 755 253536 18617 38498 113601 30561 227306 770169 10.59 16.61
757.39/95.04 c N dy 867 269829 18616 38498 113676 46684 227306 1669505 10.76 11.37
788.50/98.98 c N dy 944 287386 18616 38498 113732 35591 227306 940925 10.76 11.33
826.06/103.60 c F st 1051 306251 18615 38498 113808 54242 227305 1989397 10.86 8.93
826.06/103.65 c N st 1051 306251 18615 38496 110553 54234 227276 1982687 10.86 8.93
837.24/105.09 c Decided on static restart strategy
906.04/113.67 c N st 1061 334556 18615 38496 110662 52747 227276 5222365 10.86 no data
983.51/123.39 c N st 1063 357376 18613 38496 110890 46470 227276 4786871 10.86 no data
983.51/123.39 c S st 1063 357376 18613 38496 110890 46470 227276 4786871 10.86 no data
985.98/123.67 c S st 1063 357876 18612 38496 111044 46969 227276 4804790 10.86 no data
985.98/123.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03
997.10/125.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 16 Bins: 3915 BRemL: 33365 BRemN: 12 P: 19.7M T: 1.34
997.90/125.10 c Replacing 16 vars Replaced 833 lits Time: 0.06 s
997.90/125.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
997.90/125.13 c bin-w-bin subsume rem 2708 bins time: 0.01 s
997.90/125.15 c subs with bin: 171 lits-rem: 193 v-fix: 0 time: 0.02 s
997.90/125.18 c Subs w/ non-existent bins: 0 l-rem: 21 v-fix: 0 done: 18596 time: 0.03 s
998.70/125.20 c Removed useless bin: 2 fixed: 0 props: 0.66M time: 0.02 s
998.70/125.28 c lits-rem: 11 cl-subs: 90 v-elim: 51 v-fix: 0 time: 0.08 s
1013.88/127.11 c subs with bin: 0 lits-rem: 32 v-fix: 0 time: 1.63 s
1040.26/130.50 c lits-rem: 2164 cl-subs: 817 v-elim: 0 v-fix: 0 time: 3.36 s
1041.05/130.51 c vivif2 -- cl tried 38262 cl shrink 31 lits rem 38 time: 0.01
1043.45/130.81 c vivif2 -- cl tried 45751 cl shrink 10341 lits rem 176284 time: 0.29
1045.85/131.13 c asymm cl-useful: 9/12599/38262 lits-rem:27 time: 0.31
1045.85/131.14 c calculated reachability. Time: 0.01
1045.85/131.14 c N st 1063 357876 18545 38253 76864 45745 226458 4298916 10.86 no data
1045.85/131.16 c Finding binary XORs T: 0.02 s found: 0
1228.07/153.93 c N st 1064 390268 18545 38253 76866 47569 226458 9691829 10.86 no data
1464.66/183.51 c N st 1065 438858 18543 38253 77119 63686 226458 18330689 10.86 no data
1465.46/183.63 c Finding binary XORs T: 0.02 s found: 1
1737.21/217.64 c N st 1066 511743 18540 38239 76795 68015 226348 10242611 10.86 no data
1738.01/217.73 c Finding binary XORs T: 0.02 s found: 11
1844.30/231.07 c N st 1067 536815 18537 38234 80515 57454 226192 10852803 10.86 no data
1844.30/231.07 c S st 1067 536815 18537 38234 80515 57454 226192 10852803 10.86 no data
1846.77/231.37 c S st 1067 537318 18537 38234 80552 57954 226192 10870444 10.86 no data
1847.57/231.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
1857.89/232.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 493 BRemL: 8477 BRemN: 3 P: 19.6M T: 1.28
1857.89/232.76 c Replacing 12 vars Replaced 1100 lits Time: 0.06 s
1857.89/232.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1857.89/232.78 c bin-w-bin subsume rem 1306 bins time: 0.01 s
1858.69/232.80 c subs with bin: 50 lits-rem: 47 v-fix: 0 time: 0.02 s
1858.69/232.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18525 time: 0.03 s
1858.69/232.84 c Removed useless bin: 2 fixed: 0 props: 0.59M time: 0.01 s
1859.49/232.97 c lits-rem: 1 cl-subs: 52 v-elim: 9 v-fix: 0 time: 0.13 s
1875.48/234.94 c subs with bin: 6 lits-rem: 52 v-fix: 0 time: 1.50 s
1925.03/241.12 c lits-rem: 3112 cl-subs: 1240 v-elim: 0 v-fix: 0 time: 6.13 s
1925.03/241.13 c vivif2 -- cl tried 38118 cl shrink 2 lits rem 2 time: 0.01
1929.83/241.79 c vivif2 -- cl tried 56611 cl shrink 13005 lits rem 644677 time: 0.63
1933.83/242.26 c asymm cl-useful: 39/8923/38117 lits-rem:53 time: 0.47
1933.83/242.27 c calculated reachability. Time: 0.01
1933.83/242.27 c N st 1067 537318 18516 38117 71230 56605 225599 9991764 10.86 no data
2606.00/326.33 c N st 1068 701302 18516 38117 71230 67278 225599 6817853 10.86 no data
2606.80/326.40 c Finding binary XORs T: 0.02 s found: 0
3243.78/406.13 c N st 1069 805978 18513 38114 72332 88980 225557 26129715 10.86 no data
3243.78/406.13 c S st 1069 805978 18513 38114 72332 88980 225557 26129715 10.86 no data
3246.96/406.57 c S st 1069 806479 18513 38114 72654 89480 225557 26153558 10.86 no data
3247.77/406.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
3258.97/408.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 135 BRemL: 3674 BRemN: 0 P: 22.8M T: 1.42
3258.97/408.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3258.97/408.08 c bin-w-bin subsume rem 157 bins time: 0.01 s
3259.76/408.10 c subs with bin: 25 lits-rem: 7 v-fix: 0 time: 0.02 s
3259.76/408.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18513 time: 0.03 s
3259.76/408.15 c Removed useless bin: 1 fixed: 0 props: 0.59M time: 0.02 s
3262.22/408.41 c lits-rem: 1 cl-subs: 9 v-elim: 2 v-fix: 0 time: 0.26 s
3282.12/410.98 c subs with bin: 55 lits-rem: 2 v-fix: 0 time: 1.53 s
3585.84/448.96 c lits-rem: 31352 cl-subs: 1559 v-elim: 0 v-fix: 0 time: 37.96 s
3585.84/448.97 c vivif2 -- cl tried 38078 cl shrink 0 lits rem 0 time: 0.01
3599.42/450.62 c vivif2 -- cl tried 86824 cl shrink 30824 lits rem 528847 time: 1.63
3602.61/451.05 c asymm cl-useful: 17/13998/38078 lits-rem:17 time: 0.43
3602.61/451.07 c calculated reachability. Time: 0.01
3602.61/451.07 c N st 1069 806479 18511 38078 68969 86818 225413 24536421 10.86 no data
4066.11/509.00 c Finding binary XORs T: 0.02 s found: 0
5427.83/679.41 c F st 1070 1071875 18510 38077 68810 80360 225397 13904775 10.86 no data
5427.83/679.44 c N st 1070 1071875 18510 38077 68810 80360 225397 13904775 10.86 no data
5443.08/681.31 c Decided on static restart strategy
5495.03/687.84 c Finding binary XORs T: 0.02 s found: 0
5533.33/692.64 c N st 1080 1100177 18508 38076 69034 59744 225342 7293786 10.86 no data
5681.20/711.16 c N st 1082 1136171 18508 38076 69035 95362 225342 16268127 10.86 no data
5768.35/722.06 c N st 1083 1168564 18508 38076 69043 77730 225342 5897027 10.86 no data
5932.15/742.50 c N st 1084 1209721 18508 38076 69044 68104 225342 8728532 10.86 no data
5932.15/742.50 c S st 1084 1209721 18508 38076 69044 68104 225342 8728532 10.86 no data
5933.74/742.80 c S st 1084 1210221 18508 38076 69300 68603 225342 8743652 10.86 no data
5934.60/742.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04
5944.93/744.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 31 BRemL: 924 BRemN: 2 P: 20.2M T: 1.26
5944.93/744.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
5944.93/744.12 c bin-w-bin subsume rem 142 bins time: 0.01 s
5944.93/744.14 c subs with bin: 4 lits-rem: 3 v-fix: 0 time: 0.02 s
5944.93/744.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18508 time: 0.03 s
5944.93/744.19 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
5946.52/744.31 c lits-rem: 0 cl-subs: 11 v-elim: 0 v-fix: 0 time: 0.12 s
5960.95/746.17 c subs with bin: 13 lits-rem: 18 v-fix: 0 time: 1.56 s
6004.05/751.53 c lits-rem: 3820 cl-subs: 1321 v-elim: 0 v-fix: 0 time: 5.35 s
6004.05/751.54 c vivif2 -- cl tried 38061 cl shrink 0 lits rem 0 time: 0.01
6007.26/751.99 c vivif2 -- cl tried 67269 cl shrink 8623 lits rem 773747 time: 0.45
6011.25/752.42 c asymm cl-useful: 1/10954/38061 lits-rem:3 time: 0.42
6011.25/752.43 c calculated reachability. Time: 0.01
6011.25/752.43 c N st 1084 1210221 18508 38060 68268 67268 225233 7831755 10.86 no data
6453.23/807.77 c N st 1085 1283103 18508 38060 68268 87938 225233 18677979 10.86 no data
6834.39/855.49 c N st 1086 1392428 18508 38060 68282 90688 225233 9787683 10.86 no data
8528.79/1067.41 c N st 1087 1556413 18508 38060 68335 87044 225233 17937111 10.86 no data
8529.53/1067.54 c Finding binary XORs T: 0.02 s found: 1
9618.85/1203.85 c N st 1088 1710223 18506 38048 67552 123577 225187 42739832 10.86 no data
9618.85/1203.85 c S st 1088 1710223 18506 38048 67552 123577 225187 42739832 10.86 no data
9618.85/1203.87 c Finding binary XORs T: 0.02 s found: 8
9622.78/1204.37 c S st 1088 1710723 18506 38048 68051 124074 225187 42759128 10.86 no data
9623.58/1204.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
9637.17/1206.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 33 BRemL: 413 BRemN: 0 P: 27.1M T: 1.65
9638.77/1206.35 c Replacing 9 vars Replaced 4193 lits Time: 0.23 s
9638.77/1206.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9638.77/1206.37 c bin-w-bin subsume rem 179 bins time: 0.01 s
9638.77/1206.39 c subs with bin: 13 lits-rem: 9 v-fix: 0 time: 0.02 s
9639.57/1206.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18497 time: 0.03 s
9639.57/1206.44 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
9642.76/1206.83 c lits-rem: 0 cl-subs: 13 v-elim: 5 v-fix: 0 time: 0.39 s
9681.11/1211.68 c subs with bin: 4 lits-rem: 31878 v-fix: 0 time: 3.11 s
10095.13/1263.47 c lits-rem: 2303 cl-subs: 3175 v-elim: 0 v-fix: 0 time: 51.79 s
10095.13/1263.49 c vivif2 -- cl tried 38008 cl shrink 0 lits rem 0 time: 0.01
10116.70/1266.10 c vivif2 -- cl tried 119750 cl shrink 42389 lits rem 3747648 time: 2.56
10119.16/1266.44 c asymm cl-useful: 0/4133/38008 lits-rem:0 time: 0.34
10119.16/1266.46 c calculated reachability. Time: 0.01
10119.16/1266.46 c N st 1088 1710723 18492 38008 67473 119748 225037 37935042 10.86 no data
12597.33/1576.52 c N st 1089 2079688 18492 38008 67474 114350 225037 12025410 10.86 no data
13454.82/1683.85 c N st 1090 2210729 18491 38008 67635 113356 225037 21360983 10.86 no data
13454.82/1683.85 c S st 1090 2210729 18491 38008 67635 113356 225037 21360983 10.86 no data
13458.82/1684.34 c S st 1090 2211233 18491 38008 67668 113860 225037 21390037 10.86 no data
13458.82/1684.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
13471.61/1685.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 317 BRemL: 894 BRemN: 0 P: 26.3M T: 1.56
13471.61/1685.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13471.61/1685.99 c bin-w-bin subsume rem 45 bins time: 0.01 s
13472.41/1686.00 c subs with bin: 5 lits-rem: 2 v-fix: 0 time: 0.02 s
13472.41/1686.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18491 time: 0.03 s
13472.41/1686.05 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
13474.81/1686.30 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.25 s
13493.99/1688.74 c subs with bin: 8 lits-rem: 343 v-fix: 0 time: 1.57 s
13638.64/1706.85 c lits-rem: 54537 cl-subs: 1315 v-elim: 0 v-fix: 0 time: 18.10 s
13638.64/1706.86 c vivif2 -- cl tried 38001 cl shrink 0 lits rem 0 time: 0.01
13649.84/1708.25 c vivif2 -- cl tried 112424 cl shrink 29307 lits rem 524196 time: 1.37
13653.89/1708.73 c asymm cl-useful: 10/2064/38001 lits-rem:12 time: 0.47
13653.89/1708.74 c calculated reachability. Time: 0.01
13653.89/1708.74 c N st 1090 2211233 18490 38001 66427 112423 224991 20565638 10.86 no data
17545.88/2195.83 c N st 1091 2711235 18490 38001 66427 115838 224991 19041316 10.86 no data
17545.88/2195.83 c S st 1091 2711235 18490 38001 66427 115838 224991 19041316 10.86 no data
17545.88/2195.85 c Finding binary XORs T: 0.02 s found: 0
17549.86/2196.32 c S st 1091 2711736 18490 38001 67046 116339 224991 19059364 10.86 no data
17549.86/2196.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
17562.64/2197.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 58 BRemL: 609 BRemN: 0 P: 26.7M T: 1.59
17562.64/2197.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
17563.44/2198.00 c bin-w-bin subsume rem 57 bins time: 0.01 s
17563.44/2198.02 c subs with bin: 3 lits-rem: 0 v-fix: 0 time: 0.02 s
17563.44/2198.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18490 time: 0.03 s
17563.44/2198.07 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
17565.83/2198.30 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.23 s
17584.19/2200.63 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 1.64 s
17727.27/2218.59 c lits-rem: 13171 cl-subs: 1698 v-elim: 0 v-fix: 0 time: 17.95 s
17728.07/2218.60 c vivif2 -- cl tried 37997 cl shrink 0 lits rem 0 time: 0.01
17739.26/2220.07 c vivif2 -- cl tried 114639 cl shrink 33051 lits rem 1082126 time: 1.44
17744.04/2220.64 c asymm cl-useful: 32/12698/37997 lits-rem:33 time: 0.57
17744.04/2220.66 c calculated reachability. Time: 0.01
17744.04/2220.66 c N st 1091 2711736 18490 37997 66439 114638 224944 17702836 10.86 no data
22789.99/2852.07 c N st 1092 3211736 18490 37997 66439 149988 224944 39410782 10.86 no data
22789.99/2852.07 c S st 1092 3211736 18490 37997 66439 149988 224944 39410782 10.86 no data
22794.85/2852.68 c S st 1092 3212236 18488 37997 66647 150487 224944 39428841 10.86 no data
22795.64/2852.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.09
22809.97/2854.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 6 BRemL: 83 BRemN: 0 P: 30.4M T: 1.79
22809.97/2854.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
22809.97/2854.59 c bin-w-bin subsume rem 66 bins time: 0.01 s
22810.77/2854.61 c subs with bin: 5 lits-rem: 3 v-fix: 0 time: 0.02 s
22810.77/2854.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18488 time: 0.03 s
22810.77/2854.66 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
22813.96/2855.06 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.40 s
22840.33/2858.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.74 s
23204.76/2903.95 c lits-rem: 17525 cl-subs: 1032 v-elim: 0 v-fix: 0 time: 45.59 s
23204.76/2903.97 c vivif2 -- cl tried 37989 cl shrink 0 lits rem 0 time: 0.01
23226.40/2906.62 c vivif2 -- cl tried 149340 cl shrink 45228 lits rem 879563 time: 2.61
23229.54/2907.09 c asymm cl-useful: 2/8285/37989 lits-rem:2 time: 0.47
23230.34/2907.11 c calculated reachability. Time: 0.01
23230.34/2907.11 c N st 1092 3212236 18488 37989 64915 149340 224905 38259344 10.86 no data
27160.45/3398.91 c N st 1093 3712236 18488 37989 64915 147189 224905 25229240 10.86 no data
27160.45/3398.91 c S st 1093 3712236 18488 37989 64915 147189 224905 25229240 10.86 no data
27164.51/3399.44 c S st 1093 3712736 18488 37989 65091 147688 224905 25247024 10.86 no data
27165.25/3399.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07
27178.84/3401.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 61 BRemN: 0 P: 29.3M T: 1.72
27178.84/3401.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
27178.84/3401.26 c bin-w-bin subsume rem 32 bins time: 0.01 s
27178.84/3401.28 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 0.02 s
27179.64/3401.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18488 time: 0.03 s
27179.64/3401.33 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
27182.10/3401.62 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.28 s
27202.81/3404.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.69 s
27474.56/3438.23 c lits-rem: 451 cl-subs: 2205 v-elim: 0 v-fix: 0 time: 33.73 s
27474.56/3438.24 c vivif2 -- cl tried 37986 cl shrink 0 lits rem 0 time: 0.01
27488.15/3439.94 c vivif2 -- cl tried 145483 cl shrink 36793 lits rem 1284310 time: 1.67
27492.94/3440.50 c asymm cl-useful: 0/3978/37986 lits-rem:0 time: 0.55
27492.94/3440.51 c calculated reachability. Time: 0.01
27492.94/3440.52 c N st 1093 3712736 18488 37986 64999 145483 224898 23422210 10.86 no data
27712.74/3468.00 c F st 1094 3751562 18488 37986 64999 98034 224897 7735574 10.86 no data
27712.74/3468.03 c N st 1094 3751562 18488 37986 64999 98034 224897 7735574 10.86 no data
27733.52/3470.68 c Decided on static restart strategy
27823.89/3481.95 c N st 1104 3779872 18488 37986 65001 126084 224897 13857035 10.86 no data
28001.23/3504.16 c N st 1106 3815864 18488 37986 65002 161883 224897 24394820 10.86 no data
28197.79/3528.75 c N st 1107 3848259 18488 37986 65002 106999 224897 11927629 10.86 no data
28526.35/3569.89 c N st 1108 3896849 18488 37986 65009 154949 224897 24455972 10.86 no data
28997.77/3628.86 c N st 1109 3969732 18488 37986 65010 139353 224897 31788089 10.86 no data
28997.77/3628.89 c Finding binary XORs T: 0.02 s found: 0
29935.21/3746.16 c N st 1110 4079055 18488 37986 65022 158891 224897 41025345 10.86 no data
31109.16/3893.09 c N st 1111 4212737 18488 37986 65081 109982 224897 14076723 10.86 no data
31109.16/3893.09 c S st 1111 4212737 18488 37986 65081 109982 224897 14076723 10.86 no data
31113.17/3893.52 c S st 1111 4213238 18487 37986 65083 110481 224897 14094934 10.86 no data
31113.17/3893.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
31125.15/3895.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 9 BRemL: 62 BRemN: 0 P: 25.1M T: 1.50
31126.76/3895.25 c Replacing 2 vars Replaced 913 lits Time: 0.16 s
31126.76/3895.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
31126.76/3895.27 c bin-w-bin subsume rem 7 bins time: 0.01 s
31126.76/3895.29 c subs with bin: 5 lits-rem: 3 v-fix: 0 time: 0.02 s
31127.56/3895.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18485 time: 0.03 s
31127.56/3895.34 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
31129.21/3895.54 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 0.19 s
31145.14/3897.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.55 s
31208.34/3905.49 c lits-rem: 20856 cl-subs: 655 v-elim: 0 v-fix: 0 time: 7.85 s
31209.08/3905.50 c vivif2 -- cl tried 37976 cl shrink 0 lits rem 0 time: 0.01
31213.88/3906.16 c vivif2 -- cl tried 109768 cl shrink 8237 lits rem 294393 time: 0.65
31217.13/3906.56 c asymm cl-useful: 0/10951/37976 lits-rem:0 time: 0.39
31217.13/3906.57 c calculated reachability. Time: 0.01
31217.13/3906.58 c N st 1111 4213238 18485 37976 64625 109768 224851 13644307 10.86 no data
32303.20/4042.45 c N st 1112 4459215 18485 37976 64625 167768 224851 16185749 10.86 no data
34010.28/4256.04 c N st 1113 4713238 18485 37976 64641 133763 224851 12273546 10.86 no data
34010.28/4256.04 c S st 1113 4713238 18485 37976 64641 133763 224851 12273546 10.86 no data
34014.28/4256.55 c S st 1113 4713740 18485 37976 64648 134264 224851 12292323 10.86 no data
34015.08/4256.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05
34027.87/4258.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 3 BRemL: 27 BRemN: 0 P: 29.4M T: 1.66
34027.87/4258.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
34028.66/4258.30 c bin-w-bin subsume rem 6 bins time: 0.01 s
34028.66/4258.32 c subs with bin: 2 lits-rem: 0 v-fix: 0 time: 0.02 s
34028.66/4258.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18485 time: 0.03 s
34028.66/4258.37 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
34030.32/4258.57 c lits-rem: 0 cl-subs: 0 v-elim: 1 v-fix: 0 time: 0.19 s
34047.90/4260.78 c subs with bin: 2 lits-rem: 53 v-fix: 0 time: 1.74 s
34255.66/4286.72 c lits-rem: 6225 cl-subs: 2373 v-elim: 0 v-fix: 0 time: 25.75 s
34255.66/4286.73 c vivif2 -- cl tried 37973 cl shrink 0 lits rem 0 time: 0.01
34262.05/4287.57 c vivif2 -- cl tried 131846 cl shrink 27267 lits rem 315163 time: 0.82
34266.90/4288.12 c asymm cl-useful: 8/2532/37973 lits-rem:11 time: 0.53
34266.90/4288.13 c calculated reachability. Time: 0.01
34266.90/4288.13 c N st 1113 4713740 18484 37973 64619 131845 224830 11670676 10.86 no data
38313.64/4794.51 c N st 1114 5213742 18484 37973 64620 133427 224829 13461248 10.86 no data
38313.64/4794.51 c S st 1114 5213742 18484 37973 64620 133427 224829 13461248 10.86 no data
38317.64/4795.00 c S st 1114 5214248 18484 37973 64681 133931 224829 13479798 10.86 no data
38317.64/4795.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06
38331.22/4796.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 18 BRemL: 65 BRemN: 0 P: 29.3M T: 1.70
38331.22/4796.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
38331.22/4796.79 c bin-w-bin subsume rem 10 bins time: 0.01 s
38332.02/4796.81 c subs with bin: 2 lits-rem: 1 v-fix: 0 time: 0.02 s
38332.02/4796.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 18484 time: 0.03 s
38332.02/4796.86 c Removed useless bin: 0 fixed: 0 props: 0.58M time: 0.02 s
38333.62/4797.06 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.19 s
38350.41/4799.10 c subs with bin: 3 lits-rem: 20 v-fix: 0 time: 1.55 s
38416.80/4807.48 c lits-rem: 2074 cl-subs: 910 v-elim: 0 v-fix: 0 time: 8.30 s
38416.80/4807.49 c vivif2 -- cl tried 37971 cl shrink 0 lits rem 0 time: 0.01
38423.14/4808.27 c vivif2 -- cl tried 133018 cl shrink 18914 lits rem 359368 time: 0.77
38427.92/4808.82 c asymm cl-useful: 23/17539/37971 lits-rem:23 time: 0.54
38427.92/4808.84 c calculated reachability. Time: 0.01
38427.92/4808.84 c N st 1114 5214248 18484 37971 64626 133017 224802 12999163 10.86 no data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321181-1304325134/watcher-3321181-1304325134 -o /tmp/evaluation-result-3321181-1304325134/solver-3321181-1304325134 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321181-1304325134.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: 4.74 7.11 7.26 2/233 7305
/proc/meminfo: memFree=24923188/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=92188 CPUtime=0.01 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 413 0 0 0 1 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264050 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7305/statm: 23047 352 299 106 0 18018 0
[pid=7305/tid=7306] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264050 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264050 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264050 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264050 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 352 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264048 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.047641 s]
/proc/loadavg: 4.74 7.11 7.26 2/233 7305
/proc/meminfo: memFree=24923188/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=92188 CPUtime=0.29 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 422 0 0 0 29 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825263641 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 23047 361 303 106 0 18018 0
[pid=7305/tid=7306] ppid=7303 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 5 0 0 0 4 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825263639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=92188 CPUtime=0 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825264050 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825263641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825263641 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=92188 CPUtime=0.03 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825263641 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825263641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=92188 CPUtime=0.04 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 544112120 94400512 361 33554432000 4194304 4627427 140736927782304 18446744073709551615 47192825263641 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92188
[startup+0.100774 s]
/proc/loadavg: 4.74 7.11 7.26 2/233 7305
/proc/meminfo: memFree=24923188/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=422852 CPUtime=0.62 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) D 7303 7305 6848 0 -1 4202496 36058 0 0 0 52 10 0 0 25 0 8 0 544112120 433000448 29069 33554432000 4194304 4627427 140736927782304 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 105713 29069 337 106 0 100684 0
[pid=7305/tid=7306] ppid=7303 vsize=422852 CPUtime=0.08 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) D 7303 7305 6848 0 -1 4202560 5876 0 0 0 7 1 0 0 18 0 8 0 544112120 433000448 29069 33554432000 4194304 4627427 140736927782304 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=422852 CPUtime=0.03 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) D 7303 7305 6848 0 -1 4202560 5219 0 0 0 2 1 0 0 18 0 8 0 544112120 433000448 29069 33554432000 4194304 4627427 140736927782304 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=422852 CPUtime=0.08 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 4335 0 0 0 7 1 0 0 18 0 8 0 544112120 433000448 29069 33554432000 4194304 4627427 140736927782304 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=422852 CPUtime=0.08 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) D 7303 7305 6848 0 -1 4202560 3492 0 0 0 7 1 0 0 25 0 8 0 544112120 433000448 29069 33554432000 4194304 4627427 140736927782304 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=422852 CPUtime=0.07 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) D 7303 7305 6848 0 -1 4202560 4646 0 0 0 6 1 0 0 18 0 8 0 544112120 433000448 29069 33554432000 4194304 4627427 140736927782304 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=422852 CPUtime=0.07 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) D 7303 7305 6848 0 -1 4202560 3632 0 0 0 6 1 0 0 17 0 8 0 544112120 433000448 29069 33554432000 4194304 4627427 140736927782304 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=423572 CPUtime=0.07 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) D 7303 7305 6848 0 -1 4202560 3402 0 0 0 7 0 0 0 17 0 8 0 544112120 433737728 29327 33554432000 4194304 4627427 140736927782304 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 422852
[startup+0.988622 s]
/proc/loadavg: 4.74 7.11 7.26 2/233 7305
/proc/meminfo: memFree=24923188/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=740696 CPUtime=8.3 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 79668 0 0 0 771 59 0 0 19 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 185174 62997 368 106 0 180145 0
[pid=7305/tid=7306] ppid=7303 vsize=740696 CPUtime=1.04 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10130 0 0 0 98 6 0 0 19 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=740696 CPUtime=0.99 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9637 0 0 0 92 7 0 0 19 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=740696 CPUtime=1.03 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 8951 0 0 0 96 7 0 0 18 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4299670 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=740696 CPUtime=1.03 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9261 0 0 0 96 7 0 0 18 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=740696 CPUtime=1.04 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10740 0 0 0 96 8 0 0 18 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=740696 CPUtime=1.03 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 8049 0 0 0 96 7 0 0 18 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=740696 CPUtime=1.03 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 11599 0 0 0 97 6 0 0 18 0 8 0 544112120 758472704 62997 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 740696
[startup+1.12147 s]
/proc/loadavg: 4.74 7.11 7.26 2/233 7305
/proc/meminfo: memFree=24923188/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=741308 CPUtime=15.5 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 81272 0 0 0 1490 60 0 0 20 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 185327 64601 369 106 0 180298 0
[pid=7305/tid=7306] ppid=7303 vsize=741308 CPUtime=1.94 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10191 0 0 0 188 6 0 0 20 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=741308 CPUtime=1.89 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9712 0 0 0 182 7 0 0 19 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=741308 CPUtime=1.93 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9047 0 0 0 186 7 0 0 20 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=741308 CPUtime=1.93 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9374 0 0 0 186 7 0 0 20 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4238282 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=741308 CPUtime=1.94 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10837 0 0 0 186 8 0 0 20 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=741308 CPUtime=1.93 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 8137 0 0 0 186 7 0 0 20 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=741308 CPUtime=1.93 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 12586 0 0 0 187 6 0 0 20 0 8 0 544112120 759099392 64601 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.5
Current children cumulated vsize (KiB) 741308
[startup+2.0933 s]
/proc/loadavg: 4.74 7.11 7.26 2/233 7305
/proc/meminfo: memFree=24923188/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=741308 CPUtime=16.3 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 81299 0 0 0 1570 60 0 0 20 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 185327 64628 369 106 0 180298 0
[pid=7305/tid=7306] ppid=7303 vsize=741308 CPUtime=2.04 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10191 0 0 0 198 6 0 0 20 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=741308 CPUtime=1.99 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9712 0 0 0 192 7 0 0 19 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=741308 CPUtime=2.03 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9048 0 0 0 196 7 0 0 20 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=741308 CPUtime=2.03 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9374 0 0 0 196 7 0 0 20 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=741308 CPUtime=2.04 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10837 0 0 0 196 8 0 0 20 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=741308 CPUtime=2.03 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 8137 0 0 0 196 7 0 0 20 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=741308 CPUtime=2.03 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 12612 0 0 0 197 6 0 0 20 0 8 0 544112120 759099392 64628 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.3
Current children cumulated vsize (KiB) 741308
[startup+3.10114 s]
/proc/loadavg: 4.74 7.11 7.26 9/241 7313
/proc/meminfo: memFree=24666320/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=741308 CPUtime=24.35 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 81465 0 0 0 2375 60 0 0 23 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 185327 64794 369 106 0 180298 0
[pid=7305/tid=7306] ppid=7303 vsize=741308 CPUtime=3.05 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10192 0 0 0 299 6 0 0 23 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=741308 CPUtime=2.99 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9713 0 0 0 292 7 0 0 21 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=741308 CPUtime=3.04 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9048 0 0 0 297 7 0 0 23 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=741308 CPUtime=3.04 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9375 0 0 0 297 7 0 0 23 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=741308 CPUtime=3.05 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10837 0 0 0 297 8 0 0 23 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=741308 CPUtime=3.03 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 8138 0 0 0 296 7 0 0 22 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=741308 CPUtime=3.04 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 12773 0 0 0 298 6 0 0 22 0 8 0 544112120 759099392 64794 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.35
Current children cumulated vsize (KiB) 741308
[startup+6.3006 s]
/proc/loadavg: 5.00 7.13 7.26 9/241 7313
/proc/meminfo: memFree=24664192/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=745288 CPUtime=49.92 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 83201 0 0 0 4931 61 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 186322 65145 370 106 0 181293 0
[pid=7305/tid=7306] ppid=7303 vsize=745288 CPUtime=6.25 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10213 0 0 0 619 6 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=745288 CPUtime=6.16 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9726 0 0 0 609 7 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=745288 CPUtime=6.24 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9065 0 0 0 617 7 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=745288 CPUtime=6.24 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 9394 0 0 0 617 7 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=745288 CPUtime=6.25 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 10857 0 0 0 617 8 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=745288 CPUtime=6.23 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 8157 0 0 0 616 7 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=745288 CPUtime=6.24 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 14382 0 0 0 617 7 0 0 25 0 8 0 544112120 763174912 65145 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=7305] ppid=7303 vsize=11908696 CPUtime=37736.7 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 15048341 0 0 0 3768781 4886 0 0 25 0 8 0 544112120 12194504704 2422135 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7305/statm: 2977174 2422136 418 106 0 2972145 0
[pid=7305/tid=7306] ppid=7303 vsize=11908696 CPUtime=4721.39 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1738409 0 0 0 471582 557 0 0 25 0 8 0 544112120 12194504704 2422136 33554432000 4194304 4627427 140736927782304 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=11908696 CPUtime=4718.77 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2127109 0 0 0 471128 749 0 0 25 0 8 0 544112120 12194504704 2422136 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=11908696 CPUtime=4721.09 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1394759 0 0 0 471639 470 0 0 25 0 8 0 544112120 12194504704 2422136 33554432000 4194304 4627427 140736927782304 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=11908696 CPUtime=4721.42 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2208837 0 0 0 471466 676 0 0 25 0 8 0 544112120 12194504704 2422136 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=11908696 CPUtime=4702.18 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1922973 0 0 0 469569 649 0 0 25 0 8 0 544112120 12194504704 2422136 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=11908696 CPUtime=4721.09 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2376529 0 0 0 471381 728 0 0 25 0 8 0 544112120 12194504704 2422136 33554432000 4194304 4627427 140736927782304 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=11908696 CPUtime=4722.06 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 659322 0 0 0 472008 198 0 0 25 0 8 0 544112120 12194504704 2422136 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37736.7
Current children cumulated vsize (KiB) 11908696
[startup+4782.3 s]
/proc/loadavg: 8.07 8.03 8.00 9/241 7452
/proc/meminfo: memFree=15227236/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=11408772 CPUtime=38216.1 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 15230060 0 0 0 3816664 4951 0 0 25 0 8 0 544112120 11682582528 2420287 33554432000 4194304 4627427 140736927782304 18446744073709551615 4332176 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7305/statm: 2852193 2420287 418 106 0 2847164 0
[pid=7305/tid=7306] ppid=7303 vsize=11408772 CPUtime=4781.38 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1760614 0 0 0 477575 563 0 0 25 0 8 0 544112120 11682582528 2420287 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=11408772 CPUtime=4778.76 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2158206 0 0 0 477114 762 0 0 25 0 8 0 544112120 11682582528 2420287 33554432000 4194304 4627427 140736927782304 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=11408772 CPUtime=4781.08 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1420727 0 0 0 477629 479 0 0 25 0 8 0 544112120 11682582528 2420287 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=11408772 CPUtime=4781.4 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2221686 0 0 0 477458 682 0 0 25 0 8 0 544112120 11682582528 2420287 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=11408772 CPUtime=4762.17 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1944981 0 0 0 475561 656 0 0 21 0 8 0 544112120 11682582528 2420287 33554432000 4194304 4627427 140736927782304 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=11408772 CPUtime=4781.08 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2410111 0 0 0 477367 741 0 0 25 0 8 0 544112120 11682582528 2420288 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=11408772 CPUtime=4782.06 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 667405 0 0 0 478007 199 0 0 25 0 8 0 544112120 11682582528 2420288 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38216.2
Current children cumulated vsize (KiB) 11408772
[startup+4842.3 s]
/proc/loadavg: 8.10 8.04 8.01 9/241 7454
/proc/meminfo: memFree=15140540/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=11811196 CPUtime=38695.7 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 15395904 0 0 0 3864550 5016 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309965 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7305/statm: 2952799 2436525 418 106 0 2947770 0
[pid=7305/tid=7306] ppid=7303 vsize=11811196 CPUtime=4841.36 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1778592 0 0 0 483567 569 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=11811196 CPUtime=4838.74 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2177451 0 0 0 483103 771 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4330994 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=11811196 CPUtime=4841.07 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1446593 0 0 0 483617 490 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=11811196 CPUtime=4841.4 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2242139 0 0 0 483452 688 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=11811196 CPUtime=4822.16 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1958877 0 0 0 481553 663 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=11811196 CPUtime=4841.06 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2450073 0 0 0 483353 753 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=11811196 CPUtime=4842.06 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 675008 0 0 0 484004 202 0 0 25 0 8 0 544112120 12094664704 2436525 33554432000 4194304 4627427 140736927782304 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38695.7
Current children cumulated vsize (KiB) 11811196
[startup+4902.3 s]
/proc/loadavg: 8.11 8.05 8.00 9/241 7456
/proc/meminfo: memFree=15199808/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=11527856 CPUtime=39175.1 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 15555786 0 0 0 3912445 5068 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4332648 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7305/statm: 2881964 2427107 418 106 0 2876935 0
[pid=7305/tid=7306] ppid=7303 vsize=11527856 CPUtime=4901.37 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1805505 0 0 0 489560 577 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=11527856 CPUtime=4898.74 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2204764 0 0 0 489093 781 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=11527856 CPUtime=4901.06 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1462574 0 0 0 489609 497 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=11527856 CPUtime=4901.39 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2254486 0 0 0 489447 692 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=11527856 CPUtime=4882.16 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1980056 0 0 0 487547 669 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=11527856 CPUtime=4901.04 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2477102 0 0 0 489343 761 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=11527856 CPUtime=4902.06 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 679260 0 0 0 490002 204 0 0 25 0 8 0 544112120 11804524544 2427107 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39175.1
Current children cumulated vsize (KiB) 11527856
[startup+4962.3 s]
/proc/loadavg: 8.04 8.03 8.00 9/241 7457
/proc/meminfo: memFree=15276192/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=11845948 CPUtime=39654.6 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 15727889 0 0 0 3960329 5133 0 0 25 0 8 0 544112120 12130250752 2409798 33554432000 4194304 4627427 140736927782304 18446744073709551615 4310748 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7305/statm: 2961487 2409798 422 106 0 2956458 0
[pid=7305/tid=7306] ppid=7303 vsize=11845948 CPUtime=4961.35 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1820762 0 0 0 495552 583 0 0 25 0 8 0 544112120 12130250752 2409798 33554432000 4194304 4627427 140736927782304 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=11845948 CPUtime=4958.73 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2226140 0 0 0 495083 790 0 0 25 0 8 0 544112120 12130250752 2409798 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=11845948 CPUtime=4961.05 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1488419 0 0 0 495596 509 0 0 25 0 8 0 544112120 12130250752 2409798 33554432000 4194304 4627427 140736927782304 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=11845948 CPUtime=4961.37 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2274177 0 0 0 495440 697 0 0 25 0 8 0 544112120 12130250752 2409798 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=11845948 CPUtime=4942.15 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1995246 0 0 0 493540 675 0 0 25 0 8 0 544112120 12130250752 2409798 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309779 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=11845948 CPUtime=4961.03 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2517044 0 0 0 495327 776 0 0 25 0 8 0 544112120 12130250752 2409799 33554432000 4194304 4627427 140736927782304 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=11845948 CPUtime=4962.05 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 693400 0 0 0 495997 208 0 0 25 0 8 0 544112120 12130250752 2409799 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39654.6
Current children cumulated vsize (KiB) 11845948
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5005.6 s]
/proc/loadavg: 8.02 8.03 8.00 9/241 7458
/proc/meminfo: memFree=14998256/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=11743912 CPUtime=40000.7 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4202496 15829417 0 0 0 3994901 5172 0 0 25 0 8 0 544112120 12025765888 2476738 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309646 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7305/statm: 2935978 2476738 422 106 0 2930949 0
[pid=7305/tid=7306] ppid=7303 vsize=11743912 CPUtime=5004.66 cores=0-7
/proc/7305/task/7306/stat : 7306 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1828578 0 0 0 499880 586 0 0 25 0 8 0 544112120 12025765888 2476741 33554432000 4194304 4627427 140736927782304 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7305/tid=7307] ppid=7303 vsize=11743912 CPUtime=5002.03 cores=0-7
/proc/7305/task/7307/stat : 7307 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2242616 0 0 0 499407 796 0 0 25 0 8 0 544112120 12025765888 2476741 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7305/tid=7308] ppid=7303 vsize=11743912 CPUtime=5004.36 cores=0-7
/proc/7305/task/7308/stat : 7308 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 1503148 0 0 0 499921 515 0 0 25 0 8 0 544112120 12025765888 2476741 33554432000 4194304 4627427 140736927782304 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7305/tid=7309] ppid=7303 vsize=11743912 CPUtime=5004.67 cores=0-7
/proc/7305/task/7309/stat : 7309 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2289514 0 0 0 499764 703 0 0 25 0 8 0 544112120 12025765888 2476741 33554432000 4194304 4627427 140736927782304 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7305/tid=7310] ppid=7303 vsize=11743912 CPUtime=4985.46 cores=0-7
/proc/7305/task/7310/stat : 7310 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2012893 0 0 0 497866 680 0 0 25 0 8 0 544112120 12025765888 2476741 33554432000 4194304 4627427 140736927782304 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7305/tid=7311] ppid=7303 vsize=11743912 CPUtime=5004.32 cores=0-7
/proc/7305/task/7311/stat : 7311 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 2535756 0 0 0 499649 783 0 0 25 0 8 0 544112120 12025765888 2476741 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7305/tid=7312] ppid=7303 vsize=11743912 CPUtime=5005.35 cores=0-7
/proc/7305/task/7312/stat : 7312 (strangenight2-m) R 7303 7305 6848 0 -1 4202560 696536 0 0 0 500327 208 0 0 25 0 8 0 544112120 12025765888 2476741 33554432000 4194304 4627427 140736927782304 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.7
Current children cumulated vsize (KiB) 11743912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5005.71 s]
/proc/loadavg: 8.02 8.03 8.00 9/241 7458
/proc/meminfo: memFree=14998256/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=0 CPUtime=40000.9 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4203524 15829427 0 0 0 3994905 5182 0 0 25 0 1 0 544112120 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 0
[startup+5005.9 s]
/proc/loadavg: 8.02 8.03 8.00 9/241 7458
/proc/meminfo: memFree=14998256/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=0 CPUtime=40001.1 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4203524 15829427 0 0 0 3994905 5201 0 0 25 0 1 0 544112120 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40001.1
Current children cumulated vsize (KiB) 0
[startup+5006 s]
/proc/loadavg: 8.02 8.03 8.00 9/241 7458
/proc/meminfo: memFree=14998256/32950928 swapFree=67111448/67111528
[pid=7305] ppid=7303 vsize=0 CPUtime=40001.2 cores=0-7
/proc/7305/stat : 7305 (strangenight2-m) R 7303 7305 6848 0 -1 4203524 15829427 0 0 0 3994905 5211 0 0 25 0 1 0 544112120 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7305/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40001.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.08
CPU time (s): 40001.2
CPU user time (s): 39949.1
CPU system time (s): 52.1911
CPU usage (%): 799.053
Max. virtual memory (cumulated for all children) (KiB): 12363816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39949.1
system time used= 52.1911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15829427
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= 80998
involuntary context switches= 165178
runsolver used 10.0475 second user time and 26.387 second system time
The end
Begin job on node126 at 2011-05-02 10:32:14
IDJOB=3321181
IDBENCH=83109
IDSOLVER=1709
FILE ID=node126/3321181-1304325134
RUNJOBID= node126-1304322187-6862
PBS_JOBID= 13176800
Free space on /tmp= 73716 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom25.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321181-1304325134/watcher-3321181-1304325134 -o /tmp/evaluation-result-3321181-1304325134/solver-3321181-1304325134 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321181-1304325134.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= c40bd543dad558d19995fef4fd742233
RANDOM SEED=407172585
node126.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.783
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.56
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.783
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.75
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.783
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.783
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.74
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.783
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.80
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.783
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.783
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.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 24923592 kB
Buffers: 329240 kB
Cached: 1846960 kB
SwapCached: 76 kB
Active: 5879364 kB
Inactive: 1803904 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24923592 kB
SwapTotal: 67111528 kB
SwapFree: 67111448 kB
Dirty: 9712 kB
Writeback: 0 kB
AnonPages: 5507592 kB
Mapped: 20960 kB
Slab: 260524 kB
PageTables: 21472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 27245980 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= 73712 MiB
End job on node126 at 2011-05-02 11:55:42