| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.18 | 1202.26 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf |
| MD5SUM | 64eaf16e48e921b573c32a7e8a6347cd |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 2.56261 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5000 |
| Number of clauses | 21000 |
| Sum of the clauses size | 63000 |
| 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 | 21000 |
| 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 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3368668-1305400256.cnf' 0.00/0.01 c -- header says num vars: 5000 0.00/0.01 c -- header says num clauses: 21000 0.00/0.03 c -- clauses added: 0 learnts, 21000 normals, 0 xors 0.00/0.03 c -- vars added 5000 0.00/0.03 c Parsing time: 0.03 s 0.00/0.03 c N st 0 0 5000 21000 0 0 63000 0 no data no data -- 0.00/0.03 c asymm cl-useful: 0/21000/21000 lits-rem:0 time: 0.05 0.00/0.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.02 2.18/0.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 2.18/0.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2.18/0.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 2.18/0.55 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2.18/0.55 c lits-rem: 0 cl-subs: 0 v-elim: 161 v-fix: 0 time: 0.13 s 2.18/0.55 c Finding binary XORs T: 0.00 s found: 0 2.18/0.55 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 2.18/0.55 c calculated reachability. Time: 0.00 2.18/0.55 c Calc default polars - time: 0.00 s pos: 2212 undec: 579 neg: 2209 2.18/0.55 c ========================================================================================= 2.18/0.55 c types(t): F = full restart, N = normal restart 2.18/0.55 c types(t): S = simplification begin/end, E = solution found 2.18/0.55 c restart types(rt): st = static, dy = dynamic 2.18/0.55 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 2.18/0.55 c B st 0 0 4839 20796 0 0 63313 0 no data no data -- 2.18/0.55 c N dy 22 4009 4839 20796 0 4007 63313 444042 66.36 70.37 -- 2.18/0.85 c N dy 45 8124 4839 20796 0 5625 63313 412585 66.80 70.73 -- 4.76/1.25 c N dy 66 12329 4839 20796 0 5581 63313 257390 65.81 69.67 -- 6.37/1.65 c N dy 92 16364 4839 20796 0 9616 63313 686080 66.46 70.52 -- 7.96/2.06 c N dy 120 20367 4839 20796 0 7996 63313 383543 66.86 70.78 -- 9.55/2.48 c N dy 146 24464 4839 20796 0 12093 63313 798943 66.73 70.62 -- 9.96/2.54 c F st 149 25000 4839 20796 0 12629 63313 852667 66.70 61.27 -- 11.98/3.09 c N dy 155 30000 4839 20796 0 10820 63313 611375 66.70 no data -- 11.98/3.09 c S st 155 30000 4839 20796 0 10820 63313 611375 66.70 no data -- 12.35/3.14 c S st 155 30505 4839 20796 0 11325 63313 653195 66.70 no data -- 12.35/3.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.35/3.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.35/3.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 12.75/3.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.75/3.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.75/3.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 12.75/3.21 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 21.93/5.58 c lits-rem: 83 cl-subs: 2 v-elim: 0 v-fix: 0 time: 9.45 s 22.33/5.61 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.10 22.33/5.61 c calculated reachability. Time: 0.00 22.33/5.61 c N dy 155 30505 4839 20796 0 11323 63313 652917 66.70 no data -- 23.93/6.08 c N dy 185 34562 4839 20796 0 15380 63313 1076375 67.06 70.79 -- 25.92/6.53 c N dy 208 38643 4839 20796 0 11556 63313 546234 67.04 88.40 -- 27.93/7.01 c N dy 230 42843 4839 20796 0 15756 63313 1001314 66.98 72.04 -- 29.14/7.35 c S st 244 45758 4839 20796 0 9717 63313 241177 66.81 58.20 -- 29.55/7.41 c S st 244 46259 4839 20796 0 10218 63313 285301 66.81 no data -- 29.55/7.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.55/7.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.55/7.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 29.55/7.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.55/7.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.55/7.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 29.55/7.44 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 31.92/8.06 c lits-rem: 1 cl-subs: 2 v-elim: 0 v-fix: 0 time: 2.47 s 31.92/8.06 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 31.92/8.06 c vivif2 -- cl tried 10216 cl shrink 0 lits rem 0 time: 0.01 31.92/8.09 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.09 31.92/8.09 c calculated reachability. Time: 0.00 31.92/8.09 c N dy 244 46259 4839 20796 0 10216 63313 285156 66.81 no data -- 33.93/8.54 c N dy 268 50429 4839 20796 0 14385 63313 722094 66.77 71.25 -- 35.91/9.01 c N dy 290 54460 4839 20796 0 18416 63313 1140477 66.72 70.53 -- 37.51/9.49 c N dy 316 58561 4839 20796 0 12539 63313 432741 66.68 74.23 -- 39.49/9.98 c N dy 348 62684 4839 20796 0 16661 63313 870810 66.98 71.08 -- 41.50/10.49 c N dy 372 66716 4839 20796 0 20693 63313 1294436 67.03 70.76 -- 43.08/10.83 c S st 391 69388 4839 20796 0 12378 63313 316988 67.03 no data -- 43.08/10.89 c S st 391 69890 4839 20796 0 12880 63313 358842 67.03 no data -- 43.08/10.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 43.08/10.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 43.48/10.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 43.48/10.93 c bin-w-bin subsume rem 0 bins time: 0.00 s 43.48/10.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 43.48/10.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.01 s 43.48/10.93 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 48.27/12.11 c lits-rem: 6 cl-subs: 1 v-elim: 0 v-fix: 0 time: 4.68 s 48.27/12.11 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 48.27/12.11 c vivif2 -- cl tried 12879 cl shrink 0 lits rem 0 time: 0.02 48.27/12.14 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.10 48.27/12.14 c calculated reachability. Time: 0.00 48.27/12.14 c N dy 391 69890 4839 20796 0 12879 63313 358589 67.03 no data -- 50.27/12.69 c N dy 419 74700 4839 20796 0 17689 63313 867339 67.04 71.52 -- 53.07/13.31 c N dy 449 79561 4839 20796 0 22550 63313 1363546 67.00 72.96 -- 55.48/13.94 c N dy 483 84680 4839 20796 0 15676 63313 559099 67.04 71.52 -- 56.65/14.28 c F st 503 87500 4839 20796 0 18495 63313 848940 67.04 no data -- 58.66/14.71 c N st 508 90795 4839 20796 0 21789 63313 1229573 67.04 no data -- 61.45/15.49 c N dy 531 96632 4839 20796 0 14631 63313 347039 66.99 74.72 -- 64.67/16.28 c N dy 574 102942 4839 20796 0 20941 63313 1022506 67.10 70.65 -- 65.84/16.52 c S st 585 104835 4839 20796 0 22834 63313 1216263 67.06 54.68 -- 66.24/16.60 c S st 585 105345 4839 20796 0 23344 63313 1256151 67.06 no data -- 66.24/16.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 66.24/16.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 66.24/16.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.09 66.64/16.70 c bin-w-bin subsume rem 0 bins time: 0.00 s 66.64/16.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 66.64/16.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 66.64/16.70 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 75.42/18.90 c lits-rem: 14 cl-subs: 3 v-elim: 0 v-fix: 0 time: 8.77 s 75.42/18.90 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 75.42/18.92 c vivif2 -- cl tried 23341 cl shrink 0 lits rem 0 time: 0.06 75.42/18.96 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.16 75.42/18.96 c calculated reachability. Time: 0.00 75.42/18.96 c N dy 585 105345 4839 20796 0 23341 63313 1255570 67.06 no data -- 79.02/19.89 c N dy 629 112105 4839 20796 0 16102 63313 408285 67.12 70.67 -- 83.01/20.80 c N dy 676 119311 4839 20796 0 23308 63313 1152363 67.11 73.96 -- 87.00/21.86 c N dy 729 127007 4839 20796 0 16002 63313 299377 67.32 85.99 -- 91.03/22.87 c N dy 779 135272 4839 20796 0 24266 63313 1147240 67.26 70.97 -- 96.18/24.10 c N dy 832 143919 4839 20796 0 16916 63313 299077 67.25 71.72 -- 100.57/25.26 c N dy 891 153141 4839 20796 0 26137 63313 1264834 67.27 72.34 -- 103.37/25.95 c S st 915 158018 4839 20796 0 31014 63313 1783043 67.22 no data -- 103.79/26.03 c S st 915 158521 4839 20796 0 31517 63313 1820312 67.22 no data -- 103.79/26.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 103.79/26.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 103.79/26.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 104.19/26.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 104.19/26.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 104.19/26.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 104.19/26.15 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 117.37/29.46 c lits-rem: 19 cl-subs: 8 v-elim: 0 v-fix: 0 time: 13.20 s 117.37/29.46 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 117.37/29.48 c vivif2 -- cl tried 31509 cl shrink 0 lits rem 0 time: 0.08 117.74/29.54 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.21 117.74/29.54 c calculated reachability. Time: 0.00 117.74/29.54 c N dy 915 158521 4839 20796 0 31509 63313 1818617 67.22 no data -- 123.34/30.97 c N dy 986 168904 4839 20796 0 24891 63313 1028177 67.30 71.84 -- 130.14/32.65 c N dy 1057 179953 4839 20796 0 35938 63313 2182469 67.36 71.32 -- 136.11/34.19 c N dy 1130 191466 4839 20796 0 29452 63313 1417067 67.41 71.21 -- 143.31/35.99 c N dy 1209 203691 4839 20796 0 22683 63313 607065 67.49 71.20 -- 150.88/37.85 c N dy 1279 216753 4839 20796 0 35743 63313 1983908 67.41 71.78 -- 158.87/39.85 c N dy 1364 230592 4839 20796 0 29580 63313 1237734 67.49 72.04 -- 163.27/40.94 c S st 1409 237783 4839 20796 0 36771 63313 2000408 67.53 no data -- 163.66/41.03 c S st 1409 238292 4839 20796 0 37280 63313 2038930 67.53 no data -- 163.66/41.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 163.66/41.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 163.66/41.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.11 164.06/41.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 164.06/41.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 164.06/41.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 164.06/41.15 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 177.64/44.58 c lits-rem: 13 cl-subs: 3 v-elim: 0 v-fix: 0 time: 13.66 s 177.64/44.58 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 178.04/44.60 c vivif2 -- cl tried 37277 cl shrink 0 lits rem 0 time: 0.10 178.04/44.66 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.24 178.04/44.67 c calculated reachability. Time: 0.00 178.04/44.67 c N dy 1409 238292 4839 20796 0 37277 63313 2038706 67.53 no data -- 186.82/46.90 c N dy 1500 253599 4839 20796 0 31586 63313 1341508 67.55 83.31 -- 197.19/49.41 c N dy 1586 269810 4839 20796 0 25802 63313 643102 67.48 73.73 -- 207.58/52.07 c N dy 1695 287082 4839 20796 0 43073 63313 2480135 67.51 71.82 -- 218.75/54.87 c N dy 1811 305421 4839 20796 0 38412 63313 1875286 67.59 71.93 -- 219.55/55.01 c F st 1818 306252 4839 20796 0 39243 63313 1964985 67.61 62.00 -- 231.15/57.97 c N dy 1909 325062 4839 20796 0 34050 63313 1311020 67.64 71.89 -- 244.32/61.27 c N dy 2032 345156 4839 20796 0 29146 63313 693847 67.69 74.79 -- 251.89/63.19 c S st 2112 357438 4839 20796 0 41426 63313 2004583 67.68 58.74 -- 252.29/63.29 c S st 2112 357942 4839 20796 0 41930 63313 2047054 67.68 no data -- 252.29/63.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 252.29/63.29 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 252.70/63.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.13 253.11/63.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 253.11/63.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 253.11/63.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 253.11/63.41 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 269.87/67.68 c lits-rem: 19 cl-subs: 6 v-elim: 0 v-fix: 0 time: 17.03 s 269.87/67.68 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 270.27/67.70 c vivif2 -- cl tried 41924 cl shrink 0 lits rem 0 time: 0.09 270.27/67.77 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.28 270.27/67.77 c calculated reachability. Time: 0.00 270.27/67.77 c N dy 2112 357942 4839 20796 0 41924 63313 2045516 67.68 no data -- 283.86/71.20 c N dy 2246 377985 4839 20796 0 35967 63313 1310824 67.77 72.48 -- 298.20/74.76 c N dy 2362 398126 4839 20796 0 29108 63313 490216 67.78 72.26 -- 311.38/78.08 c N dy 2487 418344 4839 20796 0 49325 63313 2607371 67.78 75.16 -- 324.96/81.46 c N dy 2607 438396 4839 20796 0 41380 63313 1677487 67.78 72.49 -- 339.74/85.11 c N dy 2736 458419 4839 20796 0 32406 63313 634136 67.80 73.03 -- 353.31/88.52 c N dy 2852 478436 4839 20796 0 52421 63313 2747298 67.79 73.20 -- 367.30/92.05 c N dy 2970 498563 4839 20796 0 42542 63313 1608461 67.81 72.88 -- 382.86/95.93 c N dy 3089 518600 4839 20796 0 31581 63313 356582 67.81 71.69 -- 394.82/98.95 c S st 3202 536914 4839 20796 0 49893 63313 2276875 67.81 62.49 -- 395.22/99.05 c S st 3202 537418 4839 20796 0 50397 63313 2317845 67.81 no data -- 395.22/99.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 395.22/99.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 395.62/99.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.14 395.62/99.19 c bin-w-bin subsume rem 0 bins time: 0.00 s 395.62/99.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 395.62/99.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 395.62/99.19 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 419.19/105.01 c lits-rem: 8 cl-subs: 4 v-elim: 0 v-fix: 0 time: 23.20 s 419.19/105.01 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 419.19/105.04 c vivif2 -- cl tried 50393 cl shrink 0 lits rem 0 time: 0.11 419.59/105.12 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.32 419.59/105.12 c calculated reachability. Time: 0.00 419.59/105.12 c N dy 3202 537418 4839 20796 0 50393 63313 2317319 67.81 no data -- 434.76/108.90 c N dy 3326 557420 4839 20796 0 38398 63313 976010 67.84 71.85 -- 449.53/112.61 c N dy 3455 577611 4839 20796 0 58588 63313 3114502 67.87 74.15 -- 463.92/116.25 c N dy 3562 597752 4839 20796 0 45727 63313 1636313 67.84 71.55 -- 479.87/120.28 c N dy 3687 617859 4839 20796 0 65830 63313 3771223 67.86 72.40 -- 495.08/124.03 c N dy 3825 637985 4839 20796 0 51955 63313 2220835 67.93 71.63 -- 512.24/128.34 c N dy 3950 658504 4839 20796 0 37479 63313 577804 67.96 71.95 -- 527.38/132.12 c N dy 4071 678650 4839 20796 0 57619 63313 2702138 67.95 75.59 -- 544.55/136.49 c N dy 4200 698726 4839 20796 0 41704 63313 923141 67.97 73.07 -- 560.55/140.49 c N dy 4319 718826 4839 20796 0 61801 63313 3049050 67.98 90.28 -- 578.12/144.81 c N dy 4436 738858 4839 20796 0 44837 63313 1183342 68.01 72.36 -- 594.47/148.94 c N dy 4557 758915 4839 20796 0 64893 63313 3320292 68.02 72.25 -- 612.03/153.32 c N dy 4684 779206 4839 20796 0 47183 63313 1326672 68.06 72.56 -- 629.20/157.64 c N dy 4817 799305 4839 20796 0 67280 63313 3453369 68.10 86.44 -- 635.99/159.33 c S st 4862 806128 4839 20796 0 74101 63313 4167333 68.10 60.74 -- 636.39/159.49 c S st 4862 806629 4839 20796 0 74602 63313 4202980 68.10 no data -- 636.79/159.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 636.79/159.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 636.79/159.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 637.58/159.73 c bin-w-bin subsume rem 0 bins time: 0.01 s 637.58/159.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 637.58/159.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 637.58/159.74 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 894.76/224.16 c lits-rem: 1 cl-subs: 14 v-elim: 0 v-fix: 0 time: 256.63 s 894.76/224.17 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 895.12/224.22 c vivif2 -- cl tried 74588 cl shrink 0 lits rem 0 time: 0.20 895.52/224.34 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.50 895.52/224.35 c calculated reachability. Time: 0.00 895.52/224.35 c N dy 4862 806629 4839 20796 0 74588 63313 4199931 68.10 no data -- 911.10/228.26 c N dy 4978 826676 4839 20796 0 55636 63313 2102707 68.10 72.14 -- 929.07/232.75 c N dy 5094 846869 4839 20796 0 75828 63313 4249343 68.10 74.13 -- 945.04/236.79 c N dy 5222 866975 4839 20796 0 55937 63313 2045174 68.13 72.51 -- 963.40/241.35 c N dy 5341 886984 4839 20796 0 75945 63313 4186539 68.13 71.78 -- 980.97/245.71 c N dy 5459 907041 4839 20796 0 55004 63313 1833560 68.13 73.48 -- 999.34/250.38 c N dy 5578 927059 4839 20796 0 75019 63313 3990565 68.15 72.18 -- 1017.73/254.95 c N dy 5695 947071 4839 20796 0 53033 63313 1516058 68.14 86.54 -- 1036.07/259.55 c N dy 5822 967175 4839 20796 0 73136 63313 3658224 68.15 73.78 -- 1056.04/264.52 c N dy 5952 987389 4839 20796 0 50349 63313 1140736 68.17 73.45 -- 1074.01/269.04 c N dy 6078 1007442 4839 20796 0 70402 63313 3267536 68.18 75.69 -- 1095.16/274.30 c N dy 6195 1027454 4839 20796 0 46415 63313 621847 68.17 80.97 -- 1112.34/278.64 c N dy 6322 1047738 4839 20796 0 66697 63313 2781742 68.19 73.10 -- 1133.49/283.91 c N dy 6440 1067965 4839 20796 0 86921 63313 4950586 68.21 75.93 -- 1137.89/285.03 c F st 6459 1071876 4839 20796 0 45845 63313 463944 68.21 no data -- 1151.06/288.30 c N dy 6533 1088007 4839 20796 0 61972 63313 2242083 68.21 74.34 -- 1170.64/293.29 c N dy 6645 1108024 4839 20796 0 81985 63313 4368716 68.20 72.42 -- 1190.59/298.29 c N dy 6767 1128435 4839 20796 0 56402 63313 1488019 68.21 71.89 -- 1210.17/303.14 c N dy 6904 1148492 4839 20796 0 76455 63313 3632695 68.24 71.94 -- 1232.13/308.70 c N dy 7028 1168540 4839 20796 0 49505 63313 657955 68.25 85.73 -- 1250.11/313.13 c N dy 7157 1188719 4839 20796 0 69680 63313 2790846 68.25 73.81 -- 1271.66/318.55 c N dy 7278 1208876 4839 20796 0 89837 63313 4933743 68.26 72.08 -- 1272.85/318.89 c S st 7287 1209944 4839 20796 0 90905 63313 5054875 68.27 no data -- 1273.65/319.08 c S st 7287 1210444 4839 20796 0 91405 63313 5098368 68.27 no data -- 1273.65/319.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1273.65/319.09 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1274.05/319.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.27 1274.84/319.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 1274.84/319.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1274.84/319.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 1274.84/319.37 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1687.30/422.70 c lits-rem: 0 cl-subs: 18 v-elim: 0 v-fix: 0 time: 411.62 s 1687.70/422.70 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 1687.70/422.76 c vivif2 -- cl tried 91387 cl shrink 0 lits rem 0 time: 0.24 1688.50/422.93 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.67 1688.50/422.93 c calculated reachability. Time: 0.00 1688.50/422.93 c N dy 7287 1210444 4839 20796 0 91387 63313 5094926 68.27 no data -- 1706.88/427.57 c N dy 7411 1230504 4839 20796 0 63450 63313 2076279 68.29 72.77 -- 1726.82/432.56 c N dy 7535 1250640 4839 20796 0 83583 63313 4210756 68.30 72.55 -- 1747.98/437.82 c N dy 7664 1270691 4839 20796 0 54637 63313 1006703 68.31 72.42 -- 1765.95/442.37 c N dy 7786 1291175 4839 20796 0 75119 63313 3215021 68.31 72.64 -- 1788.71/448.09 c N dy 7920 1311321 4839 20796 0 95258 63313 5373350 68.35 76.95 -- 1808.68/453.00 c N dy 8051 1331517 4839 20796 0 65460 63313 2069057 68.36 72.72 -- 1829.86/458.33 c N dy 8191 1351606 4839 20796 0 85545 63313 4222904 68.39 106.92 -- 1853.39/464.20 c N dy 8315 1371697 4839 20796 0 54638 63313 797364 68.39 72.34 -- 1872.17/468.95 c N dy 8454 1391826 4839 20796 0 74765 63313 2947812 68.41 73.55 -- 1894.93/474.66 c N dy 8567 1411977 4839 20796 0 94915 63313 5105259 68.41 72.43 -- 1916.88/480.14 c N dy 8701 1432045 4839 20796 0 62983 63313 1579598 68.43 82.92 -- 1937.64/485.35 c N dy 8840 1452253 4839 20796 0 83188 63313 3741329 68.45 72.07 -- 1962.40/491.53 c N dy 8972 1472339 4839 20796 0 103271 63313 5899223 68.46 80.96 -- 1981.57/496.39 c N dy 9096 1492404 4839 20796 0 70345 63313 2272536 68.47 72.25 -- 2003.92/501.92 c N dy 9221 1512452 4839 20796 0 90392 63313 4421567 68.48 73.15 -- 2028.68/508.17 c N dy 9341 1532788 4839 20796 0 56731 63313 721492 68.48 72.41 -- 2047.85/512.97 c N dy 9470 1552985 4839 20796 0 76925 63313 2891857 68.49 72.79 -- 2071.84/518.92 c N dy 9601 1573330 4839 20796 0 97265 63313 5078284 68.51 72.51 -- 2095.76/524.90 c N dy 9732 1593357 4839 20796 0 62293 63313 1213620 68.53 72.29 -- 2115.76/529.96 c N dy 9857 1613416 4839 20796 0 82350 63313 3373983 68.54 73.78 -- 2140.09/536.09 c N dy 9986 1633507 4839 20796 0 102441 63313 5507131 68.55 73.03 -- 2163.24/541.81 c N dy 10107 1653536 4839 20796 0 66486 63313 1574273 68.56 72.82 -- 2184.41/547.10 c N dy 10236 1673611 4839 20796 0 86559 63313 3731398 68.57 72.70 -- 2209.95/553.53 c N dy 10367 1693782 4839 20796 0 106729 63313 5901023 68.59 72.21 -- 2228.73/558.25 c S st 10470 1710446 4839 20796 0 66392 63313 1431925 68.59 63.19 -- 2229.13/558.38 c S st 10470 1710952 4839 20796 0 66898 63313 1475186 68.59 no data -- 2229.13/558.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2229.13/558.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2229.54/558.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.18 2229.54/558.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 2229.54/558.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2229.54/558.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 2229.95/558.50 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2243.49/561.97 c lits-rem: 9 cl-subs: 2 v-elim: 0 v-fix: 0 time: 13.82 s 2243.49/561.97 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 2243.49/561.99 c vivif2 -- cl tried 66896 cl shrink 0 lits rem 0 time: 0.08 2244.30/562.10 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.44 2244.30/562.11 c calculated reachability. Time: 0.00 2244.30/562.11 c N dy 10470 1710952 4839 20796 0 66896 63313 1474928 68.59 no data -- 2265.09/567.31 c N dy 10594 1731024 4839 20796 0 86966 63313 3625975 68.60 72.74 -- 2289.81/573.55 c N dy 10716 1751062 4839 20796 0 107003 63313 5790314 68.61 87.35 -- 2312.58/579.27 c N dy 10834 1771077 4839 20796 0 69018 63313 1623818 68.61 72.38 -- 2334.54/584.73 c N dy 10962 1791093 4839 20796 0 89033 63313 3804170 68.63 108.39 -- 2360.88/591.38 c N dy 11083 1811139 4839 20796 0 109077 63313 5954729 68.63 75.83 -- 2385.25/597.41 c N dy 11202 1831273 4839 20796 0 70213 63313 1647716 68.64 72.64 -- 2407.20/602.99 c N dy 11328 1851357 4839 20796 0 90296 63313 3805229 68.65 88.76 -- 2434.76/609.85 c N dy 11466 1871518 4839 20796 0 110451 63313 5974301 68.66 74.64 -- 2459.51/616.03 c N dy 11594 1891531 4839 20796 0 70464 63313 1582340 68.68 72.32 -- 2480.30/621.21 c N dy 11729 1911606 4839 20796 0 90538 63313 3741551 68.69 72.92 -- 2504.63/627.39 c N dy 11854 1931685 4839 20796 0 110616 63313 5899259 68.71 74.64 -- 2528.61/633.35 c N dy 11978 1951994 4839 20796 0 69933 63313 1430830 68.71 73.17 -- 2549.74/638.62 c N dy 12115 1972175 4839 20796 0 90113 63313 3603419 68.73 74.44 -- 2574.50/644.83 c N dy 12243 1992334 4839 20796 0 110269 63313 5764081 68.74 73.34 -- 2599.65/651.13 c N dy 12370 2012374 4839 20796 0 68310 63313 1139657 68.75 73.86 -- 2619.62/656.19 c N dy 12492 2032435 4839 20796 0 88371 63313 3288312 68.75 81.04 -- 2643.97/662.22 c N dy 12611 2052483 4839 20796 0 108415 63313 5436379 68.76 83.37 -- 2670.72/668.97 c N dy 12729 2072570 4839 20796 0 65505 63313 753234 68.76 73.11 -- 2690.70/673.91 c N dy 12863 2092592 4839 20796 0 85526 63313 2884574 68.77 72.66 -- 2714.24/679.84 c N dy 13001 2112635 4839 20796 0 105568 63313 5034014 68.78 73.05 -- 2741.79/686.72 c N dy 13115 2132645 4839 20796 0 125571 63313 7181787 68.78 75.04 -- 2762.56/691.91 c N dy 13239 2152662 4839 20796 0 81596 63313 2378189 68.78 74.95 -- 2784.91/697.55 c N dy 13359 2172727 4839 20796 0 101654 63313 4548665 68.79 72.88 -- 2811.67/704.29 c N dy 13487 2192729 4839 20796 0 121654 63313 6690349 68.80 73.21 -- 2833.63/709.73 c S st 13602 2210954 4839 20796 0 74885 63313 1557357 68.82 no data -- 2834.03/709.88 c S st 13602 2211457 4839 20796 0 75388 63313 1596599 68.82 no data -- 2834.03/709.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2834.03/709.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2834.43/709.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.20 2834.82/710.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 2834.82/710.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2834.82/710.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.00 s 2834.82/710.01 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s 2851.99/714.31 c lits-rem: 31 cl-subs: 1 v-elim: 0 v-fix: 0 time: 17.15 s 2851.99/714.31 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 2851.99/714.33 c vivif2 -- cl tried 75387 cl shrink 0 lits rem 0 time: 0.09 2852.39/714.45 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.48 2852.39/714.45 c calculated reachability. Time: 0.00 2852.39/714.45 c N dy 13602 2211457 4839 20796 0 75387 63313 1596527 68.82 no data -- 2873.55/719.78 c N dy 13728 2231535 4839 20796 0 95463 63313 3754513 68.83 73.94 -- 2899.50/726.22 c N dy 13861 2251722 4839 20796 0 115647 63313 5941186 68.84 74.00 -- 2927.06/733.19 c N dy 13989 2271758 4839 20796 0 69693 63313 895018 68.85 72.50 -- 2947.82/738.32 c N dy 14122 2291853 4839 20796 0 89783 63313 3056806 68.87 77.19 -- 2972.20/744.43 c N dy 14257 2311894 4839 20796 0 109821 63313 5247972 68.88 88.63 -- 3000.53/751.53 c N dy 14385 2331943 4839 20796 0 129869 63313 7407146 68.89 72.74 -- 3022.49/757.05 c N dy 14508 2351982 4839 20796 0 82918 63313 2194978 68.89 73.24 -- 3045.64/762.85 c N dy 14637 2372006 4839 20796 0 102942 63313 4343810 68.89 75.59 -- 3073.22/769.79 c N dy 14770 2392063 4839 20796 0 122998 63313 6523964 68.91 76.10 -- 3101.94/776.97 c N dy 14890 2412257 4839 20796 0 75200 63313 1282402 68.91 73.33 -- 3125.52/782.83 c N dy 15010 2432284 4839 20796 0 95224 63313 3434341 68.92 73.37 -- 3153.05/789.74 c N dy 15132 2452358 4839 20796 0 115294 63313 5589859 68.93 75.06 -- 3185.39/797.90 c N dy 15259 2472414 4839 20796 0 135347 63313 7723152 68.93 73.91 -- 3210.54/804.14 c N dy 15390 2492606 4839 20796 0 86546 63313 2402164 68.94 74.93 -- 3237.29/810.88 c N dy 15496 2513033 4839 20796 0 106970 63313 4613935 68.93 72.86 -- 3269.24/818.86 c N dy 15629 2533169 4839 20796 0 127104 63313 6782047 68.95 73.50 -- 3299.99/826.57 c N dy 15752 2553215 4839 20796 0 77149 63313 1287608 68.95 73.91 -- 3324.74/832.70 c N dy 15883 2573279 4839 20796 0 97212 63313 3441483 68.96 72.66 -- 3352.69/839.72 c N dy 16005 2593294 4839 20796 0 117226 63313 5577760 68.97 72.71 -- 3385.42/847.90 c N dy 16127 2613465 4839 20796 0 137395 63313 7736561 68.97 74.89 -- 3409.39/853.97 c N dy 16243 2633483 4839 20796 0 86424 63313 2184434 68.97 86.01 -- 3434.54/860.22 c N dy 16371 2653805 4839 20796 0 106741 63313 4388848 68.98 72.71 -- 3463.29/867.45 c N dy 16492 2673900 4839 20796 0 126833 63313 6564223 68.98 72.62 -- 3494.03/875.13 c N dy 16627 2694197 4839 20796 0 75139 63313 876358 69.00 73.48 -- 3512.03/879.64 c S st 16722 2711459 4839 20796 0 92400 63313 2746272 69.00 68.92 -- 3512.80/879.82 c S st 16722 2711964 4839 20796 0 92905 63313 2785892 69.00 no data -- 3512.80/879.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3512.80/879.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3512.80/879.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.25 3513.60/880.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 3513.60/880.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3513.60/880.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.01 s 3513.60/880.01 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3559.11/891.47 c lits-rem: 7 cl-subs: 9 v-elim: 0 v-fix: 0 time: 45.69 s 3559.11/891.47 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 3559.51/891.51 c vivif2 -- cl tried 92896 cl shrink 0 lits rem 0 time: 0.14 3559.91/891.66 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.60 3559.91/891.66 c calculated reachability. Time: 0.00 3559.91/891.66 c N dy 16722 2711964 4839 20796 0 92896 63313 2784103 69.00 no data -- 3584.67/897.88 c N dy 16851 2732023 4839 20796 0 112950 63313 4951223 69.01 72.80 -- 3613.44/905.06 c N dy 16964 2752056 4839 20796 0 132983 63313 7098180 69.00 73.14 -- 3641.37/912.02 c N dy 17080 2772068 4839 20796 0 79999 63313 1281102 69.01 73.02 -- 3663.72/917.65 c N dy 17204 2792403 4839 20796 0 100334 63313 3446911 69.01 73.16 -- 3690.48/924.30 c N dy 17326 2812516 4839 20796 0 120443 63313 5607404 69.02 73.48 -- 3721.22/932.05 c N dy 17460 2832544 4839 20796 0 140470 63313 7798819 69.03 72.71 -- 3746.78/938.42 c N dy 17576 2852692 4839 20796 0 86623 63313 1889751 69.03 72.79 -- 3770.34/944.37 c N dy 17708 2872754 4839 20796 0 106682 63313 4062168 69.05 74.58 -- 3798.28/951.30 c N dy 17835 2892784 4839 20796 0 126711 63313 6237786 69.06 73.74 -- 3829.82/959.29 c N dy 17957 2912811 4839 20796 0 146735 63313 8377071 69.06 86.31 -- 3853.38/965.16 c N dy 18079 2932907 4839 20796 0 91835 63313 2375048 69.07 73.05 -- 3878.13/971.39 c N dy 18211 2953042 4839 20796 0 111968 63313 4556634 69.08 76.49 -- 3906.89/978.60 c N dy 18330 2973269 4839 20796 0 132193 63313 6708193 69.08 72.94 -- 3940.42/986.93 c N dy 18449 2993375 4839 20796 0 76310 63313 589092 69.08 73.49 -- 3962.39/992.40 c N dy 18574 3013748 4839 20796 0 96678 63313 2760914 69.09 73.14 -- 3987.94/998.87 c N dy 18703 3033807 4839 20796 0 116734 63313 4919199 69.09 73.60 -- 4017.52/1006.24 c N dy 18820 3053821 4839 20796 0 136746 63313 7082038 69.09 75.31 -- 4051.03/1014.63 c N dy 18941 3073919 4839 20796 0 79849 63313 878395 69.10 72.85 -- 4074.61/1020.53 c N dy 19060 3094002 4839 20796 0 99931 63313 3039559 69.10 73.66 -- 4104.53/1028.03 c N dy 19198 3114496 4839 20796 0 120422 63313 5278986 69.11 73.21 -- 4139.67/1036.89 c N dy 19332 3134643 4839 20796 0 140569 63313 7459487 69.12 75.87 -- 4177.20/1046.27 c N dy 19459 3154659 4839 20796 0 82589 63313 1068846 69.12 88.29 -- 4203.55/1052.84 c N dy 19590 3174725 4839 20796 0 102651 63313 3236458 69.13 91.96 -- 4235.10/1060.73 c N dy 19719 3194925 4839 20796 0 122850 63313 5417164 69.14 74.48 -- 4265.84/1068.43 c S st 19833 3211965 4839 20796 0 139889 63313 7275855 69.15 63.37 -- 4267.04/1068.75 c S st 19833 3212467 4839 20796 0 140391 63313 7318783 69.15 no data -- 4267.04/1068.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4267.04/1068.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4267.46/1068.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.43 4269.03/1069.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 4269.03/1069.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4269.03/1069.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4839 time: 0.01 s 4269.03/1069.23 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s
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-3368668-1305400256/watcher-3368668-1305400256 -o /tmp/evaluation-result-3368668-1305400256/solver-3368668-1305400256 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368668-1305400256.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: 8.10 8.10 8.04 1/236 8109 /proc/meminfo: memFree=24310524/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 651626345 52465664 353 33554432000 4194304 4650419 140736792867120 18446744073709551615 47560967636914 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 12809 353 303 112 0 7774 0 [pid=8109/tid=8110] ppid=8107 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651626345 52465664 357 33554432000 4194304 4650419 140736792867120 18446744073709551615 47560967636914 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651626345 52465664 357 33554432000 4194304 4650419 140736792867120 18446744073709551615 47560967636505 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651626346 52465664 357 33554432000 4194304 4650419 140736792867120 18446744073709551615 47560967636505 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.556204 s] /proc/loadavg: 8.10 8.10 8.04 1/236 8109 /proc/meminfo: memFree=24310524/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=302504 CPUtime=2.18 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 10291 0 0 0 216 2 0 0 18 0 4 0 651626345 309764096 8678 33554432000 4194304 4650419 140736792867120 18446744073709551615 222921820295 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 75744 8109 392 112 0 70709 0 [pid=8109/tid=8110] ppid=8107 vsize=302976 CPUtime=0.53 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 2530 0 0 0 53 0 0 0 18 0 4 0 651626345 310247424 8111 33554432000 4194304 4650419 140736792867120 18446744073709551615 222921820519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=302976 CPUtime=0.54 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 2578 0 0 0 54 0 0 0 18 0 4 0 651626345 310247424 8111 33554432000 4194304 4650419 140736792867120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=302976 CPUtime=0.54 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1974 0 0 0 54 0 0 0 18 0 4 0 651626346 310247424 8111 33554432000 4194304 4650419 140736792867120 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 302504 [startup+0.907244 s] /proc/loadavg: 8.10 8.10 8.04 1/236 8109 /proc/meminfo: memFree=24310524/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=294656 CPUtime=3.59 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 12349 0 0 0 356 3 0 0 19 0 4 0 651626345 301727744 8801 33554432000 4194304 4650419 140736792867120 18446744073709551615 4334321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 73664 8802 392 112 0 68629 0 [pid=8109/tid=8110] ppid=8107 vsize=294656 CPUtime=0.88 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 3167 0 0 0 88 0 0 0 18 0 4 0 651626345 301727744 8802 33554432000 4194304 4650419 140736792867120 18446744073709551615 4334514 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=294656 CPUtime=0.89 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 3200 0 0 0 89 0 0 0 19 0 4 0 651626345 301727744 8802 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=294656 CPUtime=0.89 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 2385 0 0 0 89 0 0 0 19 0 4 0 651626346 301727744 8802 33554432000 4194304 4650419 140736792867120 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 294656 [startup+1.00123 s] /proc/loadavg: 8.10 8.10 8.04 1/236 8109 /proc/meminfo: memFree=24310524/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=294656 CPUtime=3.97 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 12755 0 0 0 394 3 0 0 19 0 4 0 651626345 301727744 9207 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 73664 9207 392 112 0 68629 0 [pid=8109/tid=8110] ppid=8107 vsize=294656 CPUtime=0.98 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 3265 0 0 0 98 0 0 0 19 0 4 0 651626345 301727744 9207 33554432000 4194304 4650419 140736792867120 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=294656 CPUtime=0.98 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 3300 0 0 0 98 0 0 0 19 0 4 0 651626345 301727744 9207 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=294656 CPUtime=0.98 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 2489 0 0 0 98 0 0 0 19 0 4 0 651626346 301727744 9207 33554432000 4194304 4650419 140736792867120 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 294656 [startup+1.10121 s] /proc/loadavg: 8.10 8.10 8.04 1/236 8109 /proc/meminfo: memFree=24310524/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=294828 CPUtime=4.36 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 13523 0 0 0 433 3 0 0 19 0 4 0 651626345 301903872 9121 33554432000 4194304 4650419 140736792867120 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 73707 9121 392 112 0 68672 0 [pid=8109/tid=8110] ppid=8107 vsize=294828 CPUtime=1.08 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 3372 0 0 0 108 0 0 0 19 0 4 0 651626345 301903872 9121 33554432000 4194304 4650419 140736792867120 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=294828 CPUtime=1.08 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 3407 0 0 0 108 0 0 0 19 0 4 0 651626345 301903872 9121 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=294828 CPUtime=1.08 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 2939 0 0 0 108 0 0 0 19 0 4 0 651626346 301903872 9121 33554432000 4194304 4650419 140736792867120 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 294828 [startup+1.50114 s] /proc/loadavg: 8.10 8.10 8.04 1/236 8109 /proc/meminfo: memFree=24310524/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=295560 CPUtime=5.97 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 16215 0 0 0 593 4 0 0 20 0 4 0 651626345 302653440 9204 33554432000 4194304 4650419 140736792867120 18446744073709551615 4333550 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 73890 9204 392 112 0 68855 0 [pid=8109/tid=8110] ppid=8107 vsize=295560 CPUtime=1.47 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 4148 0 0 0 147 0 0 0 19 0 4 0 651626345 302653440 9204 33554432000 4194304 4650419 140736792867120 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=295560 CPUtime=1.48 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 4135 0 0 0 148 0 0 0 20 0 4 0 651626345 302653440 9204 33554432000 4194304 4650419 140736792867120 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=295560 CPUtime=1.48 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 3359 0 0 0 148 0 0 0 20 0 4 0 651626346 302653440 9204 33554432000 4194304 4650419 140736792867120 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 295560 [startup+3.10084 s] /proc/loadavg: 8.09 8.10 8.04 9/245 8143 /proc/meminfo: memFree=24233568/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=296580 CPUtime=12.35 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 25612 0 0 0 1229 6 0 0 25 0 4 0 651626345 303697920 10067 33554432000 4194304 4650419 140736792867120 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 74145 10067 393 112 0 69110 0 [pid=8109/tid=8110] ppid=8107 vsize=296580 CPUtime=3.08 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 6565 0 0 0 307 1 0 0 25 0 4 0 651626345 303697920 10067 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=296580 CPUtime=3.07 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 6423 0 0 0 306 1 0 0 25 0 4 0 651626345 303697920 10067 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=296580 CPUtime=3.08 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 5697 0 0 0 307 1 0 0 25 0 4 0 651626346 303697920 10067 33554432000 4194304 4650419 140736792867120 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 296580 [startup+6.30926 s] /proc/loadavg: 8.09 8.10 8.04 9/245 8144 /proc/meminfo: memFree=24098108/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=321320 CPUtime=25.16 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 50377 0 0 0 2505 11 0 0 25 0 4 0 651626345 329031680 26186 33554432000 4194304 4650419 140736792867120 18446744073709551615 4333767 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 80330 26186 394 112 0 75295 0 [pid=8109/tid=8110] ppid=8107 vsize=321320 CPUtime=6.29 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 10973 0 0 0 627 2 0 0 25 0 4 0 651626345 329031680 26186 33554432000 4194304 4650419 140736792867120 18446744073709551615 4367372 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=321320 CPUtime=6.25 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 14242 0 0 0 623 2 0 0 25 0 4 0 651626345 329031680 26186 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=321320 CPUtime=6.29 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 13713 0 0 0 627 2 0 0 25 0 4 0 651626346 329031680 26186 33554432000 4194304 4650419 140736792867120 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 321320 [startup+12.7011 s] /proc/loadavg: 8.08 8.09 8.04 10/245 8144 /proc/meminfo: memFree=24045284/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=335116 CPUtime=50.68 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 83663 0 0 0 5049 19 0 0 25 0 4 0 651626345 343158784 37916 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 83779 37916 394 112 0 78744 0 [pid=8109/tid=8110] ppid=8107 vsize=335116 CPUtime=12.68 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 21204 0 0 0 1263 5 0 0 25 0 4 0 651626345 343158784 37916 33554432000 4194304 4650419 140736792867120 18446744073709551615 4355019 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=335116 CPUtime=12.61 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 23951 0 0 0 1256 5 0 0 25 0 4 0 651626345 343158784 37916 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=335116 CPUtime=12.68 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 20837 0 0 0 1264 4 0 0 25 0 4 0 651626346 343158784 37916 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.68 Current children cumulated vsize (KiB) 335116 [startup+25.5008 s] /proc/loadavg: 8.06 8.09 8.04 10/245 8144 /proc/meminfo: memFree=23928364/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=338844 CPUtime=101.78 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 137920 0 0 0 10144 34 0 0 25 0 4 0 651626345 346976256 49275 33554432000 4194304 4650419 140736792867120 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 84711 49275 394 112 0 79676 0 [pid=8109/tid=8110] ppid=8107 vsize=338844 CPUtime=25.48 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 35289 0 0 0 2539 9 0 0 25 0 4 0 651626345 346976256 49275 33554432000 4194304 4650419 140736792867120 18446744073709551615 4333753 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=338844 CPUtime=25.31 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 34695 0 0 0 2524 7 0 0 25 0 4 0 651626345 346976256 49275 33554432000 4194304 4650419 140736792867120 18446744073709551615 4333978 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=338844 CPUtime=25.48 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 34820 0 0 0 2540 8 0 0 25 0 4 0 651626346 346976256 49275 33554432000 4194304 4650419 140736792867120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.78 Current children cumulated vsize (KiB) 338844 [startup+51.1011 s] /proc/loadavg: 8.04 8.08 8.04 9/245 8145 /proc/meminfo: memFree=23796244/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=472384 CPUtime=203.99 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 219079 0 0 0 20345 54 0 0 25 0 4 0 651626345 483721216 67726 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 118096 67726 394 112 0 113061 0 [pid=8109/tid=8110] ppid=8107 vsize=472384 CPUtime=51.08 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 57046 0 0 0 5093 15 0 0 25 0 4 0 651626345 483721216 67726 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=472384 CPUtime=50.72 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 53814 0 0 0 5060 12 0 0 25 0 4 0 651626345 483721216 67726 33554432000 4194304 4650419 140736792867120 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=472384 CPUtime=51.07 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 53273 0 0 0 5094 13 0 0 25 0 4 0 651626346 483721216 67726 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 203.99 Current children cumulated vsize (KiB) 472384 [startup+102.301 s] /proc/loadavg: 8.05 8.08 8.04 9/245 8146 /proc/meminfo: memFree=23698620/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=520116 CPUtime=408.4 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 352457 0 0 0 40748 92 0 0 25 0 4 0 651626345 532598784 72978 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 130029 72978 394 112 0 124994 0 [pid=8109/tid=8110] ppid=8107 vsize=520116 CPUtime=102.28 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 91439 0 0 0 10203 25 0 0 25 0 4 0 651626345 532598784 72978 33554432000 4194304 4650419 140736792867120 18446744073709551615 4367351 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=520116 CPUtime=101.55 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 86392 0 0 0 10134 21 0 0 25 0 4 0 651626345 532598784 72978 33554432000 4194304 4650419 140736792867120 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=520116 CPUtime=102.27 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 88975 0 0 0 10203 24 0 0 25 0 4 0 651626346 532598784 72978 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366849 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.4 Current children cumulated vsize (KiB) 520116 [startup+162.301 s] ################ # More data... # ################ [pid=8109] ppid=8107 vsize=929648 CPUtime=2564.51 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 1908586 0 0 0 255932 519 0 0 25 0 4 0 651626345 951959552 158565 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 232412 158565 394 112 0 227377 0 [pid=8109/tid=8110] ppid=8107 vsize=929648 CPUtime=642.29 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 507927 0 0 0 64084 145 0 0 25 0 4 0 651626345 951959552 158565 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=929648 CPUtime=637.63 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 254969 0 0 0 63673 90 0 0 25 0 4 0 651626345 951959552 158565 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=929648 CPUtime=642.27 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 510775 0 0 0 64092 135 0 0 25 0 4 0 651626346 951959552 158565 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2564.51 Current children cumulated vsize (KiB) 929648 [startup+702.301 s] /proc/loadavg: 8.13 8.12 8.07 10/245 8162 /proc/meminfo: memFree=23129680/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=944400 CPUtime=2804.09 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 1994087 0 0 0 279855 554 0 0 25 0 4 0 651626345 967065600 161797 33554432000 4194304 4650419 140736792867120 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 236100 161797 394 112 0 231065 0 [pid=8109/tid=8110] ppid=8107 vsize=944400 CPUtime=702.28 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 532730 0 0 0 70075 153 0 0 25 0 4 0 651626345 967065600 161797 33554432000 4194304 4650419 140736792867120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=944400 CPUtime=697.2 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 273263 0 0 0 69620 100 0 0 25 0 4 0 651626345 967065600 161797 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=944400 CPUtime=702.27 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 532116 0 0 0 70085 142 0 0 25 0 4 0 651626346 967065600 161797 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2804.09 Current children cumulated vsize (KiB) 944400 [startup+762.301 s] /proc/loadavg: 8.14 8.13 8.08 10/245 8164 /proc/meminfo: memFree=23057980/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=958168 CPUtime=3043.64 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 2075118 0 0 0 303778 586 0 0 25 0 4 0 651626345 981164032 171909 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 239542 171909 394 112 0 234507 0 [pid=8109/tid=8110] ppid=8107 vsize=958168 CPUtime=762.29 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 554708 0 0 0 76067 162 0 0 25 0 4 0 651626345 981164032 171909 33554432000 4194304 4650419 140736792867120 18446744073709551615 4349946 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=958168 CPUtime=756.75 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 290773 0 0 0 75570 105 0 0 25 0 4 0 651626345 981164032 171909 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=958168 CPUtime=762.28 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 554522 0 0 0 76076 152 0 0 25 0 4 0 651626346 981164032 171909 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3043.64 Current children cumulated vsize (KiB) 958168 [startup+822.301 s] /proc/loadavg: 8.14 8.13 8.08 9/245 8165 /proc/meminfo: memFree=23034380/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=959112 CPUtime=3283.21 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 2299087 0 0 0 327686 635 0 0 25 0 4 0 651626345 982130688 178542 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 239778 178570 394 112 0 234743 0 [pid=8109/tid=8110] ppid=8107 vsize=959112 CPUtime=822.29 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 675152 0 0 0 82049 180 0 0 25 0 4 0 651626345 982130688 178578 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=959112 CPUtime=816.32 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 292157 0 0 0 81527 105 0 0 25 0 4 0 651626345 982130688 178588 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=959112 CPUtime=822.27 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 636639 0 0 0 82058 169 0 0 25 0 4 0 651626346 982130688 178589 33554432000 4194304 4650419 140736792867120 18446744073709551615 4441897 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3283.21 Current children cumulated vsize (KiB) 959112 [startup+882.301 s] /proc/loadavg: 8.13 8.13 8.09 9/245 8167 /proc/meminfo: memFree=23077980/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=923132 CPUtime=3522.78 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 2502183 0 0 0 351596 682 0 0 25 0 4 0 651626345 945287168 168072 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 230783 168072 394 112 0 225748 0 [pid=8109/tid=8110] ppid=8107 vsize=923132 CPUtime=882.29 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 781052 0 0 0 88032 197 0 0 25 0 4 0 651626345 945287168 168072 33554432000 4194304 4650419 140736792867120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=923132 CPUtime=875.89 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 295740 0 0 0 87482 107 0 0 25 0 4 0 651626345 945287168 168072 33554432000 4194304 4650419 140736792867120 18446744073709551615 4315085 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=923132 CPUtime=882.27 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 712227 0 0 0 88041 186 0 0 25 0 4 0 651626346 945287168 168072 33554432000 4194304 4650419 140736792867120 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3522.78 Current children cumulated vsize (KiB) 923132 [startup+942.301 s] /proc/loadavg: 8.08 8.12 8.09 10/245 8168 /proc/meminfo: memFree=23055372/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=912560 CPUtime=3762.37 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 2579953 0 0 0 375518 719 0 0 25 0 4 0 651626345 934461440 173229 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 228140 173229 394 112 0 223105 0 [pid=8109/tid=8110] ppid=8107 vsize=912560 CPUtime=942.3 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 803054 0 0 0 94023 207 0 0 25 0 4 0 651626345 934461440 173232 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=912560 CPUtime=935.46 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 311214 0 0 0 93432 114 0 0 25 0 4 0 651626345 934461440 173232 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=912560 CPUtime=942.29 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 734149 0 0 0 94031 198 0 0 25 0 4 0 651626346 934461440 173232 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3762.37 Current children cumulated vsize (KiB) 912560 [startup+1002.3 s] /proc/loadavg: 8.07 8.11 8.09 10/245 8170 /proc/meminfo: memFree=23059164/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=964612 CPUtime=4001.91 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 2653801 0 0 0 399439 752 0 0 25 0 4 0 651626345 987762688 173089 33554432000 4194304 4650419 140736792867120 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 241153 173091 394 112 0 236118 0 [pid=8109/tid=8110] ppid=8107 vsize=964612 CPUtime=1002.29 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 824431 0 0 0 100013 216 0 0 25 0 4 0 651626345 987762688 173091 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=964612 CPUtime=995.01 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 324590 0 0 0 99381 120 0 0 25 0 4 0 651626345 987762688 173091 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=964612 CPUtime=1002.28 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 755401 0 0 0 100021 207 0 0 25 0 4 0 651626346 987762688 173091 33554432000 4194304 4650419 140736792867120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4001.91 Current children cumulated vsize (KiB) 964612 [startup+1062.31 s] /proc/loadavg: 8.06 8.10 8.09 9/245 8172 /proc/meminfo: memFree=22880072/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=1174288 CPUtime=4241.52 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 2841837 0 0 0 423360 792 0 0 25 0 4 0 651626345 1202470912 216412 33554432000 4194304 4650419 140736792867120 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 293572 216412 394 112 0 288537 0 [pid=8109/tid=8110] ppid=8107 vsize=1174288 CPUtime=1062.3 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 895704 0 0 0 106003 227 0 0 25 0 4 0 651626345 1202470912 216412 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=1174288 CPUtime=1054.59 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 331052 0 0 0 105335 124 0 0 25 0 4 0 651626345 1202470912 216412 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476488 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=1174288 CPUtime=1062.28 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 847108 0 0 0 106008 220 0 0 25 0 4 0 651626346 1202470912 216412 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4241.52 Current children cumulated vsize (KiB) 1174288 [startup+1122.3 s] /proc/loadavg: 8.05 8.10 8.08 9/245 8173 /proc/meminfo: memFree=22828100/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=1174288 CPUtime=4481.05 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 3095845 0 0 0 447276 829 0 0 25 0 4 0 651626345 1202470912 226632 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 293572 226632 394 112 0 288537 0 [pid=8109/tid=8110] ppid=8107 vsize=1174288 CPUtime=1122.3 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 974736 0 0 0 111992 238 0 0 25 0 4 0 651626345 1202470912 226632 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=1174288 CPUtime=1114.15 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 331052 0 0 0 111291 124 0 0 25 0 4 0 651626345 1202470912 226632 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=1174288 CPUtime=1122.28 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 935153 0 0 0 111995 233 0 0 25 0 4 0 651626346 1202470912 226632 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4481.05 Current children cumulated vsize (KiB) 1174288 [startup+1182.3 s] /proc/loadavg: 8.02 8.08 8.08 10/245 8175 /proc/meminfo: memFree=22818776/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=1175020 CPUtime=4720.62 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 3389805 0 0 0 471185 877 0 0 25 0 4 0 651626345 1203220480 225362 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 293755 225362 394 112 0 288720 0 [pid=8109/tid=8110] ppid=8107 vsize=1175020 CPUtime=1182.3 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1056592 0 0 0 117982 248 0 0 25 0 4 0 651626345 1203220480 225362 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=1175020 CPUtime=1173.71 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 341750 0 0 0 117239 132 0 0 25 0 4 0 651626345 1203220480 225362 33554432000 4194304 4650419 140736792867120 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=1175020 CPUtime=1182.28 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1039928 0 0 0 117980 248 0 0 25 0 4 0 651626346 1203220480 225362 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476491 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4720.62 Current children cumulated vsize (KiB) 1175020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.2 s] /proc/loadavg: 8.07 8.08 8.08 9/245 8175 /proc/meminfo: memFree=22818648/32951124 swapFree=61559568/67111528 [pid=8109] ppid=8107 vsize=1175020 CPUtime=4800.1 cores=1,3,5,7 /proc/8109/stat : 8109 (strangenight1-m) R 8107 8109 7898 0 -1 4202496 3492982 0 0 0 479117 893 0 0 25 0 4 0 651626345 1203220480 230299 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8109/statm: 293755 230299 394 112 0 288720 0 [pid=8109/tid=8110] ppid=8107 vsize=1175020 CPUtime=1202.21 cores=1,3,5,7 /proc/8109/task/8110/stat : 8110 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1085624 0 0 0 119969 252 0 0 25 0 4 0 651626345 1203220480 230299 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8109/tid=8111] ppid=8107 vsize=1175020 CPUtime=1193.47 cores=1,3,5,7 /proc/8109/task/8111/stat : 8111 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 346792 0 0 0 119212 135 0 0 25 0 4 0 651626345 1203220480 230299 33554432000 4194304 4650419 140736792867120 18446744073709551615 4361023 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8109/tid=8112] ppid=8107 vsize=1175020 CPUtime=1202.19 cores=1,3,5,7 /proc/8109/task/8112/stat : 8112 (strangenight1-m) R 8107 8109 7898 0 -1 4202560 1075754 0 0 0 119966 253 0 0 25 0 4 0 651626346 1203220480 230299 33554432000 4194304 4650419 140736792867120 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.1 Current children cumulated vsize (KiB) 1175020 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): 1202.26 CPU time (s): 4800.18 CPU user time (s): 4791.2 CPU system time (s): 8.97563 CPU usage (%): 399.264 Max. virtual memory (cumulated for all children) (KiB): 1175020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.2 system time used= 8.97564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3492983 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= 1056 involuntary context switches= 30069 runsolver used 2.27165 second user time and 6.50401 second system time The end
Begin job on node109 at 2011-05-14 21:10:56 IDJOB=3368668 IDBENCH=82677 IDSOLVER=1846 FILE ID=node109/3368668-1305400256 RUNJOBID= node109-1305397847-7917 PBS_JOBID= 13324470 Free space on /tmp= 73220 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368668-1305400256/watcher-3368668-1305400256 -o /tmp/evaluation-result-3368668-1305400256/solver-3368668-1305400256 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368668-1305400256.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 64eaf16e48e921b573c32a7e8a6347cd RANDOM SEED=359738254 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24310804 kB Buffers: 228600 kB Cached: 2259600 kB SwapCached: 28404 kB Active: 101904 kB Inactive: 8321900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24310804 kB SwapTotal: 67111528 kB SwapFree: 61559568 kB Dirty: 6616 kB Writeback: 0 kB AnonPages: 5913888 kB Mapped: 17800 kB Slab: 122088 kB PageTables: 30676 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 17883752 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= 73212 MiB End job on node109 at 2011-05-14 21:31:00