| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.35 | 1202.39 |
| Name | application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf |
| MD5SUM | a0ec1baa890da62d0c6df7f1e62c6af3 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 3057.55 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 163622 |
| Number of clauses | 488120 |
| Sum of the clauses size | 1138944 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 325412 |
| Number of clauses of size 3 | 162706 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3367269-1305394216.cnf' 0.00/0.00 c -- header says num vars: 163622 0.00/0.00 c -- header says num clauses: 488120 2.32/0.60 c -- clauses added: 0 learnts, 488120 normals, 0 xors 2.32/0.60 c -- vars added 163622 2.32/0.60 c Parsing time: 0.17 s 2.32/0.60 c N st 0 0 163622 162706 325412 0 1138942 0 no data no data 2.32/0.60 c asymm cl-useful: 0/32010/162705 lits-rem:0 time: 0.37 26.31/6.67 c Flit: 764 Blit: 2133 bXBeca: 0 bXProp: 18559 Bins: 0 BRemL: 0 BRemN: 0 P: 142.9M T: 6.07 26.31/6.69 c Cleaning up after failed var search: 0.02 s 26.67/6.74 c Replacing 18559 vars Replaced 413596 lits Time: 0.05 s 26.67/6.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 27.07/6.81 c bin-w-bin subsume rem 12003 bins time: 0.02 s 27.07/6.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.06 s 28.67/7.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 124402 time: 0.34 s 29.07/7.33 c Removed useless bin: 873 fixed: 0 props: 20.00M time: 0.11 s 31.05/7.84 c lits-rem: 1289 cl-subs: 10033 v-elim: 47136 v-fix: 0 time: 0.49 s 31.05/7.86 c Finding binary XORs T: 0.02 s found: 8 31.05/7.88 c Replacing 8 vars Replaced 55 lits Time: 0.02 s 31.45/7.95 c Finding non-binary XORs: 0.05 s (found: 0, avg size: nan) 31.45/7.95 c calculated reachability. Time: 0.00 31.45/7.96 c Calc default polars - time: 0.01 s pos: 2548 undec: 69471 neg: 91603 31.45/7.96 c ========================================================================================= 31.45/7.96 c types(t): F = full restart, N = normal restart 31.45/7.96 c types(t): S = simplification begin/end, E = solution found 31.45/7.96 c restart types(rt): st = static, dy = dynamic 31.45/7.96 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 31.45/7.96 c B st 0 0 94265 133340 190906 0 848860 0 no data no data 37.04/9.33 c N dy 14 4171 94260 133340 191297 3719 848836 28213 4.01 4.22 44.63/11.26 c N dy 35 8337 94233 133340 193266 7492 848818 59612 4.12 4.46 51.83/13.09 c N dy 60 12419 94171 133340 194514 11239 848804 91830 4.20 4.87 58.60/14.73 c N dy 92 16501 94170 133340 194732 15042 848785 130746 4.42 5.65 66.19/16.60 c N dy 121 20561 94150 133340 195694 10098 848777 58783 4.63 6.36 70.58/17.74 c Finding binary XORs T: 0.03 s found: 142 73.78/18.58 c N dy 144 24737 94150 132715 196097 14039 845755 97909 4.68 4.96 74.20/18.63 c F st 145 25001 94150 132715 196101 14299 845755 99826 4.67 4.36 74.20/18.67 c Replacing 142 vars Replaced 24525 lits Time: 0.03 s 80.96/20.36 c Found part 35747 vars: 14 clauses: 16 lits size: 38 80.96/20.36 c Found part 35748 vars: 3 clauses: 3 lits size: 7 80.96/20.36 c Found part 35752 vars: 93949 clauses: 323029 lits size: 844133 80.96/20.36 c Found parts: 3 time: 1.70 s 80.96/20.36 c Solving part 35748 81.37/20.44 c N st 0 0 3 1 2 0 7 0 no data no data 81.37/20.44 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00 81.37/20.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 81.37/20.45 c Finding binary XORs T: 0.01 s found: 0 81.37/20.45 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 81.37/20.45 c calculated reachability. Time: 0.00 81.37/20.46 c Calc default polars - time: 0.00 s pos: 1 undec: 163619 neg: 2 81.37/20.46 c ========================================================================================= 81.37/20.46 c types(t): F = full restart, N = normal restart 81.37/20.46 c types(t): S = simplification begin/end, E = solution found 81.37/20.46 c restart types(rt): st = static, dy = dynamic 81.37/20.46 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 81.37/20.46 c B st 0 0 3 1 2 0 7 0 no data no data 81.37/20.46 c E st 1 0 0 1 2 0 7 0 no data no data 81.37/20.46 c Verified 1 clauses. 81.37/20.46 c Verified 1 clauses. 81.37/20.46 c Solved part 81.37/20.46 c ========================================================================================= 81.37/20.46 c Solving part 35747 81.76/20.53 c N st 0 0 14 6 10 0 38 0 no data no data 81.76/20.53 c asymm cl-useful: 0/6/6 lits-rem:0 time: 0.00 81.76/20.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 81.76/20.54 c Finding binary XORs T: 0.01 s found: 0 81.76/20.54 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 81.76/20.54 c calculated reachability. Time: 0.00 81.76/20.55 c Calc default polars - time: 0.00 s pos: 0 undec: 163611 neg: 11 81.76/20.55 c ========================================================================================= 81.76/20.55 c types(t): F = full restart, N = normal restart 81.76/20.55 c types(t): S = simplification begin/end, E = solution found 81.76/20.55 c restart types(rt): st = static, dy = dynamic 81.76/20.55 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 81.76/20.55 c B st 0 0 14 6 10 0 38 0 no data no data 81.76/20.55 c E st 1 0 0 6 10 0 38 0 no data no data 81.76/20.55 c Verified 6 clauses. 81.76/20.55 c Verified 6 clauses. 81.76/20.55 c Solved part 81.76/20.55 c ========================================================================================= 81.76/20.55 c Coming back to original instance 81.76/20.55 c ========================================================================================= 92.54/23.23 c N dy 151 30000 93939 132396 195824 19099 844129 179045 4.67 no data 92.54/23.23 c S st 151 30000 93939 132396 195824 19099 844129 179045 4.67 no data 94.14/23.69 c S st 151 30504 93936 132396 197323 19500 844128 184831 4.67 no data 94.54/23.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 122.51/30.70 c Flit: 45 Blit: 90 bXBeca: 0 bXProp: 513 Bins: 158528 BRemL: 60144 BRemN: 1435 P: 97.5M T: 7.00 122.51/30.71 c Cleaning up after failed var search: 0.00 s 122.51/30.76 c Replacing 513 vars Replaced 50668 lits Time: 0.05 s 122.51/30.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 122.92/30.83 c bin-w-bin subsume rem 5742 bins time: 0.02 s 123.28/30.90 c subs with bin: 3539 lits-rem: 20377 v-fix: 0 time: 0.07 s 124.48/31.24 c Subs w/ non-existent bins: 2746 l-rem: 3933 v-fix: 0 done: 93234 time: 0.34 s 125.28/31.42 c Removed useless bin: 1681 fixed: 0 props: 20.00M time: 0.17 s 128.08/32.14 c lits-rem: 14167 cl-subs: 19739 v-elim: 62156 v-fix: 0 time: 0.72 s 128.08/32.18 c subs with bin: 655 lits-rem: 1847 v-fix: 0 time: 0.03 s 128.48/32.24 c lits-rem: 197 cl-subs: 941 v-elim: 0 v-fix: 0 time: 0.04 s 130.08/32.64 c asymm cl-useful: 4803/14706/131770 lits-rem:6532 time: 0.40 130.08/32.66 c calculated reachability. Time: 0.00 130.08/32.66 c N dy 151 30504 31078 131723 114708 8321 618345 185089 4.67 no data 130.08/32.68 c Finding binary XORs T: 0.02 s found: 4 134.46/33.79 c N dy 180 34580 31074 131723 114804 12244 618340 223876 4.76 5.11 139.25/34.95 c N dy 212 38625 31074 131723 115396 16198 618337 267304 4.86 5.74 144.04/36.18 c Finding binary XORs T: 0.02 s found: 6 144.46/36.21 c N dy 244 42725 31074 131697 167741 11246 618235 291882 4.99 5.85 148.44/37.20 c S st 270 45756 31074 131697 167787 14200 618229 328743 5.06 no data 149.27/37.43 c S st 270 46259 31074 131697 167847 14640 618229 332159 5.06 no data 149.27/37.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 159.21/39.91 c Flit: 17 Blit: 10 bXBeca: 0 bXProp: 77 Bins: 67199 BRemL: 95296 BRemN: 637 P: 28.9M T: 2.45 159.21/39.95 c Replacing 87 vars Replaced 13918 lits Time: 0.04 s 159.21/39.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 159.61/40.01 c bin-w-bin subsume rem 5546 bins time: 0.02 s 159.61/40.06 c subs with bin: 4061 lits-rem: 25095 v-fix: 0 time: 0.05 s 160.01/40.17 c Subs w/ non-existent bins: 2414 l-rem: 9005 v-fix: 0 done: 30939 time: 0.11 s 160.41/40.21 c Removed useless bin: 1396 fixed: 0 props: 2.32M time: 0.04 s 161.21/40.48 c lits-rem: 5257 cl-subs: 9335 v-elim: 8392 v-fix: 0 time: 0.27 s 161.61/40.51 c subs with bin: 274 lits-rem: 763 v-fix: 0 time: 0.02 s 161.61/40.57 c lits-rem: 147 cl-subs: 392 v-elim: 0 v-fix: 0 time: 0.04 s 162.02/40.65 c vivif2 -- cl tried 123202 cl shrink 14115 lits rem 15663 time: 0.07 162.02/40.67 c vivif2 -- cl tried 11798 cl shrink 2077 lits rem 3287 time: 0.02 164.00/41.15 c asymm cl-useful: 93/14706/122202 lits-rem:93 time: 0.49 164.00/41.18 c calculated reachability. Time: 0.01 164.00/41.18 c N dy 270 46259 22547 122202 72684 11714 511952 146437 5.06 no data 164.40/41.22 c Finding binary XORs T: 0.04 s found: 14 168.00/42.16 c Finding binary XORs T: 0.03 s found: 41 168.80/42.39 c N dy 292 50537 22440 121422 91143 15677 508927 232132 5.06 5.63 173.59/43.55 c N dy 319 54639 22426 121422 91247 19644 508922 288296 5.09 5.44 178.38/44.77 c Finding binary XORs T: 0.03 s found: 8 178.78/44.89 c N dy 346 58765 22415 121245 98418 23530 508272 360630 5.16 5.52 184.40/46.21 c N dy 379 62787 22411 121245 98684 27431 508264 420632 5.21 6.46 189.55/47.57 c N dy 413 66849 22357 121245 98767 18958 508259 242512 5.27 5.60 192.77/48.38 c S st 432 69389 22353 121245 99031 21434 508258 279171 5.29 no data 193.95/48.60 c S st 432 69891 22351 121245 99065 21895 508258 284118 5.29 no data 193.95/48.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 202.33/50.77 c Flit: 47 Blit: 27 bXBeca: 0 bXProp: 107 Bins: 70114 BRemL: 64903 BRemN: 725 P: 25.8M T: 2.15 202.73/50.81 c Replacing 170 vars Replaced 16454 lits Time: 0.03 s 202.73/50.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 202.73/50.86 c bin-w-bin subsume rem 2432 bins time: 0.01 s 203.13/50.90 c subs with bin: 3080 lits-rem: 3330 v-fix: 0 time: 0.03 s 203.13/50.96 c Subs w/ non-existent bins: 605 l-rem: 283 v-fix: 0 done: 22034 time: 0.07 s 203.13/50.99 c Removed useless bin: 348 fixed: 0 props: 0.90M time: 0.02 s 203.94/51.13 c lits-rem: 1535 cl-subs: 3074 v-elim: 1558 v-fix: 0 time: 0.14 s 203.94/51.18 c subs with bin: 366 lits-rem: 1534 v-fix: 0 time: 0.03 s 204.34/51.25 c lits-rem: 386 cl-subs: 540 v-elim: 0 v-fix: 0 time: 0.05 s 204.73/51.31 c vivif2 -- cl tried 114386 cl shrink 1536 lits rem 1661 time: 0.06 204.73/51.33 c vivif2 -- cl tried 19017 cl shrink 1761 lits rem 4200 time: 0.02 206.36/51.78 c asymm cl-useful: 579/12932/114172 lits-rem:1737 time: 0.45 206.73/51.80 c calculated reachability. Time: 0.01 206.73/51.80 c N dy 432 69891 20476 113593 79368 18988 470184 216316 5.29 no data 206.73/51.84 c Finding binary XORs T: 0.04 s found: 5 212.72/53.32 c N dy 464 74410 20461 113593 79489 23424 470180 302424 5.32 6.28 219.39/55.04 c N dy 507 79196 20459 113593 143877 28161 470176 514252 5.39 5.69 220.96/55.40 c Finding binary XORs T: 0.03 s found: 28 226.56/56.80 c N dy 545 84322 20396 113308 141783 32936 469042 585031 5.45 7.12 230.95/57.96 c F st 573 87500 20367 113308 141880 36078 469040 646745 5.50 5.46 231.35/58.00 c Replacing 33 vars Replaced 3267 lits Time: 0.03 s 235.34/59.03 c N st 578 90796 20335 112707 140507 24530 466620 388797 5.50 no data 242.93/60.94 c N dy 609 96675 20327 112707 141964 30307 466620 485827 5.53 7.38 252.51/63.30 c N dy 659 102854 20315 112707 142131 36380 466619 598667 5.61 6.02 255.30/64.02 c S st 674 104836 20315 112707 153076 38338 466619 658307 5.63 no data 256.10/64.24 c S st 674 105339 20315 112707 153096 38815 466618 662550 5.63 no data 256.10/64.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 264.47/66.31 c Flit: 23 Blit: 51 bXBeca: 0 bXProp: 117 Bins: 38262 BRemL: 84890 BRemN: 292 P: 27.4M T: 2.04 264.47/66.36 c Replacing 117 vars Replaced 12093 lits Time: 0.05 s 264.47/66.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 264.87/66.41 c bin-w-bin subsume rem 13816 bins time: 0.02 s 264.87/66.44 c subs with bin: 1629 lits-rem: 546 v-fix: 0 time: 0.03 s 265.28/66.51 c Subs w/ non-existent bins: 327 l-rem: 96 v-fix: 0 done: 20076 time: 0.07 s 265.28/66.53 c Removed useless bin: 194 fixed: 0 props: 0.87M time: 0.02 s 265.68/66.64 c lits-rem: 1036 cl-subs: 1118 v-elim: 396 v-fix: 0 time: 0.11 s 266.08/66.75 c subs with bin: 425 lits-rem: 3180 v-fix: 0 time: 0.08 s 266.48/66.89 c lits-rem: 679 cl-subs: 790 v-elim: 0 v-fix: 0 time: 0.12 s 266.88/66.95 c vivif2 -- cl tried 108790 cl shrink 469 lits rem 501 time: 0.06 267.30/67.02 c vivif2 -- cl tried 35778 cl shrink 6115 lits rem 18583 time: 0.07 269.27/67.51 c asymm cl-useful: 627/11624/108755 lits-rem:1881 time: 0.50 269.27/67.53 c calculated reachability. Time: 0.01 269.27/67.53 c N dy 674 105339 19680 108128 81413 35746 448654 451248 5.63 no data 269.27/67.57 c Finding binary XORs T: 0.04 s found: 15 280.88/70.43 c N dy 731 112081 19655 108128 84868 42428 448653 618422 5.73 7.23 289.67/72.66 c Finding binary XORs T: 0.03 s found: 12 292.03/73.28 c N dy 790 119276 19652 107830 99318 32876 447578 401693 5.79 7.10 304.81/76.47 c N dy 854 126954 19639 107830 104027 40468 447576 599742 5.88 8.35 309.61/77.62 c Finding binary XORs T: 0.03 s found: 41 319.59/80.15 c N dy 924 135075 19595 107395 122490 48294 445889 852334 5.99 8.46 333.95/83.78 c N dy 994 143703 19513 107395 126157 38259 445889 505894 6.08 9.56 337.15/84.53 c Finding binary XORs T: 0.03 s found: 7 349.53/87.60 c N dy 1065 152891 19461 106671 122786 47213 443093 750162 6.16 10.81 358.72/89.99 c S st 1108 158008 19454 106671 122878 52294 443093 888571 6.21 5.79 359.94/90.28 c S st 1108 158513 19429 106671 122899 52768 443090 895053 6.21 no data 360.31/90.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 368.73/92.49 c Flit: 17 Blit: 30 bXBeca: 0 bXProp: 58 Bins: 45538 BRemL: 64580 BRemN: 207 P: 29.2M T: 2.19 369.09/92.55 c Replacing 133 vars Replaced 17570 lits Time: 0.06 s 369.09/92.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 369.49/92.60 c bin-w-bin subsume rem 4645 bins time: 0.01 s 369.49/92.63 c subs with bin: 1278 lits-rem: 651 v-fix: 0 time: 0.03 s 369.89/92.71 c Subs w/ non-existent bins: 237 l-rem: 133 v-fix: 0 done: 19260 time: 0.07 s 369.89/92.73 c Removed useless bin: 143 fixed: 0 props: 0.91M time: 0.02 s 370.29/92.84 c lits-rem: 396 cl-subs: 698 v-elim: 468 v-fix: 0 time: 0.11 s 371.09/93.07 c subs with bin: 556 lits-rem: 6044 v-fix: 0 time: 0.19 s 372.29/93.34 c lits-rem: 1589 cl-subs: 816 v-elim: 0 v-fix: 0 time: 0.25 s 372.29/93.40 c vivif2 -- cl tried 103896 cl shrink 460 lits rem 497 time: 0.06 373.12/93.51 c vivif2 -- cl tried 49594 cl shrink 8933 lits rem 53283 time: 0.11 375.08/94.02 c asymm cl-useful: 453/8293/103879 lits-rem:1359 time: 0.51 375.08/94.04 c calculated reachability. Time: 0.01 375.08/94.04 c N dy 1108 158513 18792 103426 91715 49567 429434 701479 6.21 no data 375.08/94.08 c Finding binary XORs T: 0.04 s found: 29 391.85/98.26 c Finding binary XORs T: 0.04 s found: 11 395.07/99.01 c N dy 1184 168694 18715 102827 108913 40148 427125 429493 6.28 6.71 408.62/102.49 c Finding binary XORs T: 0.04 s found: 9 412.24/103.38 c N dy 1260 179526 18678 102524 111225 50463 426057 684306 6.32 6.88 432.58/108.47 c N dy 1361 190981 18665 102524 111391 61840 426057 1030364 6.42 8.58 452.17/113.39 c Finding binary XORs T: 0.04 s found: 65 452.54/113.48 c N dy 1455 203253 18581 101789 130353 53368 423073 705457 6.50 8.52 476.09/119.31 c N dy 1565 216270 18539 101789 131632 66265 423071 1065230 6.60 9.63 482.08/120.89 c Finding binary XORs T: 0.04 s found: 34 498.86/125.02 c N dy 1677 230074 18528 101401 132319 57557 421670 752582 6.68 7.05 504.05/126.37 c Finding binary XORs T: 0.04 s found: 47 504.47/126.41 c Replacing 195 vars Replaced 18877 lits Time: 0.04 s 513.25/128.66 c S st 1745 237769 18324 100861 143489 65057 419276 1000290 6.74 no data 514.42/128.94 c S st 1745 238269 18324 100861 143707 65546 419275 1006158 6.74 no data 514.42/128.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 523.61/131.27 c Flit: 22 Blit: 0 bXBeca: 0 bXProp: 43 Bins: 32161 BRemL: 55340 BRemN: 131 P: 28.6M T: 2.30 524.01/131.32 c Replacing 43 vars Replaced 8899 lits Time: 0.05 s 524.01/131.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 524.01/131.37 c bin-w-bin subsume rem 6941 bins time: 0.02 s 524.41/131.41 c subs with bin: 1490 lits-rem: 556 v-fix: 0 time: 0.03 s 524.41/131.48 c Subs w/ non-existent bins: 251 l-rem: 126 v-fix: 0 done: 18234 time: 0.07 s 524.81/131.50 c Removed useless bin: 176 fixed: 0 props: 0.97M time: 0.02 s 525.21/131.62 c lits-rem: 479 cl-subs: 804 v-elim: 494 v-fix: 0 time: 0.12 s 526.01/131.89 c subs with bin: 733 lits-rem: 5068 v-fix: 0 time: 0.22 s 527.20/132.19 c lits-rem: 1136 cl-subs: 859 v-elim: 0 v-fix: 0 time: 0.28 s 527.60/132.25 c vivif2 -- cl tried 98510 cl shrink 509 lits rem 555 time: 0.06 528.00/132.37 c vivif2 -- cl tried 61542 cl shrink 9195 lits rem 49819 time: 0.13 529.20/132.66 c asymm cl-useful: 200/4215/98486 lits-rem:600 time: 0.28 529.20/132.68 c calculated reachability. Time: 0.01 529.20/132.68 c N dy 1745 238269 17740 98286 105146 61498 407801 789634 6.74 no data 529.60/132.72 c Finding binary XORs T: 0.04 s found: 8 550.36/137.94 c Finding binary XORs T: 0.04 s found: 10 556.75/139.51 c N dy 1858 253825 17719 98045 114923 53401 406968 529655 6.81 7.19 585.10/146.67 c N dy 1983 270027 17708 98045 115203 69502 406967 1013978 6.88 7.77 615.84/154.38 c N dy 2119 287359 17696 98045 115355 62315 406966 680899 6.95 7.70 648.98/162.62 c N dy 2263 305714 17672 98045 115753 80559 406964 1250290 7.02 7.45 648.98/162.68 c Finding binary XORs T: 0.04 s found: 19 650.18/162.90 c F st 2268 306251 17672 97640 112363 80968 405512 1262053 7.02 9.46 650.18/162.93 c Replacing 37 vars Replaced 4178 lits Time: 0.03 s 683.72/171.32 c N dy 2392 325248 17621 97598 112394 73843 405264 945470 7.09 7.56 722.45/181.05 c N dy 2543 345289 17616 97598 112669 66914 405264 614762 7.15 7.62 743.21/186.21 c S st 2627 357403 17587 97598 112788 78959 405264 974782 7.17 no data 744.01/186.49 c S st 2627 357904 17587 97598 112802 79443 405264 981153 7.17 no data 744.41/186.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 754.81/189.13 c Flit: 35 Blit: 16 bXBeca: 0 bXProp: 52 Bins: 33170 BRemL: 35523 BRemN: 124 P: 31.2M T: 2.62 754.81/189.18 c Replacing 52 vars Replaced 13462 lits Time: 0.05 s 755.22/189.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 755.22/189.23 c bin-w-bin subsume rem 2072 bins time: 0.01 s 755.22/189.26 c subs with bin: 647 lits-rem: 263 v-fix: 0 time: 0.03 s 755.58/189.33 c Subs w/ non-existent bins: 197 l-rem: 41 v-fix: 0 done: 17451 time: 0.07 s 755.58/189.35 c Removed useless bin: 96 fixed: 0 props: 0.91M time: 0.02 s 755.98/189.47 c lits-rem: 187 cl-subs: 457 v-elim: 267 v-fix: 0 time: 0.12 s 757.18/189.73 c subs with bin: 703 lits-rem: 3233 v-fix: 0 time: 0.21 s 758.38/190.04 c lits-rem: 1366 cl-subs: 1001 v-elim: 0 v-fix: 0 time: 0.30 s 758.78/190.11 c vivif2 -- cl tried 95363 cl shrink 419 lits rem 439 time: 0.06 759.20/190.26 c vivif2 -- cl tried 75662 cl shrink 7449 lits rem 45332 time: 0.15 761.18/190.79 c asymm cl-useful: 637/4717/95343 lits-rem:939 time: 0.53 761.58/190.81 c calculated reachability. Time: 0.01 761.58/190.81 c N dy 2627 357904 17184 95323 101559 75623 394373 848916 7.17 no data 761.58/190.86 c Finding binary XORs T: 0.04 s found: 0 779.14/195.24 c Finding binary XORs T: 0.04 s found: 2 798.73/200.18 c N dy 2789 377953 17180 95289 112366 95480 394257 1543817 7.26 11.68 832.25/208.55 c N dy 2944 397978 17174 95289 112488 87021 394256 1184801 7.32 9.55 853.01/213.70 c Finding binary XORs T: 0.04 s found: 55 866.98/217.21 c N dy 3102 418001 17128 94820 131576 77808 392506 828898 7.38 9.20 894.14/224.01 c Finding binary XORs T: 0.04 s found: 9 903.32/226.32 c N dy 3261 438071 17111 94645 128847 97787 391817 1505233 7.45 8.04 940.05/235.53 c N dy 3419 458076 17105 94645 128990 87378 391816 1034989 7.52 11.23 976.38/244.63 c N dy 3561 478104 17070 94645 129065 107318 391815 1688233 7.56 7.96 1013.52/253.92 c N dy 3721 498192 17057 94645 129136 95960 391815 1225951 7.62 8.02 1052.25/263.65 c N dy 3863 518584 17051 94645 129215 116270 391813 1924239 7.66 8.06 1084.98/271.80 c S st 4005 536857 17048 94645 129252 101967 391813 1377452 7.70 no data 1086.18/272.14 c S st 4005 537364 17048 94645 129281 102463 391813 1386272 7.70 no data 1086.18/272.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1097.79/275.03 c Flit: 5 Blit: 0 bXBeca: 0 bXProp: 40 Bins: 19413 BRemL: 32631 BRemN: 62 P: 35.4M T: 2.87 1098.16/275.11 c Replacing 106 vars Replaced 16552 lits Time: 0.07 s 1098.16/275.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1098.16/275.15 c bin-w-bin subsume rem 3308 bins time: 0.02 s 1098.16/275.19 c subs with bin: 844 lits-rem: 437 v-fix: 0 time: 0.03 s 1098.56/275.25 c Subs w/ non-existent bins: 139 l-rem: 45 v-fix: 0 done: 16951 time: 0.06 s 1098.56/275.27 c Removed useless bin: 142 fixed: 0 props: 0.91M time: 0.02 s 1098.96/275.39 c lits-rem: 183 cl-subs: 495 v-elim: 238 v-fix: 0 time: 0.12 s 1100.96/275.83 c subs with bin: 794 lits-rem: 4370 v-fix: 0 time: 0.37 s 1103.35/276.48 c lits-rem: 2317 cl-subs: 1150 v-elim: 0 v-fix: 0 time: 0.63 s 1103.75/276.55 c vivif2 -- cl tried 92752 cl shrink 274 lits rem 309 time: 0.06 1104.55/276.77 c vivif2 -- cl tried 99080 cl shrink 10634 lits rem 86240 time: 0.22 1106.58/277.29 c asymm cl-useful: 618/2699/92720 lits-rem:697 time: 0.53 1106.94/277.32 c calculated reachability. Time: 0.01 1106.94/277.32 c N dy 4005 537364 16713 92712 108302 99018 382864 1203726 7.70 no data 1106.94/277.36 c Finding binary XORs T: 0.04 s found: 0 1130.51/283.26 c Finding binary XORs T: 0.04 s found: 5 1146.48/287.29 c N dy 4148 557386 16703 92606 115635 118827 382537 1913413 7.74 9.20 1184.40/296.73 c N dy 4288 577451 16703 92606 115728 103873 382537 1378234 7.77 10.35 1224.74/306.89 c N dy 4439 597507 16701 92606 115784 123854 382537 2116790 7.80 10.30 1262.67/316.39 c N dy 4592 617564 16700 92606 115843 108757 382537 1436918 7.84 10.27 1301.79/326.16 c N dy 4749 637675 16698 92606 115914 128793 382536 2255353 7.88 8.38 1341.71/336.18 c N dy 4905 657696 16696 92606 115972 112802 382535 1480781 7.91 8.72 1382.86/346.46 c N dy 5066 677781 16695 92606 116055 132813 382535 2295974 7.95 9.09 1421.58/356.10 c N dy 5204 697839 16691 92606 116107 115729 382535 1487972 7.98 9.27 1461.10/366.05 c N dy 5326 717867 16690 92606 116136 135679 382534 2262449 8.00 10.10 1500.63/375.95 c N dy 5490 737871 16690 92606 116164 117598 382534 1430016 8.03 13.88 1514.21/379.30 c Finding binary XORs T: 0.04 s found: 28 1540.97/386.04 c N dy 5634 758145 16665 92286 124615 137648 381305 2218537 8.06 8.61 1581.28/396.17 c N dy 5787 778184 16665 92286 124669 118433 381305 1410127 8.09 8.72 1622.00/406.32 c N dy 5935 798424 16664 92286 124753 138574 381304 2162859 8.12 8.56 1638.78/410.55 c S st 5994 806047 16662 92286 124772 146174 381304 2466384 8.13 no data 1640.38/410.96 c S st 5994 806552 16662 92286 124777 146673 381304 2476145 8.13 no data 1640.38/410.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1653.15/414.13 c Flit: 11 Blit: 0 bXBeca: 0 bXProp: 17 Bins: 11686 BRemL: 25391 BRemN: 62 P: 41.6M T: 3.14 1653.55/414.22 c Replacing 50 vars Replaced 9643 lits Time: 0.08 s 1653.55/414.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1653.55/414.26 c bin-w-bin subsume rem 1738 bins time: 0.01 s 1653.95/414.30 c subs with bin: 498 lits-rem: 142 v-fix: 0 time: 0.03 s 1653.95/414.36 c Subs w/ non-existent bins: 110 l-rem: 27 v-fix: 0 done: 16596 time: 0.06 s 1653.95/414.38 c Removed useless bin: 68 fixed: 0 props: 0.92M time: 0.02 s 1654.75/414.50 c lits-rem: 78 cl-subs: 270 v-elim: 155 v-fix: 0 time: 0.12 s 1658.34/415.48 c subs with bin: 706 lits-rem: 9686 v-fix: 0 time: 0.86 s 1665.53/417.29 c lits-rem: 6746 cl-subs: 1601 v-elim: 0 v-fix: 0 time: 1.79 s 1665.93/417.35 c vivif2 -- cl tried 91385 cl shrink 179 lits rem 209 time: 0.06 1667.93/417.81 c vivif2 -- cl tried 139136 cl shrink 23675 lits rem 214708 time: 0.45 1669.92/418.32 c asymm cl-useful: 360/1912/91370 lits-rem:417 time: 0.52 1669.92/418.35 c calculated reachability. Time: 0.01 1669.92/418.35 c N dy 5994 806552 16441 91366 105634 139111 376703 1969668 8.13 no data 1669.92/418.39 c Finding binary XORs T: 0.05 s found: 0 1683.10/421.67 c Finding binary XORs T: 0.04 s found: 10 1703.48/426.79 c Finding binary XORs T: 0.04 s found: 1 1709.44/428.23 c N dy 6125 826593 16437 91331 117710 121041 376600 1396742 8.15 12.63 1748.58/438.02 c N dy 6260 846629 16436 91331 117762 141013 376600 2137333 8.16 13.52 1789.30/448.24 c N dy 6396 866743 16434 91331 117795 120169 376599 1304235 8.18 8.66 1790.90/448.70 c Finding binary XORs T: 0.04 s found: 22 1829.63/458.36 c N dy 6537 886763 16430 91217 123069 140091 376254 2109373 8.21 11.48 1871.14/468.72 c N dy 6678 906971 16420 91217 123136 117917 376250 1105925 8.23 8.77 1912.27/479.05 c N dy 6828 927059 16414 91217 123192 137960 376247 1974008 8.25 8.79 1958.98/490.78 c N dy 6965 947290 16410 91217 123229 158122 376247 2804738 8.27 8.72 1997.73/500.47 c N dy 7105 967413 16410 91217 123279 134879 376247 1654027 8.29 8.86 2040.84/511.25 c N dy 7253 987541 16410 91217 123309 154954 376246 2481621 8.32 8.79 2083.96/522.01 c N dy 7396 1007677 16408 91217 123342 130690 376246 1375149 8.34 8.94 2124.69/532.27 c N dy 7543 1027735 16408 91217 123399 150663 376246 2147967 8.36 10.26 2169.02/543.37 c N dy 7677 1047825 16407 91217 123437 170700 376245 2961700 8.37 9.05 2204.57/552.21 c Finding binary XORs T: 0.04 s found: 12 2210.93/553.86 c N dy 7816 1067886 16407 91003 122587 145271 375512 1882069 8.39 9.00 2219.71/556.00 c F st 7849 1071878 16407 91003 122665 149250 375512 2053827 8.39 8.62 2219.71/556.05 c Replacing 45 vars Replaced 11750 lits Time: 0.05 s 2254.45/564.75 c N dy 7931 1087892 16367 90969 122619 165194 375340 2788036 8.40 10.62 2299.96/576.12 c N dy 8074 1107977 16367 90969 122673 139133 375340 1545316 8.42 9.01 2343.08/586.97 c N dy 8208 1128024 16367 90969 122711 159124 375340 2372820 8.44 12.04 2391.40/599.00 c N dy 8359 1148484 16364 90969 122766 179492 375339 3232609 8.46 8.91 2433.71/609.66 c N dy 8494 1168487 16363 90969 122797 152182 375338 1930953 8.47 10.64 2478.04/620.78 c N dy 8642 1188674 16361 90969 122817 172325 375338 2793198 8.49 9.00 2522.76/631.97 c N dy 8772 1208889 16361 90969 122841 144093 375338 1499742 8.50 9.20 2525.18/632.51 c S st 8781 1209828 16361 90969 122841 145031 375338 1542899 8.51 8.05 2526.35/632.88 c S st 8781 1210331 16361 90969 122848 145526 375338 1554962 8.51 no data 2526.75/632.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2539.52/636.11 c Flit: 6 Blit: 0 bXBeca: 0 bXProp: 25 Bins: 13516 BRemL: 18514 BRemN: 54 P: 41.7M T: 3.21 2539.52/636.19 c Replacing 25 vars Replaced 6914 lits Time: 0.07 s 2539.92/636.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2539.92/636.24 c bin-w-bin subsume rem 2018 bins time: 0.01 s 2539.92/636.27 c subs with bin: 492 lits-rem: 238 v-fix: 0 time: 0.03 s 2540.32/636.34 c Subs w/ non-existent bins: 99 l-rem: 34 v-fix: 0 done: 16326 time: 0.06 s 2540.32/636.36 c Removed useless bin: 99 fixed: 0 props: 0.93M time: 0.02 s 2540.72/636.48 c lits-rem: 80 cl-subs: 249 v-elim: 141 v-fix: 0 time: 0.13 s 2542.34/636.90 c subs with bin: 624 lits-rem: 3429 v-fix: 0 time: 0.34 s 2545.11/637.55 c lits-rem: 2391 cl-subs: 1457 v-elim: 0 v-fix: 0 time: 0.63 s 2545.51/637.61 c vivif2 -- cl tried 90122 cl shrink 186 lits rem 207 time: 0.06 2546.31/637.88 c vivif2 -- cl tried 139582 cl shrink 8984 lits rem 58683 time: 0.27 2548.31/638.38 c asymm cl-useful: 492/2114/90104 lits-rem:554 time: 0.50 2548.71/638.40 c calculated reachability. Time: 0.01 2548.71/638.40 c N dy 8781 1210331 16185 90099 112181 139560 370889 1380538 8.51 no data 2548.71/638.45 c Finding binary XORs T: 0.05 s found: 0 2563.48/642.16 c Finding binary XORs T: 0.05 s found: 2 2591.83/649.23 c Finding binary XORs T: 0.05 s found: 4 2594.24/649.88 c N dy 8926 1230606 16181 90046 120809 159759 370737 2242353 8.52 9.04 2640.55/661.47 c N dy 9039 1250665 16181 90046 120865 179756 370737 3057971 8.53 9.19 2686.46/672.91 c N dy 9174 1270724 16175 90046 120889 149233 370736 1781961 8.54 9.02 2705.25/677.64 c Finding binary XORs T: 0.05 s found: 8 2732.37/684.47 c N dy 9315 1290796 16171 89961 131067 169210 370412 2614260 8.56 9.17 2733.57/684.75 c Finding binary XORs T: 0.05 s found: 1 2781.08/696.61 c N dy 9444 1310826 16171 89961 131100 138835 370412 1235595 8.57 9.49 2824.20/707.43 c N dy 9591 1330879 16168 89961 131120 158857 370412 2051507 8.58 9.12 2868.53/718.51 c N dy 9730 1350976 16167 89961 131154 178881 370412 2883986 8.60 14.10 2916.07/730.48 c Finding binary XORs T: 0.04 s found: 14 2918.03/730.94 c N dy 9880 1370986 16157 89805 133884 147451 369878 1486823 8.62 11.84 2960.75/741.66 c N dy 9993 1391006 16154 89805 134613 167429 369878 2322115 8.63 9.12 3007.47/753.39 c N dy 10129 1411215 16152 89805 134648 187583 369878 3232446 8.64 9.22 3050.59/764.12 c N dy 10240 1431242 16150 89805 134686 154858 369878 1674910 8.65 11.44 3095.31/775.31 c N dy 10367 1451350 16147 89805 134719 174907 369878 2527547 8.66 9.19 3144.04/787.56 c N dy 10503 1471459 16147 89805 134747 194951 369878 3397250 8.67 9.19 3188.74/798.70 c N dy 10620 1491568 16146 89805 134778 161606 369878 1856712 8.68 9.18 3233.46/809.93 c N dy 10746 1511585 16146 89805 134798 181576 369878 2714762 8.69 10.89 3282.97/822.33 c N dy 10875 1531651 16145 89805 134828 201592 369877 3585549 8.70 10.36 3326.88/833.38 c N dy 11010 1551745 16144 89805 134844 167181 369877 2018824 8.71 9.17 3353.24/839.99 c Finding binary XORs T: 0.04 s found: 4 3375.20/845.42 c N dy 11140 1572003 16144 89707 134323 187340 369492 2893116 8.72 9.23 3424.72/857.81 c N dy 11268 1592031 16144 89707 134357 207306 369492 3724092 8.73 10.11 3470.62/869.35 c N dy 11396 1612153 16144 89707 134383 171704 369492 2045728 8.74 9.25 3518.94/881.49 c N dy 11527 1632262 16142 89707 134400 191782 369492 2895691 8.75 9.27 3570.48/894.36 c N dy 11678 1652280 16142 89707 134432 211755 369492 3799619 8.77 10.25 3615.96/905.75 c N dy 11811 1672431 16142 89707 134461 175221 369491 2088782 8.78 9.25 3665.07/918.07 c N dy 11962 1692506 16142 89707 134486 195250 369491 2967643 8.79 9.35 3710.60/929.45 c S st 12083 1710331 16142 89707 134514 213019 369491 3695807 8.81 no data 3712.58/929.99 c S st 12083 1710831 16142 89707 134520 213513 369491 3707189 8.81 no data 3712.98/930.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3726.56/933.44 c Flit: 6 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 5523 BRemL: 18536 BRemN: 38 P: 49.7M T: 3.42 3726.96/933.57 c Replacing 42 vars Replaced 18099 lits Time: 0.12 s 3727.36/933.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3727.36/933.62 c bin-w-bin subsume rem 3421 bins time: 0.02 s 3727.36/933.65 c subs with bin: 436 lits-rem: 120 v-fix: 0 time: 0.03 s 3727.76/933.71 c Subs w/ non-existent bins: 64 l-rem: 12 v-fix: 0 done: 16096 time: 0.06 s 3727.76/933.73 c Removed useless bin: 52 fixed: 0 props: 0.94M time: 0.02 s 3728.17/933.88 c lits-rem: 39 cl-subs: 235 v-elim: 99 v-fix: 0 time: 0.14 s 3735.75/935.71 c subs with bin: 961 lits-rem: 14281 v-fix: 0 time: 1.64 s 3751.32/939.69 c lits-rem: 5753 cl-subs: 1984 v-elim: 0 v-fix: 0 time: 3.96 s 3751.72/939.75 c vivif2 -- cl tried 88902 cl shrink 119 lits rem 140 time: 0.06 3754.53/940.50 c vivif2 -- cl tried 205390 cl shrink 36938 lits rem 348308 time: 0.75 3756.90/941.02 c asymm cl-useful: 179/3029/88891 lits-rem:199 time: 0.51 3756.90/941.04 c calculated reachability. Time: 0.01 3756.90/941.04 c N dy 12083 1710831 15997 88886 114810 205336 366262 3037003 8.81 no data 3756.90/941.09 c Finding binary XORs T: 0.05 s found: 0 3788.05/948.81 c Finding binary XORs T: 0.05 s found: 3 3805.62/953.20 c N dy 12203 1730910 15994 88867 120012 169939 366204 1861784 8.82 12.58 3851.93/964.88 c N dy 12347 1751011 15991 88867 120061 189986 366203 2873395 8.83 11.65 3872.29/969.94 c Finding binary XORs T: 0.05 s found: 12 3902.64/977.53 c N dy 12475 1771347 15990 88817 131494 210183 366042 3771488 8.84 9.34 3950.95/989.62 c N dy 12584 1791628 15988 88817 131518 171886 366042 1764201 8.84 9.34 3996.86/1001.13 c N dy 12726 1811795 15986 88817 131544 192001 366042 2613088 8.85 9.32 4046.78/1013.61 c N dy 12846 1831908 15984 88817 131593 212045 366042 3529423 8.86 9.34 4096.68/1026.16 c N dy 12981 1852838 15982 88817 131636 173641 366041 1829919 8.87 9.61 4143.80/1037.90 c N dy 13108 1872926 15979 88817 131660 193683 366041 2713731 8.88 9.42 4149.80/1039.50 c Finding binary XORs T: 0.05 s found: 21 4191.71/1049.91 c N dy 13223 1892974 15953 88475 133597 213377 364828 3632175 8.88 9.84 4242.81/1062.75 c N dy 13358 1913072 15949 88475 133612 172903 364828 1687684 8.90 11.80 4289.94/1074.54 c N dy 13485 1933202 15947 88475 133626 192988 364828 2673533 8.90 9.42 4340.24/1087.11 c N dy 13608 1953234 15946 88475 133642 212974 364828 3596201 8.91 9.39 4396.16/1101.13 c N dy 13743 1973631 15946 88475 133654 171751 364828 1535281 8.92 9.43 4444.84/1113.36 c N dy 13863 1994167 15943 88475 133671 192236 364828 2439893 8.93 9.45 4494.76/1125.82 c N dy 13985 2014168 15943 88475 133676 212186 364828 3294637 8.94 9.44 4549.48/1139.54 c N dy 14134 2034533 15943 88475 133683 232520 364828 4285835 8.95 9.48 4600.56/1152.40 c N dy 14277 2054593 15940 88475 133702 189909 364828 2220260 8.96 11.12 4650.90/1164.92 c N dy 14410 2074642 15940 88475 133717 209892 364828 3133361 8.97 9.47 4660.46/1167.31 c Finding binary XORs T: 0.04 s found: 10 4704.38/1178.37 c N dy 14552 2094852 15940 88330 132957 229993 364287 4081152 8.98 9.67 4756.67/1191.41 c N dy 14692 2114947 15939 88330 132986 186437 364287 1997310 8.99 11.76
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367269-1305394216/watcher-3367269-1305394216 -o /tmp/evaluation-result-3367269-1305394216/solver-3367269-1305394216 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367269-1305394216.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: 8.07 7.66 7.36 5/241 7614 /proc/meminfo: memFree=22792676/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 651022346 52396032 347 33554432000 4194304 4580107 140733554226736 18446744073709551615 47346480846770 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 12792 347 299 95 0 7774 0 [pid=7614/tid=7615] ppid=7612 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651022347 52396032 347 33554432000 4194304 4580107 140733554226736 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651022347 52396032 347 33554432000 4194304 4580107 140733554226736 18446744073709551615 47346480846770 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651022347 52396032 347 33554432000 4194304 4580107 140733554226736 18446744073709551615 47346480846770 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.01619 s] /proc/loadavg: 8.07 7.66 7.36 5/241 7614 /proc/meminfo: memFree=22792676/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=286204 CPUtime=0.03 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 4192 0 0 0 3 0 0 0 25 0 4 0 651022346 293072896 3706 33554432000 4194304 4580107 140733554226736 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 71623 3788 337 95 0 66605 0 [pid=7614/tid=7615] ppid=7612 vsize=286684 CPUtime=0 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) D 7612 7614 6866 0 -1 4202560 955 0 0 0 0 0 0 0 18 0 4 0 651022347 293564416 3790 33554432000 4194304 4580107 140733554226736 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=292280 CPUtime=0.01 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 1328 0 0 0 1 0 0 0 18 0 4 0 651022347 299294720 4788 33554432000 4194304 4580107 140733554226736 18446744073709551615 222921820295 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=291504 CPUtime=0.01 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) D 7612 7614 6866 0 -1 4202560 1335 0 0 0 1 0 0 0 25 0 4 0 651022347 298500096 5019 33554432000 4194304 4580107 140733554226736 18446744073709551615 222921820295 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 286204 [startup+0.104928 s] /proc/loadavg: 8.07 7.66 7.36 5/241 7614 /proc/meminfo: memFree=22792676/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=356936 CPUtime=0.36 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 38404 0 0 0 28 8 0 0 18 0 4 0 651022346 365502464 29739 33554432000 4194304 4580107 140733554226736 18446744073709551615 222921834922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 89234 29739 337 95 0 84216 0 [pid=7614/tid=7615] ppid=7612 vsize=356936 CPUtime=0.07 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) D 7612 7614 6866 0 -1 4202560 9416 0 0 0 6 1 0 0 18 0 4 0 651022347 365502464 29739 33554432000 4194304 4580107 140733554226736 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=356936 CPUtime=0.08 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) D 7612 7614 6866 0 -1 4202560 9752 0 0 0 7 1 0 0 18 0 4 0 651022347 365502464 29739 33554432000 4194304 4580107 140733554226736 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=356936 CPUtime=0.09 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 9418 0 0 0 7 2 0 0 18 0 4 0 651022347 365502464 29739 33554432000 4194304 4580107 140733554226736 18446744073709551615 222921474517 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 356936 [startup+0.300895 s] /proc/loadavg: 8.07 7.66 7.36 5/241 7614 /proc/meminfo: memFree=22792676/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=449096 CPUtime=1.12 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 83294 0 0 0 95 17 0 0 18 0 4 0 651022346 459874304 65715 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294213 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 112274 65715 359 95 0 107256 0 [pid=7614/tid=7615] ppid=7612 vsize=449096 CPUtime=0.26 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 20638 0 0 0 23 3 0 0 18 0 4 0 651022347 459874304 65715 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=449096 CPUtime=0.27 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 20642 0 0 0 24 3 0 0 18 0 4 0 651022347 459874304 65715 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=449096 CPUtime=0.28 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 20965 0 0 0 23 5 0 0 18 0 4 0 651022347 459874304 65715 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293087 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 449096 [startup+0.700822 s] /proc/loadavg: 8.07 7.66 7.36 5/241 7614 /proc/meminfo: memFree=22792676/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=451012 CPUtime=2.72 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 84893 0 0 0 255 17 0 0 18 0 4 0 651022346 461836288 67026 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 112753 67026 360 95 0 107735 0 [pid=7614/tid=7615] ppid=7612 vsize=451012 CPUtime=0.66 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 20990 0 0 0 63 3 0 0 18 0 4 0 651022347 461836288 67026 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=451012 CPUtime=0.67 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21124 0 0 0 64 3 0 0 18 0 4 0 651022347 461836288 67026 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=451012 CPUtime=0.68 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21383 0 0 0 63 5 0 0 18 0 4 0 651022347 461836288 67026 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.72 Current children cumulated vsize (KiB) 451012 [startup+1.50068 s] /proc/loadavg: 8.07 7.66 7.36 11/245 7618 /proc/meminfo: memFree=22523048/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=451012 CPUtime=5.91 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 86141 0 0 0 574 17 0 0 19 0 4 0 651022346 461836288 67285 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 112753 67285 360 95 0 107735 0 [pid=7614/tid=7615] ppid=7612 vsize=451012 CPUtime=1.46 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21099 0 0 0 143 3 0 0 19 0 4 0 651022347 461836288 67285 33554432000 4194304 4580107 140733554226736 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=451012 CPUtime=1.47 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21124 0 0 0 144 3 0 0 19 0 4 0 651022347 461836288 67285 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=451012 CPUtime=1.47 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 22413 0 0 0 142 5 0 0 19 0 4 0 651022347 461836288 67285 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.91 Current children cumulated vsize (KiB) 451012 [startup+3.10038 s] /proc/loadavg: 8.07 7.66 7.36 9/245 7618 /proc/meminfo: memFree=22525776/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=451956 CPUtime=12.3 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 88881 0 0 0 1213 17 0 0 24 0 4 0 651022346 462802944 70025 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293295 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 112989 70025 361 95 0 107971 0 [pid=7614/tid=7615] ppid=7612 vsize=451956 CPUtime=3.05 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21345 0 0 0 302 3 0 0 24 0 4 0 651022347 462802944 70025 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=451956 CPUtime=3.07 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21360 0 0 0 304 3 0 0 24 0 4 0 651022347 462802944 70025 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=451956 CPUtime=3.07 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 24421 0 0 0 302 5 0 0 24 0 4 0 651022347 462802944 70025 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.3 Current children cumulated vsize (KiB) 451956 [startup+6.3008 s] /proc/loadavg: 8.06 7.67 7.37 9/245 7618 /proc/meminfo: memFree=22510356/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=452676 CPUtime=25.08 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 89596 0 0 0 2490 18 0 0 25 0 4 0 651022346 463540224 70740 33554432000 4194304 4580107 140733554226736 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 113169 70740 361 95 0 108151 0 [pid=7614/tid=7615] ppid=7612 vsize=452676 CPUtime=6.22 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21478 0 0 0 619 3 0 0 25 0 4 0 651022347 463540224 70740 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=452676 CPUtime=6.27 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 21486 0 0 0 624 3 0 0 25 0 4 0 651022347 463540224 70740 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=452676 CPUtime=6.27 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 24749 0 0 0 622 5 0 0 25 0 4 0 651022347 463540224 70740 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 25.08 Current children cumulated vsize (KiB) 452676 [startup+12.7006 s] /proc/loadavg: 8.06 7.67 7.37 9/245 7619 /proc/meminfo: memFree=22305692/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=745548 CPUtime=50.63 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 145552 0 0 0 5036 27 0 0 25 0 4 0 651022346 763441152 117720 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 186387 117720 378 95 0 181369 0 [pid=7614/tid=7615] ppid=7612 vsize=745548 CPUtime=12.58 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 41393 0 0 0 1251 7 0 0 25 0 4 0 651022347 763441152 117720 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=745548 CPUtime=12.66 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 37696 0 0 0 1261 5 0 0 25 0 4 0 651022347 763441152 117720 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=745548 CPUtime=12.67 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 24954 0 0 0 1262 5 0 0 25 0 4 0 651022347 763441152 117720 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 745548 [startup+25.5003 s] /proc/loadavg: 8.12 7.70 7.38 9/245 7619 /proc/meminfo: memFree=22051212/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=907660 CPUtime=101.72 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 355971 0 0 0 10122 50 0 0 25 0 4 0 651022346 929443840 176782 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 226915 176782 381 95 0 221897 0 [pid=7614/tid=7615] ppid=7612 vsize=907660 CPUtime=25.28 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 131577 0 0 0 2511 17 0 0 25 0 4 0 651022347 929443840 176782 33554432000 4194304 4580107 140733554226736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=907660 CPUtime=25.47 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 56915 0 0 0 2539 8 0 0 25 0 4 0 651022347 929443840 176782 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=907660 CPUtime=25.47 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 78567 0 0 0 2536 11 0 0 25 0 4 0 651022347 929443840 176782 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.72 Current children cumulated vsize (KiB) 907660 [startup+51.1006 s] /proc/loadavg: 8.08 7.73 7.40 9/245 7620 /proc/meminfo: memFree=21640716/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1271580 CPUtime=203.94 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 459685 0 0 0 20314 80 0 0 25 0 4 0 651022346 1302097920 270591 33554432000 4194304 4580107 140733554226736 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 317895 270591 381 95 0 312877 0 [pid=7614/tid=7615] ppid=7612 vsize=1271580 CPUtime=50.7 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 140987 0 0 0 5052 18 0 0 25 0 4 0 651022347 1302097920 270591 33554432000 4194304 4580107 140733554226736 18446744073709551615 4291040 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1271580 CPUtime=51.07 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 68512 0 0 0 5096 11 0 0 25 0 4 0 651022347 1302097920 270591 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1271580 CPUtime=51.07 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 155145 0 0 0 5071 36 0 0 25 0 4 0 651022347 1302097920 270591 33554432000 4194304 4580107 140733554226736 18446744073709551615 4290846 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 203.94 Current children cumulated vsize (KiB) 1271580 [startup+102.309 s] /proc/loadavg: 8.09 7.78 7.43 9/245 7621 /proc/meminfo: memFree=21447960/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1505784 CPUtime=408.25 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 541941 0 0 0 40734 91 0 0 25 0 4 0 651022346 1541922816 302150 33554432000 4194304 4580107 140733554226736 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 376446 302150 381 95 0 371428 0 [pid=7614/tid=7615] ppid=7612 vsize=1505784 CPUtime=101.53 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 149417 0 0 0 10134 19 0 0 25 0 4 0 651022347 1541922816 302150 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1505784 CPUtime=102.15 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 70918 0 0 0 10203 12 0 0 25 0 4 0 651022347 1541922816 302150 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1505784 CPUtime=102.28 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 212854 0 0 0 10185 43 0 0 25 0 4 0 651022347 1541922816 302150 33554432000 4194304 4580107 140733554226736 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 408.25 Current children cumulated vsize (KiB) 1505784 [startup+162.3 s] ################ # More data... # ################ [pid=7614] ppid=7612 vsize=1762748 CPUtime=2803.84 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 837865 0 0 0 280195 189 0 0 25 0 4 0 651022346 1805053952 378319 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 440687 378319 381 95 0 435669 0 [pid=7614/tid=7615] ppid=7612 vsize=1762748 CPUtime=697.18 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 215735 0 0 0 69676 42 0 0 25 0 4 0 651022347 1805053952 378319 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1762748 CPUtime=702.15 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 130042 0 0 0 70184 31 0 0 25 0 4 0 651022347 1805053952 378319 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1762748 CPUtime=702.28 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 299722 0 0 0 70158 70 0 0 25 0 4 0 651022347 1805053952 378319 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2803.84 Current children cumulated vsize (KiB) 1762748 [startup+762.309 s] /proc/loadavg: 8.05 8.02 7.73 9/245 7639 /proc/meminfo: memFree=20792428/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1799276 CPUtime=3043.43 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 867941 0 0 0 304143 200 0 0 25 0 4 0 651022346 1842458624 385711 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 449819 385711 381 95 0 444801 0 [pid=7614/tid=7615] ppid=7612 vsize=1799276 CPUtime=756.75 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 224295 0 0 0 75630 45 0 0 25 0 4 0 651022347 1842458624 385711 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1799276 CPUtime=762.16 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 135919 0 0 0 76183 33 0 0 25 0 4 0 651022347 1842458624 385711 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1799276 CPUtime=762.29 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 306484 0 0 0 76157 72 0 0 25 0 4 0 651022347 1842458624 385711 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3043.43 Current children cumulated vsize (KiB) 1799276 [startup+822.301 s] /proc/loadavg: 8.13 8.05 7.75 9/245 7640 /proc/meminfo: memFree=20748728/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1883460 CPUtime=3282.97 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 886426 0 0 0 328089 208 0 0 25 0 4 0 651022346 1928663040 390743 33554432000 4194304 4580107 140733554226736 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 470865 390743 381 95 0 465847 0 [pid=7614/tid=7615] ppid=7612 vsize=1883460 CPUtime=816.31 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 231447 0 0 0 81585 46 0 0 25 0 4 0 651022347 1928663040 390743 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1883460 CPUtime=822.15 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 136163 0 0 0 82182 33 0 0 25 0 4 0 651022347 1928663040 390743 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1883460 CPUtime=822.29 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 310772 0 0 0 82154 75 0 0 25 0 4 0 651022347 1928663040 390743 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3282.97 Current children cumulated vsize (KiB) 1883460 [startup+882.301 s] /proc/loadavg: 8.12 8.05 7.77 9/245 7642 /proc/meminfo: memFree=20742344/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1831072 CPUtime=3522.53 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 911798 0 0 0 352035 218 0 0 25 0 4 0 651022346 1875017728 383157 33554432000 4194304 4580107 140733554226736 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 457768 383157 381 95 0 452750 0 [pid=7614/tid=7615] ppid=7612 vsize=1831072 CPUtime=875.87 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 241049 0 0 0 87538 49 0 0 25 0 4 0 651022347 1875017728 383157 33554432000 4194304 4580107 140733554226736 18446744073709551615 4295831 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1831072 CPUtime=882.16 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 136350 0 0 0 88182 34 0 0 25 0 4 0 651022347 1875017728 383157 33554432000 4194304 4580107 140733554226736 18446744073709551615 4325837 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1831072 CPUtime=882.28 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 317400 0 0 0 88150 78 0 0 25 0 4 0 651022347 1875017728 383157 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3522.53 Current children cumulated vsize (KiB) 1831072 [startup+942.301 s] /proc/loadavg: 8.11 8.06 7.79 9/245 7643 /proc/meminfo: memFree=20779732/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1927316 CPUtime=3762.09 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 945559 0 0 0 375980 229 0 0 25 0 4 0 651022346 1973571584 386611 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 481829 386611 381 95 0 476811 0 [pid=7614/tid=7615] ppid=7612 vsize=1927316 CPUtime=935.45 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 250174 0 0 0 93493 52 0 0 25 0 4 0 651022347 1973571584 386611 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1927316 CPUtime=942.15 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 144828 0 0 0 94178 37 0 0 25 0 4 0 651022347 1973571584 386611 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1927316 CPUtime=942.29 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 321551 0 0 0 94149 80 0 0 25 0 4 0 651022347 1973571584 386611 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3762.09 Current children cumulated vsize (KiB) 1927316 [startup+1002.3 s] /proc/loadavg: 8.16 8.08 7.81 9/245 7645 /proc/meminfo: memFree=20789616/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1928308 CPUtime=4001.66 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 977580 0 0 0 399925 241 0 0 25 0 4 0 651022346 1974587392 383393 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 482077 383393 381 95 0 477059 0 [pid=7614/tid=7615] ppid=7612 vsize=1928308 CPUtime=995.01 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 259658 0 0 0 99446 55 0 0 25 0 4 0 651022347 1974587392 383393 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1928308 CPUtime=1002.16 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 151488 0 0 0 100176 40 0 0 25 0 4 0 651022347 1974587392 383393 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1928308 CPUtime=1002.29 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 327674 0 0 0 100147 82 0 0 25 0 4 0 651022347 1974587392 383393 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4001.66 Current children cumulated vsize (KiB) 1928308 [startup+1062.3 s] /proc/loadavg: 8.17 8.09 7.83 9/245 7647 /proc/meminfo: memFree=20730548/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1832360 CPUtime=4241.22 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 1010384 0 0 0 423870 252 0 0 25 0 4 0 651022346 1876336640 388195 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 458090 388195 381 95 0 453072 0 [pid=7614/tid=7615] ppid=7612 vsize=1832360 CPUtime=1054.57 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 268967 0 0 0 105400 57 0 0 25 0 4 0 651022347 1876336640 388195 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1832360 CPUtime=1062.16 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 160936 0 0 0 106173 43 0 0 25 0 4 0 651022347 1876336640 388195 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1832360 CPUtime=1062.29 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 331811 0 0 0 106145 84 0 0 25 0 4 0 651022347 1876336640 388195 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4241.22 Current children cumulated vsize (KiB) 1832360 [startup+1122.3 s] /proc/loadavg: 6.35 7.64 7.69 5/236 7666 /proc/meminfo: memFree=22786736/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1849240 CPUtime=4480.78 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 1036712 0 0 0 447814 264 0 0 25 0 4 0 651022346 1893621760 382810 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 462310 382810 381 95 0 457292 0 [pid=7614/tid=7615] ppid=7612 vsize=1849240 CPUtime=1114.14 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 276103 0 0 0 111353 61 0 0 25 0 4 0 651022347 1893621760 382810 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1849240 CPUtime=1122.16 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 166767 0 0 0 112170 46 0 0 25 0 4 0 651022347 1893621760 382810 33554432000 4194304 4580107 140733554226736 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1849240 CPUtime=1122.29 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 337791 0 0 0 112143 86 0 0 25 0 4 0 651022347 1893621760 382810 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4480.78 Current children cumulated vsize (KiB) 1849240 [startup+1182.3 s] /proc/loadavg: 4.92 6.99 7.47 5/236 7668 /proc/meminfo: memFree=22737324/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=2028220 CPUtime=4720.35 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 1064660 0 0 0 471759 276 0 0 25 0 4 0 651022346 2076897280 392395 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 507055 392395 381 95 0 502037 0 [pid=7614/tid=7615] ppid=7612 vsize=2028220 CPUtime=1173.7 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 285648 0 0 0 117305 65 0 0 25 0 4 0 651022347 2076897280 392395 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=2028220 CPUtime=1182.16 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 173205 0 0 0 118167 49 0 0 25 0 4 0 651022347 2076897280 392395 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=2028220 CPUtime=1182.3 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 342616 0 0 0 118142 88 0 0 25 0 4 0 651022347 2076897280 392395 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4720.35 Current children cumulated vsize (KiB) 2028220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202.31 s] /proc/loadavg: 4.66 6.80 7.39 5/236 7668 /proc/meminfo: memFree=22755044/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1850344 CPUtime=4800.25 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 1074712 0 0 0 479743 282 0 0 25 0 4 0 651022346 1894752256 390800 33554432000 4194304 4580107 140733554226736 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 462586 390800 381 95 0 457568 0 [pid=7614/tid=7615] ppid=7612 vsize=1850344 CPUtime=1193.57 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 287470 0 0 0 119290 67 0 0 25 0 4 0 651022347 1894752256 390801 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1850344 CPUtime=1202.18 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 173302 0 0 0 120169 49 0 0 25 0 4 0 651022347 1894752256 390801 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1850344 CPUtime=1202.31 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 346393 0 0 0 120142 89 0 0 25 0 4 0 651022347 1894752256 390801 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 1850344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1202.31 s] /proc/loadavg: 4.66 6.80 7.39 5/236 7668 /proc/meminfo: memFree=22755044/32951124 swapFree=61559568/67111528 [pid=7614] ppid=7612 vsize=1850344 CPUtime=4800.25 cores=0,2,4,6 /proc/7614/stat : 7614 (strangenight2-m) R 7612 7614 6866 0 -1 4202496 1074712 0 0 0 479743 282 0 0 25 0 4 0 651022346 1894752256 390800 33554432000 4194304 4580107 140733554226736 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/7614/statm: 462586 390800 381 95 0 457568 0 [pid=7614/tid=7615] ppid=7612 vsize=1850344 CPUtime=1193.57 cores=0,2,4,6 /proc/7614/task/7615/stat : 7615 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 287470 0 0 0 119290 67 0 0 25 0 4 0 651022347 1894752256 390801 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7614/tid=7616] ppid=7612 vsize=1850344 CPUtime=1202.18 cores=0,2,4,6 /proc/7614/task/7616/stat : 7616 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 173302 0 0 0 120169 49 0 0 25 0 4 0 651022347 1894752256 390801 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7614/tid=7617] ppid=7612 vsize=1850344 CPUtime=1202.31 cores=0,2,4,6 /proc/7614/task/7617/stat : 7617 (strangenight2-m) R 7612 7614 6866 0 -1 4202560 346393 0 0 0 120142 89 0 0 25 0 4 0 651022347 1894752256 390801 33554432000 4194304 4580107 140733554226736 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 1850344 Child ended because it received signal 15 (SIGTERM) Real time (s): 1202.39 CPU time (s): 4800.35 CPU user time (s): 4797.46 CPU system time (s): 2.88656 CPU usage (%): 399.235 Max. virtual memory (cumulated for all children) (KiB): 2107532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.46 system time used= 2.88656 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1074714 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= 3952 involuntary context switches= 25057 runsolver used 2.41563 second user time and 6.36103 second system time The end
Begin job on node109 at 2011-05-14 19:30:16 IDJOB=3367269 IDBENCH=82468 IDSOLVER=1844 FILE ID=node109/3367269-1305394216 RUNJOBID= node109-1305393717-7382 PBS_JOBID= 13324441 Free space on /tmp= 73196 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367269-1305394216/watcher-3367269-1305394216 -o /tmp/evaluation-result-3367269-1305394216/solver-3367269-1305394216 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367269-1305394216.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a0ec1baa890da62d0c6df7f1e62c6af3 RANDOM SEED=516042084 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22792956 kB Buffers: 223584 kB Cached: 2280936 kB SwapCached: 28404 kB Active: 1576924 kB Inactive: 8362520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22792956 kB SwapTotal: 67111528 kB SwapFree: 61559568 kB Dirty: 21392 kB Writeback: 0 kB AnonPages: 7413064 kB Mapped: 18068 kB Slab: 122624 kB PageTables: 34060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 19637584 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73212 MiB End job on node109 at 2011-05-14 19:50:20