| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.18 | 1201.65 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf |
| MD5SUM | b0eb7b0423dfe1c78c61b0932da62ffe |
| 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.86156 |
| 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-3174939-1304056227.cnf' 0.00/0.00 c -- header says num vars: 5000 0.00/0.00 c -- header says num clauses: 21000 0.00/0.02 c -- clauses added: 0 learnts, 21000 normals, 0 xors 0.00/0.02 c -- vars added 5000 0.00/0.02 c Parsing time: 0.04 s 0.00/0.02 c N st 0 0 5000 21000 0 0 63000 0 no data no data -- 0.00/0.04 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 0.00/0.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 0.00/0.07 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 0.00/0.57 c lits-rem: 0 cl-subs: 0 v-elim: 151 v-fix: 0 time: 0.13 s 0.00/0.57 c Finding binary XORs T: 0.00 s found: 0 0.00/0.57 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 0.00/0.57 c calculated reachability. Time: 0.00 0.00/0.57 c Calc default polars - time: 0.00 s pos: 2232 undec: 593 neg: 2175 0.00/0.57 c ========================================================================================= 0.00/0.57 c types(t): F = full restart, N = normal restart 0.00/0.57 c types(t): S = simplification begin/end, E = solution found 0.00/0.57 c restart types(rt): st = static, dy = dynamic 0.00/0.57 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.57 c B st 0 0 4849 20796 0 0 63233 0 no data no data -- 0.00/0.57 c N dy 19 4036 4849 20796 0 4035 63233 460775 70.62 75.44 -- 0.24/0.90 c N dy 39 8287 4849 20796 0 5791 63233 450307 66.94 70.81 -- 5.01/1.30 c N dy 63 12398 4849 20796 0 5650 63233 267901 67.01 71.30 -- 6.75/1.70 c N dy 85 16437 4849 20796 0 9689 63233 677296 66.62 71.90 -- 8.33/2.12 c N dy 108 20632 4849 20796 0 8260 63233 401406 66.36 73.13 -- 9.94/2.55 c N dy 131 24711 4849 20796 0 12339 63233 817556 66.13 77.56 -- 9.94/2.58 c F st 133 25002 4849 20796 0 12630 63233 848474 66.07 no data -- 12.34/3.14 c N dy 139 30000 4849 20796 0 10817 63233 627278 66.07 no data -- 12.34/3.14 c S st 139 30000 4849 20796 0 10817 63233 627278 66.07 no data -- 12.34/3.19 c S st 139 30500 4849 20796 0 11317 63233 667408 66.07 no data -- 12.34/3.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.34/3.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.73/3.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 12.73/3.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.73/3.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.73/3.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 12.73/3.25 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 22.72/5.76 c lits-rem: 95 cl-subs: 10 v-elim: 0 v-fix: 0 time: 9.99 s 22.72/5.79 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.11 22.72/5.79 c calculated reachability. Time: 0.00 22.72/5.79 c N dy 139 30500 4849 20796 0 11307 63233 666034 66.07 no data -- 24.73/6.27 c N dy 161 34677 4849 20796 0 15484 63233 1083812 65.83 70.68 -- 26.72/6.72 c N dy 192 38725 4849 20796 0 11627 63233 546447 66.33 70.81 -- 28.31/7.17 c N dy 213 42763 4849 20796 0 15664 63233 964940 66.31 70.43 -- 29.91/7.52 c S st 232 45752 4849 20796 0 9702 63233 241137 66.51 57.46 -- 29.91/7.57 c S st 232 46258 4849 20796 0 10208 63233 280199 66.51 no data -- 29.91/7.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 29.91/7.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 29.91/7.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 30.31/7.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 30.31/7.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.31/7.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 30.31/7.61 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 33.11/8.30 c lits-rem: 2 cl-subs: 0 v-elim: 0 v-fix: 0 time: 2.78 s 33.11/8.30 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 33.11/8.31 c vivif2 -- cl tried 10208 cl shrink 0 lits rem 0 time: 0.01 33.11/8.33 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.09 33.11/8.33 c calculated reachability. Time: 0.00 33.11/8.33 c N dy 232 46258 4849 20796 0 10208 63233 280197 66.51 no data -- 34.70/8.78 c N dy 253 50343 4849 20796 0 14292 63233 707132 66.33 85.30 -- 36.70/9.28 c N dy 275 54425 4849 20796 0 18373 63233 1129755 66.31 72.00 -- 38.70/9.79 c N dy 301 58713 4849 20796 0 12687 63233 440839 66.30 72.17 -- 40.70/10.26 c N dy 323 62749 4849 20796 0 16723 63233 848844 66.26 70.33 -- 42.72/10.78 c N dy 351 66778 4849 20796 0 20752 63233 1263175 66.37 76.04 -- 44.30/11.12 c S st 372 69387 4849 20796 0 12370 63233 316450 66.53 59.98 -- 44.30/11.18 c S st 372 69888 4849 20796 0 12871 63233 359398 66.53 no data -- 44.30/11.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 44.30/11.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 44.30/11.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 44.70/11.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 44.70/11.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 44.70/11.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 44.70/11.22 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 49.49/12.40 c lits-rem: 46 cl-subs: 0 v-elim: 0 v-fix: 0 time: 4.72 s 49.49/12.40 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 49.49/12.41 c vivif2 -- cl tried 12871 cl shrink 0 lits rem 0 time: 0.02 49.49/12.43 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.10 49.49/12.43 c calculated reachability. Time: 0.00 49.49/12.43 c N dy 372 69888 4849 20796 0 12871 63233 359352 66.53 no data -- 51.50/12.96 c N dy 405 74381 4849 20796 0 17363 63233 824821 66.63 74.89 -- 53.88/13.58 c N dy 431 79166 4849 20796 0 22148 63233 1334805 66.59 70.61 -- 56.68/14.22 c N dy 467 84223 4849 20796 0 15216 63233 517815 66.73 70.62 -- 58.28/14.64 c F st 490 87500 4849 20796 0 18493 63233 862812 66.85 no data -- 59.89/15.07 c N st 495 90799 4849 20796 0 21792 63233 1245609 66.85 no data -- 63.07/15.85 c N dy 516 96601 4849 20796 0 14596 63233 349245 66.80 89.08 -- 66.27/16.62 c N dy 557 102851 4849 20796 0 20846 63233 1007516 66.91 70.86 -- 67.07/16.89 c S st 571 104832 4849 20796 0 22826 63233 1215785 66.92 no data -- 67.47/16.96 c S st 571 105336 4849 20796 0 23330 63233 1253480 66.92 no data -- 67.47/16.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 67.47/16.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 67.47/16.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.09 67.86/17.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 67.86/17.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 67.86/17.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 67.86/17.06 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 76.65/19.28 c lits-rem: 33 cl-subs: 2 v-elim: 0 v-fix: 0 time: 8.88 s 76.65/19.29 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 77.05/19.30 c vivif2 -- cl tried 23328 cl shrink 0 lits rem 0 time: 0.06 77.05/19.34 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.16 77.05/19.34 c calculated reachability. Time: 0.00 77.05/19.34 c N dy 571 105336 4849 20796 0 23328 63233 1253061 66.92 no data -- 80.65/20.27 c N dy 608 112154 4849 20796 0 16149 63233 405620 66.89 72.27 -- 84.24/21.19 c N dy 651 119408 4849 20796 0 23403 63233 1160294 66.90 76.76 -- 88.64/22.24 c N dy 697 127065 4849 20796 0 16066 63233 303442 66.94 71.56 -- 92.63/23.28 c N dy 746 135269 4849 20796 0 24268 63233 1175808 66.95 70.73 -- 97.82/24.53 c N dy 801 144033 4849 20796 0 17032 63233 305752 67.03 70.78 -- 102.62/25.72 c N dy 867 153261 4849 20796 0 26258 63233 1292541 67.21 86.64 -- 105.41/26.41 c S st 895 158004 4849 20796 0 31001 63233 1793734 67.20 no data -- 105.41/26.49 c S st 895 158509 4849 20796 0 31506 63233 1832364 67.20 no data -- 105.41/26.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 105.41/26.49 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 105.81/26.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 106.21/26.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 106.21/26.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 106.21/26.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 106.21/26.61 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 120.19/30.12 c lits-rem: 59 cl-subs: 4 v-elim: 0 v-fix: 0 time: 14.02 s 120.19/30.13 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 120.19/30.15 c vivif2 -- cl tried 31502 cl shrink 0 lits rem 0 time: 0.08 120.59/30.20 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.22 120.59/30.20 c calculated reachability. Time: 0.00 120.59/30.20 c N dy 895 158509 4849 20796 0 31502 63233 1831442 67.20 no data -- 126.20/31.65 c N dy 968 168658 4849 20796 0 24650 63233 1009754 67.35 86.25 -- 132.98/33.31 c N dy 1032 179638 4849 20796 0 35628 63233 2163486 67.35 71.81 -- 138.98/34.86 c N dy 1099 191141 4849 20796 0 29129 63233 1375874 67.36 73.96 -- 146.15/36.63 c N dy 1158 203394 4849 20796 0 22384 63233 575650 67.27 77.21 -- 154.14/38.61 c N dy 1250 216909 4849 20796 0 35899 63233 2019866 67.41 71.78 -- 162.13/40.63 c N dy 1340 230847 4849 20796 0 29835 63233 1279461 67.53 79.13 -- 166.13/41.69 c S st 1381 237764 4849 20796 0 36749 63233 1999239 67.51 62.31 -- 166.53/41.78 c S st 1381 238264 4849 20796 0 37249 63233 2037673 67.51 no data -- 166.53/41.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 166.53/41.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 166.93/41.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.12 167.33/41.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 167.33/41.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 167.33/41.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 167.33/41.90 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 181.72/45.53 c lits-rem: 16 cl-subs: 10 v-elim: 0 v-fix: 0 time: 14.49 s 181.72/45.53 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 181.72/45.56 c vivif2 -- cl tried 37239 cl shrink 0 lits rem 0 time: 0.10 182.12/45.62 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.25 182.12/45.62 c calculated reachability. Time: 0.00 182.12/45.62 c N dy 1381 238264 4849 20796 0 37239 63233 2035356 67.51 no data -- 191.30/47.90 c N dy 1478 253619 4849 20796 0 31596 63233 1355158 67.58 72.54 -- 201.29/50.45 c N dy 1572 269859 4849 20796 0 25837 63233 643343 67.59 86.01 -- 212.08/53.13 c N dy 1680 287190 4849 20796 0 43166 63233 2456104 67.61 71.51 -- 223.26/55.95 c N dy 1794 305609 4849 20796 0 38582 63233 1897428 67.68 71.40 -- 223.66/56.06 c F st 1800 306252 4849 20796 0 39225 63233 1964531 67.69 no data -- 235.67/59.09 c N dy 1895 325145 4849 20796 0 34120 63233 1322360 67.70 72.39 -- 249.25/62.43 c N dy 2023 345221 4849 20796 0 29199 63233 704238 67.78 72.18 -- 256.82/64.33 c S st 2095 357398 4849 20796 0 41376 63233 1999284 67.79 no data -- 257.22/64.43 c S st 2095 357901 4849 20796 0 41879 63233 2042396 67.79 no data -- 257.22/64.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 257.22/64.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 257.22/64.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.12 257.64/64.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 257.64/64.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 257.64/64.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 257.64/64.55 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 274.41/68.73 c lits-rem: 64 cl-subs: 4 v-elim: 0 v-fix: 0 time: 16.70 s 274.41/68.73 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 274.41/68.76 c vivif2 -- cl tried 41875 cl shrink 0 lits rem 0 time: 0.10 274.81/68.83 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.29 274.81/68.83 c calculated reachability. Time: 0.00 274.81/68.83 c N dy 2095 357901 4849 20796 0 41875 63233 2041547 67.79 no data -- 288.41/72.25 c N dy 2217 377952 4849 20796 0 35926 63233 1312742 67.82 76.86 -- 302.37/75.74 c N dy 2326 398245 4849 20796 0 29220 63233 490998 67.73 72.72 -- 315.55/79.07 c N dy 2443 418307 4849 20796 0 49282 63233 2605548 67.71 71.94 -- 329.13/82.47 c N dy 2567 438334 4849 20796 0 41307 63233 1679601 67.74 84.34 -- 343.92/86.15 c N dy 2692 458360 4849 20796 0 32334 63233 637295 67.75 73.32 -- 357.90/89.61 c N dy 2810 478478 4849 20796 0 52448 63233 2775396 67.78 72.26 -- 371.90/93.17 c N dy 2933 498543 4849 20796 0 42518 63233 1623865 67.79 75.40 -- 387.87/97.14 c N dy 3060 518545 4849 20796 0 31523 63233 342743 67.79 71.48 -- 400.25/100.23 c S st 3176 536852 4849 20796 0 49826 63233 2277797 67.82 no data -- 400.65/100.34 c S st 3176 537356 4849 20796 0 50330 63233 2319883 67.82 no data -- 400.65/100.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 400.65/100.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 400.65/100.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.15 401.05/100.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 401.05/100.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 401.05/100.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 401.05/100.48 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 425.04/106.43 c lits-rem: 17 cl-subs: 9 v-elim: 0 v-fix: 0 time: 23.75 s 425.04/106.43 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 425.04/106.46 c vivif2 -- cl tried 50321 cl shrink 0 lits rem 0 time: 0.11 425.42/106.55 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.34 425.42/106.55 c calculated reachability. Time: 0.00 425.42/106.55 c N dy 3176 537356 4849 20796 0 50321 63233 2318067 67.82 no data -- 440.61/110.36 c N dy 3295 557369 4849 20796 0 38336 63233 966750 67.83 71.63 -- 455.40/114.07 c N dy 3424 577412 4849 20796 0 58375 63233 3081072 67.86 72.73 -- 470.57/117.86 c N dy 3551 597602 4849 20796 0 45561 63233 1620041 67.88 73.43 -- 486.95/121.93 c N dy 3677 617624 4849 20796 0 65579 63233 3752881 67.90 75.66 -- 501.72/125.61 c N dy 3795 637685 4849 20796 0 51645 63233 2161794 67.91 72.79 -- 518.90/129.97 c N dy 3918 657801 4849 20796 0 36772 63233 498119 67.94 72.81 -- 534.50/133.81 c N dy 4038 677862 4849 20796 0 56832 63233 2635575 67.97 72.45 -- 552.08/138.22 c N dy 4162 697914 4849 20796 0 40880 63233 849340 67.98 73.01 -- 568.04/142.26 c N dy 4285 717937 4849 20796 0 60895 63233 2979706 68.01 71.79 -- 585.61/146.68 c N dy 4405 737948 4849 20796 0 43913 63233 1055278 68.01 72.73 -- 602.39/150.87 c N dy 4535 758092 4849 20796 0 64055 63233 3202340 68.04 71.96 -- 620.37/155.30 c N dy 4660 778129 4849 20796 0 46092 63233 1204327 68.06 77.23 -- 637.55/159.63 c N dy 4791 798222 4849 20796 0 66183 63233 3365359 68.10 72.77 -- 645.14/161.58 c S st 4843 806034 4849 20796 0 73995 63233 4194375 68.10 no data -- 645.93/161.74 c S st 4843 806540 4849 20796 0 74501 63233 4233936 68.10 no data -- 645.93/161.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 645.93/161.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 646.33/161.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.23 647.13/162.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 647.13/162.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 647.13/162.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 647.13/162.00 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 909.99/227.88 c lits-rem: 12 cl-subs: 11 v-elim: 0 v-fix: 0 time: 262.68 s 909.99/227.88 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 910.39/227.93 c vivif2 -- cl tried 74490 cl shrink 0 lits rem 0 time: 0.20 910.79/228.06 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.52 910.79/228.07 c calculated reachability. Time: 0.00 910.79/228.07 c N dy 4843 806540 4849 20796 0 74490 63233 4231983 68.10 no data -- 926.77/232.04 c N dy 4973 826549 4849 20796 0 55497 63233 2108239 68.13 71.83 -- 944.75/236.59 c N dy 5088 846645 4849 20796 0 75592 63233 4260502 68.12 72.70 -- 961.16/240.65 c N dy 5209 866680 4849 20796 0 55632 63233 1999983 68.13 71.81 -- 979.11/245.18 c N dy 5330 886827 4849 20796 0 75776 63233 4139552 68.14 71.80 -- 996.69/249.58 c N dy 5462 906844 4849 20796 0 54795 63233 1818586 68.17 77.66 -- 1015.87/254.35 c N dy 5577 927079 4849 20796 0 75027 63233 3977395 68.17 72.46 -- 1034.64/259.04 c N dy 5713 947124 4849 20796 0 53073 63233 1539974 68.20 71.84 -- 1053.03/263.67 c N dy 5824 967210 4849 20796 0 73158 63233 3670206 68.20 75.27 -- 1072.99/268.60 c N dy 5955 987211 4849 20796 0 50161 63233 1132503 68.23 74.27 -- 1090.97/273.11 c N dy 6091 1007275 4849 20796 0 70221 63233 3289773 68.27 79.85 -- 1112.14/278.46 c N dy 6213 1027326 4849 20796 0 46281 63233 600662 68.27 73.25 -- 1129.72/282.83 c N dy 6335 1047425 4849 20796 0 66378 63233 2784045 68.30 82.35 -- 1150.88/288.10 c N dy 6448 1067502 4849 20796 0 86453 63233 4915788 68.29 71.97 -- 1155.68/289.34 c F st 6473 1071877 4849 20796 0 45832 63233 457595 68.29 no data -- 1168.46/292.57 c N dy 6545 1087528 4849 20796 0 61481 63233 2199799 68.30 72.77 -- 1189.26/297.70 c N dy 6673 1107614 4849 20796 0 81565 63233 4356444 68.33 72.03 -- 1209.21/302.74 c N dy 6793 1127623 4849 20796 0 55577 63233 1407516 68.33 76.71 -- 1228.39/307.51 c N dy 6919 1147673 4849 20796 0 75625 63233 3541303 68.33 72.41 -- 1250.77/313.14 c N dy 7037 1167858 4849 20796 0 48817 63233 574225 68.35 74.92 -- 1267.94/317.50 c N dy 7151 1187885 4849 20796 0 68839 63233 2702109 68.33 72.00 -- 1290.33/323.05 c N dy 7288 1208046 4849 20796 0 89000 63233 4868116 68.36 73.97 -- 1292.31/323.59 c S st 7298 1209811 4849 20796 0 90765 63233 5049827 68.36 61.87 -- 1293.11/323.79 c S st 7298 1210314 4849 20796 0 91268 63233 5090914 68.36 no data -- 1293.51/323.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1293.51/323.80 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1293.51/323.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.28 1294.31/324.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 1294.31/324.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1294.31/324.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 1294.31/324.09 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1704.57/426.75 c lits-rem: 0 cl-subs: 13 v-elim: 0 v-fix: 0 time: 409.57 s 1704.57/426.75 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 1704.97/426.81 c vivif2 -- cl tried 91255 cl shrink 0 lits rem 0 time: 0.25 1705.37/426.98 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.68 1705.37/426.99 c calculated reachability. Time: 0.00 1705.37/426.99 c N dy 7298 1210314 4849 20796 0 91255 63233 5088023 68.36 no data -- 1724.14/431.65 c N dy 7423 1230620 4849 20796 0 63561 63233 2064630 68.36 72.30 -- 1743.71/436.58 c N dy 7547 1250626 4849 20796 0 83565 63233 4209468 68.37 72.18 -- 1765.68/442.05 c N dy 7677 1270753 4849 20796 0 54694 63233 1017395 68.39 72.22 -- 1784.85/446.81 c N dy 7806 1290784 4849 20796 0 74723 63233 3151634 68.40 73.76 -- 1807.62/452.57 c N dy 7933 1310803 4849 20796 0 94738 63233 5286046 68.42 72.53 -- 1827.60/457.59 c N dy 8072 1330867 4849 20796 0 64806 63233 1999141 68.45 72.55 -- 1848.79/462.87 c N dy 8186 1351190 4849 20796 0 85128 63233 4170899 68.44 72.51 -- 1872.73/468.85 c N dy 8309 1371328 4849 20796 0 54267 63233 762903 68.45 72.39 -- 1891.52/473.56 c N dy 8440 1391450 4849 20796 0 74388 63233 2940554 68.48 72.33 -- 1914.71/479.31 c N dy 8566 1411505 4849 20796 0 94439 63233 5092361 68.49 72.40 -- 1936.67/484.85 c N dy 8692 1431625 4849 20796 0 62562 63233 1538972 68.49 73.96 -- 1957.43/490.01 c N dy 8804 1451626 4849 20796 0 82562 63233 3684144 68.49 79.58 -- 1981.79/496.11 c N dy 8916 1471630 4849 20796 0 102560 63233 5803679 68.48 72.20 -- 2001.78/501.15 c N dy 9047 1491914 4849 20796 0 69850 63233 2226724 68.50 72.17 -- 2023.75/506.63 c N dy 9162 1512063 4849 20796 0 89993 63233 4391609 68.50 74.05 -- 2049.32/513.09 c N dy 9297 1532139 4849 20796 0 56078 63233 647645 68.52 80.08 -- 2068.51/517.89 c N dy 9433 1552219 4849 20796 0 76156 63233 2826357 68.54 88.39 -- 2092.06/523.75 c N dy 9554 1572223 4849 20796 0 96153 63233 4985202 68.56 74.97 -- 2116.44/529.81 c N dy 9677 1592299 4849 20796 0 61239 63233 1097301 68.57 86.80 -- 2136.39/534.88 c N dy 9809 1612343 4849 20796 0 81282 63233 3239610 68.58 75.53 -- 2161.15/541.06 c N dy 9942 1632380 4849 20796 0 101317 63233 5385122 68.60 72.79 -- 2184.73/546.94 c N dy 10064 1652409 4849 20796 0 65347 63233 1439626 68.61 73.59 -- 2205.50/552.18 c N dy 10184 1672568 4849 20796 0 85505 63233 3584553 68.62 73.31 -- 2231.09/558.55 c N dy 10315 1692605 4849 20796 0 105541 63233 5729623 68.63 73.92 -- 2251.84/563.76 c S st 10428 1710316 4849 20796 0 66255 63233 1435976 68.65 no data -- 2252.65/563.91 c S st 10428 1710818 4849 20796 0 66757 63233 1478381 68.65 no data -- 2252.65/563.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2252.65/563.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2252.65/563.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.19 2253.06/564.03 c bin-w-bin subsume rem 0 bins time: 0.01 s 2253.06/564.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2253.06/564.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.01 s 2253.06/564.03 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2268.22/567.89 c lits-rem: 15 cl-subs: 6 v-elim: 0 v-fix: 0 time: 15.43 s 2268.22/567.89 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 2268.62/567.92 c vivif2 -- cl tried 66751 cl shrink 0 lits rem 0 time: 0.08 2269.02/568.03 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.45 2269.02/568.03 c calculated reachability. Time: 0.00 2269.02/568.03 c N dy 10428 1710818 4849 20796 0 66751 63233 1477592 68.65 no data -- 2290.18/573.31 c N dy 10555 1730864 4849 20796 0 86796 63233 3637375 68.66 73.71 -- 2315.75/579.73 c N dy 10678 1751271 4849 20796 0 107201 63233 5832018 68.66 72.37 -- 2339.32/585.70 c N dy 10806 1771394 4849 20796 0 69321 63233 1656450 68.68 72.47 -- 2362.10/591.35 c N dy 10921 1791616 4849 20796 0 89539 63233 3843493 68.69 75.75 -- 2389.65/598.23 c N dy 11054 1811710 4849 20796 0 109632 63233 6017855 68.70 72.67 -- 2413.61/604.25 c N dy 11167 1831751 4849 20796 0 70676 63233 1695014 68.70 72.92 -- 2435.20/609.69 c N dy 11291 1851798 4849 20796 0 90722 63233 3868279 68.71 86.34 -- 2461.56/616.26 c N dy 11424 1872050 4849 20796 0 110972 63233 6033551 68.73 72.46 -- 2484.73/622.06 c N dy 11565 1892169 4849 20796 0 71105 63233 1639182 68.75 73.40 -- 2505.51/627.29 c N dy 11696 1912221 4849 20796 0 91153 63233 3802438 68.77 72.63 -- 2530.67/633.52 c N dy 11816 1932361 4849 20796 0 111291 63233 5957926 68.77 72.76 -- 2554.23/639.48 c N dy 11952 1952526 4849 20796 0 70461 63233 1489562 68.79 73.96 -- 2575.00/644.69 c N dy 12080 1972553 4849 20796 0 90488 63233 3645908 68.80 75.37 -- 2600.57/651.00 c N dy 12200 1992575 4849 20796 0 110510 63233 5798066 68.80 79.46 -- 2625.74/657.32 c N dy 12330 2012629 4849 20796 0 68561 63233 1189815 68.81 75.47 -- 2645.72/662.37 c N dy 12436 2032729 4849 20796 0 88661 63233 3344322 68.81 72.96 -- 2670.88/668.61 c N dy 12567 2052796 4849 20796 0 108727 63233 5521130 68.83 73.55 -- 2697.65/675.39 c N dy 12688 2072809 4849 20796 0 65739 63233 773412 68.83 74.83 -- 2717.63/680.35 c N dy 12807 2092951 4849 20796 0 85879 63233 2938130 68.84 72.95 -- 2742.00/686.40 c N dy 12931 2113006 4849 20796 0 105932 63233 5093087 68.84 72.89 -- 2769.97/693.45 c N dy 13066 2133040 4849 20796 0 125964 63233 7267049 68.86 76.19 -- 2790.34/698.58 c N dy 13188 2153063 4849 20796 0 81989 63233 2416151 68.86 86.49 -- 2813.51/704.38 c N dy 13315 2173209 4849 20796 0 102131 63233 4582449 68.87 73.44 -- 2841.48/711.38 c N dy 13457 2193316 4849 20796 0 122236 63233 6768536 68.89 75.00 -- 2862.24/716.56 c S st 13567 2210819 4849 20796 0 74744 63233 1538780 68.89 64.85 -- 2863.04/716.72 c S st 13567 2211322 4849 20796 0 75247 63233 1579470 68.89 no data -- 2863.04/716.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2863.04/716.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2863.04/716.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.20 2863.46/716.84 c bin-w-bin subsume rem 0 bins time: 0.01 s 2863.46/716.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2863.46/716.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.00 s 2863.46/716.85 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2881.44/721.32 c lits-rem: 34 cl-subs: 5 v-elim: 0 v-fix: 0 time: 17.84 s 2881.44/721.32 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.01 2881.44/721.34 c vivif2 -- cl tried 75242 cl shrink 0 lits rem 0 time: 0.08 2881.82/721.46 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.48 2881.82/721.46 c calculated reachability. Time: 0.00 2881.82/721.47 c N dy 13567 2211322 4849 20796 0 75242 63233 1578502 68.89 no data -- 2903.41/726.84 c N dy 13695 2231437 4849 20796 0 95355 63233 3760787 68.90 73.57 -- 2929.38/733.36 c N dy 13823 2251521 4849 20796 0 115436 63233 5921141 68.91 75.20 -- 2957.72/740.44 c N dy 13948 2271835 4849 20796 0 69760 63233 900801 68.92 74.58 -- 2978.12/745.56 c N dy 14073 2291865 4849 20796 0 89789 63233 3043279 68.93 72.64 -- 3002.87/751.75 c N dy 14199 2312083 4849 20796 0 110006 63233 5201965 68.93 73.71 -- 3032.83/759.22 c N dy 14333 2332163 4849 20796 0 130084 63233 7365581 68.95 72.99 -- 3056.00/765.02 c N dy 14460 2352164 4849 20796 0 83092 63233 2232829 68.96 72.81 -- 3079.97/771.09 c N dy 14584 2372255 4849 20796 0 103182 63233 4395026 68.97 73.73 -- 3109.55/778.42 c N dy 14707 2392392 4849 20796 0 123318 63233 6574303 68.97 72.66 -- 3139.09/785.80 c N dy 14824 2412660 4849 20796 0 75592 63233 1345561 68.98 74.84 -- 3162.68/791.76 c N dy 14942 2432828 4849 20796 0 95759 63233 3507568 68.98 76.25 -- 3191.82/799.02 c N dy 15064 2453276 4849 20796 0 116204 63233 5700492 68.98 74.58 -- 3224.57/807.29 c N dy 15184 2473320 4849 20796 0 136244 63233 7870604 68.98 72.71 -- 3248.54/813.26 c N dy 15318 2493486 4849 20796 0 87417 63233 2491001 68.99 72.70 -- 3276.11/820.11 c N dy 15446 2513562 4849 20796 0 107491 63233 4648663 68.99 72.98 -- 3308.46/828.29 c N dy 15570 2533630 4849 20796 0 127558 63233 6804922 69.00 82.56 -- 3340.02/836.12 c N dy 15703 2553877 4849 20796 0 77809 63233 1365802 69.01 73.63 -- 3364.81/842.35 c N dy 15828 2573998 4849 20796 0 97927 63233 3525175 69.02 73.21 -- 3395.16/849.95 c N dy 15958 2594182 4849 20796 0 118111 63233 5710143 69.03 72.71 -- 3426.69/857.85 c N dy 16082 2614218 4849 20796 0 138142 63233 7838730 69.03 80.51 -- 3449.87/863.67 c N dy 16216 2634394 4849 20796 0 87318 63233 2291041 69.04 76.04 -- 3474.25/869.73 c N dy 16343 2654484 4849 20796 0 107406 63233 4439730 69.05 74.85 -- 3502.60/876.80 c N dy 16469 2674520 4849 20796 0 127437 63233 6601044 69.06 74.08 -- 3532.17/884.24 c N dy 16571 2694590 4849 20796 0 75518 63233 894459 69.05 72.74 -- 3549.74/888.69 c S st 16674 2711324 4849 20796 0 92250 63233 2691141 69.06 no data -- 3550.54/888.89 c S st 16674 2711825 4849 20796 0 92751 63233 2730074 69.06 no data -- 3550.94/888.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3550.94/888.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3550.94/888.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.26 3551.34/889.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 3551.34/889.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3551.34/889.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.01 s 3551.34/889.07 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3598.07/900.74 c lits-rem: 11 cl-subs: 10 v-elim: 0 v-fix: 0 time: 46.55 s 3598.07/900.74 c vivif2 -- cl tried 20796 cl shrink 0 lits rem 0 time: 0.00 3598.07/900.77 c vivif2 -- cl tried 92741 cl shrink 0 lits rem 0 time: 0.14 3598.88/900.93 c asymm cl-useful: 0/20796/20796 lits-rem:0 time: 0.61 3598.88/900.93 c calculated reachability. Time: 0.00 3598.88/900.93 c N dy 16674 2711825 4849 20796 0 92741 63233 2727892 69.06 no data -- 3623.67/907.18 c N dy 16804 2731947 4849 20796 0 112860 63233 4872447 69.06 73.35 -- 3652.82/914.48 c N dy 16936 2751963 4849 20796 0 132873 63233 7036981 69.07 81.48 -- 3681.20/921.59 c N dy 17062 2772003 4849 20796 0 79919 63233 1283292 69.08 76.88 -- 3703.95/927.23 c N dy 17194 2792071 4849 20796 0 99985 63233 3450877 69.10 76.69 -- 3730.71/933.91 c N dy 17318 2812119 4849 20796 0 120032 63233 5617356 69.10 73.59 -- 3761.48/941.63 c N dy 17437 2832133 4849 20796 0 140044 63233 7785691 69.11 72.89 -- 3788.25/948.32 c N dy 17572 2852360 4849 20796 0 86272 63233 1879226 69.12 73.00 -- 3812.23/954.30 c N dy 17700 2872454 4849 20796 0 106364 63233 4046282 69.13 76.06 -- 3840.19/961.38 c N dy 17826 2892727 4849 20796 0 126635 63233 6230528 69.13 74.30 -- 3873.35/969.69 c N dy 17959 2913026 4849 20796 0 146932 63233 8424218 69.14 73.70 -- 3897.31/975.60 c N dy 18080 2933336 4849 20796 0 92246 63233 2403765 69.15 73.94 -- 3921.69/981.78 c N dy 18197 2953359 4849 20796 0 112268 63233 4554892 69.15 73.52 -- 3950.85/989.07 c N dy 18330 2973488 4849 20796 0 132393 63233 6728411 69.16 73.51 -- 3985.20/997.69 c N dy 18470 2993567 4849 20796 0 76476 63233 608650 69.17 72.95 -- 4007.58/1003.25 c N dy 18603 3013957 4849 20796 0 96863 63233 2821155 69.18 73.07 -- 4033.54/1009.70 c N dy 18716 3034093 4849 20796 0 116996 63233 4986246 69.18 73.74 -- 4063.91/1017.33 c N dy 18850 3054142 4849 20796 0 137042 63233 7170864 69.19 73.51 -- 4098.67/1026.02 c N dy 18978 3074271 4849 20796 0 80186 63233 916615 69.19 73.00 -- 4123.82/1032.35 c N dy 19104 3094281 4849 20796 0 100195 63233 3091472 69.19 73.22 -- 4154.59/1040.04 c N dy 19218 3114309 4849 20796 0 120223 63233 5242298 69.19 75.27 -- 4191.33/1049.26 c N dy 19350 3134332 4849 20796 0 140245 63233 7392936 69.20 74.03 -- 4229.28/1058.79 c N dy 19484 3154454 4849 20796 0 82368 63233 1038898 69.21 73.66 -- 4256.46/1065.50 c N dy 19615 3174475 4849 20796 0 102388 63233 3223697 69.22 72.89 -- 4288.40/1073.53 c N dy 19743 3194623 4849 20796 0 122534 63233 5415120 69.23 72.96 -- 4319.15/1081.29 c S st 19841 3211826 4849 20796 0 139734 63233 7252050 69.23 no data -- 4320.75/1081.61 c S st 19841 3212331 4849 20796 0 140239 63233 7291466 69.23 no data -- 4320.75/1081.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4320.75/1081.63 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4321.15/1081.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.45 4322.77/1082.11 c bin-w-bin subsume rem 0 bins time: 0.01 s 4322.77/1082.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4322.77/1082.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4849 time: 0.01 s 4322.77/1082.11 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 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: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174939-1304056227/watcher-3174939-1304056227 -o /tmp/evaluation-result-3174939-1304056227/solver-3174939-1304056227 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174939-1304056227.cnf running on 4 cores: 0,2,4,6 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: 6.77 7.78 7.97 2/174 9265 /proc/meminfo: memFree=19552404/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 498038841 52465664 353 33554432000 4194304 4650419 140734406992912 18446744073709551615 47413148493746 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 12809 353 303 112 0 7774 0 [pid=9265/tid=9266] ppid=9263 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 498038841 52465664 353 33554432000 4194304 4650419 140734406992912 18446744073709551615 47413148493740 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 498038841 52465664 353 33554432000 4194304 4650419 140734406992912 18446744073709551615 47413148493746 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 498038841 52465664 353 33554432000 4194304 4650419 140734406992912 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.074365 s] /proc/loadavg: 6.77 7.78 7.97 2/174 9265 /proc/meminfo: memFree=19552404/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=289252 CPUtime=0.24 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 7599 0 0 0 22 2 0 0 18 0 4 0 498038841 296194048 6397 33554432000 4194304 4650419 140734406992912 18446744073709551615 4451427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 72366 6475 386 112 0 67331 0 [pid=9265/tid=9266] ppid=9263 vsize=289780 CPUtime=0.06 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 2066 0 0 0 6 0 0 0 18 0 4 0 498038841 296734720 6535 33554432000 4194304 4650419 140734406992912 18446744073709551615 4420393 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=292296 CPUtime=0.85 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 3478 0 0 0 84 1 0 0 19 0 4 0 498038841 299311104 8474 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=292296 CPUtime=0.84 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 2107 0 0 0 84 0 0 0 19 0 4 0 498038841 299311104 8474 33554432000 4194304 4650419 140734406992912 18446744073709551615 4330472 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.24 Current children cumulated vsize (KiB) 289252 [startup+0.937458 s] /proc/loadavg: 6.77 7.78 7.97 2/174 9265 /proc/meminfo: memFree=19552404/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=292296 CPUtime=3.82 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 12980 0 0 0 379 3 0 0 19 0 4 0 498038841 299311104 8898 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366047 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 73074 8898 392 112 0 68039 0 [pid=9265/tid=9266] ppid=9263 vsize=292296 CPUtime=0.95 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 3314 0 0 0 95 0 0 0 19 0 4 0 498038841 299311104 8898 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=292296 CPUtime=0.95 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 3582 0 0 0 94 1 0 0 19 0 4 0 498038841 299311104 8898 33554432000 4194304 4650419 140734406992912 18446744073709551615 4328378 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=292296 CPUtime=0.94 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 2209 0 0 0 94 0 0 0 19 0 4 0 498038841 299311104 8898 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 292296 [startup+1.0677 s] /proc/loadavg: 6.77 7.78 7.97 2/174 9265 /proc/meminfo: memFree=19552404/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=292296 CPUtime=4.22 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 13390 0 0 0 419 3 0 0 19 0 4 0 498038841 299311104 9308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4315085 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 73074 9308 392 112 0 68039 0 [pid=9265/tid=9266] ppid=9263 vsize=292296 CPUtime=1.05 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 3415 0 0 0 105 0 0 0 19 0 4 0 498038841 299311104 9308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4329392 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=292296 CPUtime=1.05 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 3686 0 0 0 104 1 0 0 19 0 4 0 498038841 299311104 9308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=292296 CPUtime=1.04 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 2310 0 0 0 104 0 0 0 19 0 4 0 498038841 299311104 9308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 292296 [startup+1.16769 s] /proc/loadavg: 6.77 7.78 7.97 2/174 9265 /proc/meminfo: memFree=19552404/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=302768 CPUtime=4.61 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 15137 0 0 0 458 3 0 0 19 0 4 0 498038841 310034432 8511 33554432000 4194304 4650419 140734406992912 18446744073709551615 4511618 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 75692 8511 392 112 0 70657 0 [pid=9265/tid=9266] ppid=9263 vsize=302768 CPUtime=1.15 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 3876 0 0 0 115 0 0 0 19 0 4 0 498038841 310034432 8511 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=302768 CPUtime=1.15 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 4047 0 0 0 114 1 0 0 19 0 4 0 498038841 310034432 8511 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=302768 CPUtime=1.14 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 2763 0 0 0 114 0 0 0 19 0 4 0 498038841 310034432 8511 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366882 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 302768 [startup+1.50063 s] /proc/loadavg: 6.77 7.78 7.97 2/174 9265 /proc/meminfo: memFree=19552404/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=293480 CPUtime=5.94 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 16555 0 0 0 591 3 0 0 20 0 4 0 498038841 300523520 9031 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 73370 9031 392 112 0 68335 0 [pid=9265/tid=9266] ppid=9263 vsize=293480 CPUtime=1.48 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 4234 0 0 0 148 0 0 0 19 0 4 0 498038841 300523520 9031 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=293480 CPUtime=1.48 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 4405 0 0 0 147 1 0 0 20 0 4 0 498038841 300523520 9031 33554432000 4194304 4650419 140734406992912 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=293480 CPUtime=1.47 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 3114 0 0 0 147 0 0 0 20 0 4 0 498038841 300523520 9031 33554432000 4194304 4650419 140734406992912 18446744073709551615 4334521 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.94 Current children cumulated vsize (KiB) 293480 [startup+3.10035 s] /proc/loadavg: 6.87 7.78 7.97 9/184 9278 /proc/meminfo: memFree=19353852/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=294572 CPUtime=12.34 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 25829 0 0 0 1228 6 0 0 25 0 4 0 498038841 301641728 9745 33554432000 4194304 4650419 140734406992912 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 73643 9745 393 112 0 68608 0 [pid=9265/tid=9266] ppid=9263 vsize=294572 CPUtime=3.08 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 6513 0 0 0 307 1 0 0 25 0 4 0 498038841 301641728 9745 33554432000 4194304 4650419 140734406992912 18446744073709551615 4328305 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=294572 CPUtime=3.07 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 6711 0 0 0 306 1 0 0 25 0 4 0 498038841 301641728 9745 33554432000 4194304 4650419 140734406992912 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=294572 CPUtime=3.07 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 5402 0 0 0 306 1 0 0 25 0 4 0 498038841 301641728 9745 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 294572 [startup+6.30678 s] /proc/loadavg: 6.87 7.78 7.97 9/184 9278 /proc/meminfo: memFree=19244988/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=295504 CPUtime=25.14 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 49427 0 0 0 2503 11 0 0 25 0 4 0 498038841 302596096 26277 33554432000 4194304 4650419 140734406992912 18446744073709551615 4315054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 73876 26277 394 112 0 68841 0 [pid=9265/tid=9266] ppid=9263 vsize=295504 CPUtime=6.29 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 10861 0 0 0 627 2 0 0 25 0 4 0 498038841 302596096 26277 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=295504 CPUtime=6.28 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 14688 0 0 0 625 3 0 0 25 0 4 0 498038841 302596096 26278 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=295504 CPUtime=6.25 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 12469 0 0 0 623 2 0 0 25 0 4 0 498038841 302596096 26278 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 295504 [startup+12.7007 s] /proc/loadavg: 6.96 7.78 7.97 9/184 9278 /proc/meminfo: memFree=19210672/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=296012 CPUtime=50.69 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 82092 0 0 0 5050 19 0 0 25 0 4 0 498038841 303116288 40308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363469 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 74003 40308 394 112 0 68968 0 [pid=9265/tid=9266] ppid=9263 vsize=296012 CPUtime=12.69 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 20908 0 0 0 1264 5 0 0 25 0 4 0 498038841 303116288 40308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4360452 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=296012 CPUtime=12.68 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 24871 0 0 0 1262 6 0 0 25 0 4 0 498038841 303116288 40308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=296012 CPUtime=12.62 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 19429 0 0 0 1258 4 0 0 25 0 4 0 498038841 303116288 40308 33554432000 4194304 4650419 140734406992912 18446744073709551615 4334514 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 296012 [startup+25.5004 s] /proc/loadavg: 7.19 7.79 7.97 9/184 9279 /proc/meminfo: memFree=18861892/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=306540 CPUtime=101.82 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 134164 0 0 0 10149 33 0 0 25 0 4 0 498038841 313896960 50067 33554432000 4194304 4650419 140734406992912 18446744073709551615 4331993 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 76635 50067 394 112 0 71600 0 [pid=9265/tid=9266] ppid=9263 vsize=306540 CPUtime=25.49 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 33800 0 0 0 2540 9 0 0 25 0 4 0 498038841 313896960 50067 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=306540 CPUtime=25.48 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 36210 0 0 0 2540 8 0 0 25 0 4 0 498038841 313896960 50067 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=306540 CPUtime=25.35 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 32390 0 0 0 2528 7 0 0 25 0 4 0 498038841 313896960 50067 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.82 Current children cumulated vsize (KiB) 306540 [startup+51.1009 s] /proc/loadavg: 7.52 7.83 7.97 9/184 9279 /proc/meminfo: memFree=18714388/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=438772 CPUtime=204.09 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 212548 0 0 0 20358 51 0 0 25 0 4 0 498038841 449302528 63121 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 109693 63121 394 112 0 104658 0 [pid=9265/tid=9266] ppid=9263 vsize=438772 CPUtime=51.09 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 54903 0 0 0 5095 14 0 0 25 0 4 0 498038841 449302528 63121 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=438772 CPUtime=51.08 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 58719 0 0 0 5094 14 0 0 25 0 4 0 498038841 449302528 63121 33554432000 4194304 4650419 140734406992912 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=438772 CPUtime=50.84 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 51474 0 0 0 5072 12 0 0 25 0 4 0 498038841 449302528 63121 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 204.09 Current children cumulated vsize (KiB) 438772 [startup+102.301 s] /proc/loadavg: 7.86 7.87 7.98 9/184 9281 /proc/meminfo: memFree=18555400/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=525244 CPUtime=408.64 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 346241 0 0 0 40776 88 0 0 25 0 4 0 498038841 537849856 71336 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 131311 71336 394 112 0 126276 0 [pid=9265/tid=9266] ppid=9263 vsize=525244 CPUtime=102.28 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 88394 0 0 0 10203 25 0 0 25 0 4 0 498038841 537849856 71336 33554432000 4194304 4650419 140734406992912 18446744073709551615 4332033 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=525244 CPUtime=102.27 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 92583 0 0 0 10203 24 0 0 25 0 4 0 498038841 537849856 71336 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364521 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=525244 CPUtime=101.79 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 86682 0 0 0 10158 21 0 0 25 0 4 0 498038841 537849856 71336 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.64 Current children cumulated vsize (KiB) 525244 [startup+162.3 s] ################ # More data... # ################ [pid=9265] ppid=9263 vsize=866228 CPUtime=2565.81 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 1403255 0 0 0 256168 413 0 0 25 0 4 0 498038841 887017472 159575 33554432000 4194304 4650419 140734406992912 18446744073709551615 4306748 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 216557 159575 394 112 0 211522 0 [pid=9265/tid=9266] ppid=9263 vsize=866228 CPUtime=642.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 281223 0 0 0 64121 106 0 0 25 0 4 0 498038841 887017472 159575 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=866228 CPUtime=642.22 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 472931 0 0 0 64103 119 0 0 25 0 4 0 498038841 887017472 159575 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=866228 CPUtime=639.02 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 293875 0 0 0 63809 93 0 0 25 0 4 0 498038841 887017472 159575 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2565.81 Current children cumulated vsize (KiB) 866228 [startup+702.3 s] /proc/loadavg: 8.10 8.07 8.02 9/184 9306 /proc/meminfo: memFree=17583364/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=920580 CPUtime=2805.52 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 1491199 0 0 0 280108 444 0 0 25 0 4 0 498038841 942673920 165542 33554432000 4194304 4650419 140734406992912 18446744073709551615 4303821 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 230145 165542 394 112 0 225110 0 [pid=9265/tid=9266] ppid=9263 vsize=920580 CPUtime=702.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 304532 0 0 0 70113 114 0 0 25 0 4 0 498038841 942673920 165542 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=920580 CPUtime=702.22 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 497090 0 0 0 70096 126 0 0 25 0 4 0 498038841 942673920 165542 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=920580 CPUtime=698.73 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 310168 0 0 0 69774 99 0 0 25 0 4 0 498038841 942673920 165542 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2805.52 Current children cumulated vsize (KiB) 920580 [startup+762.301 s] /proc/loadavg: 8.15 8.08 8.02 9/184 9307 /proc/meminfo: memFree=17732028/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=934164 CPUtime=3045.21 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 1571508 0 0 0 304047 474 0 0 25 0 4 0 498038841 956583936 166465 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 233541 166465 394 112 0 228506 0 [pid=9265/tid=9266] ppid=9263 vsize=934164 CPUtime=762.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 325809 0 0 0 76103 124 0 0 25 0 4 0 498038841 956583936 166465 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=934164 CPUtime=762.21 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 515449 0 0 0 76089 132 0 0 25 0 4 0 498038841 956583936 166465 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=934164 CPUtime=758.43 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 332562 0 0 0 75735 108 0 0 25 0 4 0 498038841 956583936 166465 33554432000 4194304 4650419 140734406992912 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3045.21 Current children cumulated vsize (KiB) 934164 [startup+822.3 s] /proc/loadavg: 8.17 8.09 8.03 9/184 9309 /proc/meminfo: memFree=17636904/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=1049028 CPUtime=3284.89 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 1652172 0 0 0 327988 501 0 0 25 0 4 0 498038841 1074204672 173867 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 262257 173867 394 112 0 257222 0 [pid=9265/tid=9266] ppid=9263 vsize=1049028 CPUtime=822.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 367612 0 0 0 82096 131 0 0 25 0 4 0 498038841 1074204672 173867 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=1049028 CPUtime=822.21 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 515449 0 0 0 82089 132 0 0 25 0 4 0 498038841 1074204672 173867 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=1049028 CPUtime=818.1 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 350596 0 0 0 81693 117 0 0 25 0 4 0 498038841 1074204672 173867 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3284.89 Current children cumulated vsize (KiB) 1049028 [startup+882.301 s] /proc/loadavg: 8.13 8.09 8.03 9/184 9310 /proc/meminfo: memFree=17608240/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=984420 CPUtime=3524.57 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 1787698 0 0 0 351926 531 0 0 25 0 4 0 498038841 1008046080 182106 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 246105 182106 394 112 0 241070 0 [pid=9265/tid=9266] ppid=9263 vsize=984420 CPUtime=882.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 465364 0 0 0 88080 147 0 0 25 0 4 0 498038841 1008046080 182106 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=984420 CPUtime=882.21 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 526250 0 0 0 88085 136 0 0 25 0 4 0 498038841 1008046080 182106 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=984420 CPUtime=877.79 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 360669 0 0 0 87658 121 0 0 25 0 4 0 498038841 1008046080 182106 33554432000 4194304 4650419 140734406992912 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3524.57 Current children cumulated vsize (KiB) 984420 [startup+942.301 s] /proc/loadavg: 8.11 8.09 8.02 9/184 9312 /proc/meminfo: memFree=17605492/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=986092 CPUtime=3764.3 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 1867136 0 0 0 375868 562 0 0 25 0 4 0 498038841 1009758208 183325 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 246523 183325 394 112 0 241488 0 [pid=9265/tid=9266] ppid=9263 vsize=986092 CPUtime=942.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 486141 0 0 0 94072 155 0 0 25 0 4 0 498038841 1009758208 183325 33554432000 4194304 4650419 140734406992912 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=986092 CPUtime=942.2 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 546314 0 0 0 94077 143 0 0 25 0 4 0 498038841 1009758208 183325 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=986092 CPUtime=937.51 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 381574 0 0 0 93621 130 0 0 25 0 4 0 498038841 1009758208 183325 33554432000 4194304 4650419 140734406992912 18446744073709551615 4333054 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3764.3 Current children cumulated vsize (KiB) 986092 [startup+1002.3 s] /proc/loadavg: 8.17 8.10 8.03 9/184 9314 /proc/meminfo: memFree=17658420/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=887932 CPUtime=4003.98 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 1945805 0 0 0 399807 591 0 0 25 0 4 0 498038841 909242368 173464 33554432000 4194304 4650419 140734406992912 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 221983 173464 394 112 0 216948 0 [pid=9265/tid=9266] ppid=9263 vsize=887932 CPUtime=1002.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 507948 0 0 0 100063 164 0 0 25 0 4 0 498038841 909242368 173464 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=887932 CPUtime=1002.2 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 564152 0 0 0 100069 151 0 0 25 0 4 0 498038841 909242368 173464 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=887932 CPUtime=997.22 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 401537 0 0 0 99586 136 0 0 25 0 4 0 498038841 909242368 173464 33554432000 4194304 4650419 140734406992912 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4003.98 Current children cumulated vsize (KiB) 887932 [startup+1062.31 s] /proc/loadavg: 8.18 8.11 8.03 9/184 9315 /proc/meminfo: memFree=17400860/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=1147712 CPUtime=4243.68 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 2043165 0 0 0 423749 619 0 0 25 0 4 0 498038841 1175257088 207769 33554432000 4194304 4650419 140734406992912 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 286928 207769 394 112 0 281893 0 [pid=9265/tid=9266] ppid=9263 vsize=1147712 CPUtime=1062.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 561988 0 0 0 106053 174 0 0 25 0 4 0 498038841 1175257088 207769 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=1147712 CPUtime=1062.19 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 569719 0 0 0 106067 152 0 0 25 0 4 0 498038841 1175257088 207769 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=1147712 CPUtime=1056.9 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 420810 0 0 0 105547 143 0 0 25 0 4 0 498038841 1175257088 207769 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4243.68 Current children cumulated vsize (KiB) 1147712 [startup+1122.3 s] /proc/loadavg: 8.17 8.12 8.04 9/184 9317 /proc/meminfo: memFree=17348772/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=1197956 CPUtime=4483.32 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 2114528 0 0 0 447699 633 0 0 25 0 4 0 498038841 1226706944 226471 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 299489 226471 394 112 0 294454 0 [pid=9265/tid=9266] ppid=9263 vsize=1197956 CPUtime=1122.27 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 608401 0 0 0 112046 181 0 0 25 0 4 0 498038841 1226706944 226471 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=1197956 CPUtime=1122.19 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 573286 0 0 0 112064 155 0 0 25 0 4 0 498038841 1226706944 226471 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=1197956 CPUtime=1116.57 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 420810 0 0 0 111514 143 0 0 25 0 4 0 498038841 1226706944 226471 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4483.32 Current children cumulated vsize (KiB) 1197956 [startup+1182.3 s] /proc/loadavg: 8.16 8.13 8.04 9/184 9318 /proc/meminfo: memFree=17291224/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=1198304 CPUtime=4723 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 2137990 0 0 0 471656 644 0 0 25 0 4 0 498038841 1227063296 225966 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 299576 225966 394 112 0 294541 0 [pid=9265/tid=9266] ppid=9263 vsize=1198304 CPUtime=1182.26 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 614692 0 0 0 118045 181 0 0 25 0 4 0 498038841 1227063296 225966 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=1198304 CPUtime=1182.18 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 588475 0 0 0 118054 164 0 0 25 0 4 0 498038841 1227063296 225966 33554432000 4194304 4650419 140734406992912 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=1198304 CPUtime=1176.24 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 422775 0 0 0 117481 143 0 0 25 0 4 0 498038841 1227063296 225966 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4723 Current children cumulated vsize (KiB) 1198304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.6 s] /proc/loadavg: 8.12 8.12 8.04 9/184 9319 /proc/meminfo: memFree=17286384/32951124 swapFree=67111524/67111528 [pid=9265] ppid=9263 vsize=1211004 CPUtime=4800.11 cores=0,2,4,6 /proc/9265/stat : 9265 (strangenight1-m) R 9263 9265 8638 0 -1 4202496 2147194 0 0 0 479364 647 0 0 25 0 4 0 498038841 1240068096 222437 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/9265/statm: 302751 222437 394 112 0 297716 0 [pid=9265/tid=9266] ppid=9263 vsize=1211004 CPUtime=1201.57 cores=0,2,4,6 /proc/9265/task/9266/stat : 9266 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 614692 0 0 0 119976 181 0 0 25 0 4 0 498038841 1240068096 222437 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=9265/tid=9267] ppid=9263 vsize=1211004 CPUtime=1201.49 cores=0,2,4,6 /proc/9265/task/9267/stat : 9267 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 594792 0 0 0 119982 167 0 0 25 0 4 0 498038841 1240068096 222437 33554432000 4194304 4650419 140734406992912 18446744073709551615 4333812 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=9265/tid=9268] ppid=9263 vsize=1211004 CPUtime=1195.43 cores=0,2,4,6 /proc/9265/task/9268/stat : 9268 (strangenight1-m) R 9263 9265 8638 0 -1 4202560 425662 0 0 0 119400 143 0 0 25 0 4 0 498038841 1240068096 222437 33554432000 4194304 4650419 140734406992912 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.11 Current children cumulated vsize (KiB) 1211004 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): 1201.65 CPU time (s): 4800.18 CPU user time (s): 4793.67 CPU system time (s): 6.51301 CPU usage (%): 399.464 Max. virtual memory (cumulated for all children) (KiB): 1211004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4793.67 system time used= 6.51301 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2147195 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= 2054 involuntary context switches= 33574 runsolver used 1.79673 second user time and 4.33634 second system time The end
Begin job on node144 at 2011-04-29 07:50:27 IDJOB=3174939 IDBENCH=82557 IDSOLVER=1588 FILE ID=node144/3174939-1304056227 RUNJOBID= node144-1304056227-9251 PBS_JOBID= 13170410 Free space on /tmp= 72412 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174939-1304056227/watcher-3174939-1304056227 -o /tmp/evaluation-result-3174939-1304056227/solver-3174939-1304056227 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3174939-1304056227.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b0eb7b0423dfe1c78c61b0932da62ffe RANDOM SEED=1021601666 node144.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.850 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.70 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.850 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 : 5226.16 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.850 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.75 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.75 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.850 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.82 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.850 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19552560 kB Buffers: 2206804 kB Cached: 10561632 kB SwapCached: 4 kB Active: 4687564 kB Inactive: 8147972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19552560 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 7524 kB Writeback: 0 kB AnonPages: 66464 kB Mapped: 14476 kB Slab: 499508 kB PageTables: 4868 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185912 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= 72396 MiB End job on node144 at 2011-04-29 08:10:31