| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.31 | 1203.64 |
| Name | random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf |
| MD5SUM | 2ff4c014ab92fa532c070237e3ac5307 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.029994 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 550 |
| Number of clauses | 2343 |
| Sum of the clauses size | 7029 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 2343 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3366585-1305409297.cnf' 0.00/0.00 c -- header says num vars: 550 0.00/0.00 c -- header says num clauses: 2343 0.00/0.00 c -- clauses added: 0 learnts, 2343 normals, 0 xors 0.00/0.00 c -- vars added 550 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 550 2343 0 0 7029 0 no data no data 0.00/0.00 c asymm cl-useful: 0/2343/2343 lits-rem:0 time: 0.00 0.00/0.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 550 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.01 c lits-rem: 0 cl-subs: 0 v-elim: 7 v-fix: 0 time: 0.00 s 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.01 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.01 c calculated reachability. Time: 0.00 0.00/0.01 c Calc default polars - time: 0.00 s pos: 252 undec: 49 neg: 249 0.00/0.01 c ========================================================================================= 0.00/0.01 c types(t): F = full restart, N = normal restart 0.00/0.01 c types(t): S = simplification begin/end, E = solution found 0.00/0.01 c restart types(rt): st = static, dy = dynamic 0.00/0.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.01 c B st 0 0 543 2337 0 0 7052 0 no data no data 0.15/0.06 c Decided on static restart strategy 0.37/0.16 c N st 8 4914 543 2337 0 4863 7052 123582 no data no data 1.56/0.42 c N st 10 11296 543 2337 0 4500 7052 82289 no data no data 2.76/0.71 c N st 11 17039 543 2337 0 10129 7052 229726 no data no data 4.40/1.12 c F st 12 25000 543 2337 0 12428 7052 279589 no data no data 4.40/1.12 c N st 12 25000 543 2337 0 12428 7052 279589 no data no data 5.15/1.36 c Decided on static restart strategy 5.15/1.36 c N st 18 30002 543 2337 0 10699 7052 218907 no data no data 5.15/1.36 c S st 18 30002 543 2337 0 10699 7052 218907 no data no data 5.15/1.39 c S st 18 30507 543 2337 0 11203 7052 230521 no data no data 5.15/1.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 5.56/1.40 c blocked clauses removed: 4 vars: 1 tried: 543 T: 0.00 s 5.56/1.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 5.56/1.40 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 5.56/1.40 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.56/1.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.45 c lits-rem: 84 cl-subs: 407 v-elim: 0 v-fix: 0 time: 0.04 s 5.56/1.46 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.01 5.56/1.46 c calculated reachability. Time: 0.00 5.56/1.46 c N st 18 30507 542 2333 0 10796 7040 217946 no data no data 7.55/1.90 c N st 20 37618 542 2333 0 10040 7040 176741 no data no data 9.14/2.32 c N st 21 44018 542 2333 0 16322 7040 343676 no data no data 9.54/2.43 c S st 22 45760 542 2333 0 9279 7040 141874 no data no data 9.54/2.45 c S st 22 46264 542 2333 0 9781 7040 153748 no data no data 9.54/2.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 9.54/2.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 9.54/2.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 9.54/2.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 9.54/2.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.54/2.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 9.54/2.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 9.54/2.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 9.54/2.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.54/2.47 c lits-rem: 37 cl-subs: 35 v-elim: 0 v-fix: 0 time: 0.01 s 9.54/2.47 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 9.54/2.48 c vivif2 -- cl tried 9746 cl shrink 0 lits rem 0 time: 0.00 9.54/2.48 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.01 9.54/2.48 c calculated reachability. Time: 0.00 9.54/2.48 c N st 22 46264 542 2333 0 9746 7040 152715 no data no data 13.52/3.43 c N st 23 60662 542 2333 0 14049 7040 253909 no data no data 16.32/4.10 c N st 24 69397 542 2333 0 11860 7040 185588 no data no data 16.32/4.10 c S st 24 69397 542 2333 0 11860 7040 185588 no data no data 16.32/4.13 c S st 24 69901 542 2333 0 12364 7040 197735 no data no data 16.32/4.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 16.32/4.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 16.32/4.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 16.32/4.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 16.32/4.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 16.32/4.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 16.32/4.14 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 16.32/4.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 16.32/4.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 16.32/4.16 c lits-rem: 36 cl-subs: 120 v-elim: 0 v-fix: 0 time: 0.02 s 16.32/4.16 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 16.32/4.17 c vivif2 -- cl tried 12244 cl shrink 0 lits rem 0 time: 0.00 16.32/4.17 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.01 16.32/4.17 c calculated reachability. Time: 0.00 16.32/4.17 c N st 24 69901 542 2333 0 12244 7040 194781 no data no data 21.96/5.53 c F st 25 87500 542 2333 0 17760 7040 332830 no data no data 21.96/5.53 c N st 25 87500 542 2333 0 17760 7040 332830 no data no data 23.50/5.93 c Decided on static restart strategy 24.30/6.19 c N st 32 95541 542 2333 0 25687 7040 533352 no data no data 27.09/6.84 c N st 34 104852 542 2333 0 22031 7040 404852 no data no data 27.09/6.84 c S st 34 104852 542 2333 0 22031 7040 404852 no data no data 27.49/6.90 c S st 34 105355 542 2333 0 22534 7040 416205 no data no data 27.49/6.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 27.49/6.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 27.49/6.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 27.49/6.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 27.49/6.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 27.49/6.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 27.49/6.90 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 27.49/6.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 27.49/6.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 27.89/7.06 c lits-rem: 149 cl-subs: 737 v-elim: 0 v-fix: 0 time: 0.14 s 27.89/7.06 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 27.89/7.07 c vivif2 -- cl tried 21797 cl shrink 0 lits rem 0 time: 0.00 27.89/7.08 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.01 27.89/7.08 c calculated reachability. Time: 0.00 27.89/7.08 c N st 34 105355 542 2333 0 21797 7040 396497 no data no data 31.47/7.91 c N st 35 114953 542 2333 0 17479 7040 271241 no data no data 36.26/9.19 c N st 36 129350 542 2333 0 16853 7040 237230 no data no data 44.64/11.23 c N st 37 150946 542 2333 0 22299 7040 352932 no data no data 47.43/11.94 c S st 38 158032 542 2333 0 29216 7040 532208 no data no data 47.84/12.01 c S st 38 158532 542 2333 0 29716 7040 543826 no data no data 47.84/12.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 47.84/12.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 47.84/12.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 47.84/12.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 47.84/12.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 47.84/12.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 47.84/12.02 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 47.84/12.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 47.84/12.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 49.42/12.43 c lits-rem: 508 cl-subs: 1478 v-elim: 0 v-fix: 0 time: 0.39 s 49.42/12.43 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 49.42/12.44 c vivif2 -- cl tried 28238 cl shrink 0 lits rem 0 time: 0.01 49.42/12.46 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.02 49.42/12.46 c calculated reachability. Time: 0.00 49.42/12.46 c N st 38 158532 542 2333 0 28238 7040 507589 no data no data 68.97/17.38 c N st 39 207121 542 2333 0 23085 7040 349410 no data no data 83.37/20.94 c N st 40 237800 542 2333 0 33568 7040 590291 no data no data 83.37/20.94 c S st 40 237800 542 2333 0 33568 7040 590291 no data no data 83.72/21.02 c S st 40 238304 542 2333 0 34071 7040 602512 no data no data 83.72/21.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 83.72/21.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 83.72/21.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 83.72/21.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 83.72/21.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 83.72/21.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 83.72/21.04 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 83.72/21.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 83.72/21.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 85.72/21.53 c lits-rem: 458 cl-subs: 1269 v-elim: 0 v-fix: 0 time: 0.47 s 85.72/21.53 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 85.72/21.53 c vivif2 -- cl tried 32802 cl shrink 0 lits rem 0 time: 0.01 85.72/21.56 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.02 85.72/21.56 c calculated reachability. Time: 0.00 85.72/21.56 c N st 40 238304 542 2333 0 32802 7040 570589 no data no data 117.63/29.56 c F st 41 306251 542 2333 0 34496 7040 569802 no data no data 117.63/29.56 c N st 41 306251 542 2333 0 34496 7040 569802 no data no data 128.79/32.31 c N dy 105 325981 542 2333 0 30434 7040 401458 16.67 17.56 140.75/35.36 c N dy 161 346036 542 2333 0 25604 7040 253188 16.38 17.30 146.33/36.74 c S st 215 357457 542 2333 0 36891 7040 526406 16.45 14.49 146.73/36.83 c S st 215 357959 542 2333 0 37392 7040 538158 16.45 no data 146.73/36.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 146.73/36.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 146.73/36.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 146.73/36.85 c bin-w-bin subsume rem 0 bins time: 0.00 s 146.73/36.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 146.73/36.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 146.73/36.85 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 146.73/36.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 146.73/36.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 147.54/37.02 c lits-rem: 150 cl-subs: 528 v-elim: 0 v-fix: 0 time: 0.15 s 147.54/37.02 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 147.54/37.02 c vivif2 -- cl tried 36864 cl shrink 0 lits rem 0 time: 0.01 147.54/37.05 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.02 147.54/37.05 c calculated reachability. Time: 0.00 147.54/37.05 c N dy 215 357959 542 2333 0 36864 7040 523564 16.45 no data 159.90/40.14 c N dy 275 378036 542 2333 0 31023 7040 354826 16.32 17.22 172.65/43.37 c N dy 367 398090 542 2333 0 50817 7040 828694 16.39 17.30 185.82/46.61 c N dy 440 418169 542 2333 0 43992 7040 637421 16.34 17.74 198.98/49.94 c N dy 523 438986 542 2333 0 36864 7040 453243 16.32 17.18 212.95/53.45 c N dy 584 459058 542 2333 0 56653 7040 922426 16.28 17.24 224.91/56.47 c N dy 663 479148 542 2333 0 47890 7040 697623 16.28 18.19 242.06/60.77 c N dy 745 504665 542 2333 0 43518 7040 575138 16.23 17.19 258.01/64.74 c N dy 779 526326 542 2333 0 34277 7040 331385 16.10 17.00 263.98/66.29 c S st 808 536939 542 2333 0 44747 7040 576422 16.08 14.15 264.79/66.40 c S st 808 537445 542 2333 0 45253 7040 588498 16.08 no data 264.79/66.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 264.79/66.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.01 264.79/66.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 264.79/66.42 c bin-w-bin subsume rem 0 bins time: 0.00 s 264.79/66.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 264.79/66.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 264.79/66.42 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 264.79/66.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 264.79/66.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 265.59/66.68 c lits-rem: 197 cl-subs: 1009 v-elim: 0 v-fix: 0 time: 0.24 s 265.59/66.68 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 265.59/66.69 c vivif2 -- cl tried 44244 cl shrink 0 lits rem 0 time: 0.01 265.99/66.72 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.03 265.99/66.72 c calculated reachability. Time: 0.00 265.99/66.72 c N dy 808 537445 542 2333 0 44244 7040 565425 16.08 no data 283.13/71.04 c N dy 926 558570 542 2333 0 33538 7040 296034 16.14 17.03 295.90/74.28 c N dy 1025 578590 542 2333 0 53257 7040 773177 16.18 17.77 311.50/78.18 c N dy 1106 599096 542 2333 0 40972 7040 458874 16.18 17.15 327.41/82.14 c N dy 1196 619128 542 2333 0 60719 7040 926622 16.20 22.09 342.96/86.03 c N dy 1322 639255 542 2333 0 47051 7040 582248 16.25 17.17 369.28/92.61 c N dy 1391 672181 542 2333 0 44965 7040 514199 16.16 17.02 388.82/97.54 c N dy 1487 695134 542 2333 0 67563 7040 1056725 16.16 17.03 404.78/101.50 c N dy 1589 715433 542 2333 0 52143 7040 675826 16.18 17.12 425.14/106.68 c N dy 1701 735497 542 2333 0 71941 7040 1154097 16.22 22.08 439.87/110.34 c N dy 1776 755534 542 2333 0 55174 7040 719422 16.22 17.33 461.01/115.69 c N dy 1898 775565 542 2333 0 74936 7040 1196346 16.26 18.95 475.77/119.32 c N dy 1987 796101 542 2333 0 57707 7040 762776 16.28 17.25 485.74/121.89 c S st 2048 806168 542 2333 0 67662 7040 1004425 16.29 no data 486.55/122.07 c S st 2048 806673 542 2333 0 68167 7040 1016862 16.29 no data 486.55/122.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 486.55/122.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 486.55/122.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 486.55/122.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 486.55/122.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 486.55/122.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 486.55/122.11 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 486.99/122.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 486.99/122.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 489.73/122.89 c lits-rem: 261 cl-subs: 1699 v-elim: 0 v-fix: 0 time: 0.74 s 489.73/122.89 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 490.13/122.91 c vivif2 -- cl tried 66468 cl shrink 0 lits rem 0 time: 0.01 490.13/122.96 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.06 490.13/122.96 c calculated reachability. Time: 0.00 490.13/122.96 c N dy 2048 806673 542 2333 0 66468 7040 975315 16.29 no data 509.26/127.71 c N dy 2133 826709 542 2333 0 47751 7040 509278 16.30 18.06 525.63/131.88 c N dy 2199 846722 542 2333 0 67456 7040 982694 16.28 17.31 544.77/136.61 c N dy 2269 867135 542 2333 0 48136 7040 501066 16.28 17.14 561.91/140.95 c N dy 2331 887335 542 2333 0 67972 7040 971525 16.27 17.31 583.07/146.23 c N dy 2470 907415 542 2333 0 47382 7040 464385 16.32 19.81 600.62/150.63 c N dy 2550 927512 542 2333 0 67201 7040 939180 16.32 17.26 622.56/156.15 c N dy 2635 947553 542 2333 0 45560 7040 405080 16.33 17.26 644.09/161.58 c N dy 2686 973774 542 2333 0 71294 7040 1027308 16.29 17.21 666.85/167.29 c N dy 2776 995785 542 2333 0 50707 7040 513353 16.29 17.18 685.95/172.06 c N dy 2877 1015824 542 2333 0 70486 7040 995541 16.31 20.11 711.07/178.35 c N dy 2955 1037658 542 2333 0 48623 7040 438773 16.30 17.31 729.82/183.06 c N dy 3039 1057673 542 2333 0 68340 7040 908332 16.31 19.40 746.97/187.33 c F st 3093 1071877 542 2333 0 82300 7040 1239258 16.31 no data 754.94/189.32 c N dy 3105 1077716 542 2333 0 88052 7040 1385409 16.31 17.26 784.46/196.70 c N dy 3191 1109582 542 2333 0 75055 7040 1046764 16.29 17.37 807.99/202.65 c N dy 3260 1129651 542 2333 0 49553 7040 431630 16.28 17.49 833.57/209.07 c N dy 3371 1149791 542 2333 0 69398 7040 909865 16.30 17.18 862.63/216.31 c N dy 3494 1170065 542 2333 0 89427 7040 1405832 16.32 17.23 883.77/221.66 c N dy 3619 1190114 542 2333 0 62906 7040 739515 16.35 18.18 911.69/228.67 c S st 3727 1210009 542 2333 0 82529 7040 1214885 16.36 no data 912.53/228.88 c S st 3727 1210510 542 2333 0 83029 7040 1227654 16.36 no data 912.53/228.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 912.88/228.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 912.88/228.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 912.88/228.92 c bin-w-bin subsume rem 0 bins time: 0.00 s 912.88/228.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 912.88/228.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 912.88/228.92 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 912.88/228.94 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 912.88/228.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 917.27/230.02 c lits-rem: 363 cl-subs: 2006 v-elim: 0 v-fix: 0 time: 1.04 s 917.27/230.02 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 917.27/230.03 c vivif2 -- cl tried 81023 cl shrink 0 lits rem 0 time: 0.02 917.67/230.11 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.08 917.67/230.11 c calculated reachability. Time: 0.00 917.67/230.11 c N dy 3727 1210510 542 2333 0 81023 7040 1177522 16.36 no data 943.25/236.55 c N dy 3825 1231086 542 2333 0 53982 7040 498676 16.37 17.36 965.17/242.03 c N dy 3889 1252718 542 2333 0 75255 7040 1004755 16.37 17.31 994.25/249.30 c N dy 3999 1272771 542 2333 0 95032 7040 1488315 16.38 20.16 1013.44/254.18 c N dy 4119 1292832 542 2333 0 66531 7040 791025 16.40 18.74 1037.32/260.14 c N dy 4186 1312897 542 2333 0 86224 7040 1267374 16.40 17.28 1065.25/267.12 c N dy 4259 1333926 542 2333 0 57689 7040 550982 16.40 17.27 1086.38/272.40 c N dy 4369 1353951 542 2333 0 77425 7040 1031530 16.41 17.63 1116.29/279.94 c N dy 4473 1374018 542 2333 0 97194 7040 1511345 16.42 17.30 1173.72/294.30 c N dy 4510 1424721 542 2333 0 96587 7040 1420193 16.31 17.21 1206.04/302.43 c N dy 4625 1454411 542 2333 0 74762 7040 932603 16.31 17.27 1233.54/309.37 c N dy 4690 1474709 542 2333 0 94713 7040 1405615 16.30 17.17 1258.28/315.52 c N dy 4754 1494718 542 2333 0 62351 7040 615616 16.29 18.75 1281.80/321.44 c N dy 4862 1514790 542 2333 0 82161 7040 1095734 16.31 18.63 1313.71/329.45 c N dy 4991 1534805 542 2333 0 101920 7040 1583462 16.33 17.36 1338.09/335.52 c N dy 5120 1554931 542 2333 0 68628 7040 754872 16.34 17.29 1363.98/342.03 c N dy 5227 1575512 542 2333 0 88897 7040 1251709 16.35 17.23 1402.65/351.70 c N dy 5295 1603623 542 2333 0 62353 7040 574135 16.33 17.26 1425.40/357.49 c N dy 5356 1623664 542 2333 0 82108 7040 1054915 16.32 17.94 1454.10/364.65 c N dy 5411 1643762 542 2333 0 101817 7040 1526084 16.32 17.18 1481.21/371.44 c N dy 5535 1663885 542 2333 0 66542 7040 671578 16.33 17.24 1505.54/377.52 c N dy 5635 1683963 542 2333 0 86312 7040 1152034 16.35 19.37 1538.25/385.73 c N dy 5740 1704005 542 2333 0 106041 7040 1629697 16.36 19.32 1550.21/388.79 c S st 5776 1710510 542 2333 0 56348 7040 399097 16.36 no data 1551.02/388.93 c S st 5776 1711013 542 2333 0 56851 7040 411741 16.36 no data 1551.02/388.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1551.02/388.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02 1551.02/388.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1551.02/388.96 c bin-w-bin subsume rem 0 bins time: 0.00 s 1551.02/388.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1551.02/388.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 1551.02/388.96 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1551.02/388.97 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1551.02/388.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1551.42/389.05 c lits-rem: 3 cl-subs: 22 v-elim: 0 v-fix: 0 time: 0.07 s 1551.42/389.05 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 1551.42/389.05 c vivif2 -- cl tried 56829 cl shrink 0 lits rem 0 time: 0.01 1551.42/389.10 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.04 1551.82/389.10 c calculated reachability. Time: 0.00 1551.82/389.10 c N dy 5776 1711013 542 2333 0 56829 7040 411353 16.36 no data 1573.75/394.62 c N dy 5870 1731791 542 2333 0 77274 7040 900298 16.37 17.23 1602.06/401.71 c N dy 5966 1751960 542 2333 0 97119 7040 1384851 16.37 17.26 1636.76/410.49 c N dy 6048 1773794 542 2333 0 61518 7040 502595 16.37 17.44 1659.49/416.16 c N dy 6156 1793884 542 2333 0 81337 7040 989695 16.38 17.64 1691.40/424.14 c N dy 6211 1815642 542 2333 0 102670 7040 1489594 16.37 17.31 1723.31/432.12 c N dy 6313 1835723 542 2333 0 64374 7040 557972 16.38 17.39 1746.83/438.08 c N dy 6384 1856052 542 2333 0 84354 7040 1040107 16.38 17.32 1776.36/445.44 c N dy 6449 1876398 542 2333 0 104352 7040 1528960 16.38 17.48 1809.05/453.65 c N dy 6546 1896474 542 2333 0 65131 7040 561175 16.38 21.37 1832.58/459.56 c N dy 6621 1917383 542 2333 0 85626 7040 1057851 16.38 17.34 1865.68/467.84 c N dy 6724 1937728 542 2333 0 105686 7040 1547843 16.39 17.39 1899.98/476.48 c N dy 6843 1957742 542 2333 0 65383 7040 551918 16.40 19.56 1925.96/482.98 c N dy 6968 1979334 542 2333 0 86651 7040 1079023 16.41 17.38 1960.22/491.51 c N dy 7059 1999341 542 2333 0 106354 7040 1555091 16.42 21.22 1995.72/500.43 c N dy 7130 2019485 542 2333 0 65172 7040 524216 16.42 17.41 2020.04/506.50 c N dy 7247 2039550 542 2333 0 84937 7040 1010833 16.43 17.89 2051.54/514.47 c N dy 7358 2059579 542 2333 0 104693 7040 1499229 16.44 17.39 2091.82/524.58 c N dy 7463 2079627 542 2333 0 62385 7040 441008 16.44 21.72 2114.94/530.33 c N dy 7572 2099631 542 2333 0 82086 7040 921893 16.45 17.44 2152.05/539.61 c N dy 7625 2124773 542 2333 0 106661 7040 1497410 16.44 17.38 2192.33/549.77 c N dy 7727 2144788 542 2333 0 63430 7040 449904 16.44 17.43 2215.51/555.59 c N dy 7817 2165323 542 2333 0 83589 7040 930695 16.44 17.43 2246.97/563.47 c N dy 7932 2185335 542 2333 0 103355 7040 1420761 16.45 18.14 2284.46/572.82 c N dy 7992 2205412 542 2333 0 123125 7040 1898422 16.45 17.34 2296.82/575.97 c S st 8031 2211013 542 2333 0 64680 7040 463473 16.45 16.44 2297.62/576.13 c S st 8031 2211518 542 2333 0 65185 7040 476781 16.45 no data 2297.62/576.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 2297.62/576.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02 2297.62/576.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2297.62/576.16 c bin-w-bin subsume rem 0 bins time: 0.00 s 2297.62/576.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2297.62/576.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 2297.62/576.16 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2297.62/576.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 2297.62/576.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2298.02/576.26 c lits-rem: 5 cl-subs: 36 v-elim: 0 v-fix: 0 time: 0.07 s 2298.02/576.26 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 2298.02/576.27 c vivif2 -- cl tried 65149 cl shrink 0 lits rem 0 time: 0.01 2298.43/576.32 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.05 2298.43/576.32 c calculated reachability. Time: 0.00 2298.43/576.32 c N dy 8031 2211518 542 2333 0 65149 7040 475822 16.45 no data 2321.15/582.01 c N dy 8093 2231540 542 2333 0 84791 7040 942169 16.45 20.19 2353.06/590.05 c N dy 8227 2251649 542 2333 0 104592 7040 1431184 16.46 17.65 2393.74/600.29 c N dy 8346 2271707 542 2333 0 124332 7040 1914920 16.47 23.69 2423.25/607.61 c N dy 8450 2291748 542 2333 0 79132 7040 802139 16.48 18.23 2452.41/614.96 c N dy 8547 2311789 542 2333 0 98856 7040 1284020 16.48 17.37 2488.65/624.00 c N dy 8646 2331841 542 2333 0 118603 7040 1775643 16.49 17.44 2528.94/634.13 c N dy 8761 2354024 542 2333 0 74473 7040 661397 16.49 17.49 2561.25/642.31 c N dy 8853 2378315 542 2333 0 98374 7040 1247523 16.49 17.37 2596.76/651.20 c N dy 8924 2398320 542 2333 0 118032 7040 1718283 16.49 19.78 2639.41/661.80 c N dy 9011 2420155 542 2333 0 72614 7040 603842 16.49 17.49 2678.50/671.61 c N dy 9128 2449417 542 2333 0 101367 7040 1302323 16.49 17.46 2718.39/681.60 c N dy 9240 2469902 542 2333 0 121563 7040 1801680 16.50 17.37 2758.67/691.76 c N dy 9351 2489958 542 2333 0 73415 7040 605299 16.50 19.19 2822.48/707.75 c N dy 9406 2536358 542 2333 0 118930 7040 1700961 16.47 17.49 2867.15/718.99 c N dy 9533 2556399 542 2333 0 69855 7040 505611 16.48 19.09 2892.67/725.31 c N dy 9616 2576890 542 2333 0 90021 7040 997531 16.48 17.51 2926.23/733.76 c N dy 9719 2596930 542 2333 0 109737 7040 1477378 16.49 20.65 2969.66/744.68 c N dy 9852 2617528 542 2333 0 130051 7040 1984141 16.50 17.61 3006.34/753.84 c N dy 9955 2637956 542 2333 0 80311 7040 743191 16.50 17.55 3034.66/760.91 c N dy 10027 2657968 542 2333 0 100006 7040 1217225 16.50 23.30 3071.74/770.28 c N dy 10124 2678059 542 2333 0 119754 7040 1694971 16.50 18.15 3127.18/784.15 c N dy 10223 2703271 542 2333 0 73690 7040 559531 16.51 17.44 3137.15/786.63 c S st 10255 2711519 542 2333 0 81811 7040 756478 16.50 14.06 3137.95/786.86 c S st 10255 2712022 542 2333 0 82314 7040 768699 16.50 no data 3137.95/786.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3138.35/786.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 3138.35/786.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3138.35/786.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 3138.35/786.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3138.35/786.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 3138.35/786.90 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3138.35/786.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 3138.35/786.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3139.55/787.21 c lits-rem: 34 cl-subs: 850 v-elim: 0 v-fix: 0 time: 0.27 s 3139.55/787.21 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 3139.55/787.23 c vivif2 -- cl tried 81464 cl shrink 0 lits rem 0 time: 0.01 3139.95/787.30 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.07 3139.95/787.30 c calculated reachability. Time: 0.00 3139.95/787.30 c N dy 10255 2712022 542 2333 0 81464 7040 749699 16.50 no data 3170.66/795.06 c N dy 10294 2734012 542 2333 0 103122 7040 1284283 16.49 17.45 3207.74/804.33 c N dy 10364 2754032 542 2333 0 122779 7040 1758881 16.49 19.03 3252.01/815.47 c N dy 10437 2774104 542 2333 0 142560 7040 2247633 16.49 18.63 3289.50/824.89 c N dy 10550 2801883 542 2333 0 98022 7040 1134812 16.49 17.42 3325.80/833.92 c N dy 10588 2823887 542 2333 0 119543 7040 1635214 16.48 17.42 3377.24/846.82 c N dy 10703 2843983 542 2333 0 139339 7040 2125920 16.49 17.48 3425.50/858.91 c N dy 10807 2864158 542 2333 0 86467 7040 839908 16.50 17.38 3464.58/868.78 c N dy 10929 2884256 542 2333 0 106257 7040 1330753 16.50 18.76 3505.31/878.99 c N dy 11032 2904296 542 2333 0 126004 7040 1814917 16.51 18.26 3554.72/891.38 c N dy 11151 2924300 542 2333 0 145722 7040 2306415 16.52 19.59 3582.24/898.20 c N dy 11195 2944445 542 2333 0 91589 7040 930495 16.51 17.40 3615.73/906.64 c N dy 11301 2964523 542 2333 0 111345 7040 1417524 16.52 17.47 3657.62/917.13 c N dy 11413 2984576 542 2333 0 131087 7040 1903422 16.52 20.51 3706.28/929.39 c N dy 11523 3004801 542 2333 0 76298 7040 558299 16.53 17.82 3734.99/936.52 c N dy 11579 3025986 542 2333 0 97061 7040 1046668 16.53 17.43 3772.08/945.88 c N dy 11677 3047869 542 2333 0 118571 7040 1577307 16.53 17.50 3817.15/957.11 c N dy 11791 3067926 542 2333 0 138287 7040 2063926 16.54 18.49 3861.01/968.11 c N dy 11910 3088037 542 2333 0 82395 7040 691025 16.54 17.47 3890.53/975.58 c N dy 12026 3108124 542 2333 0 102147 7040 1178331 16.55 18.24 3929.22/985.27 c N dy 12127 3128263 542 2333 0 121983 7040 1666790 16.55 17.52 3973.10/996.20 c N dy 12172 3148276 542 2333 0 141559 7040 2127535 16.55 19.97 4015.76/1006.95 c N dy 12268 3168335 542 2333 0 84637 7040 725765 16.55 18.16 4046.47/1014.66 c N dy 12378 3188569 542 2333 0 104535 7040 1211492 16.55 17.52 4085.56/1024.44 c N dy 12520 3208573 542 2333 0 124323 7040 1712476 16.56 18.55 4093.19/1026.34 c S st 12540 3212022 542 2333 0 127727 7040 1798182 16.56 14.34 4094.73/1026.73 c S st 12540 3212522 542 2333 0 128225 7040 1810746 16.56 no data 4094.73/1026.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 4095.14/1026.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.07 4095.14/1026.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4095.14/1026.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 4095.14/1026.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4095.14/1026.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 542 time: 0.00 s 4095.14/1026.81 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4095.14/1026.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 4095.14/1026.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4103.90/1029.08 c lits-rem: 223 cl-subs: 3207 v-elim: 0 v-fix: 0 time: 2.18 s 4103.90/1029.08 c vivif2 -- cl tried 2333 cl shrink 0 lits rem 0 time: 0.00 4104.30/1029.10 c vivif2 -- cl tried 125018 cl shrink 0 lits rem 0 time: 0.03 4104.71/1029.24 c asymm cl-useful: 0/2333/2333 lits-rem:0 time: 0.13 4104.71/1029.24 c calculated reachability. Time: 0.00 4104.71/1029.24 c N dy 12540 3212522 542 2333 0 125018 7040 1732953 16.56 no data 4174.90/1046.87 c N dy 12621 3244870 542 2333 0 79097 7040 574556 16.56 17.44 4202.43/1053.73 c N dy 12692 3264947 542 2333 0 98846 7040 1059291 16.56 18.82 4252.26/1066.28 c N dy 12795 3284957 542 2333 0 118551 7040 1541485 16.56 18.15 4315.27/1082.05 c N dy 12875 3305267 542 2333 0 138467 7040 2021123 16.56 17.50 4366.33/1094.80 c N dy 12930 3326587 542 2333 0 80741 7040 597019 16.56 17.44 4395.05/1102.10 c N dy 13009 3346781 542 2333 0 100589 7040 1080532 16.56 17.58 4433.73/1111.71 c N dy 13092 3366842 542 2333 0 120327 7040 1553139 16.56 19.45 4479.99/1123.30 c N dy 13190 3387050 542 2333 0 140220 7040 2040850 16.56 17.50 4535.44/1137.29 c N dy 13312 3407289 542 2333 0 80537 7040 576186 16.57 17.48 4563.34/1144.24 c N dy 13408 3427383 542 2333 0 100329 7040 1067522 16.57 18.90 4618.79/1158.10 c N dy 13477 3456315 542 2333 0 128664 7040 1726055 16.56 17.54 4667.02/1170.26 c N dy 13562 3476356 542 2333 0 148384 7040 2203985 16.57 19.24 4715.29/1182.37 c N dy 13675 3497988 542 2333 0 89033 7040 763880 16.57 17.52 4747.58/1190.46 c N dy 13766 3518345 542 2333 0 109017 7040 1245006 16.57 17.45 4787.06/1200.39 c N dy 13858 3538406 542 2333 0 128716 7040 1727091 16.57 18.14
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
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-3366585-1305409297/watcher-3366585-1305409297 -o /tmp/evaluation-result-3366585-1305409297/solver-3366585-1305409297 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366585-1305409297.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.25 6.85 7.62 2/367 1141 /proc/meminfo: memFree=25730616/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 633345282 52396032 347 33554432000 4194304 4580107 140735059712240 18446744073709551615 264726461425 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 12792 347 299 95 0 7774 0 [pid=1141/tid=1142] ppid=1139 vsize=216580 CPUtime=0 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 105 0 0 0 0 0 0 0 25 0 4 0 633345282 221777920 1021 33554432000 4194304 4580107 140735059712240 18446744073709551615 264726510111 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=216580 CPUtime=0 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 252 0 0 0 0 0 0 0 25 0 4 0 633345282 221777920 1021 33554432000 4194304 4580107 140735059712240 18446744073709551615 4369520 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=216580 CPUtime=0 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 4 0 633345282 221777920 1021 33554432000 4194304 4580107 140735059712240 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0444991 s] /proc/loadavg: 4.25 6.85 7.62 2/367 1141 /proc/meminfo: memFree=25730616/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=217000 CPUtime=0.15 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 1386 0 0 0 15 0 0 0 18 0 4 0 633345282 222208000 1300 33554432000 4194304 4580107 140735059712240 18446744073709551615 4342220 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 54250 1300 376 95 0 49232 0 [pid=1141/tid=1142] ppid=1139 vsize=217000 CPUtime=0.03 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 272 0 0 0 3 0 0 0 25 0 4 0 633345282 222208000 1300 33554432000 4194304 4580107 140735059712240 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=217000 CPUtime=0.03 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 288 0 0 0 3 0 0 0 25 0 4 0 633345282 222208000 1300 33554432000 4194304 4580107 140735059712240 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=217000 CPUtime=0.03 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 147 0 0 0 3 0 0 0 18 0 4 0 633345282 222208000 1300 33554432000 4194304 4580107 140735059712240 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 217000 [startup+0.100489 s] /proc/loadavg: 4.25 6.85 7.62 2/367 1141 /proc/meminfo: memFree=25730616/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=217304 CPUtime=0.37 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 1675 0 0 0 37 0 0 0 18 0 4 0 633345282 222519296 1589 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294558 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 54326 1589 377 95 0 49308 0 [pid=1141/tid=1142] ppid=1139 vsize=217304 CPUtime=0.09 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 344 0 0 0 9 0 0 0 25 0 4 0 633345282 222519296 1589 33554432000 4194304 4580107 140735059712240 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=217304 CPUtime=0.09 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 359 0 0 0 9 0 0 0 25 0 4 0 633345282 222519296 1589 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=217304 CPUtime=0.09 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 221 0 0 0 9 0 0 0 18 0 4 0 633345282 222519296 1589 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 217304 [startup+0.300451 s] /proc/loadavg: 4.25 6.85 7.62 2/367 1141 /proc/meminfo: memFree=25730616/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=219096 CPUtime=1.17 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 2781 0 0 0 117 0 0 0 18 0 4 0 633345282 224354304 2107 33554432000 4194304 4580107 140735059712240 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 54774 2107 377 95 0 49756 0 [pid=1141/tid=1142] ppid=1139 vsize=219096 CPUtime=0.28 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 620 0 0 0 28 0 0 0 25 0 4 0 633345282 224354304 2107 33554432000 4194304 4580107 140735059712240 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=219096 CPUtime=0.29 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 641 0 0 0 29 0 0 0 25 0 4 0 633345282 224354304 2107 33554432000 4194304 4580107 140735059712240 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=219096 CPUtime=0.29 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 499 0 0 0 29 0 0 0 18 0 4 0 633345282 224354304 2107 33554432000 4194304 4580107 140735059712240 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 219096 [startup+0.700377 s] /proc/loadavg: 4.25 6.85 7.62 2/367 1141 /proc/meminfo: memFree=25730616/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=220172 CPUtime=2.76 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 4365 0 0 0 276 0 0 0 18 0 4 0 633345282 225456128 2788 33554432000 4194304 4580107 140735059712240 18446744073709551615 4301820 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 55043 2788 377 95 0 50025 0 [pid=1141/tid=1142] ppid=1139 vsize=220172 CPUtime=0.68 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 993 0 0 0 68 0 0 0 25 0 4 0 633345282 225456128 2788 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=220172 CPUtime=0.69 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 1052 0 0 0 69 0 0 0 25 0 4 0 633345282 225456128 2788 33554432000 4194304 4580107 140735059712240 18446744073709551615 4295698 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=220172 CPUtime=0.69 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 884 0 0 0 69 0 0 0 18 0 4 0 633345282 225456128 2788 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 220172 [startup+1.50023 s] /proc/loadavg: 4.25 6.85 7.62 11/371 1145 /proc/meminfo: memFree=25710504/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=222120 CPUtime=5.95 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 8918 0 0 0 594 1 0 0 20 0 4 0 633345282 227450880 4637 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 55530 4637 379 95 0 50512 0 [pid=1141/tid=1142] ppid=1139 vsize=222120 CPUtime=1.47 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 1779 0 0 0 147 0 0 0 25 0 4 0 633345282 227450880 4637 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=222120 CPUtime=1.48 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 1822 0 0 0 148 0 0 0 25 0 4 0 633345282 227450880 4637 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=222120 CPUtime=1.49 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 1683 0 0 0 149 0 0 0 19 0 4 0 633345282 227450880 4637 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 222120 [startup+3.10093 s] /proc/loadavg: 4.25 6.85 7.62 10/371 1145 /proc/meminfo: memFree=25681096/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=233944 CPUtime=12.34 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 18064 0 0 0 1232 2 0 0 25 0 4 0 633345282 239558656 9755 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 58486 9755 379 95 0 53468 0 [pid=1141/tid=1142] ppid=1139 vsize=233944 CPUtime=3.06 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 3853 0 0 0 306 0 0 0 25 0 4 0 633345282 239558656 9755 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=233944 CPUtime=3.08 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 4904 0 0 0 308 0 0 0 25 0 4 0 633345282 239558656 9755 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=233944 CPUtime=3.08 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 4409 0 0 0 308 0 0 0 25 0 4 0 633345282 239558656 9755 33554432000 4194304 4580107 140735059712240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 233944 [startup+6.30032 s] /proc/loadavg: 4.55 6.87 7.63 11/371 1145 /proc/meminfo: memFree=25645760/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=240772 CPUtime=25.1 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 28362 0 0 0 2506 4 0 0 25 0 4 0 633345282 246550528 12787 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 60193 12787 379 95 0 55175 0 [pid=1141/tid=1142] ppid=1139 vsize=240772 CPUtime=6.21 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 6863 0 0 0 621 0 0 0 25 0 4 0 633345282 246550528 12787 33554432000 4194304 4580107 140735059712240 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=240772 CPUtime=6.28 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 7972 0 0 0 627 1 0 0 25 0 4 0 633345282 246550528 12787 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=240772 CPUtime=6.28 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 6204 0 0 0 628 0 0 0 25 0 4 0 633345282 246550528 12787 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 240772 [startup+12.7011 s] /proc/loadavg: 4.83 6.89 7.63 10/371 1145 /proc/meminfo: memFree=25592216/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=262736 CPUtime=50.63 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 44331 0 0 0 5055 8 0 0 25 0 4 0 633345282 269041664 19606 33554432000 4194304 4580107 140735059712240 18446744073709551615 4324374 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 65684 19606 379 95 0 60666 0 [pid=1141/tid=1142] ppid=1139 vsize=262736 CPUtime=12.54 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 10388 0 0 0 1253 1 0 0 25 0 4 0 633345282 269041664 19606 33554432000 4194304 4580107 140735059712240 18446744073709551615 4316720 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=262736 CPUtime=12.68 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 11146 0 0 0 1266 2 0 0 25 0 4 0 633345282 269041664 19606 33554432000 4194304 4580107 140735059712240 18446744073709551615 4318437 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=262736 CPUtime=12.68 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 10371 0 0 0 1267 1 0 0 25 0 4 0 633345282 269041664 19606 33554432000 4194304 4580107 140735059712240 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 262736 [startup+25.5007 s] /proc/loadavg: 5.60 6.96 7.64 10/371 1146 /proc/meminfo: memFree=25548804/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=266020 CPUtime=101.67 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 68424 0 0 0 10153 14 0 0 25 0 4 0 633345282 272404480 25121 33554432000 4194304 4580107 140735059712240 18446744073709551615 4316288 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 66505 25121 379 95 0 61487 0 [pid=1141/tid=1142] ppid=1139 vsize=266020 CPUtime=25.18 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 16856 0 0 0 2516 2 0 0 25 0 4 0 633345282 272404480 25121 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=266020 CPUtime=25.48 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 17461 0 0 0 2544 4 0 0 25 0 4 0 633345282 272404480 25121 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=266020 CPUtime=25.49 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 15151 0 0 0 2546 3 0 0 25 0 4 0 633345282 272404480 25121 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.67 Current children cumulated vsize (KiB) 266020 [startup+51.1009 s] /proc/loadavg: 6.42 7.04 7.65 10/371 1146 /proc/meminfo: memFree=25491504/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=275108 CPUtime=203.77 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 101518 0 0 0 20354 23 0 0 25 0 4 0 633345282 281710592 33441 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 68777 33441 379 95 0 63759 0 [pid=1141/tid=1142] ppid=1139 vsize=275108 CPUtime=50.48 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 27740 0 0 0 5043 5 0 0 25 0 4 0 633345282 281710592 33441 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=275108 CPUtime=51.08 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 27066 0 0 0 5101 7 0 0 25 0 4 0 633345282 281710592 33441 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=275108 CPUtime=51.08 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 21696 0 0 0 5103 5 0 0 25 0 4 0 633345282 281710592 33441 33554432000 4194304 4580107 140735059712240 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 203.77 Current children cumulated vsize (KiB) 275108 [startup+102.314 s] /proc/loadavg: 7.36 7.20 7.67 10/371 1148 /proc/meminfo: memFree=25436032/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=296192 CPUtime=408.02 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 147884 0 0 0 40762 40 0 0 25 0 4 0 633345282 303300608 41589 33554432000 4194304 4580107 140735059712240 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 74048 41589 379 95 0 69030 0 [pid=1141/tid=1142] ppid=1139 vsize=296192 CPUtime=101.08 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 40631 0 0 0 10099 9 0 0 25 0 4 0 633345282 303300608 41589 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=296192 CPUtime=102.3 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 39412 0 0 0 10218 12 0 0 25 0 4 0 633345282 303300608 41589 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=296192 CPUtime=102.3 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 35746 0 0 0 10220 10 0 0 25 0 4 0 633345282 303300608 41590 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.02 Current children cumulated vsize (KiB) 296192 [startup+162.301 s] ################ # More data... # ################ [pid=1141] ppid=1139 vsize=478668 CPUtime=2561.66 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 376150 0 0 0 256017 149 0 0 25 0 4 0 633345282 490156032 78546 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 119667 78546 379 95 0 114649 0 [pid=1141/tid=1142] ppid=1139 vsize=478668 CPUtime=634.72 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 104879 0 0 0 63431 41 0 0 25 0 4 0 633345282 490156032 78547 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=478668 CPUtime=642.32 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 92585 0 0 0 64195 37 0 0 25 0 4 0 633345282 490156032 78547 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=478668 CPUtime=642.32 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 101516 0 0 0 64190 42 0 0 25 0 4 0 633345282 490156032 78547 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2561.66 Current children cumulated vsize (KiB) 478668 [startup+702.301 s] /proc/loadavg: 8.13 7.97 7.85 10/371 1164 /proc/meminfo: memFree=25090040/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=491212 CPUtime=2800.94 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 394748 0 0 0 279936 158 0 0 25 0 4 0 633345282 503001088 83466 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 122803 83466 379 95 0 117785 0 [pid=1141/tid=1142] ppid=1139 vsize=491212 CPUtime=694 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 111207 0 0 0 69356 44 0 0 25 0 4 0 633345282 503001088 83466 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=491212 CPUtime=702.31 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 95154 0 0 0 70192 39 0 0 25 0 4 0 633345282 503001088 83466 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=491212 CPUtime=702.31 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 106962 0 0 0 70187 44 0 0 25 0 4 0 633345282 503001088 83466 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2800.94 Current children cumulated vsize (KiB) 491212 [startup+762.315 s] /proc/loadavg: 8.16 8.01 7.87 10/371 1165 /proc/meminfo: memFree=25117648/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=491404 CPUtime=3040.29 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 413198 0 0 0 303861 168 0 0 25 0 4 0 633345282 503197696 80451 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 122851 80451 379 95 0 117833 0 [pid=1141/tid=1142] ppid=1139 vsize=491404 CPUtime=753.3 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 117342 0 0 0 75283 47 0 0 25 0 4 0 633345282 503197696 80451 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=491404 CPUtime=762.33 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 98429 0 0 0 76192 41 0 0 25 0 4 0 633345282 503197696 80451 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=491404 CPUtime=762.32 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 113453 0 0 0 76185 47 0 0 25 0 4 0 633345282 503197696 80451 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3040.29 Current children cumulated vsize (KiB) 491404 [startup+822.3 s] /proc/loadavg: 8.17 8.03 7.89 10/371 1167 /proc/meminfo: memFree=25077320/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=491672 CPUtime=3279.53 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 434808 0 0 0 327773 180 0 0 25 0 4 0 633345282 503472128 81682 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 122918 81682 379 95 0 117900 0 [pid=1141/tid=1142] ppid=1139 vsize=491672 CPUtime=812.59 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 123497 0 0 0 81209 50 0 0 25 0 4 0 633345282 503472128 81682 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=491672 CPUtime=822.32 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 102627 0 0 0 82189 43 0 0 25 0 4 0 633345282 503472128 81682 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=491672 CPUtime=822.31 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 121007 0 0 0 82180 51 0 0 25 0 4 0 633345282 503472128 81682 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3279.53 Current children cumulated vsize (KiB) 491672 [startup+882.301 s] /proc/loadavg: 8.06 8.02 7.89 10/371 1169 /proc/meminfo: memFree=25020476/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=581420 CPUtime=3518.82 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 455626 0 0 0 351695 187 0 0 25 0 4 0 633345282 595374080 90299 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 145355 90299 379 95 0 140337 0 [pid=1141/tid=1142] ppid=1139 vsize=581420 CPUtime=871.87 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 131509 0 0 0 87134 53 0 0 25 0 4 0 633345282 595374080 90299 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=581420 CPUtime=882.32 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 104396 0 0 0 88188 44 0 0 25 0 4 0 633345282 595374080 90299 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=581420 CPUtime=882.32 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 129695 0 0 0 88178 54 0 0 25 0 4 0 633345282 595374080 90299 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3518.82 Current children cumulated vsize (KiB) 581420 [startup+942.301 s] /proc/loadavg: 8.07 8.03 7.90 9/371 1170 /proc/meminfo: memFree=25000488/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=530968 CPUtime=3758.13 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 475355 0 0 0 375615 198 0 0 25 0 4 0 633345282 543711232 91923 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 132742 91923 379 95 0 127724 0 [pid=1141/tid=1142] ppid=1139 vsize=530968 CPUtime=931.17 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 137505 0 0 0 93061 56 0 0 25 0 4 0 633345282 543711232 91923 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=530968 CPUtime=942.32 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 109106 0 0 0 94186 46 0 0 25 0 4 0 633345282 543711232 91923 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=530968 CPUtime=942.32 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 135532 0 0 0 94175 57 0 0 25 0 4 0 633345282 543711232 91923 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3758.13 Current children cumulated vsize (KiB) 530968 [startup+1002.3 s] /proc/loadavg: 8.07 8.04 7.91 10/371 1172 /proc/meminfo: memFree=24960632/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=531124 CPUtime=3997.41 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 491147 0 0 0 399535 206 0 0 25 0 4 0 633345282 543870976 92851 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 132781 92851 379 95 0 127763 0 [pid=1141/tid=1142] ppid=1139 vsize=531124 CPUtime=990.45 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 143874 0 0 0 98986 59 0 0 25 0 4 0 633345282 543870976 92851 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=531124 CPUtime=1002.32 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 110890 0 0 0 100185 47 0 0 25 0 4 0 633345282 543870976 92851 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=531124 CPUtime=1002.32 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 140421 0 0 0 100173 59 0 0 25 0 4 0 633345282 543870976 92851 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3997.41 Current children cumulated vsize (KiB) 531124 [startup+1062.3 s] /proc/loadavg: 8.07 8.04 7.92 10/371 1173 /proc/meminfo: memFree=24977080/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=535308 CPUtime=4236.72 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 512066 0 0 0 423455 217 0 0 25 0 4 0 633345282 548155392 97975 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 133827 97975 379 95 0 128809 0 [pid=1141/tid=1142] ppid=1139 vsize=535308 CPUtime=1049.75 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 149452 0 0 0 104914 61 0 0 25 0 4 0 633345282 548155392 97975 33554432000 4194304 4580107 140735059712240 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=535308 CPUtime=1062.33 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 112791 0 0 0 106184 49 0 0 25 0 4 0 633345282 548155392 97975 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=535308 CPUtime=1062.33 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 148136 0 0 0 106170 63 0 0 25 0 4 0 633345282 548155392 97975 33554432000 4194304 4580107 140735059712240 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4236.72 Current children cumulated vsize (KiB) 535308 [startup+1122.3 s] /proc/loadavg: 8.11 8.06 7.93 9/371 1175 /proc/meminfo: memFree=24956080/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=548440 CPUtime=4476 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 522551 0 0 0 447378 222 0 0 25 0 4 0 633345282 561602560 99034 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 137110 99034 379 95 0 132092 0 [pid=1141/tid=1142] ppid=1139 vsize=548440 CPUtime=1109.03 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 152530 0 0 0 110840 63 0 0 25 0 4 0 633345282 561602560 99034 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=548440 CPUtime=1122.33 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 115429 0 0 0 112183 50 0 0 25 0 4 0 633345282 561602560 99034 33554432000 4194304 4580107 140735059712240 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=548440 CPUtime=1122.33 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 151758 0 0 0 112168 65 0 0 25 0 4 0 633345282 561602560 99034 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4476 Current children cumulated vsize (KiB) 548440 [startup+1182.3 s] /proc/loadavg: 8.11 8.08 7.94 10/371 1186 /proc/meminfo: memFree=24967396/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=548640 CPUtime=4715.29 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 538752 0 0 0 471299 230 0 0 25 0 4 0 633345282 561807360 93559 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 137160 93559 379 95 0 132142 0 [pid=1141/tid=1142] ppid=1139 vsize=548640 CPUtime=1168.33 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 158263 0 0 0 116768 65 0 0 25 0 4 0 633345282 561807360 93559 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=548640 CPUtime=1182.3 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 118823 0 0 0 118179 51 0 0 25 0 4 0 633345282 561807360 93559 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=548640 CPUtime=1182.32 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 157713 0 0 0 118165 67 0 0 25 0 4 0 633345282 561807360 93559 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4715.29 Current children cumulated vsize (KiB) 548640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.28 8.12 7.95 10/371 1186 /proc/meminfo: memFree=24957328/32951124 swapFree=63083164/67111528 [pid=1141] ppid=1139 vsize=548640 CPUtime=4800.23 cores=1,3,5,7 /proc/1141/stat : 1141 (strangenight2-m) R 1139 1141 751 0 -1 4202496 542967 0 0 0 479791 232 0 0 25 0 4 0 633345282 561807360 97774 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294442 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/1141/statm: 137160 97774 379 95 0 132142 0 [pid=1141/tid=1142] ppid=1139 vsize=548640 CPUtime=1189.37 cores=1,3,5,7 /proc/1141/task/1142/stat : 1142 (strangenight2-m) R 1139 1141 751 0 -1 4202560 159613 0 0 0 118871 66 0 0 25 0 4 0 633345282 561807360 97775 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1141/tid=1143] ppid=1139 vsize=548640 CPUtime=1203.62 cores=1,3,5,7 /proc/1141/task/1143/stat : 1143 (strangenight2-m) R 1139 1141 751 0 -1 4202560 118933 0 0 0 120311 51 0 0 25 0 4 0 633345282 561807360 97775 33554432000 4194304 4580107 140735059712240 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1141/tid=1144] ppid=1139 vsize=548640 CPUtime=1203.63 cores=1,3,5,7 /proc/1141/task/1144/stat : 1144 (strangenight2-m) R 1139 1141 751 0 -1 4202560 159263 0 0 0 120295 68 0 0 25 0 4 0 633345282 561807360 97775 33554432000 4194304 4580107 140735059712240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.23 Current children cumulated vsize (KiB) 548640 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.64 CPU time (s): 4800.31 CPU user time (s): 4797.97 CPU system time (s): 2.34564 CPU usage (%): 398.817 Max. virtual memory (cumulated for all children) (KiB): 653360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.97 system time used= 2.34564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 542969 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= 201 involuntary context switches= 20323 runsolver used 3.84941 second user time and 10.4324 second system time The end
Begin job on node141 at 2011-05-14 23:41:37 IDJOB=3366585 IDBENCH=82994 IDSOLVER=1844 FILE ID=node141/3366585-1305409297 RUNJOBID= node141-1305409297-1119 PBS_JOBID= 13324495 Free space on /tmp= 73292 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366585-1305409297/watcher-3366585-1305409297 -o /tmp/evaluation-result-3366585-1305409297/solver-3366585-1305409297 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366585-1305409297.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2ff4c014ab92fa532c070237e3ac5307 RANDOM SEED=1739979069 node141.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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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 : 5362.96 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.84 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.806 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.806 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25731524 kB Buffers: 230636 kB Cached: 4779820 kB SwapCached: 15708 kB Active: 1981864 kB Inactive: 4998352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25731524 kB SwapTotal: 67111528 kB SwapFree: 63083164 kB Dirty: 10892 kB Writeback: 0 kB AnonPages: 1961136 kB Mapped: 12844 kB Slab: 135740 kB PageTables: 37748 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 86270988 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= 73288 MiB End job on node141 at 2011-05-15 00:01:42