| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.34 | 1201.74 |
| Name | CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf |
| MD5SUM | 6fdce6b69c397ad71b0f25957edff1fa |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 5.41518 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2420 |
| Number of clauses | 33572 |
| Sum of the clauses size | 97252 |
| Maximum clause length | 36 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 14396 |
| Number of clauses of size 3 | 13968 |
| Number of clauses of size 4 | 2628 |
| Number of clauses of size 5 | 2460 |
| Number of clauses of size over 5 | 120 |
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-3257449-1304033035.cnf' 0.00/0.00 c -- header says num vars: 2420 0.00/0.00 c -- header says num clauses: 33572 0.00/0.02 c -- clauses added: 0 learnts, 33572 normals, 0 xors 0.00/0.02 c -- vars added 2420 0.00/0.02 c Parsing time: 0.05 s 0.00/0.02 c N st 0 0 2420 19176 14396 0 97252 0 no data no data -- 0.00/0.24 c asymm cl-useful: 0/19176/19176 lits-rem:0 time: 0.90 0.95/0.28 c Flit: 52 Blit: 0 bXBeca: 0 bXProp: 36 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.14 0.95/0.28 c Replacing 36 vars Replaced 464 lits Time: 0.00 s 1.17/0.31 c bin-w-bin subsume rem 0 bins time: 0.01 s 1.17/0.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s 1.17/0.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 2332 time: 0.02 s 1.17/0.31 c Removed useless bin: 4 fixed: 0 props: 0.60M time: 0.01 s 3.17/0.83 c lits-rem: 0 cl-subs: 1302 v-elim: 27 v-fix: 0 time: 0.12 s 3.17/0.83 c Finding binary XORs T: 0.00 s found: 0 3.17/0.83 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 3.17/0.83 c calculated reachability. Time: 0.00 3.17/0.83 c Calc default polars - time: 0.00 s pos: 120 undec: 115 neg: 2185 3.17/0.83 c ========================================================================================= 3.17/0.83 c types(t): F = full restart, N = normal restart 3.17/0.83 c types(t): S = simplification begin/end, E = solution found 3.17/0.83 c restart types(rt): st = static, dy = dynamic 3.17/0.83 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.17/0.83 c B st 0 0 2305 17984 14111 0 95038 0 no data no data -- 3.17/0.83 c Decided on static restart strategy 3.17/0.83 c N st 8 4914 2305 17984 14141 4707 95038 352813 no data no data -- 3.97/1.03 c N st 10 11296 2305 17984 14306 4415 95038 258835 no data no data -- 6.36/1.61 c N st 11 17042 2305 17984 14308 9986 95038 721453 no data no data -- 8.76/2.28 c F st 12 25002 2305 17984 14421 12231 95038 886791 no data no data -- 8.76/2.29 c N st 12 25002 2305 17984 14421 12231 95038 886791 no data no data -- 11.15/2.89 c N dy 18 30000 2305 17984 14503 10540 95038 686151 no data no data -- 11.15/2.89 c S st 18 30000 2305 17984 14503 10540 95038 686151 no data no data -- 11.55/2.98 c S st 18 30500 2305 17984 14515 11028 95038 710516 no data no data -- 11.55/2.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 11.55/2.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.36/3.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 21491 BRemL: 17 BRemN: 0 P: 5.0M T: 0.61 12.36/3.17 c bin-w-bin subsume rem 5 bins time: 0.01 s 13.16/3.39 c subs with bin: 6 lits-rem: 1909 v-fix: 0 time: 0.90 s 13.57/3.42 c Subs w/ non-existent bins: 0 l-rem: 5710 v-fix: 0 done: 1425 time: 0.12 s 13.57/3.43 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.01 s 23.95/6.05 c lits-rem: 1781 cl-subs: 242 v-elim: 0 v-fix: 0 time: 10.47 s 24.74/6.28 c asymm cl-useful: 6/13949/17984 lits-rem:8 time: 0.91 24.74/6.28 c calculated reachability. Time: 0.00 24.74/6.28 c N dy 18 30500 2305 17984 35984 10780 94609 732716 no data no data -- 24.74/6.28 c Finding binary XORs T: 0.00 s found: 0 26.76/6.77 c N dy 37 34602 2305 17984 37243 14830 94609 999247 11.24 11.83 -- 28.73/7.22 c N dy 62 38797 2305 17984 37247 11221 94609 640401 11.54 12.19 -- 30.73/7.77 c N dy 86 43137 2305 17984 37247 15509 94609 914471 11.82 12.46 -- 32.33/8.19 c S st 107 45750 2305 17984 37247 9286 94609 452745 11.93 no data -- 32.73/8.25 c S st 107 46254 2305 17984 37247 9787 94609 478839 11.93 no data -- 32.73/8.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 32.73/8.26 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 33.13/8.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 9 BRemL: 53 BRemN: 0 P: 4.7M T: 0.46 33.13/8.39 c bin-w-bin subsume rem 3 bins time: 0.01 s 33.93/8.51 c subs with bin: 0 lits-rem: 76 v-fix: 0 time: 0.49 s 33.93/8.52 c Subs w/ non-existent bins: 0 l-rem: 2303 v-fix: 0 done: 2305 time: 0.06 s 33.93/8.53 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.01 s 37.93/9.51 c lits-rem: 97 cl-subs: 132 v-elim: 0 v-fix: 0 time: 3.94 s 37.93/9.52 c vivif2 -- cl tried 17984 cl shrink 1 lits rem 1 time: 0.01 37.93/9.53 c vivif2 -- cl tried 9655 cl shrink 1855 lits rem 10052 time: 0.05 38.32/9.60 c asymm cl-useful: 0/4035/17984 lits-rem:0 time: 0.30 38.32/9.61 c calculated reachability. Time: 0.00 38.32/9.61 c N dy 107 46254 2305 17984 37200 9655 94605 462560 11.93 no data -- 39.93/10.06 c Finding binary XORs T: 0.01 s found: 0 40.34/10.12 c N dy 130 50495 2305 17984 37799 13827 94605 727182 12.03 12.67 -- 42.71/10.70 c N dy 155 54539 2305 17984 37799 17783 94605 963160 12.20 16.11 -- 44.74/11.24 c N dy 169 59018 2305 17984 37813 12422 94605 615174 12.16 12.84 -- 46.71/11.72 c N dy 187 63308 2305 17984 37813 16664 94605 880750 12.17 12.81 -- 49.51/12.45 c N dy 213 67982 2305 17984 37844 21289 94605 1176706 12.26 12.96 -- 50.31/12.62 c S st 217 69383 2305 17984 37844 11824 94605 512720 12.22 12.91 -- 50.31/12.68 c S st 217 69884 2305 17984 37848 12322 94605 538661 12.22 no data -- 50.31/12.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 50.31/12.69 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 51.10/12.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 8 BRemL: 15 BRemN: 0 P: 5.3M T: 0.52 51.10/12.84 c bin-w-bin subsume rem 0 bins time: 0.01 s 51.50/12.96 c subs with bin: 4 lits-rem: 7 v-fix: 0 time: 0.49 s 51.50/12.97 c Subs w/ non-existent bins: 0 l-rem: 1711 v-fix: 0 done: 2305 time: 0.06 s 51.50/12.97 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.01 s 57.51/14.48 c lits-rem: 223 cl-subs: 226 v-elim: 0 v-fix: 0 time: 6.00 s 57.51/14.48 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.02 57.51/14.49 c vivif2 -- cl tried 12092 cl shrink 1033 lits rem 6345 time: 0.05 58.69/14.74 c asymm cl-useful: 0/10864/17984 lits-rem:0 time: 0.98 58.69/14.74 c calculated reachability. Time: 0.00 58.69/14.74 c N dy 217 69884 2305 17984 37841 12092 94605 526714 12.22 no data -- 61.09/15.33 c N dy 242 74360 2305 17984 37841 16512 94605 805109 12.31 14.75 -- 63.48/15.96 c N dy 266 79115 2305 17984 38292 21193 94605 1091516 12.37 22.34 -- 66.70/16.70 c N dy 300 84221 2305 17984 38294 14420 94605 641707 12.49 13.20 -- 68.28/17.14 c F st 309 87502 2305 17984 38294 17665 94605 843194 12.43 11.17 -- 70.28/17.61 c N st 314 90797 2305 17984 38295 20914 94605 1042138 12.43 no data -- 71.87/18.00 c Finding binary XORs T: 0.01 s found: 0 74.67/18.73 c N dy 338 96664 2305 17984 38296 13878 94605 566871 12.49 14.37 -- 78.27/19.64 c N dy 372 103061 2305 17984 38305 20194 94605 948515 12.54 13.26 -- 79.48/19.95 c S st 378 104826 2305 17984 38305 21940 94605 1054305 12.53 no data -- 79.88/20.06 c S st 378 105327 2305 17984 38305 22441 94605 1079927 12.53 no data -- 79.88/20.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 79.88/20.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 80.66/20.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 12 BRemL: 1 BRemN: 0 P: 7.7M T: 0.85 81.06/20.31 c bin-w-bin subsume rem 0 bins time: 0.02 s 82.25/20.64 c subs with bin: 0 lits-rem: 28 v-fix: 0 time: 1.33 s 82.25/20.68 c Subs w/ non-existent bins: 0 l-rem: 5617 v-fix: 0 done: 1601 time: 0.16 s 82.25/20.68 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.01 s 87.05/21.89 c lits-rem: 288 cl-subs: 303 v-elim: 0 v-fix: 0 time: 4.81 s 87.05/21.89 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 87.45/21.94 c vivif2 -- cl tried 22138 cl shrink 5320 lits rem 48245 time: 0.17 88.26/22.12 c asymm cl-useful: 0/7120/17984 lits-rem:0 time: 0.72 88.26/22.12 c calculated reachability. Time: 0.00 88.26/22.12 c N dy 378 105327 2305 17984 38316 22138 94605 1018239 12.53 no data -- 92.67/23.29 c N dy 417 112091 2305 17984 38349 15004 94605 597827 12.56 15.60 -- 97.06/24.35 c N dy 442 119492 2305 17984 38356 22315 94605 1026157 12.51 13.18 -- 102.63/25.73 c N dy 483 127191 2305 17984 38362 15115 94605 563148 12.55 15.60 -- 106.63/26.75 c N dy 518 135516 2305 17984 38363 23329 94605 1059532 12.53 13.43 -- 112.62/28.22 c N dy 546 144416 2305 17984 38365 16321 94605 616094 12.48 13.43 -- 117.81/29.58 c N dy 591 153695 2305 17984 38366 25496 94605 1150023 12.51 13.75 -- 121.41/30.42 c S st 608 157990 2305 17984 38366 29729 94605 1378857 12.50 12.28 -- 121.81/30.53 c S st 608 158495 2305 17984 38367 30233 94605 1407123 12.50 no data -- 121.81/30.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 121.81/30.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 123.01/30.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 28 BRemL: 0 BRemN: 0 P: 9.2M T: 1.05 123.01/30.84 c bin-w-bin subsume rem 0 bins time: 0.01 s 125.39/31.41 c subs with bin: 6 lits-rem: 15 v-fix: 0 time: 2.26 s 125.39/31.46 c Subs w/ non-existent bins: 0 l-rem: 6145 v-fix: 0 done: 926 time: 0.19 s 125.39/31.46 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.01 s 132.61/33.21 c lits-rem: 211 cl-subs: 461 v-elim: 0 v-fix: 0 time: 6.98 s 132.61/33.21 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 132.61/33.28 c vivif2 -- cl tried 29766 cl shrink 7367 lits rem 56579 time: 0.25 133.79/33.52 c asymm cl-useful: 0/5425/17984 lits-rem:0 time: 0.99 133.79/33.53 c calculated reachability. Time: 0.00 133.79/33.53 c N dy 608 158495 2305 17984 38395 29766 94605 1332477 12.50 no data -- 137.39/34.47 c Finding binary XORs T: 0.01 s found: 0 141.00/35.39 c N dy 665 168770 2305 17984 38732 23135 94605 991934 12.56 13.36 -- 148.97/37.34 c N dy 709 179674 2305 17984 38735 33911 94605 1616009 12.56 13.27 -- 156.56/39.23 c N dy 762 191738 2305 17984 38755 28058 94605 1233432 12.57 13.35 -- 165.34/41.41 c N dy 794 203987 2305 17984 38777 21388 94605 806741 12.52 18.83 -- 175.74/44.00 c N dy 855 217506 2305 17984 38780 34730 94605 1567084 12.51 13.22 -- 185.34/46.42 c N dy 894 231549 2305 17984 38783 28838 94605 1165763 12.46 13.13 -- 190.12/47.65 c S st 933 237742 2305 17984 38786 34964 94605 1523555 12.50 11.48 -- 190.52/47.79 c S st 933 238248 2305 17984 38788 35466 94605 1548583 12.50 no data -- 190.52/47.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 190.52/47.79 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 192.11/48.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 14 BRemL: 1 BRemN: 0 P: 10.6M T: 1.22 192.11/48.15 c bin-w-bin subsume rem 0 bins time: 0.01 s 194.91/48.82 c subs with bin: 5 lits-rem: 58 v-fix: 0 time: 2.69 s 194.91/48.88 c Subs w/ non-existent bins: 0 l-rem: 6932 v-fix: 0 done: 1050 time: 0.23 s 194.91/48.88 c Removed useless bin: 0 fixed: 0 props: 0.17M time: 0.01 s 201.69/50.54 c lits-rem: 126 cl-subs: 569 v-elim: 0 v-fix: 0 time: 6.61 s 201.69/50.54 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 202.09/50.61 c vivif2 -- cl tried 34892 cl shrink 8179 lits rem 60669 time: 0.27 202.92/50.85 c asymm cl-useful: 0/6945/17984 lits-rem:0 time: 0.96 202.92/50.85 c calculated reachability. Time: 0.00 202.92/50.85 c N dy 933 238248 2305 17984 38801 34892 94605 1466645 12.50 no data -- 216.10/54.10 c N dy 1015 253471 2305 17984 38817 29201 94605 1158279 12.52 13.21 -- 230.46/57.78 c N dy 1093 269966 2305 17984 38821 23761 94605 811374 12.52 13.19 -- 244.03/61.13 c N dy 1148 287268 2305 17984 38827 40846 94605 1771913 12.48 15.70 -- 252.03/63.19 c Finding binary XORs T: 0.01 s found: 0 259.22/64.92 c N dy 1222 305622 2305 17984 39094 36245 94605 1463150 12.47 13.15 -- 259.63/65.05 c F st 1226 306250 2305 17984 39094 36871 94605 1497888 12.47 11.53 -- 274.00/68.68 c N dy 1281 325350 2305 17984 39099 32035 94605 1182025 12.46 13.24 -- 292.77/73.37 c N dy 1355 345440 2305 17984 39109 27189 94605 866901 12.42 14.59 -- 301.16/75.40 c S st 1391 357376 2305 17984 39112 38975 94605 1528195 12.39 no data -- 301.56/75.53 c S st 1391 357876 2305 17984 39112 39474 94605 1553517 12.39 no data -- 301.56/75.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 301.56/75.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 302.77/75.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 11 BRemL: 0 BRemN: 0 P: 10.8M T: 1.27 303.16/75.90 c bin-w-bin subsume rem 0 bins time: 0.02 s 305.56/76.58 c subs with bin: 4 lits-rem: 84 v-fix: 0 time: 2.70 s 305.96/76.62 c Subs w/ non-existent bins: 0 l-rem: 4935 v-fix: 0 done: 893 time: 0.15 s 305.96/76.62 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.01 s 313.54/78.56 c lits-rem: 371 cl-subs: 948 v-elim: 0 v-fix: 0 time: 7.73 s 313.54/78.56 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 313.94/78.63 c vivif2 -- cl tried 38522 cl shrink 7421 lits rem 57969 time: 0.29 314.74/78.87 c asymm cl-useful: 0/5614/17984 lits-rem:0 time: 0.94 314.74/78.87 c calculated reachability. Time: 0.00 314.74/78.87 c N dy 1391 357876 2305 17984 39123 38522 94605 1473320 12.39 no data -- 333.52/83.58 c N dy 1485 377945 2305 17984 39136 32656 94605 1137101 12.40 14.72 -- 351.50/88.05 c N dy 1588 398032 2305 17984 39141 52545 94605 2232702 12.41 13.16 -- 369.07/92.41 c N dy 1677 419068 2305 17984 39146 46626 94605 1890872 12.41 13.16 -- 387.47/97.05 c N dy 1785 439168 2305 17984 39159 38846 94605 1394784 12.43 15.39 -- 407.82/102.17 c N dy 1889 459213 2305 17984 39170 29969 94605 884454 12.43 13.20 -- 424.59/106.33 c N dy 1970 479459 2305 17984 39178 49961 94605 1967801 12.42 13.15 -- 442.17/110.80 c N dy 2055 499740 2305 17984 39181 40370 94605 1418077 12.42 13.10 -- 463.74/116.10 c N dy 2134 519903 2305 17984 39189 60270 94605 2477974 12.40 13.37 -- 476.92/119.44 c S st 2204 536818 2305 17984 39197 46309 94605 1699723 12.40 12.28 -- 477.32/119.58 c S st 2204 537322 2305 17984 39197 46813 94605 1727805 12.40 no data -- 477.32/119.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 477.32/119.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 478.92/119.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 6 BRemL: 0 BRemN: 0 P: 12.6M T: 1.54 479.34/120.03 c bin-w-bin subsume rem 0 bins time: 0.02 s 482.12/120.71 c subs with bin: 4 lits-rem: 8 v-fix: 0 time: 2.75 s 482.12/120.76 c Subs w/ non-existent bins: 0 l-rem: 5578 v-fix: 0 done: 1472 time: 0.18 s 482.12/120.76 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.01 s 491.31/123.09 c lits-rem: 198 cl-subs: 1445 v-elim: 0 v-fix: 0 time: 9.30 s 491.71/123.10 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 491.71/123.18 c vivif2 -- cl tried 45364 cl shrink 8472 lits rem 59940 time: 0.32 492.92/123.46 c asymm cl-useful: 0/2563/17984 lits-rem:0 time: 1.13 492.92/123.46 c calculated reachability. Time: 0.00 492.92/123.46 c N dy 2204 537322 2305 17984 39203 45364 94605 1638908 12.40 no data -- 516.07/129.27 c N dy 2292 557383 2305 17984 39231 33606 94605 996378 12.40 17.97 -- 532.85/133.41 c N dy 2345 577415 2305 17984 39231 53397 94605 2076351 12.36 14.18 -- 553.63/138.63 c N dy 2410 598306 2305 17984 39238 41447 94605 1377661 12.34 13.05 -- 574.80/143.92 c N dy 2482 619163 2305 17984 39241 62067 94605 2477330 12.33 13.03 -- 592.37/148.35 c Finding binary XORs T: 0.01 s found: 0 594.36/148.86 c N dy 2575 640647 2305 17984 39386 49681 94605 1787451 12.33 13.05 -- 619.53/155.20 c N dy 2673 661210 2305 17984 39391 35430 94605 997226 12.34 13.21 -- 637.92/159.75 c N dy 2753 681406 2305 17984 39394 55404 94605 2108595 12.34 13.02 -- 661.07/165.53 c N dy 2843 701755 2305 17984 39398 39946 94605 1217218 12.34 13.03 -- 679.85/170.27 c N dy 2933 721842 2305 17984 39400 59809 94605 2280038 12.34 17.66 -- 702.22/175.83 c N dy 2990 741868 2305 17984 39405 43016 94605 1332455 12.32 13.11 -- 722.19/180.82 c N dy 3086 761890 2305 17984 39409 62802 94605 2406277 12.33 13.10 -- 745.36/186.62 c N dy 3174 782442 2305 17984 39413 45573 94605 1458491 12.33 12.99 -- 768.13/192.35 c N dy 3276 803417 2305 17984 39417 66314 94605 2619657 12.34 13.07 -- 771.33/193.11 c S st 3283 805983 2305 17984 39421 68859 94605 2750197 12.34 10.13 -- 772.13/193.32 c S st 3283 806484 2305 17984 39421 69359 94605 2781936 12.34 no data -- 772.13/193.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 772.13/193.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 774.52/193.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5 BRemL: 0 BRemN: 0 P: 18.0M T: 2.55 774.92/194.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 780.91/195.52 c subs with bin: 5 lits-rem: 47 v-fix: 0 time: 5.80 s 781.31/195.61 c Subs w/ non-existent bins: 0 l-rem: 8007 v-fix: 0 done: 435 time: 0.37 s 781.31/195.61 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.01 s 800.10/200.34 c lits-rem: 324 cl-subs: 1716 v-elim: 0 v-fix: 0 time: 18.85 s 800.10/200.34 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 800.88/200.51 c vivif2 -- cl tried 67638 cl shrink 18312 lits rem 133924 time: 0.66 802.08/200.83 c asymm cl-useful: 0/2793/17984 lits-rem:0 time: 1.28 802.08/200.83 c calculated reachability. Time: 0.00 802.08/200.83 c N dy 3283 806484 2305 17984 39426 67638 94605 2610643 12.34 no data -- 825.65/206.79 c N dy 3367 826584 2305 17984 39435 48931 94605 1615393 12.34 13.00 -- 848.83/212.58 c N dy 3448 846938 2305 17984 39442 69035 94605 2701826 12.34 13.01 -- 871.18/218.12 c N dy 3526 867074 2305 17984 39443 49414 94605 1622604 12.33 13.00 -- 893.95/223.88 c N dy 3622 887123 2305 17984 39450 69241 94605 2667113 12.34 17.35 -- 918.73/230.06 c N dy 3675 907220 2305 17984 39456 48573 94605 1533447 12.32 13.44 -- 941.11/235.63 c N dy 3757 927225 2305 17984 39459 68343 94605 2569640 12.32 13.03 -- 969.85/242.88 c N dy 3854 947993 2305 17984 39468 47364 94605 1440856 12.33 13.06 -- 992.22/248.41 c N dy 3958 968059 2305 17984 39471 67212 94605 2517151 12.34 13.08 -- 1020.20/255.45 c N dy 4046 988834 2305 17984 39474 45241 94605 1302708 12.34 13.14 -- 1043.35/261.20 c N dy 4140 1008853 2305 17984 39534 65048 94605 2375103 12.34 13.38 -- 1078.50/270.01 c N dy 4214 1030635 2305 17984 39538 86549 94605 3510060 12.33 12.99 -- 1099.29/275.26 c N dy 4306 1051086 2305 17984 39547 63282 94605 2283693 12.33 13.02 -- 1128.84/282.62 c N dy 4382 1071185 2305 17984 39548 83159 94605 3340181 12.33 18.17 -- 1129.66/282.86 c F st 4385 1071876 2305 17984 39548 83842 94605 3381866 12.33 9.64 -- 1152.80/288.65 c N dy 4473 1091242 2305 17984 39548 58526 94605 1985783 12.34 13.46 -- 1179.17/295.25 c N dy 4554 1111494 2305 17984 39548 78551 94605 3081279 12.34 13.44 -- 1209.92/302.98 c N dy 4643 1134833 2305 17984 39551 56105 94605 1832705 12.33 13.01 -- 1235.11/309.28 c N dy 4722 1154866 2305 17984 39554 75906 94605 2917873 12.33 13.14 -- 1269.45/317.86 c N dy 4805 1174914 2305 17984 39557 49293 94605 1472266 12.33 13.07 -- 1293.41/323.89 c N dy 4915 1194940 2305 17984 39561 69051 94605 2531620 12.34 18.94 -- 1319.00/330.23 c S st 4985 1209729 2305 17984 39564 83680 94605 3299404 12.34 no data -- 1319.77/330.47 c S st 4985 1210233 2305 17984 39564 84183 94605 3333008 12.34 no data -- 1319.77/330.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 1319.77/330.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1322.99/331.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 20.5M T: 3.10 1323.40/331.36 c bin-w-bin subsume rem 0 bins time: 0.02 s 1329.37/332.82 c subs with bin: 12 lits-rem: 25 v-fix: 0 time: 5.82 s 1329.77/332.92 c Subs w/ non-existent bins: 0 l-rem: 7431 v-fix: 0 done: 477 time: 0.40 s 1329.77/332.92 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.01 s 1361.32/340.80 c lits-rem: 145 cl-subs: 2078 v-elim: 0 v-fix: 0 time: 31.45 s 1361.32/340.81 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.02 1362.13/341.03 c vivif2 -- cl tried 82093 cl shrink 21198 lits rem 147075 time: 0.88 1363.32/341.34 c asymm cl-useful: 0/3798/17984 lits-rem:0 time: 1.21 1363.32/341.34 c calculated reachability. Time: 0.00 1363.32/341.34 c N dy 4985 1210233 2305 17984 39564 82093 94605 3143501 12.34 no data -- 1396.87/349.79 c N dy 5077 1230859 2305 17984 39567 55023 94605 1750439 12.34 13.01 -- 1422.83/356.22 c N dy 5174 1250876 2305 17984 39569 74776 94605 2786693 12.34 16.60 -- 1461.18/365.83 c N dy 5287 1272095 2305 17984 39571 95758 94605 3905899 12.35 13.02 -- 1485.15/371.84 c N dy 5388 1292927 2305 17984 39574 67945 94605 2427787 12.36 13.14 -- 1517.51/379.93 c N dy 5491 1313532 2305 17984 39578 88308 94605 3504282 12.36 13.07 -- 1552.67/388.78 c N dy 5604 1333533 2305 17984 39579 58688 94605 1901672 12.38 13.77 -- 1583.82/396.55 c N dy 5693 1353717 2305 17984 39580 78663 94605 2947301 12.38 13.04 -- 1624.56/406.71 c N dy 5770 1373878 2305 17984 39580 98544 94605 3964335 12.37 13.04 -- 1650.93/413.35 c N dy 5852 1394062 2305 17984 39580 68060 94605 2326364 12.37 13.04 -- 1686.48/422.21 c N dy 5936 1414144 2305 17984 39581 87900 94605 3367418 12.37 15.62 -- 1724.02/431.63 c N dy 6038 1434226 2305 17984 39581 56363 94605 1649889 12.38 13.06 -- 1754.38/439.20 c N dy 6144 1454227 2305 17984 39581 76117 94605 2719727 12.38 13.07 -- 1792.74/448.81 c N dy 6235 1474286 2305 17984 39582 95924 94605 3765727 12.39 15.85 -- 1827.09/457.40 c N dy 6350 1494323 2305 17984 39587 63378 94605 1962304 12.40 14.22 -- 1859.84/465.62 c N dy 6456 1514485 2305 17984 39588 83308 94605 3032385 12.40 13.19 -- 1900.18/475.71 c N dy 6564 1534547 2305 17984 39598 103161 94605 4060362 12.41 17.39 -- 1928.15/482.79 c N dy 6677 1554568 2305 17984 39602 69567 94605 2241740 12.42 13.53 -- 1959.71/490.64 c N dy 6761 1574590 2305 17984 39604 89377 94605 3325095 12.42 17.13 -- 2003.65/501.69 c N dy 6862 1594936 2305 17984 39616 55126 94605 1439209 12.43 13.21 -- 2028.82/507.98 c N dy 6910 1615797 2305 17984 39616 75723 94605 2484362 12.42 13.08 -- 2063.97/516.75 c N dy 7011 1637256 2305 17984 39620 96876 94605 3619609 12.42 13.11 -- 2099.92/525.79 c N dy 7111 1657296 2305 17984 39631 61358 94605 1725870 12.43 13.72 -- 2127.51/532.62 c N dy 7188 1677299 2305 17984 39631 81107 94605 2769176 12.43 13.55 -- 2162.66/541.45 c N dy 7285 1697334 2305 17984 39632 100960 94605 3875712 12.43 13.13 -- 2187.80/547.78 c S st 7327 1710234 2305 17984 39634 57392 94605 1470414 12.43 10.07 -- 2188.62/547.93 c S st 7327 1710736 2305 17984 39635 57893 94605 1496855 12.43 no data -- 2188.62/547.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2188.62/547.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2190.19/548.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 13.2M T: 1.76 2190.59/548.43 c bin-w-bin subsume rem 0 bins time: 0.02 s 2192.59/548.97 c subs with bin: 24 lits-rem: 14 v-fix: 0 time: 2.17 s 2192.59/548.99 c Subs w/ non-existent bins: 0 l-rem: 1071 v-fix: 0 done: 1195 time: 0.07 s 2192.59/548.99 c Removed useless bin: 0 fixed: 0 props: 0.19M time: 0.01 s 2197.80/550.23 c lits-rem: 678 cl-subs: 1769 v-elim: 0 v-fix: 0 time: 4.91 s 2197.80/550.23 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 2197.80/550.28 c vivif2 -- cl tried 56100 cl shrink 1630 lits rem 7960 time: 0.18 2198.98/550.53 c asymm cl-useful: 0/5141/17984 lits-rem:0 time: 1.01 2198.98/550.53 c calculated reachability. Time: 0.00 2198.98/550.53 c N dy 7327 1710736 2305 17984 39635 56100 94605 1469489 12.43 no data -- 2223.35/556.67 c N dy 7409 1730942 2305 17984 39638 76104 94605 2542849 12.43 13.09 -- 2258.50/565.43 c N dy 7483 1751791 2305 17984 39640 96737 94605 3676687 12.42 13.10 -- 2300.04/575.85 c N dy 7572 1771861 2305 17984 39644 59226 94605 1550443 12.42 13.08 -- 2325.60/582.20 c N dy 7635 1792034 2305 17984 39647 79211 94605 2593949 12.42 13.14 -- 2358.77/590.59 c N dy 7748 1812082 2305 17984 39653 99061 94605 3647579 12.43 13.27 -- 2401.50/601.24 c N dy 7849 1832135 2305 17984 39656 60532 94605 1617492 12.43 15.16 -- 2431.07/608.60 c N dy 7978 1852205 2305 17984 39656 80362 94605 2649512 12.44 17.94 -- 2467.82/617.89 c N dy 8073 1872440 2305 17984 39668 100395 94605 3700425 12.45 13.11 -- 2510.95/628.65 c Finding binary XORs T: 0.01 s found: 0 2511.76/628.88 c N dy 8176 1892534 2305 17984 39672 60925 94605 1592207 12.46 13.26 -- 2539.32/635.75 c N dy 8243 1912609 2305 17984 39675 80789 94605 2623519 12.45 17.53 -- 2575.29/644.77 c N dy 8331 1933063 2305 17984 39677 101013 94605 3668951 12.46 13.15 -- 2620.01/655.92 c N dy 8400 1953146 2305 17984 39687 60522 94605 1525581 12.45 13.25 -- 2648.78/663.12 c N dy 8514 1974273 2305 17984 39690 81433 94605 2660254 12.46 13.21 -- 2683.12/671.72 c N dy 8588 1994369 2305 17984 39691 101328 94605 3716985 12.46 13.18 -- 2727.07/682.77 c N dy 8695 2014805 2305 17984 39694 121534 94605 4779386 12.46 13.13 -- 2755.03/689.80 c N dy 8795 2034942 2305 17984 39694 80142 94605 2558746 12.47 13.25 -- 2788.19/698.09 c N dy 8862 2055040 2305 17984 39698 100035 94605 3627994 12.47 14.12 -- 2831.32/708.82 c N dy 8958 2075077 2305 17984 39699 119894 94605 4730528 12.47 17.10 -- 2860.09/716.05 c N dy 9012 2095177 2305 17984 39701 77409 94605 2278152 12.47 14.85 -- 2892.07/724.01 c N dy 9108 2115336 2305 17984 39701 97369 94605 3345772 12.47 13.18 -- 2935.60/734.93 c N dy 9211 2135580 2305 17984 39706 117415 94605 4432742 12.48 13.17 -- 2969.14/743.38 c N dy 9297 2155648 2305 17984 39709 73938 94605 2121910 12.48 13.24 -- 2999.90/751.01 c N dy 9381 2175681 2305 17984 39712 93750 94605 3182371 12.48 16.00 -- 3040.64/761.30 c N dy 9482 2195816 2305 17984 39713 113686 94605 4257578 12.48 13.56 -- 3075.00/769.89 c S st 9548 2210737 2305 17984 39713 128468 94605 5079086 12.49 no data -- 3076.99/770.36 c S st 9548 2211240 2305 17984 39714 64627 94605 1561827 12.49 no data -- 3076.99/770.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3076.99/770.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3079.00/770.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 14.6M T: 1.95 3079.40/770.91 c bin-w-bin subsume rem 0 bins time: 0.02 s 3081.39/771.42 c subs with bin: 21 lits-rem: 13 v-fix: 0 time: 2.01 s 3081.39/771.43 c Subs w/ non-existent bins: 0 l-rem: 402 v-fix: 0 done: 1459 time: 0.06 s 3081.39/771.43 c Removed useless bin: 0 fixed: 0 props: 0.19M time: 0.01 s 3085.78/772.54 c lits-rem: 524 cl-subs: 1874 v-elim: 0 v-fix: 0 time: 4.42 s 3085.78/772.54 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 3085.78/772.59 c vivif2 -- cl tried 62732 cl shrink 586 lits rem 2463 time: 0.18 3086.58/772.79 c asymm cl-useful: 0/3689/17984 lits-rem:0 time: 0.78 3086.58/772.79 c calculated reachability. Time: 0.00 3086.58/772.79 c N dy 9548 2211240 2305 17984 39714 62732 94605 1539547 12.49 no data -- 3116.54/780.23 c N dy 9667 2231292 2305 17984 39721 82582 94605 2622986 12.50 25.40 -- 3150.50/788.72 c N dy 9718 2251448 2305 17984 39724 102530 94605 3692631 12.49 13.21 -- 3192.04/799.14 c N dy 9810 2271472 2305 17984 39726 122339 94605 4772852 12.49 21.07 -- 3227.59/808.04 c N dy 9901 2291645 2305 17984 39731 77007 94605 2222103 12.50 13.17 -- 3259.55/816.09 c N dy 10005 2311659 2305 17984 39738 96768 94605 3298328 12.51 14.84 -- 3299.90/826.17 c N dy 10108 2331704 2305 17984 39740 116620 94605 4379728 12.51 14.17 -- 3346.63/837.90 c N dy 10192 2351803 2305 17984 39746 70220 94605 1828498 12.51 13.99 -- 3378.19/845.79 c N dy 10270 2372622 2305 17984 39751 90805 94605 2929692 12.51 13.18 -- 3417.73/855.64 c N dy 10363 2393166 2305 17984 39755 111126 94605 4049840 12.52 13.20 -- 3465.27/867.56 c N dy 10465 2413199 2305 17984 39762 130938 94605 5141516 12.52 13.49 -- 3498.82/875.98 c N dy 10560 2433311 2305 17984 39765 83551 94605 2477323 12.53 13.20 -- 3531.58/884.15 c N dy 10634 2453487 2305 17984 39768 103484 94605 3533097 12.52 13.28 -- 3571.92/894.20 c N dy 10714 2473548 2305 17984 39770 123323 94605 4580059 12.53 17.49 -- 3614.26/904.89 c N dy 10810 2493557 2305 17984 39773 74860 94605 1967208 12.53 14.21 -- 3645.82/912.73 c N dy 10909 2513634 2305 17984 39774 94725 94605 3053005 12.54 17.95 -- 3683.37/922.20 c N dy 11001 2533640 2305 17984 39778 114506 94605 4108752 12.54 22.29 -- 3732.91/934.50 c N dy 11080 2554646 2305 17984 39785 135262 94605 5176182 12.54 13.58 -- 3766.08/942.82 c N dy 11177 2574730 2305 17984 39786 85899 94605 2551687 12.54 13.94 -- 3802.81/952.04 c N dy 11279 2594807 2305 17984 39789 105771 94605 3627674 12.55 17.98 -- 3847.95/963.37 c N dy 11385 2614814 2305 17984 39790 125534 94605 4659080 12.56 13.26 -- 3901.09/976.61 c N dy 11463 2637442 2305 17984 39790 77759 94605 2069904 12.56 13.28 -- 3935.44/985.29 c N dy 11558 2658527 2305 17984 39790 98576 94605 3139899 12.56 13.24 -- 3979.37/996.27 c N dy 11668 2678544 2305 17984 39791 118369 94605 4194587 12.56 13.24 -- 4034.52/1010.04 c N dy 11767 2699435 2305 17984 39791 139063 94605 5317287 12.57 13.38 -- 4056.49/1015.56 c S st 11824 2711240 2305 17984 39791 79540 94605 2107612 12.57 no data -- 4057.66/1015.80 c S st 11824 2711749 2305 17984 39791 80048 94605 2138455 12.57 no data -- 4057.66/1015.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4057.66/1015.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4060.48/1016.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1 BRemL: 0 BRemN: 0 P: 17.7M T: 2.79 4060.48/1016.57 c bin-w-bin subsume rem 0 bins time: 0.02 s 4064.46/1017.53 c subs with bin: 29 lits-rem: 24 v-fix: 0 time: 3.81 s 4064.46/1017.56 c Subs w/ non-existent bins: 0 l-rem: 2752 v-fix: 0 done: 1144 time: 0.13 s 4064.46/1017.56 c Removed useless bin: 0 fixed: 0 props: 0.20M time: 0.01 s 4075.65/1020.39 c lits-rem: 357 cl-subs: 1155 v-elim: 0 v-fix: 0 time: 11.27 s 4075.65/1020.39 c vivif2 -- cl tried 17984 cl shrink 0 lits rem 0 time: 0.01 4076.05/1020.48 c vivif2 -- cl tried 78864 cl shrink 5168 lits rem 33603 time: 0.36 4077.65/1020.85 c asymm cl-useful: 0/1715/17984 lits-rem:0 time: 1.48 4077.65/1020.85 c calculated reachability. Time: 0.00 4077.65/1020.85 c N dy 11824 2711749 2305 17984 39792 78864 94605 2087500 12.57 no data -- 4115.19/1030.22 c N dy 11913 2732484 2305 17984 39792 99336 94605 3161168 12.57 13.35 -- 4161.13/1041.72 c N dy 12024 2752868 2305 17984 39793 119541 94605 4266892 12.58 13.33 -- 4219.07/1056.22 c N dy 12092 2772917 2305 17984 39794 139381 94605 5217101 12.57 19.33 -- 4256.60/1065.67 c N dy 12176 2793361 2305 17984 39794 87381 94605 2472746 12.57 13.39 -- 4291.75/1074.44 c N dy 12283 2813426 2305 17984 39798 107203 94605 3499233 12.58 16.05 -- 4334.50/1085.14 c N dy 12388 2833527 2305 17984 39798 127050 94605 4539723 12.58 15.51 -- 4388.83/1098.78 c N dy 12498 2853568 2305 17984 39799 73722 94605 1726385 12.59 18.68 -- 4419.18/1106.33 c N dy 12590 2873627 2305 17984 39803 93565 94605 2793608 12.59 13.25 -- 4460.34/1116.66 c N dy 12670 2893689 2305 17984 39806 113431 94605 3850200 12.59 13.39 -- 4509.08/1128.80 c N dy 12757 2913785 2305 17984 39807 133301 94605 4889306 12.59 16.38 -- 4564.59/1142.70 c N dy 12874 2933858 2305 17984 39809 78964 94605 1958732 12.60 18.75 -- 4596.56/1150.75 c N dy 12971 2953905 2305 17984 39810 98802 94605 3020383 12.60 13.37 -- 4640.50/1161.77 c N dy 13074 2973919 2305 17984 39811 118590 94605 4066611 12.60 13.28 -- 4688.41/1173.76 c N dy 13150 2995231 2305 17984 39811 139675 94605 5153171 12.60 13.32 -- 4729.16/1183.97 c N dy 13244 3015624 2305 17984 39814 84674 94605 2243007 12.60 13.34 -- 4761.91/1192.10 c N dy 13341 3035636 2305 17984 39815 104454 94605 3342732 12.61 17.12 --
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-3257449-1304033035/watcher-3257449-1304033035 -o /tmp/evaluation-result-3257449-1304033035/solver-3257449-1304033035 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3257449-1304033035.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: 3.72 4.31 5.75 3/172 25020 /proc/meminfo: memFree=14544012/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 593534194 52465664 352 33554432000 4194304 4650419 140735024548048 18446744073709551615 47142915516338 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 12809 352 303 112 0 7774 0 [pid=25020/tid=25025] ppid=25018 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 593534194 52465664 352 33554432000 4194304 4650419 140735024548048 18446744073709551615 218892362806 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 593534194 52465664 352 33554432000 4194304 4650419 140735024548048 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 593534194 52465664 352 33554432000 4194304 4650419 140735024548048 18446744073709551615 47142915516338 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.248141 s] /proc/loadavg: 3.72 4.31 5.75 3/172 25020 /proc/meminfo: memFree=14544012/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=294576 CPUtime=0.95 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) D 25018 25020 24402 0 -1 4202496 4159 0 0 0 95 0 0 0 18 0 4 0 593534194 301645824 3788 33554432000 4194304 4650419 140735024548048 18446744073709551615 218880262778 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 73644 3788 372 112 0 68609 0 [pid=25020/tid=25025] ppid=25018 vsize=294576 CPUtime=0.23 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) D 25018 25020 24402 0 -1 4202560 987 0 0 0 23 0 0 0 18 0 4 0 593534194 301645824 3788 33554432000 4194304 4650419 140735024548048 18446744073709551615 218880225989 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=294576 CPUtime=0.23 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 794 0 0 0 23 0 0 0 18 0 4 0 593534194 301645824 3788 33554432000 4194304 4650419 140735024548048 18446744073709551615 218880608346 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=294576 CPUtime=0.23 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) S 25018 25020 24402 0 -1 4202560 1067 0 0 0 23 0 0 0 18 0 4 0 593534194 301645824 3788 33554432000 4194304 4650419 140735024548048 18446744073709551615 218880670190 0 0 4096 2 18446604471141013504 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.95 Current children cumulated vsize (KiB) 294576 [startup+0.301006 s] /proc/loadavg: 3.72 4.31 5.75 3/172 25020 /proc/meminfo: memFree=14544012/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=291112 CPUtime=1.17 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 7209 0 0 0 116 1 0 0 18 0 4 0 593534194 298098688 6102 33554432000 4194304 4650419 140735024548048 18446744073709551615 4551275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 72778 6102 389 112 0 67743 0 [pid=25020/tid=25025] ppid=25018 vsize=291112 CPUtime=0.28 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 1722 0 0 0 28 0 0 0 18 0 4 0 593534194 298098688 6102 33554432000 4194304 4650419 140735024548048 18446744073709551615 4503968 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=291112 CPUtime=0.28 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 1829 0 0 0 28 0 0 0 18 0 4 0 593534194 298098688 6102 33554432000 4194304 4650419 140735024548048 18446744073709551615 218880224691 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=291112 CPUtime=0.28 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 1433 0 0 0 28 0 0 0 18 0 4 0 593534194 298098688 6102 33554432000 4194304 4650419 140735024548048 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 291112 [startup+0.400989 s] /proc/loadavg: 3.72 4.31 5.75 3/172 25020 /proc/meminfo: memFree=14544012/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=292420 CPUtime=1.57 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 8604 0 0 0 156 1 0 0 18 0 4 0 593534194 299438080 7131 33554432000 4194304 4650419 140735024548048 18446744073709551615 4364849 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 73105 7131 393 112 0 68070 0 [pid=25020/tid=25025] ppid=25018 vsize=292420 CPUtime=0.38 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 2170 0 0 0 38 0 0 0 18 0 4 0 593534194 299438080 7131 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365040 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=292420 CPUtime=0.38 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 2219 0 0 0 38 0 0 0 18 0 4 0 593534194 299438080 7131 33554432000 4194304 4650419 140735024548048 18446744073709551615 4364892 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=292420 CPUtime=0.38 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 1537 0 0 0 38 0 0 0 18 0 4 0 593534194 299438080 7131 33554432000 4194304 4650419 140735024548048 18446744073709551615 4363717 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 292420 [startup+0.700937 s] /proc/loadavg: 3.72 4.31 5.75 3/172 25020 /proc/meminfo: memFree=14544012/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=293928 CPUtime=2.77 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 11059 0 0 0 275 2 0 0 18 0 4 0 593534194 300982272 7612 33554432000 4194304 4650419 140735024548048 18446744073709551615 4315244 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 73482 7612 394 112 0 68447 0 [pid=25020/tid=25025] ppid=25018 vsize=293928 CPUtime=0.68 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 2811 0 0 0 68 0 0 0 18 0 4 0 593534194 300982272 7612 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=293928 CPUtime=0.68 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 2735 0 0 0 68 0 0 0 18 0 4 0 593534194 300982272 7612 33554432000 4194304 4650419 140735024548048 18446744073709551615 4333655 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=293928 CPUtime=0.68 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 2094 0 0 0 68 0 0 0 18 0 4 0 593534194 300982272 7613 33554432000 4194304 4650419 140735024548048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 293928 [startup+1.5008 s] /proc/loadavg: 3.72 4.31 5.75 9/184 25032 /proc/meminfo: memFree=14473228/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=296084 CPUtime=5.97 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 15903 0 0 0 594 3 0 0 20 0 4 0 593534194 303190016 9288 33554432000 4194304 4650419 140735024548048 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 74021 9288 394 112 0 68986 0 [pid=25020/tid=25025] ppid=25018 vsize=296084 CPUtime=1.48 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 3904 0 0 0 148 0 0 0 20 0 4 0 593534194 303190016 9288 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=296084 CPUtime=1.47 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 4082 0 0 0 147 0 0 0 20 0 4 0 593534194 303190016 9288 33554432000 4194304 4650419 140735024548048 18446744073709551615 4333741 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=296084 CPUtime=1.48 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 3202 0 0 0 148 0 0 0 20 0 4 0 593534194 303190016 9288 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 296084 [startup+3.10052 s] /proc/loadavg: 4.06 4.37 5.76 9/184 25033 /proc/meminfo: memFree=14454876/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=297612 CPUtime=12.36 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 24611 0 0 0 1230 6 0 0 25 0 4 0 593534194 304754688 13994 33554432000 4194304 4650419 140735024548048 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 74403 13994 396 112 0 69368 0 [pid=25020/tid=25025] ppid=25018 vsize=297612 CPUtime=3.09 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 5964 0 0 0 308 1 0 0 25 0 4 0 593534194 304754688 13994 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=297612 CPUtime=3.07 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 6134 0 0 0 306 1 0 0 25 0 4 0 593534194 304754688 13994 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=297612 CPUtime=3.08 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 5403 0 0 0 307 1 0 0 25 0 4 0 593534194 304754688 13994 33554432000 4194304 4650419 140735024548048 18446744073709551615 4352094 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 297612 [startup+6.30097 s] /proc/loadavg: 4.06 4.37 5.76 7/184 25033 /proc/meminfo: memFree=14385696/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=307016 CPUtime=25.14 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 39569 0 0 0 2506 8 0 0 25 0 4 0 593534194 314384384 26366 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 76754 26366 396 112 0 71719 0 [pid=25020/tid=25025] ppid=25018 vsize=307016 CPUtime=6.28 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 9559 0 0 0 627 1 0 0 25 0 4 0 593534194 314384384 26366 33554432000 4194304 4650419 140735024548048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=307016 CPUtime=6.25 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 8399 0 0 0 624 1 0 0 25 0 4 0 593534194 314384384 26366 33554432000 4194304 4650419 140735024548048 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=307016 CPUtime=6.28 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 10612 0 0 0 626 2 0 0 25 0 4 0 593534194 314384384 26366 33554432000 4194304 4650419 140735024548048 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 307016 [startup+12.7009 s] /proc/loadavg: 4.52 4.46 5.77 9/184 25063 /proc/meminfo: memFree=14214260/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=384412 CPUtime=50.7 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 58849 0 0 0 5058 12 0 0 25 0 4 0 593534194 393637888 36364 33554432000 4194304 4650419 140735024548048 18446744073709551615 4345466 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 96103 36377 396 112 0 91068 0 [pid=25020/tid=25025] ppid=25018 vsize=384412 CPUtime=12.68 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 15290 0 0 0 1266 2 0 0 25 0 4 0 593534194 393637888 36384 33554432000 4194304 4650419 140735024548048 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=384412 CPUtime=12.62 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 11739 0 0 0 1260 2 0 0 25 0 4 0 593534194 393637888 36391 33554432000 4194304 4650419 140735024548048 18446744073709551615 4436475 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=384412 CPUtime=12.68 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 15798 0 0 0 1265 3 0 0 25 0 4 0 593534194 393637888 36398 33554432000 4194304 4650419 140735024548048 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 384412 [startup+25.5067 s] /proc/loadavg: 5.05 4.58 5.80 9/184 25063 /proc/meminfo: memFree=14111376/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=395380 CPUtime=101.86 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 87874 0 0 0 10168 18 0 0 25 0 4 0 593534194 404869120 45868 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 98845 45868 401 112 0 93810 0 [pid=25020/tid=25025] ppid=25018 vsize=395380 CPUtime=25.49 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 23405 0 0 0 2546 3 0 0 25 0 4 0 593534194 404869120 45868 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=395380 CPUtime=25.35 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 16797 0 0 0 2531 4 0 0 25 0 4 0 593534194 404869120 45868 33554432000 4194304 4650419 140735024548048 18446744073709551615 4315165 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=395380 CPUtime=25.49 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 24044 0 0 0 2544 5 0 0 25 0 4 0 593534194 404869120 45868 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.86 Current children cumulated vsize (KiB) 395380 [startup+51.1002 s] /proc/loadavg: 6.06 4.85 5.85 9/184 25064 /proc/meminfo: memFree=14053636/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=397568 CPUtime=204.1 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 141497 0 0 0 20379 31 0 0 25 0 4 0 593534194 407109632 51151 33554432000 4194304 4650419 140735024548048 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 99392 51151 396 112 0 94357 0 [pid=25020/tid=25025] ppid=25018 vsize=397568 CPUtime=51.08 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 35614 0 0 0 5102 6 0 0 25 0 4 0 593534194 407109632 51151 33554432000 4194304 4650419 140735024548048 18446744073709551615 4335216 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=397568 CPUtime=50.81 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 30139 0 0 0 5074 7 0 0 25 0 4 0 593534194 407109632 51151 33554432000 4194304 4650419 140735024548048 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=397568 CPUtime=51.08 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 36409 0 0 0 5101 7 0 0 25 0 4 0 593534194 407109632 51151 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 204.1 Current children cumulated vsize (KiB) 397568 [startup+102.3 s] /proc/loadavg: 7.19 5.35 5.97 9/184 25065 /proc/meminfo: memFree=13928752/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=465880 CPUtime=408.62 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 211310 0 0 0 40808 54 0 0 25 0 4 0 593534194 477061120 67910 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 116470 67910 396 112 0 111435 0 [pid=25020/tid=25025] ppid=25018 vsize=465880 CPUtime=102.28 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 54029 0 0 0 10216 12 0 0 25 0 4 0 593534194 477061120 67910 33554432000 4194304 4650419 140735024548048 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=465880 CPUtime=101.73 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 48875 0 0 0 10160 13 0 0 25 0 4 0 593534194 477061120 67910 33554432000 4194304 4650419 140735024548048 18446744073709551615 4330522 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=465880 CPUtime=102.28 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 51848 0 0 0 10215 13 0 0 25 0 4 0 593534194 477061120 67910 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.62 Current children cumulated vsize (KiB) 465880 [startup+162.301 s] ################ # More data... # ################ [pid=25020] ppid=25018 vsize=890352 CPUtime=2805.36 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 762770 0 0 0 280270 266 0 0 25 0 4 0 593534194 911720448 134653 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 222588 134653 396 112 0 217553 0 [pid=25020/tid=25025] ppid=25018 vsize=890352 CPUtime=702.3 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 177923 0 0 0 70169 61 0 0 25 0 4 0 593534194 911720448 134653 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=890352 CPUtime=698.46 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 225584 0 0 0 69762 84 0 0 25 0 4 0 593534194 911720448 134653 33554432000 4194304 4650419 140735024548048 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=890352 CPUtime=702.27 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 168926 0 0 0 70168 59 0 0 25 0 4 0 593534194 911720448 134653 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2805.36 Current children cumulated vsize (KiB) 890352 [startup+762.301 s] /proc/loadavg: 8.14 7.81 7.04 9/184 25143 /proc/meminfo: memFree=11214348/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=763600 CPUtime=3045.04 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 805622 0 0 0 304218 286 0 0 25 0 4 0 593534194 781926400 131949 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 190900 131949 396 112 0 185865 0 [pid=25020/tid=25025] ppid=25018 vsize=763600 CPUtime=762.3 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 188897 0 0 0 76166 64 0 0 25 0 4 0 593534194 781926400 131949 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=763600 CPUtime=758.14 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 237956 0 0 0 75722 92 0 0 25 0 4 0 593534194 781926400 131949 33554432000 4194304 4650419 140735024548048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=763600 CPUtime=762.27 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 177352 0 0 0 76163 64 0 0 25 0 4 0 593534194 781926400 131949 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3045.04 Current children cumulated vsize (KiB) 763600 [startup+822.301 s] /proc/loadavg: 8.05 7.84 7.10 9/184 25144 /proc/meminfo: memFree=11046692/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=881256 CPUtime=3284.71 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 852945 0 0 0 328161 310 0 0 25 0 4 0 593534194 902406144 142420 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 220314 142420 396 112 0 215279 0 [pid=25020/tid=25025] ppid=25018 vsize=881256 CPUtime=822.3 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 199702 0 0 0 82160 70 0 0 25 0 4 0 593534194 902406144 142420 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=881256 CPUtime=817.81 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 255134 0 0 0 81680 101 0 0 25 0 4 0 593534194 902406144 142420 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=881256 CPUtime=822.27 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 185958 0 0 0 82159 68 0 0 25 0 4 0 593534194 902406144 142420 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.71 Current children cumulated vsize (KiB) 881256 [startup+882.301 s] /proc/loadavg: 8.12 7.90 7.17 9/184 25146 /proc/meminfo: memFree=10805244/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=976816 CPUtime=3524.41 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 894124 0 0 0 352109 332 0 0 25 0 4 0 593534194 1000259584 152589 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 244204 152589 396 112 0 239169 0 [pid=25020/tid=25025] ppid=25018 vsize=976816 CPUtime=882.31 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 208475 0 0 0 88156 75 0 0 25 0 4 0 593534194 1000259584 152589 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=976816 CPUtime=877.49 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 270285 0 0 0 87638 111 0 0 25 0 4 0 593534194 1000259584 152589 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=976816 CPUtime=882.27 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 192587 0 0 0 88157 70 0 0 25 0 4 0 593534194 1000259584 152589 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3524.41 Current children cumulated vsize (KiB) 976816 [startup+942.301 s] /proc/loadavg: 7.89 7.88 7.20 10/184 25181 /proc/meminfo: memFree=13834716/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=960644 CPUtime=3764.07 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 929723 0 0 0 376056 351 0 0 25 0 4 0 593534194 983699456 147710 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 240161 147710 396 112 0 235126 0 [pid=25020/tid=25025] ppid=25018 vsize=960644 CPUtime=942.3 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 214836 0 0 0 94153 77 0 0 25 0 4 0 593534194 983699456 147710 33554432000 4194304 4650419 140735024548048 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=960644 CPUtime=937.16 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 282347 0 0 0 93599 117 0 0 25 0 4 0 593534194 983699456 147710 33554432000 4194304 4650419 140735024548048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=960644 CPUtime=942.26 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 199286 0 0 0 94153 73 0 0 25 0 4 0 593534194 983699456 147710 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3764.07 Current children cumulated vsize (KiB) 960644 [startup+1002.31 s] /proc/loadavg: 8.08 7.93 7.27 10/184 25182 /proc/meminfo: memFree=13665476/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=1011520 CPUtime=4003.76 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 955832 0 0 0 400012 364 0 0 25 0 4 0 593534194 1035796480 163806 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 252880 163806 396 112 0 247845 0 [pid=25020/tid=25025] ppid=25018 vsize=1011520 CPUtime=1002.31 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 222847 0 0 0 100149 82 0 0 25 0 4 0 593534194 1035796480 163806 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=1011520 CPUtime=996.83 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 282347 0 0 0 99566 117 0 0 25 0 4 0 593534194 1035796480 163806 33554432000 4194304 4650419 140735024548048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=1011520 CPUtime=1002.28 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 209273 0 0 0 100150 78 0 0 25 0 4 0 593534194 1035796480 163806 33554432000 4194304 4650419 140735024548048 18446744073709551615 4328179 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.76 Current children cumulated vsize (KiB) 1011520 [startup+1062.3 s] /proc/loadavg: 8.09 7.96 7.31 9/184 25184 /proc/meminfo: memFree=13612508/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=963360 CPUtime=4243.42 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 978875 0 0 0 423967 375 0 0 25 0 4 0 593534194 986480640 165079 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 240840 165079 396 112 0 235805 0 [pid=25020/tid=25025] ppid=25018 vsize=963360 CPUtime=1062.3 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 228614 0 0 0 106146 84 0 0 25 0 4 0 593534194 986480640 165079 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=963360 CPUtime=1056.51 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 282347 0 0 0 105534 117 0 0 25 0 4 0 593534194 986480640 165079 33554432000 4194304 4650419 140735024548048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=963360 CPUtime=1062.27 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 217301 0 0 0 106145 82 0 0 25 0 4 0 593534194 986480640 165079 33554432000 4194304 4650419 140735024548048 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4243.42 Current children cumulated vsize (KiB) 963360 [startup+1122.3 s] /proc/loadavg: 8.13 8.00 7.36 10/184 25185 /proc/meminfo: memFree=13599360/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=992696 CPUtime=4483.09 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 1016006 0 0 0 447915 394 0 0 25 0 4 0 593534194 1016520704 155681 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 248174 155681 396 112 0 243139 0 [pid=25020/tid=25025] ppid=25018 vsize=992696 CPUtime=1122.3 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 238304 0 0 0 112142 88 0 0 25 0 4 0 593534194 1016520704 155681 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=992696 CPUtime=1116.18 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 298877 0 0 0 111491 127 0 0 25 0 4 0 593534194 1016520704 155681 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=992696 CPUtime=1122.27 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 219801 0 0 0 112144 83 0 0 25 0 4 0 593534194 1016520704 155681 33554432000 4194304 4650419 140735024548048 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4483.09 Current children cumulated vsize (KiB) 992696 [startup+1182.3 s] /proc/loadavg: 8.10 8.01 7.40 10/184 25187 /proc/meminfo: memFree=13524564/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=875536 CPUtime=4722.77 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 1056748 0 0 0 471862 415 0 0 25 0 4 0 593534194 896548864 161389 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 218884 161389 396 112 0 213849 0 [pid=25020/tid=25025] ppid=25018 vsize=875536 CPUtime=1182.31 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 246668 0 0 0 118138 93 0 0 25 0 4 0 593534194 896548864 161389 33554432000 4194304 4650419 140735024548048 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=875536 CPUtime=1175.86 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 315342 0 0 0 117450 136 0 0 25 0 4 0 593534194 896548864 161389 33554432000 4194304 4650419 140735024548048 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=875536 CPUtime=1182.27 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 225998 0 0 0 118142 85 0 0 25 0 4 0 593534194 896548864 161389 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.77 Current children cumulated vsize (KiB) 875536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.07 8.01 7.41 9/184 25187 /proc/meminfo: memFree=13509548/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=1018712 CPUtime=4800.28 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 1066999 0 0 0 479607 421 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 254678 166614 396 112 0 249643 0 [pid=25020/tid=25025] ppid=25018 vsize=1018712 CPUtime=1201.72 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 248449 0 0 0 120078 94 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=1018712 CPUtime=1195.15 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 320951 0 0 0 119376 139 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=1018712 CPUtime=1201.67 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 226358 0 0 0 120082 85 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.28 Current children cumulated vsize (KiB) 1018712 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.07 8.01 7.41 9/184 25187 /proc/meminfo: memFree=13509548/32950928 swapFree=67111528/67111528 [pid=25020] ppid=25018 vsize=1018712 CPUtime=4800.28 cores=1,3,5,7 /proc/25020/stat : 25020 (strangenight1-m) R 25018 25020 24402 0 -1 4202496 1066999 0 0 0 479607 421 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/25020/statm: 254678 166614 396 112 0 249643 0 [pid=25020/tid=25025] ppid=25018 vsize=1018712 CPUtime=1201.72 cores=1,3,5,7 /proc/25020/task/25025/stat : 25025 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 248449 0 0 0 120078 94 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=25020/tid=25026] ppid=25018 vsize=1018712 CPUtime=1195.15 cores=1,3,5,7 /proc/25020/task/25026/stat : 25026 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 320951 0 0 0 119376 139 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=25020/tid=25027] ppid=25018 vsize=1018712 CPUtime=1201.67 cores=1,3,5,7 /proc/25020/task/25027/stat : 25027 (strangenight1-m) R 25018 25020 24402 0 -1 4202560 226358 0 0 0 120082 85 0 0 25 0 4 0 593534194 1043161088 166614 33554432000 4194304 4650419 140735024548048 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.28 Current children cumulated vsize (KiB) 1018712 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.74 CPU time (s): 4800.34 CPU user time (s): 4796.09 CPU system time (s): 4.24335 CPU usage (%): 399.448 Max. virtual memory (cumulated for all children) (KiB): 1072168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4796.09 system time used= 4.24335 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1067000 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= 2200 involuntary context switches= 29475 runsolver used 1.84572 second user time and 4.72728 second system time The end
Begin job on node112 at 2011-04-29 01:23:55 IDJOB=3257449 IDBENCH=70930 IDSOLVER=1588 FILE ID=node112/3257449-1304033035 RUNJOBID= node112-1304033035-25006 PBS_JOBID= 13170340 Free space on /tmp= 72564 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257449-1304033035/watcher-3257449-1304033035 -o /tmp/evaluation-result-3257449-1304033035/solver-3257449-1304033035 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3257449-1304033035.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6fdce6b69c397ad71b0f25957edff1fa RANDOM SEED=2001486403 node112.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.828 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.65 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.82 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.828 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 : 5261.27 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.828 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.828 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.828 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 14544044 kB Buffers: 1993676 kB Cached: 15793288 kB SwapCached: 0 kB Active: 7045016 kB Inactive: 10807084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 14544044 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13704 kB Writeback: 0 kB AnonPages: 64648 kB Mapped: 14404 kB Slab: 491796 kB PageTables: 4608 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 186112 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= 72552 MiB End job on node112 at 2011-04-29 01:43:59