| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.3 | 1201.91 |
| Name | ibm-2002-30r-k85.cnf |
| MD5SUM | c08fe2d9c476652207ada677b7ca59f9 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 42.9815 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 181484 |
| Number of clauses | 890298 |
| Sum of the clauses size | 2338581 |
| Maximum clause length | 19 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 771 |
| Number of clauses of size 2 | 667172 |
| Number of clauses of size 3 | 144951 |
| Number of clauses of size 4 | 24791 |
| Number of clauses of size 5 | 11035 |
| Number of clauses of size over 5 | 41578 |
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-3281838-1304032581.cnf' 0.00/0.00 c -- header says num vars: 181484 0.00/0.00 c -- header says num clauses: 890298 1.77/0.53 c -- clauses added: 0 learnts, 890298 normals, 0 xors 1.77/0.53 c -- vars added 181484 1.77/0.53 c Parsing time: 1.19 s 1.77/0.53 c N st 0 0 181484 222355 666308 0 2336082 0 no data no data -- 2.96/0.87 c asymm cl-useful: 1/8886/210966 lits-rem:1 time: 1.30 32.51/8.26 c Flit: 198 Blit: 1749 bXBeca: 0 bXProp: 16550 Bins: 0 BRemL: 0 BRemN: 0 P: 163.0M T: 29.00 32.51/8.29 c Cleaning up after failed var search: 0.13 s 33.31/8.41 c Replacing 16550 vars Replaced 525004 lits Time: 0.44 s 34.06/8.65 c bin-w-bin subsume rem 10779 bins time: 0.21 s 34.47/8.78 c subs with bin: 87 lits-rem: 3077 v-fix: 0 time: 0.51 s 36.45/9.22 c Subs w/ non-existent bins: 69 l-rem: 812 v-fix: 0 done: 132342 time: 1.73 s 37.25/9.40 c Removed useless bin: 1872 fixed: 0 props: 20.00M time: 0.71 s 40.40/10.25 c lits-rem: 15 cl-subs: 2065 v-elim: 51803 v-fix: 0 time: 3.12 s 40.40/10.28 c Finding binary XORs T: 0.14 s found: 0 41.20/10.47 c Finding non-binary XORs: 0.52 s (found: 11702, avg size: 3.0) 41.20/10.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 5898 time: 0.21 41.59/10.54 c Replacing 2948 vars Replaced 41698 lits Time: 0.27 s 41.59/10.59 c Calc default polars - time: 0.12 s pos: 45577 undec: 81353 neg: 54554 41.59/10.59 c ========================================================================================= 41.59/10.59 c types(t): F = full restart, N = normal restart 41.59/10.59 c types(t): S = simplification begin/end, E = solution found 41.59/10.59 c restart types(rt): st = static, dy = dynamic 41.59/10.59 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 41.59/10.59 c B st 0 0 100657 164188 471590 0 1892782 0 no data no data -- 45.59/11.50 c N dy 17 4277 100616 164188 471947 3846 1892775 52968 5.83 6.20 -- 47.60/12.09 c N dy 42 8295 100413 164188 475411 7550 1892770 117697 6.20 6.53 -- 50.37/12.74 c N dy 62 12365 100408 164188 476337 11315 1892766 170221 6.11 6.57 -- 53.17/13.47 c N dy 83 16425 100109 164188 476550 15091 1892756 230311 6.16 7.95 -- 55.97/14.19 c N dy 114 20474 100096 164188 477296 9700 1892754 84655 6.38 6.83 -- 59.17/14.94 c N dy 134 24988 100077 164188 477695 13974 1892752 151749 6.36 6.82 -- 59.17/14.95 c F st 135 25002 100077 164188 477696 13987 1892752 151913 6.35 no data -- 59.57/15.03 c Replacing 39 vars Replaced 1184 lits Time: 0.21 s 62.76/15.86 c Found part 8758 vars: 19 clauses: 96 lits size: 256 62.76/15.86 c Found part 8971 vars: 19 clauses: 96 lits size: 256 62.76/15.86 c Found part 9020 vars: 19 clauses: 96 lits size: 256 62.76/15.86 c Found part 9253 vars: 19 clauses: 96 lits size: 256 62.76/15.86 c Found part 9424 vars: 19 clauses: 96 lits size: 256 62.76/15.86 c Found part 10992 vars: 99936 clauses: 641793 lits size: 1875880 62.76/15.86 c Found parts: 6 time: 3.49 s 62.76/15.86 c Solving part 8758 63.14/15.95 c N st 0 0 19 16 80 0 256 0 no data no data -- 63.14/15.95 c asymm cl-useful: 0/16/16 lits-rem:0 time: 0.00 63.14/15.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.01 63.14/15.97 c Finding binary XORs T: 0.04 s found: 0 63.14/15.97 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 63.14/15.97 c Calc default polars - time: 0.01 s pos: 8 undec: 181468 neg: 8 63.14/15.97 c ========================================================================================= 63.14/15.97 c types(t): F = full restart, N = normal restart 63.14/15.97 c types(t): S = simplification begin/end, E = solution found 63.14/15.97 c restart types(rt): st = static, dy = dynamic 63.14/15.97 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 63.14/15.97 c B st 0 0 19 16 80 0 256 0 no data no data -- 63.14/15.97 c E st 1 0 0 16 80 0 256 0 no data no data -- 63.14/15.98 c Verified 16 clauses. 63.14/15.98 c Verified 16 clauses. 63.14/15.98 c Solved part 63.14/15.98 c ========================================================================================= 63.14/15.98 c Solving part 8971 63.54/16.08 c N st 0 0 19 16 80 0 256 0 no data no data -- 63.54/16.08 c asymm cl-useful: 0/16/16 lits-rem:0 time: 0.00 63.54/16.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.01 63.54/16.09 c Finding binary XORs T: 0.04 s found: 0 63.54/16.10 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 63.54/16.10 c Calc default polars - time: 0.01 s pos: 8 undec: 181468 neg: 8 63.54/16.10 c ========================================================================================= 63.54/16.10 c types(t): F = full restart, N = normal restart 63.54/16.10 c types(t): S = simplification begin/end, E = solution found 63.54/16.10 c restart types(rt): st = static, dy = dynamic 63.54/16.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 63.54/16.10 c B st 0 0 19 16 80 0 256 0 no data no data -- 63.92/16.10 c E st 1 0 0 16 80 0 256 0 no data no data -- 63.92/16.10 c Verified 16 clauses. 63.92/16.10 c Verified 16 clauses. 63.92/16.10 c Solved part 63.92/16.10 c ========================================================================================= 63.92/16.11 c Solving part 9020 63.92/16.19 c N st 0 0 19 16 80 0 256 0 no data no data -- 63.92/16.19 c asymm cl-useful: 0/16/16 lits-rem:0 time: 0.00 64.31/16.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.01 64.31/16.21 c Finding binary XORs T: 0.04 s found: 0 64.31/16.21 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 64.31/16.21 c Calc default polars - time: 0.01 s pos: 8 undec: 181468 neg: 8 64.31/16.21 c ========================================================================================= 64.31/16.21 c types(t): F = full restart, N = normal restart 64.31/16.21 c types(t): S = simplification begin/end, E = solution found 64.31/16.21 c restart types(rt): st = static, dy = dynamic 64.31/16.21 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 64.31/16.21 c B st 0 0 19 16 80 0 256 0 no data no data -- 64.31/16.21 c E st 1 0 0 16 80 0 256 0 no data no data -- 64.31/16.21 c Verified 16 clauses. 64.31/16.21 c Verified 16 clauses. 64.31/16.21 c Solved part 64.31/16.21 c ========================================================================================= 64.31/16.22 c Solving part 9253 64.70/16.31 c N st 0 0 19 16 80 0 256 0 no data no data -- 64.70/16.31 c asymm cl-useful: 0/16/16 lits-rem:0 time: 0.00 64.70/16.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.01 64.70/16.32 c Finding binary XORs T: 0.03 s found: 0 64.70/16.33 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 64.70/16.33 c Calc default polars - time: 0.01 s pos: 8 undec: 181468 neg: 8 64.70/16.33 c ========================================================================================= 64.70/16.33 c types(t): F = full restart, N = normal restart 64.70/16.33 c types(t): S = simplification begin/end, E = solution found 64.70/16.33 c restart types(rt): st = static, dy = dynamic 64.70/16.33 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 64.70/16.33 c B st 0 0 19 16 80 0 256 0 no data no data -- 64.70/16.33 c E st 1 0 0 16 80 0 256 0 no data no data -- 64.70/16.33 c Verified 16 clauses. 64.70/16.33 c Verified 16 clauses. 64.70/16.33 c Solved part 64.70/16.33 c ========================================================================================= 64.70/16.34 c Solving part 9424 65.12/16.44 c N st 0 0 19 16 80 0 256 0 no data no data -- 65.12/16.44 c asymm cl-useful: 0/16/16 lits-rem:0 time: 0.00 65.12/16.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.01 65.12/16.45 c Finding binary XORs T: 0.04 s found: 0 65.12/16.45 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 65.12/16.45 c Calc default polars - time: 0.01 s pos: 8 undec: 181468 neg: 8 65.12/16.45 c ========================================================================================= 65.12/16.45 c types(t): F = full restart, N = normal restart 65.12/16.45 c types(t): S = simplification begin/end, E = solution found 65.12/16.45 c restart types(rt): st = static, dy = dynamic 65.12/16.45 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 65.12/16.45 c B st 0 0 19 16 80 0 256 0 no data no data -- 65.12/16.45 c E st 1 0 0 16 80 0 256 0 no data no data -- 65.12/16.46 c Verified 16 clauses. 65.12/16.46 c Verified 16 clauses. 65.12/16.46 c Solved part 65.12/16.46 c ========================================================================================= 65.12/16.46 c Coming back to original instance 65.12/16.46 c ========================================================================================= 67.84/17.15 c N dy 141 30000 99937 162904 473344 18678 1875879 257889 6.35 no data -- 67.84/17.15 c S st 141 30000 99937 162904 473344 18678 1875879 257889 6.35 no data -- 69.04/17.45 c S st 141 30500 99934 162904 473490 19013 1875879 261342 6.35 no data -- 69.04/17.50 c x-sub: 2936 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 156 time: 0.19 114.16/28.79 c Flit: 282 Blit: 189 bXBeca: 0 bXProp: 2454 Bins: 34789 BRemL: 6703 BRemN: 380 P: 188.6M T: 44.97 114.16/28.79 c Cleaning up after failed var search: 0.00 s 114.96/28.91 c Replacing 2534 vars Replaced 140646 lits Time: 0.43 s 115.35/29.04 c bin-w-bin subsume rem 7440 bins time: 0.14 s 116.15/29.23 c subs with bin: 3464 lits-rem: 15179 v-fix: 0 time: 0.75 s 117.77/29.66 c Subs w/ non-existent bins: 1162 l-rem: 4665 v-fix: 0 done: 88195 time: 1.69 s 118.54/29.88 c Removed useless bin: 4205 fixed: 0 props: 20.00M time: 0.88 s 124.13/31.22 c lits-rem: 3144 cl-subs: 10518 v-elim: 18826 v-fix: 0 time: 5.31 s 125.34/31.56 c asymm cl-useful: 11255/14877/191782 lits-rem:59301 time: 1.36 125.34/31.58 c N dy 141 30500 77882 191766 396928 10879 1774884 130453 6.35 no data -- 125.74/31.62 c Finding binary XORs T: 0.13 s found: 20 128.13/32.23 c N dy 164 34587 77878 191766 398829 14736 1774882 188335 6.37 8.59 -- 131.35/33.06 c N dy 195 38862 77877 191766 416343 18837 1774879 285681 6.43 6.85 -- 134.52/33.84 c N dy 224 43018 77877 191766 424752 22809 1774876 366283 6.49 6.89 -- 135.73/34.12 c Finding binary XORs T: 0.14 s found: 200 136.50/34.35 c S st 243 45751 77845 191584 423344 25424 1773204 407350 6.53 no data -- 137.70/34.66 c S st 243 46253 77844 191584 423473 25794 1773204 411137 6.53 no data -- 138.11/34.70 c x-sub: 96 x-cut: 0 vfix: 0 v-elim: 131 locsubst: 330 time: 0.19 170.85/42.92 c Flit: 22 Blit: 16 bXBeca: 0 bXProp: 1261 Bins: 16596 BRemL: 1749 BRemN: 81 P: 175.7M T: 32.67 171.23/43.03 c Replacing 1622 vars Replaced 112462 lits Time: 0.41 s 171.63/43.16 c bin-w-bin subsume rem 24032 bins time: 0.15 s 172.42/43.36 c subs with bin: 6028 lits-rem: 28760 v-fix: 0 time: 0.81 s 173.63/43.63 c Subs w/ non-existent bins: 660 l-rem: 8550 v-fix: 0 done: 46544 time: 1.06 s 174.43/43.82 c Removed useless bin: 5590 fixed: 0 props: 17.58M time: 0.76 s 177.62/44.66 c lits-rem: 1513 cl-subs: 6319 v-elim: 1530 v-fix: 0 time: 3.34 s 178.82/44.99 c asymm cl-useful: 562/3995/184639 lits-rem:1016 time: 1.33 179.24/45.01 c N dy 243 46253 74515 184639 396192 22744 1690445 325465 6.53 no data -- 182.01/45.72 c N dy 269 50590 74474 184639 416586 26911 1690443 429089 6.55 6.94 -- 184.81/46.45 c N dy 292 54998 74474 184639 416676 17172 1690442 238721 6.52 6.88 -- 186.80/46.90 c Finding binary XORs T: 0.14 s found: 522 187.60/47.18 c N dy 312 59164 74472 184427 423931 21145 1688757 306537 6.50 6.87 -- 190.00/47.78 c N dy 332 63210 74472 184427 424055 25005 1688757 364537 6.49 6.87 -- 192.82/48.41 c N dy 358 67328 74471 184427 424173 28951 1688753 423230 6.51 6.87 -- 193.99/48.70 c S st 367 69380 74471 184427 424210 30930 1688753 449151 6.48 6.06 -- 195.19/49.01 c S st 367 69883 74470 184427 424307 31334 1688753 453439 6.48 no data -- 195.19/49.06 c x-sub: 154 x-cut: 0 vfix: 0 v-elim: 97 locsubst: 266 time: 0.18 229.14/57.57 c Flit: 36 Blit: 10 bXBeca: 0 bXProp: 1088 Bins: 11789 BRemL: 5483 BRemN: 163 P: 179.1M T: 33.96 229.54/57.68 c Replacing 1728 vars Replaced 102493 lits Time: 0.42 s 230.34/57.82 c bin-w-bin subsume rem 16034 bins time: 0.15 s 231.14/58.02 c subs with bin: 1620 lits-rem: 8859 v-fix: 0 time: 0.78 s 232.36/58.35 c Subs w/ non-existent bins: 218 l-rem: 6137 v-fix: 0 done: 56563 time: 1.31 s 233.14/58.51 c Removed useless bin: 2606 fixed: 0 props: 12.95M time: 0.67 s 236.36/59.34 c lits-rem: 1154 cl-subs: 4258 v-elim: 423 v-fix: 0 time: 3.30 s 237.94/59.71 c asymm cl-useful: 970/3542/180189 lits-rem:2019 time: 1.49 237.94/59.74 c N dy 367 69883 72158 180082 402142 29190 1644175 393817 6.48 no data -- 240.75/60.46 c Finding binary XORs T: 0.14 s found: 433 241.15/60.57 c N dy 387 74415 72147 180025 417742 33540 1643643 483819 6.47 7.31 -- 245.14/61.51 c N dy 417 79281 72147 180025 417862 21001 1643638 277006 6.49 6.85 -- 248.71/62.47 c N dy 447 84422 72147 180025 419034 25973 1643636 350953 6.50 8.94 -- 251.10/63.03 c F st 465 87500 72146 180025 419219 28959 1643635 394115 6.51 no data -- 251.50/63.12 c Replacing 433 vars Replaced 21095 lits Time: 0.23 s 255.10/64.00 c N st 470 90799 71713 179900 418330 32086 1643082 456862 6.51 no data -- 259.10/65.04 c N dy 497 96634 71664 179900 430810 37749 1643082 574762 6.52 7.03 -- 260.30/65.35 c Finding binary XORs T: 0.14 s found: 892 260.70/65.42 c Replacing 892 vars Replaced 45332 lits Time: 0.26 s 263.11/66.07 c N dy 526 102879 70770 179190 427561 25562 1639325 322485 6.51 6.86 -- 264.69/66.41 c S st 541 104824 70766 179190 427620 27432 1639324 355096 6.52 no data -- 265.89/66.75 c S st 541 105324 70766 179190 428226 27853 1639324 359713 6.52 no data -- 266.29/66.80 c x-sub: 248 x-cut: 0 vfix: 0 v-elim: 17 locsubst: 640 time: 0.18 298.64/74.98 c Flit: 5 Blit: 3 bXBeca: 0 bXProp: 969 Bins: 4263 BRemL: 9975 BRemN: 2249 P: 181.9M T: 32.67 299.04/75.08 c Replacing 1241 vars Replaced 48799 lits Time: 0.36 s 299.84/75.21 c bin-w-bin subsume rem 13884 bins time: 0.15 s 300.24/75.36 c subs with bin: 1667 lits-rem: 5377 v-fix: 0 time: 0.61 s 301.84/75.72 c Subs w/ non-existent bins: 292 l-rem: 3946 v-fix: 0 done: 57501 time: 1.43 s 302.25/75.88 c Removed useless bin: 3139 fixed: 0 props: 10.91M time: 0.62 s 304.63/76.49 c lits-rem: 813 cl-subs: 4301 v-elim: 420 v-fix: 0 time: 2.47 s 306.23/76.84 c asymm cl-useful: 641/5736/174845 lits-rem:1203 time: 1.39 306.23/76.86 c N dy 541 105324 69078 174811 399188 26028 1589540 307129 6.52 no data -- 311.05/78.03 c N dy 583 112114 69078 174811 414061 32587 1589538 432283 6.52 6.87 -- 315.44/79.18 c N dy 626 119444 69058 174811 414985 39676 1589537 547331 6.55 7.01 -- 316.21/79.34 c Finding binary XORs T: 0.14 s found: 485 320.61/80.47 c N dy 671 127164 69057 174624 414907 28938 1588388 337164 6.55 7.32 -- 326.21/81.80 c N dy 721 135277 69057 174624 415350 36789 1588384 464078 6.57 6.96 -- 332.19/83.35 c N dy 775 144012 69057 174624 416000 45250 1588381 602371 6.59 7.03 -- 338.59/84.94 c N dy 831 153210 69057 174624 416271 35282 1588377 387978 6.60 7.16 -- 342.20/85.80 c S st 867 157986 69054 174624 416596 39940 1588376 469718 6.62 no data -- 343.38/86.15 c S st 867 158486 69054 174624 416664 40371 1588376 474364 6.62 no data -- 343.38/86.20 c x-sub: 275 x-cut: 0 vfix: 0 v-elim: 31 locsubst: 183 time: 0.19 380.13/95.37 c Flit: 7 Blit: 3 bXBeca: 0 bXProp: 833 Bins: 5150 BRemL: 8648 BRemN: 216 P: 192.4M T: 36.57 380.53/95.47 c Replacing 1401 vars Replaced 67029 lits Time: 0.39 s 381.34/95.61 c bin-w-bin subsume rem 6768 bins time: 0.14 s 381.74/95.78 c subs with bin: 1505 lits-rem: 4787 v-fix: 0 time: 0.71 s 383.33/96.12 c Subs w/ non-existent bins: 288 l-rem: 3574 v-fix: 0 done: 53583 time: 1.37 s 383.73/96.27 c Removed useless bin: 1619 fixed: 0 props: 9.87M time: 0.59 s 386.92/97.04 c lits-rem: 1158 cl-subs: 2940 v-elim: 285 v-fix: 0 time: 3.05 s 387.72/97.24 c vivif2 -- cl tried 171701 cl shrink 9963 lits rem 14914 time: 0.80 388.12/97.30 c vivif2 -- cl tried 38154 cl shrink 6353 lits rem 16580 time: 0.25 389.32/97.68 c asymm cl-useful: 902/6794/168868 lits-rem:1003 time: 1.50 389.72/97.80 c calculated reachability. Time: 0.38 389.72/97.80 c N dy 867 158486 67326 168861 404288 37673 1542073 415511 6.62 no data -- 390.91/98.01 c Finding binary XORs T: 0.85 s found: 4311 390.91/98.09 c Replacing 4311 vars Replaced 196624 lits Time: 0.30 s 399.32/100.13 c N dy 899 168629 62995 168597 413846 47382 1539811 594558 6.58 6.96 -- 409.29/102.63 c N dy 937 179402 62992 168597 414554 38065 1539802 390344 6.54 6.93 -- 415.28/104.10 c Finding binary XORs T: 0.84 s found: 307 420.07/105.34 c N dy 978 190984 62992 168431 414260 49217 1538538 567712 6.51 6.89 -- 432.46/108.41 c N dy 1025 203797 62991 168431 414923 61608 1538535 775528 6.48 6.90 -- 440.04/110.39 c Finding binary XORs T: 0.84 s found: 371 440.44/110.46 c Replacing 678 vars Replaced 29773 lits Time: 0.26 s 445.24/111.69 c N dy 1063 217245 62284 168154 430450 54230 1536513 635397 6.44 7.04 -- 460.02/115.37 c N dy 1115 231227 62283 168154 431302 67778 1536508 868474 6.42 6.79 -- 467.21/117.15 c S st 1149 237730 62283 168154 431586 53234 1536506 558052 6.42 no data -- 468.81/117.53 c S st 1149 238234 62282 168154 431670 53649 1536506 562760 6.42 no data -- 468.81/117.58 c x-sub: 165 x-cut: 0 vfix: 0 v-elim: 20 locsubst: 1251 time: 0.20 468.81/117.60 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.07 503.96/126.39 c Flit: 12 Blit: 2 bXBeca: 0 bXProp: 404 Bins: 4399 BRemL: 7510 BRemN: 3252 P: 189.3M T: 35.08 504.38/126.49 c Replacing 893 vars Replaced 31208 lits Time: 0.38 s 505.15/126.64 c bin-w-bin subsume rem 25818 bins time: 0.18 s 505.95/126.84 c subs with bin: 2053 lits-rem: 6423 v-fix: 0 time: 0.80 s 507.16/127.12 c Subs w/ non-existent bins: 171 l-rem: 2374 v-fix: 0 done: 40180 time: 1.09 s 507.56/127.25 c Removed useless bin: 9782 fixed: 0 props: 7.65M time: 0.54 s 511.95/128.38 c lits-rem: 1663 cl-subs: 9588 v-elim: 712 v-fix: 0 time: 4.50 s 512.75/128.58 c vivif2 -- cl tried 162003 cl shrink 5572 lits rem 7894 time: 0.79 513.16/128.66 c vivif2 -- cl tried 49388 cl shrink 3203 lits rem 8143 time: 0.34 514.75/129.09 c asymm cl-useful: 355/4965/160908 lits-rem:370 time: 1.70 515.55/129.20 c calculated reachability. Time: 0.37 515.55/129.20 c N dy 1149 238234 60640 160905 384361 49076 1416691 487931 6.42 no data -- 519.14/130.13 c Finding binary XORs T: 0.88 s found: 1537 519.14/130.19 c Replacing 1537 vars Replaced 60804 lits Time: 0.26 s 532.72/133.57 c N dy 1221 253442 59085 160790 397836 63719 1415828 785800 6.41 6.75 -- 539.12/135.14 c Finding binary XORs T: 0.84 s found: 187 552.30/138.44 c N dy 1304 269723 59082 160666 398309 55491 1414980 568851 6.40 7.05 -- 571.46/143.23 c N dy 1396 287044 59075 160666 399212 72388 1414973 889925 6.40 6.78 -- 591.84/148.31 c N dy 1484 305538 59073 160666 399995 67181 1414970 713575 6.39 6.94 -- 592.26/148.49 c F st 1487 306251 59073 160666 400006 67878 1414970 727685 6.39 no data -- 592.67/148.58 c Replacing 187 vars Replaced 9029 lits Time: 0.23 s 615.01/154.19 c N dy 1571 325089 58885 160530 400003 86157 1414056 1103761 6.39 8.29 -- 621.00/155.62 c Finding binary XORs T: 0.85 s found: 111 640.18/160.43 c N dy 1692 345102 58882 160529 400721 81154 1414034 932143 6.40 7.61 -- 642.97/161.17 c Finding binary XORs T: 0.85 s found: 256 657.36/164.74 c S st 1769 357351 58845 160372 417015 93111 1412418 1208981 6.41 5.61 -- 658.95/165.17 c S st 1769 357855 58845 160372 417071 68109 1412418 638003 6.41 no data -- 659.35/165.22 c x-sub: 488 x-cut: 0 vfix: 0 v-elim: 35 locsubst: 195 time: 0.19 659.35/165.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.07 694.50/174.06 c Flit: 12 Blit: 7 bXBeca: 0 bXProp: 228 Bins: 3816 BRemL: 9305 BRemN: 770 P: 184.7M T: 35.22 694.90/174.17 c Replacing 632 vars Replaced 27944 lits Time: 0.40 s 695.70/174.32 c bin-w-bin subsume rem 19072 bins time: 0.18 s 696.50/174.53 c subs with bin: 2773 lits-rem: 6399 v-fix: 0 time: 0.81 s 697.72/174.84 c Subs w/ non-existent bins: 227 l-rem: 1150 v-fix: 0 done: 45543 time: 1.25 s 698.12/174.98 c Removed useless bin: 13748 fixed: 0 props: 7.35M time: 0.53 s 702.11/175.95 c lits-rem: 1625 cl-subs: 4855 v-elim: 310 v-fix: 0 time: 3.88 s 702.89/176.15 c vivif2 -- cl tried 156457 cl shrink 2807 lits rem 4013 time: 0.79 703.29/176.26 c vivif2 -- cl tried 63849 cl shrink 2614 lits rem 4573 time: 0.45 704.89/176.69 c asymm cl-useful: 431/4420/156127 lits-rem:489 time: 1.73 705.69/176.81 c calculated reachability. Time: 0.36 705.69/176.81 c N dy 1769 357855 57846 156116 375051 63588 1319088 573026 6.41 no data -- 708.88/177.69 c Finding binary XORs T: 0.90 s found: 460 733.27/183.76 c N dy 1891 377971 57767 155878 393054 83213 1316423 997522 6.42 6.78 -- 762.02/190.95 c N dy 2027 398082 57766 155878 393718 74287 1316418 731513 6.43 6.98 -- 789.57/197.84 c N dy 2162 418099 57766 155878 394362 93993 1316416 1168460 6.46 7.09 -- 811.15/203.25 c Finding binary XORs T: 0.88 s found: 103 819.53/205.31 c N dy 2285 438843 57766 155745 394750 87001 1315750 908464 6.47 6.83 -- 847.89/212.46 c N dy 2419 458944 57766 155745 395317 106743 1315748 1312976 6.48 6.99 -- 877.88/219.92 c N dy 2560 478980 57761 155745 395867 98268 1315746 1095235 6.50 9.17 -- 907.41/227.37 c N dy 2681 499002 57761 155745 396358 117963 1315740 1507700 6.51 7.16 -- 936.97/234.79 c N dy 2810 519048 57759 155745 396951 108371 1315734 1186068 6.52 7.18 -- 964.54/241.68 c S st 2925 536782 57759 155745 397318 95837 1315729 859445 6.54 no data -- 966.16/242.06 c S st 2925 537283 57759 155745 397348 96306 1315729 866058 6.54 no data -- 966.54/242.11 c x-sub: 83 x-cut: 0 vfix: 0 v-elim: 8 locsubst: 110 time: 0.20 966.54/242.13 c Cache BProp: 0 Set: 0 BXProp: 1 T: 0.08 1003.29/251.33 c Flit: 8 Blit: 0 bXBeca: 0 bXProp: 322 Bins: 3445 BRemL: 3556 BRemN: 172 P: 200.0M T: 36.75 1003.69/251.45 c Replacing 909 vars Replaced 47023 lits Time: 0.44 s 1004.49/251.61 c bin-w-bin subsume rem 4904 bins time: 0.17 s 1005.30/251.81 c subs with bin: 2016 lits-rem: 6045 v-fix: 0 time: 0.81 s 1006.08/252.03 c Subs w/ non-existent bins: 59 l-rem: 1061 v-fix: 0 done: 25875 time: 0.87 s 1006.48/252.16 c Removed useless bin: 5721 fixed: 0 props: 7.51M time: 0.49 s 1011.67/253.43 c lits-rem: 4336 cl-subs: 3747 v-elim: 191 v-fix: 0 time: 5.08 s 1012.47/253.63 c vivif2 -- cl tried 154138 cl shrink 1757 lits rem 2433 time: 0.80 1013.27/253.82 c vivif2 -- cl tried 91639 cl shrink 3859 lits rem 7989 time: 0.78 1014.86/254.28 c asymm cl-useful: 188/8398/153935 lits-rem:250 time: 1.82 1015.66/254.40 c calculated reachability. Time: 0.38 1015.66/254.40 c N dy 2925 537283 56636 153917 383914 91326 1284672 810335 6.54 no data -- 1016.47/254.63 c Finding binary XORs T: 0.93 s found: 159 1046.42/262.16 c N dy 3049 557337 56628 153917 385116 111011 1284669 1232942 6.54 6.98 -- 1078.78/270.25 c N dy 3179 577436 56626 153917 385488 130764 1284668 1680855 6.56 8.48 -- 1110.35/278.18 c N dy 3308 597507 56624 153917 385891 116472 1284663 1271171 6.57 7.06 -- 1144.29/286.61 c N dy 3442 617623 56622 153917 386221 104729 1284658 913345 6.58 6.98 -- 1174.25/294.18 c Finding binary XORs T: 0.93 s found: 286 1178.64/295.27 c N dy 3574 637703 56607 153596 391603 124433 1282890 1386901 6.59 6.99 -- 1212.60/303.71 c N dy 3698 658100 56606 153596 392057 111421 1282888 977754 6.61 7.00 -- 1246.55/312.22 c N dy 3843 678509 56605 153596 392363 131545 1282883 1454266 6.62 7.10 -- 1280.51/320.75 c Finding binary XORs T: 0.94 s found: 234 1280.91/320.86 c Replacing 679 vars Replaced 51325 lits Time: 0.41 s 1284.90/321.87 c N dy 3989 698653 55890 153324 407079 116681 1280642 1051217 6.64 7.01 -- 1319.65/330.58 c N dy 4123 718672 55886 153324 407508 136443 1280637 1531013 6.65 7.02 -- 1358.00/340.10 c N dy 4263 738922 55883 153324 407942 156497 1280636 2019411 6.67 7.11 -- 1394.36/349.27 c N dy 4410 758992 55883 153324 408217 141304 1280634 1551553 6.69 7.29 -- 1433.09/358.94 c N dy 4550 779055 55875 153324 408474 161123 1280632 2023073 6.70 9.39 -- 1450.27/363.25 c Finding binary XORs T: 0.91 s found: 273 1473.05/368.96 c N dy 4683 799115 55850 153069 419073 144771 1278819 1559617 6.71 9.71 -- 1486.63/372.31 c S st 4731 805924 55849 153069 419293 151526 1278818 1725536 6.71 6.13 -- 1488.65/372.85 c S st 4731 806426 55849 153069 419310 152009 1278818 1732732 6.71 no data -- 1489.05/372.91 c x-sub: 112 x-cut: 0 vfix: 0 v-elim: 15 locsubst: 120 time: 0.22 1489.05/372.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.08 1526.57/382.37 c Flit: 12 Blit: 4 bXBeca: 0 bXProp: 110 Bins: 10178 BRemL: 5768 BRemN: 583 P: 200.0M T: 37.72 1527.37/382.51 c Replacing 428 vars Replaced 36197 lits Time: 0.51 s 1528.20/382.75 c bin-w-bin subsume rem 7302 bins time: 0.19 s 1530.57/383.32 c subs with bin: 2778 lits-rem: 13840 v-fix: 0 time: 2.28 s 1531.37/383.55 c Subs w/ non-existent bins: 40 l-rem: 2176 v-fix: 0 done: 26658 time: 0.91 s 1531.77/383.67 c Removed useless bin: 6679 fixed: 0 props: 7.58M time: 0.48 s 1542.95/386.42 c lits-rem: 7838 cl-subs: 5645 v-elim: 197 v-fix: 0 time: 10.99 s 1543.75/386.63 c vivif2 -- cl tried 151400 cl shrink 1831 lits rem 2759 time: 0.83 1545.35/387.10 c vivif2 -- cl tried 144733 cl shrink 14929 lits rem 65814 time: 1.85 1547.34/387.53 c asymm cl-useful: 164/7592/151263 lits-rem:407 time: 1.73 1547.74/387.66 c calculated reachability. Time: 0.40 1547.74/387.66 c N dy 4731 806426 55193 151182 406810 144425 1243221 1560764 6.71 no data -- 1548.95/387.91 c Finding binary XORs T: 1.00 s found: 220 1588.09/397.74 c N dy 4874 826442 55191 151182 408217 164213 1243217 2103552 6.73 8.07 -- 1627.24/407.59 c N dy 5017 846486 55188 151182 408517 142959 1243217 1500287 6.74 8.73 -- 1665.19/417.01 c N dy 5161 866509 55188 151182 408822 162771 1243217 2027920 6.76 8.19 -- 1705.94/427.26 c N dy 5307 886608 55186 151182 409091 144740 1243215 1415514 6.77 7.20 -- 1744.68/436.97 c N dy 5452 906651 55185 151182 409314 164587 1243213 1957996 6.79 7.17 -- 1786.23/447.37 c N dy 5610 926696 55185 151182 409529 145233 1243213 1330782 6.81 9.11 -- 1824.17/456.87 c Finding binary XORs T: 1.00 s found: 61 1826.57/457.40 c N dy 5753 946812 55183 151105 409624 165118 1242767 1871629 6.83 7.22 -- 1868.52/467.97 c N dy 5918 966872 55183 151105 409809 185020 1242766 2428066 6.85 11.74 -- 1911.25/478.62 c N dy 6066 987252 55183 151105 410026 165176 1242765 1738828 6.86 7.25 -- 1952.40/488.95 c N dy 6210 1007447 55182 151105 410284 185176 1242764 2314747 6.87 7.25 -- 1995.14/499.68 c N dy 6357 1027553 55182 151105 410444 163882 1242764 1598577 6.89 7.38 -- 2037.49/510.29 c N dy 6504 1047601 55182 151105 410642 183731 1242763 2150957 6.90 8.25 -- 2083.43/521.71 c N dy 6659 1067707 55182 151105 410863 203686 1242759 2716599 6.91 7.33 -- 2092.61/524.00 c F st 6684 1071875 55182 151105 410871 165841 1242759 1531621 6.92 no data -- 2093.01/524.12 c Replacing 281 vars Replaced 15318 lits Time: 0.31 s 2126.19/532.47 c N dy 6772 1087789 54902 151073 410878 181518 1242516 2045039 6.92 7.38 -- 2172.50/544.09 c N dy 6937 1108077 54901 151073 411044 201650 1242516 2633397 6.94 7.35 -- 2217.24/555.26 c N dy 7097 1128093 54900 151073 411227 177693 1242516 1775097 6.96 7.40 -- 2260.38/566.10 c N dy 7249 1148157 54899 151073 411365 197607 1242516 2340138 6.97 8.33 -- 2286.75/572.63 c Finding binary XORs T: 0.94 s found: 217 2309.51/578.39 c N dy 7401 1168387 54867 150923 421098 217577 1241232 2963502 6.99 7.40 -- 2357.05/590.22 c N dy 7570 1188438 54867 150923 421365 192829 1241230 2125118 7.00 8.62 -- 2404.19/602.05 c N dy 7713 1208503 54865 150923 421514 212748 1241230 2725397 7.02 7.66 -- 2407.40/602.82 c S st 7723 1209639 54865 150923 421515 213881 1241230 2764122 7.02 no data -- 2409.78/603.50 c S st 7723 1210140 54865 150923 421538 214356 1241230 2771699 7.02 no data -- 2410.18/603.56 c x-sub: 59 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 144 time: 0.24 2410.18/603.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.09 2449.73/613.44 c Flit: 9 Blit: 4 bXBeca: 0 bXProp: 103 Bins: 8759 BRemL: 7109 BRemN: 142 P: 200.0M T: 39.35 2450.53/613.60 c Replacing 391 vars Replaced 37681 lits Time: 0.64 s 2451.72/613.93 c bin-w-bin subsume rem 4291 bins time: 0.19 s 2456.52/615.10 c subs with bin: 2059 lits-rem: 10821 v-fix: 0 time: 4.66 s 2456.92/615.25 c Subs w/ non-existent bins: 34 l-rem: 2999 v-fix: 0 done: 11741 time: 0.62 s 2457.32/615.38 c Removed useless bin: 3079 fixed: 0 props: 7.66M time: 0.48 s 2478.49/620.68 c lits-rem: 2486 cl-subs: 5349 v-elim: 104 v-fix: 0 time: 21.17 s 2479.69/620.90 c vivif2 -- cl tried 149706 cl shrink 1157 lits rem 1872 time: 0.87 2482.88/621.75 c vivif2 -- cl tried 207837 cl shrink 25354 lits rem 122474 time: 3.40 2484.88/622.23 c asymm cl-useful: 43/6135/149558 lits-rem:91 time: 1.92 2485.28/622.36 c calculated reachability. Time: 0.43 2485.28/622.37 c N dy 7723 1210140 54356 149542 413600 207523 1221834 2530483 7.02 no data -- 2486.49/622.65 c Finding binary XORs T: 1.13 s found: 89 2498.06/625.53 c Finding binary XORs T: 1.10 s found: 55 2534.01/634.56 c N dy 7880 1230220 54340 149477 447111 178450 1221438 1710061 7.03 9.49 -- 2578.78/645.71 c N dy 8024 1250281 54339 149477 447352 198319 1221431 2298031 7.04 10.60 -- 2620.30/656.15 c Finding binary XORs T: 1.10 s found: 99 2625.89/657.56 c N dy 8170 1270369 54311 149377 480480 218139 1220422 2956287 7.06 7.53 -- 2671.43/668.94 c N dy 8320 1290466 54311 149377 480700 192531 1220422 2025398 7.07 8.29 -- 2716.57/680.27 c N dy 8469 1310590 54311 149377 480948 212503 1220422 2618492 7.08 7.49 -- 2762.10/691.65 c N dy 8614 1330592 54311 149377 481167 232362 1220422 3208008 7.09 7.58 -- 2808.85/703.33 c N dy 8772 1350718 54311 149377 481339 205493 1220421 2285920 7.11 7.54 -- 2858.38/715.71 c N dy 8929 1370939 54311 149377 481518 225569 1220420 2893351 7.12 7.59 -- 2909.51/728.55 c N dy 9093 1391040 54311 149377 481740 197390 1220420 1919973 7.13 9.13 -- 2956.27/740.27 c N dy 9232 1411112 54311 149377 481905 217328 1220420 2518641 7.14 7.55 -- 3004.59/752.35 c N dy 9375 1431177 54310 149377 482033 237281 1220419 3123271 7.15 10.09 -- 3056.51/765.34 c N dy 9531 1451211 54310 149377 482238 208085 1220418 2107082 7.17 7.56 -- 3102.05/776.71 c N dy 9663 1471457 54310 149377 482397 228187 1220418 2735960 7.17 7.57 -- 3152.38/789.31 c N dy 9820 1491540 54310 149377 482545 248165 1220417 3371724 7.19 7.99 -- 3204.71/802.43 c N dy 9970 1511590 54310 149377 482723 217933 1220413 2278969 7.20 9.78 -- 3253.04/814.54 c N dy 10118 1531685 54310 149377 482841 237890 1220409 2907418 7.21 7.61 -- 3305.38/827.68 c N dy 10283 1551716 54310 149377 482980 257802 1220409 3554028 7.22 8.62 -- 3356.12/840.38 c N dy 10436 1571788 54307 149377 483138 226536 1220408 2393464 7.23 7.90 -- 3407.23/853.16 c N dy 10587 1591922 54307 149377 483269 246520 1220407 3039279 7.24 7.67 -- 3459.97/866.32 c N dy 10724 1611995 54306 149377 483435 266480 1220406 3707057 7.25 7.75 -- 3512.29/879.49 c N dy 10883 1632010 54306 149377 483526 234751 1220406 2527909 7.26 8.86 -- 3544.26/887.49 c Finding binary XORs T: 1.02 s found: 239 3564.63/892.55 c N dy 11040 1652047 54283 149177 493991 254554 1219367 3216723 7.28 7.69 -- 3618.95/906.19 c N dy 11184 1672078 54283 149177 494167 274466 1219367 3880485 7.29 7.71 -- 3672.09/919.43 c N dy 11327 1692171 54283 149177 494291 241394 1219367 2620963 7.30 7.71 -- 3719.62/931.32 c S st 11458 1710140 54283 149177 494395 259264 1219366 3220601 7.31 no data -- 3722.41/932.06 c S st 11458 1710641 54283 149177 494404 259753 1219366 3229500 7.31 no data -- 3722.81/932.13 c x-sub: 72 x-cut: 0 vfix: 0 v-elim: 3 locsubst: 64 time: 0.27 3722.81/932.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.10 3761.96/941.98 c Flit: 19 Blit: 0 bXBeca: 0 bXProp: 95 Bins: 13219 BRemL: 18973 BRemN: 143 P: 200.0M T: 39.22 3762.76/942.19 c Replacing 606 vars Replaced 71352 lits Time: 0.82 s 3764.36/942.54 c bin-w-bin subsume rem 5066 bins time: 0.23 s 3769.57/943.81 c subs with bin: 3068 lits-rem: 17498 v-fix: 0 time: 5.07 s 3770.34/944.05 c Subs w/ non-existent bins: 41 l-rem: 2542 v-fix: 0 done: 24676 time: 0.94 s 3770.74/944.17 c Removed useless bin: 1483 fixed: 0 props: 7.59M time: 0.46 s 3795.12/950.29 c lits-rem: 2371 cl-subs: 5328 v-elim: 143 v-fix: 0 time: 24.42 s 3796.31/950.52 c vivif2 -- cl tried 147611 cl shrink 1514 lits rem 4464 time: 0.94 3800.32/951.57 c vivif2 -- cl tried 252419 cl shrink 27152 lits rem 139868 time: 4.18 3802.30/952.08 c asymm cl-useful: 15/6752/147507 lits-rem:27 time: 2.02 3803.10/952.22 c calculated reachability. Time: 0.45 3803.10/952.22 c N dy 11458 1710641 53520 147503 477678 252022 1200134 2957941 7.31 no data -- 3804.32/952.53 c Finding binary XORs T: 1.21 s found: 67 3835.48/960.33 c Finding binary XORs T: 1.21 s found: 97 3862.22/967.04 c N dy 11611 1730728 53511 147481 486492 271944 1199906 3638916 7.32 7.73 -- 3918.96/981.27 c N dy 11748 1750766 53510 147481 486641 233397 1199905 2309362 7.33 8.20 -- 3973.27/994.88 c N dy 11902 1770809 53509 147481 486753 253326 1199904 2972172 7.33 9.39 -- 4011.24/1004.35 c Finding binary XORs T: 1.21 s found: 74 4029.99/1009.08 c N dy 12048 1790853 53500 147470 493975 273224 1199663 3662614 7.34 7.86 -- 4087.12/1023.38 c N dy 12200 1810864 53500 147470 494142 238333 1199663 2340741 7.36 11.72 -- 4138.67/1036.21 c N dy 12337 1830907 53500 147470 494241 258292 1199663 3052728 7.36 7.86 -- 4193.78/1050.02 c N dy 12470 1851074 53500 147470 494360 278350 1199662 3769292 7.37 7.92 -- 4252.10/1064.65 c N dy 12632 1871157 53499 147470 494525 298301 1199662 4485659 7.38 10.23 -- 4306.02/1078.12 c N dy 12774 1891219 53498 147470 494621 262538 1199662 2987975 7.39 7.82 -- 4361.95/1092.10 c N dy 12913 1911318 53498 147470 494724 282567 1199662 3699643 7.40 8.69 -- 4421.07/1106.99 c N dy 13053 1931381 53498 147470 494865 302519 1199662 4397639 7.40 7.81 -- 4475.00/1120.48 c N dy 13204 1951448 53498 147470 494955 265632 1199662 2927435 7.41 9.84 -- 4533.74/1135.11 c N dy 13354 1971637 53498 147470 495053 285726 1199662 3627585 7.42 7.88 -- 4590.86/1149.50 c N dy 13503 1991688 53498 147470 495191 305661 1199662 4368980 7.43 7.83 -- 4648.39/1163.86 c N dy 13646 2011770 53497 147470 495280 267919 1199661 2880524 7.44 8.55 -- 4708.29/1178.89 c N dy 13793 2031904 53497 147470 495371 287934 1199660 3577096 7.45 7.87 -- 4768.20/1193.87 c N dy 13947 2052182 53497 147470 495503 308107 1199659 4302511 7.46 7.98 --
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-3281838-1304032581/watcher-3281838-1304032581 -o /tmp/evaluation-result-3281838-1304032581/solver-3281838-1304032581 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3281838-1304032581.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.85 6.51 7.33 5/180 26191 /proc/meminfo: memFree=23576040/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=183284 CPUtime=0 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 562 0 0 0 0 0 0 0 22 0 4 0 514855937 187682816 486 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687675195 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 45821 511 331 112 0 40786 0 [pid=26191/tid=26192] ppid=26189 vsize=183284 CPUtime=0 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 24 0 0 0 0 0 0 0 23 0 4 0 514855938 187682816 564 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687372043 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=183284 CPUtime=0 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 77 0 0 0 0 0 0 0 23 0 4 0 514855938 187682816 597 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687675195 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=183284 CPUtime=0 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 88 0 0 0 0 0 0 0 23 0 4 0 514855938 187682816 629 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687675195 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.0701031 s] /proc/loadavg: 4.85 6.51 7.33 5/180 26191 /proc/meminfo: memFree=23576040/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=370120 CPUtime=0.22 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 12866 0 0 0 13 9 0 0 18 0 4 0 514855937 379002880 10770 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780334 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 92530 10926 344 112 0 87495 0 [pid=26191/tid=26192] ppid=26189 vsize=370120 CPUtime=0.05 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 3026 0 0 0 3 2 0 0 18 0 4 0 514855938 379002880 10955 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780383 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=370120 CPUtime=0.05 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 3027 0 0 0 3 2 0 0 18 0 4 0 514855938 379002880 11034 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780334 0 0 4096 2 18446604471161680896 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=370440 CPUtime=0.05 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) S 26189 26191 25696 0 -1 4202560 3413 0 0 0 3 2 0 0 18 0 4 0 514855938 379330560 11052 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780334 0 0 4096 2 18446604471161680896 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 370120 [startup+0.104862 s] /proc/loadavg: 4.85 6.51 7.33 5/180 26191 /proc/meminfo: memFree=23576040/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=386256 CPUtime=0.35 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 20419 0 0 0 21 14 0 0 18 0 4 0 514855937 395526144 16216 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687336481 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 96564 16399 344 112 0 91529 0 [pid=26191/tid=26192] ppid=26189 vsize=386256 CPUtime=0.08 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 4905 0 0 0 5 3 0 0 18 0 4 0 514855938 395526144 16475 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780383 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=386256 CPUtime=0.08 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 5044 0 0 0 5 3 0 0 18 0 4 0 514855938 395526144 16649 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=386256 CPUtime=0.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) S 26189 26191 25696 0 -1 4202560 5464 0 0 0 5 4 0 0 18 0 4 0 514855938 395526144 16780 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 386256 [startup+0.306839 s] /proc/loadavg: 4.85 6.51 7.33 5/180 26191 /proc/meminfo: memFree=23576040/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=448296 CPUtime=1.07 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 55033 0 0 0 67 40 0 0 17 0 4 0 514855937 459055104 46287 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780383 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 112074 46473 344 112 0 107039 0 [pid=26191/tid=26192] ppid=26189 vsize=448296 CPUtime=0.25 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 13836 0 0 0 16 9 0 0 17 0 4 0 514855938 459055104 46553 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=448296 CPUtime=0.26 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) S 26189 26191 25696 0 -1 4202560 13145 0 0 0 15 11 0 0 17 0 4 0 514855938 459055104 46615 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=448296 CPUtime=0.27 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) S 26189 26191 25696 0 -1 4202560 14393 0 0 0 16 11 0 0 18 0 4 0 514855938 459055104 46682 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687780334 0 0 4096 2 18446604471161680896 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 448296 [startup+0.700695 s] /proc/loadavg: 4.85 6.51 7.33 5/180 26191 /proc/meminfo: memFree=23576040/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=522200 CPUtime=2.55 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 95969 0 0 0 182 73 0 0 18 0 4 0 514855937 534732800 78612 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 130550 78612 368 112 0 125515 0 [pid=26191/tid=26192] ppid=26189 vsize=522200 CPUtime=0.62 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 23617 0 0 0 46 16 0 0 18 0 4 0 514855938 534732800 78612 33554432000 4194304 4650419 140737079110176 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=522200 CPUtime=0.64 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 23028 0 0 0 44 20 0 0 18 0 4 0 514855938 534732800 78612 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369860 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=522200 CPUtime=0.63 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 25216 0 0 0 45 18 0 0 18 0 4 0 514855938 534732800 78612 33554432000 4194304 4650419 140737079110176 18446744073709551615 4314138 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.55 Current children cumulated vsize (KiB) 522200 [startup+1.50055 s] /proc/loadavg: 4.86 6.49 7.31 9/184 26195 /proc/meminfo: memFree=23176728/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=552504 CPUtime=5.74 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 106616 0 0 0 499 75 0 0 19 0 4 0 514855937 565764096 84358 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 138126 84358 373 112 0 133091 0 [pid=26191/tid=26192] ppid=26189 vsize=552504 CPUtime=1.42 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 26942 0 0 0 126 16 0 0 19 0 4 0 514855938 565764096 84358 33554432000 4194304 4650419 140737079110176 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=552504 CPUtime=1.43 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 26620 0 0 0 123 20 0 0 19 0 4 0 514855938 565764096 84358 33554432000 4194304 4650419 140737079110176 18446744073709551615 4370379 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=552504 CPUtime=1.43 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 25708 0 0 0 124 19 0 0 19 0 4 0 514855938 565764096 84358 33554432000 4194304 4650419 140737079110176 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.74 Current children cumulated vsize (KiB) 552504 [startup+3.10026 s] /proc/loadavg: 4.86 6.49 7.31 9/184 26195 /proc/meminfo: memFree=22990728/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=561524 CPUtime=12.14 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 109628 0 0 0 1137 77 0 0 22 0 4 0 514855937 575000576 87370 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 140381 87370 374 112 0 135346 0 [pid=26191/tid=26192] ppid=26189 vsize=561524 CPUtime=3.02 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 27085 0 0 0 285 17 0 0 22 0 4 0 514855938 575000576 87370 33554432000 4194304 4650419 140737079110176 18446744073709551615 4371275 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=561524 CPUtime=3.04 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 26815 0 0 0 283 21 0 0 22 0 4 0 514855938 575000576 87370 33554432000 4194304 4650419 140737079110176 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=561524 CPUtime=3.02 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 28256 0 0 0 283 19 0 0 22 0 4 0 514855938 575000576 87370 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363709 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.14 Current children cumulated vsize (KiB) 561524 [startup+6.30067 s] /proc/loadavg: 4.86 6.49 7.31 9/184 26195 /proc/meminfo: memFree=22959188/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=562316 CPUtime=24.93 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 354187 0 0 0 2390 103 0 0 25 0 4 0 514855937 575811584 90581 33554432000 4194304 4650419 140737079110176 18446744073709551615 4302842 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 140579 90581 377 112 0 135544 0 [pid=26191/tid=26192] ppid=26189 vsize=562316 CPUtime=6.22 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 27394 0 0 0 605 17 0 0 25 0 4 0 514855938 575811584 90581 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=562316 CPUtime=6.23 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 27108 0 0 0 602 21 0 0 25 0 4 0 514855938 575811584 90581 33554432000 4194304 4650419 140737079110176 18446744073709551615 4245504 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=562316 CPUtime=6.21 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 271900 0 0 0 576 45 0 0 25 0 4 0 514855938 575811584 90581 33554432000 4194304 4650419 140737079110176 18446744073709551615 4258543 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 24.93 Current children cumulated vsize (KiB) 562316 [startup+12.7005 s] /proc/loadavg: 5.34 6.54 7.32 9/184 26195 /proc/meminfo: memFree=22694456/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=907396 CPUtime=50.37 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 461124 0 0 0 4886 151 0 0 23 0 4 0 514855937 929173504 154459 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 226849 154459 396 112 0 221814 0 [pid=26191/tid=26192] ppid=26189 vsize=907396 CPUtime=12.6 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 49451 0 0 0 1227 33 0 0 23 0 4 0 514855938 929173504 154459 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363889 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=907396 CPUtime=12.59 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 49162 0 0 0 1224 35 0 0 23 0 4 0 514855938 929173504 154459 33554432000 4194304 4650419 140737079110176 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=907396 CPUtime=12.56 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 318707 0 0 0 1205 51 0 0 23 0 4 0 514855938 929173504 154460 33554432000 4194304 4650419 140737079110176 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.37 Current children cumulated vsize (KiB) 907396 [startup+25.5012 s] /proc/loadavg: 5.75 6.58 7.33 9/184 26196 /proc/meminfo: memFree=22427248/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=1277784 CPUtime=101.38 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 780282 0 0 0 9937 201 0 0 25 0 4 0 514855937 1308450816 228266 33554432000 4194304 4650419 140737079110176 18446744073709551615 4245565 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 319446 228266 396 112 0 314411 0 [pid=26191/tid=26192] ppid=26189 vsize=1277784 CPUtime=25.36 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 135700 0 0 0 2491 45 0 0 25 0 4 0 514855938 1308450816 228266 33554432000 4194304 4650419 140737079110176 18446744073709551615 4346040 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=1277784 CPUtime=25.37 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 145774 0 0 0 2486 51 0 0 25 0 4 0 514855938 1308450816 228266 33554432000 4194304 4650419 140737079110176 18446744073709551615 4345594 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=1277784 CPUtime=25.22 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 329911 0 0 0 2468 54 0 0 25 0 4 0 514855938 1308450816 228266 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.38 Current children cumulated vsize (KiB) 1277784 [startup+51.1005 s] /proc/loadavg: 6.52 6.70 7.34 9/184 26196 /proc/meminfo: memFree=21951812/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=1483380 CPUtime=203.59 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 887442 0 0 0 20129 230 0 0 25 0 4 0 514855937 1518981120 293427 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369400 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 370845 293427 396 112 0 365810 0 [pid=26191/tid=26192] ppid=26189 vsize=1483380 CPUtime=50.95 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 147159 0 0 0 5045 50 0 0 25 0 4 0 514855938 1518981120 293427 33554432000 4194304 4650419 140737079110176 18446744073709551615 4438727 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=1483380 CPUtime=50.97 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 164168 0 0 0 5040 57 0 0 25 0 4 0 514855938 1518981120 293427 33554432000 4194304 4650419 140737079110176 18446744073709551615 4229668 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=1483380 CPUtime=50.68 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 393886 0 0 0 5000 68 0 0 25 0 4 0 514855938 1518981120 293427 33554432000 4194304 4650419 140737079110176 18446744073709551615 4369071 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.59 Current children cumulated vsize (KiB) 1483380 [startup+102.306 s] /proc/loadavg: 7.41 6.91 7.38 9/184 26198 /proc/meminfo: memFree=20958160/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=1813132 CPUtime=408.11 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 997271 0 0 0 40551 260 0 0 25 0 4 0 514855937 1856647168 355393 33554432000 4194304 4650419 140737079110176 18446744073709551615 4364377 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/26191/statm: 453283 355393 396 112 0 448248 0 [pid=26191/tid=26192] ppid=26189 vsize=1813132 CPUtime=102.15 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 189247 0 0 0 10152 63 0 0 25 0 4 0 514855938 1856647168 355393 33554432000 4194304 4650419 140737079110176 18446744073709551615 4246761 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=1813132 CPUtime=102.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 177715 0 0 0 10156 61 0 0 25 0 4 0 514855938 1856647168 355393 33554432000 4194304 4650419 140737079110176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=1813132 CPUtime=101.6 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 412232 0 0 0 10089 71 0 0 25 0 4 0 514855938 1856647168 355393 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.11 Current children cumulated vsize (KiB) 1813132 [startup+162.3 s] ################ # More data... # ################ [pid=26191] ppid=26189 vsize=2423848 CPUtime=2565.19 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1438742 0 0 0 256115 404 0 0 25 0 4 0 514855937 2482020352 526821 33554432000 4194304 4650419 140737079110176 18446744073709551615 4336251 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 605962 526821 396 112 0 600927 0 [pid=26191/tid=26192] ppid=26189 vsize=2423848 CPUtime=642.17 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 293650 0 0 0 64114 103 0 0 25 0 4 0 514855938 2482020352 526821 33554432000 4194304 4650419 140737079110176 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2423848 CPUtime=642.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 309399 0 0 0 64114 103 0 0 25 0 4 0 514855938 2482020352 526821 33554432000 4194304 4650419 140737079110176 18446744073709551615 4435199 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2423848 CPUtime=639.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 520039 0 0 0 63807 102 0 0 25 0 4 0 514855938 2482020352 526821 33554432000 4194304 4650419 140737079110176 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2565.19 Current children cumulated vsize (KiB) 2423848 [startup+702.301 s] /proc/loadavg: 8.02 7.88 7.67 9/184 26214 /proc/meminfo: memFree=19679332/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2494068 CPUtime=2804.85 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1478491 0 0 0 280068 417 0 0 25 0 4 0 514855937 2553925632 538630 33554432000 4194304 4650419 140737079110176 18446744073709551615 4315168 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 623517 538630 396 112 0 618482 0 [pid=26191/tid=26192] ppid=26189 vsize=2494068 CPUtime=702.16 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 303281 0 0 0 70110 106 0 0 25 0 4 0 514855938 2553925632 538630 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2494068 CPUtime=702.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 322209 0 0 0 70109 108 0 0 25 0 4 0 514855938 2553925632 538630 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2494068 CPUtime=699.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 531327 0 0 0 69803 106 0 0 25 0 4 0 514855938 2553925632 538630 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2804.85 Current children cumulated vsize (KiB) 2494068 [startup+762.307 s] /proc/loadavg: 8.00 7.90 7.69 9/184 26215 /proc/meminfo: memFree=19669252/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2496316 CPUtime=3044.55 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1507115 0 0 0 304024 431 0 0 25 0 4 0 514855937 2556227584 538039 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 624079 538039 396 112 0 619044 0 [pid=26191/tid=26192] ppid=26189 vsize=2496316 CPUtime=762.17 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 309978 0 0 0 76108 109 0 0 25 0 4 0 514855938 2556227584 538039 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2496316 CPUtime=762.18 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 328676 0 0 0 76106 112 0 0 25 0 4 0 514855938 2556227584 538039 33554432000 4194304 4650419 140737079110176 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2496316 CPUtime=759.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 541207 0 0 0 75799 110 0 0 25 0 4 0 514855938 2556227584 538039 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3044.55 Current children cumulated vsize (KiB) 2496316 [startup+822.301 s] /proc/loadavg: 8.08 7.93 7.71 9/184 26217 /proc/meminfo: memFree=19677292/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2474756 CPUtime=3284.21 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1543536 0 0 0 327977 444 0 0 25 0 4 0 514855937 2534150144 537922 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363762 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 618689 537922 396 112 0 613654 0 [pid=26191/tid=26192] ppid=26189 vsize=2474756 CPUtime=822.16 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 319904 0 0 0 82104 112 0 0 25 0 4 0 514855938 2534150144 537922 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2474756 CPUtime=822.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 338435 0 0 0 82102 115 0 0 25 0 4 0 514855938 2534150144 537922 33554432000 4194304 4650419 140737079110176 18446744073709551615 4315004 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2474756 CPUtime=819.1 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 551305 0 0 0 81796 114 0 0 25 0 4 0 514855938 2534150144 537922 33554432000 4194304 4650419 140737079110176 18446744073709551615 4364412 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3284.21 Current children cumulated vsize (KiB) 2474756 [startup+882.301 s] /proc/loadavg: 8.10 7.96 7.74 9/184 26219 /proc/meminfo: memFree=19646648/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2541844 CPUtime=3523.88 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1576420 0 0 0 351929 459 0 0 25 0 4 0 514855937 2602848256 541485 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 635461 541485 396 112 0 630426 0 [pid=26191/tid=26192] ppid=26189 vsize=2541844 CPUtime=882.16 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 326537 0 0 0 88100 116 0 0 25 0 4 0 514855938 2602848256 541485 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2541844 CPUtime=882.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 344945 0 0 0 88099 118 0 0 25 0 4 0 514855938 2602848256 541485 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2541844 CPUtime=879.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 559908 0 0 0 87792 117 0 0 25 0 4 0 514855938 2602848256 541485 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3523.88 Current children cumulated vsize (KiB) 2541844 [startup+942.301 s] /proc/loadavg: 8.14 7.99 7.76 9/184 26220 /proc/meminfo: memFree=19558312/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2637692 CPUtime=3763.56 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1606740 0 0 0 375885 471 0 0 25 0 4 0 514855937 2700996608 546686 33554432000 4194304 4650419 140737079110176 18446744073709551615 212687343857 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 659423 546686 396 112 0 654388 0 [pid=26191/tid=26192] ppid=26189 vsize=2637692 CPUtime=942.17 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 336662 0 0 0 94097 120 0 0 25 0 4 0 514855938 2700996608 546686 33554432000 4194304 4650419 140737079110176 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2637692 CPUtime=942.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 351160 0 0 0 94096 121 0 0 25 0 4 0 514855938 2700996608 546686 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2637692 CPUtime=939.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 567228 0 0 0 93789 120 0 0 25 0 4 0 514855938 2700996608 546686 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3763.56 Current children cumulated vsize (KiB) 2637692 [startup+1002.3 s] /proc/loadavg: 8.22 8.04 7.79 9/184 26222 /proc/meminfo: memFree=19569576/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2573664 CPUtime=4003.23 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1661863 0 0 0 399834 489 0 0 25 0 4 0 514855937 2635431936 547336 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 643416 547336 396 112 0 638381 0 [pid=26191/tid=26192] ppid=26189 vsize=2573664 CPUtime=1002.16 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 350171 0 0 0 100092 124 0 0 25 0 4 0 514855938 2635431936 547336 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2573664 CPUtime=1002.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 367486 0 0 0 100092 125 0 0 25 0 4 0 514855938 2635431936 547336 33554432000 4194304 4650419 140737079110176 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2573664 CPUtime=999.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 579713 0 0 0 99784 125 0 0 25 0 4 0 514855938 2635431936 547336 33554432000 4194304 4650419 140737079110176 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4003.23 Current children cumulated vsize (KiB) 2573664 [startup+1062.3 s] /proc/loadavg: 8.15 8.04 7.80 9/184 26223 /proc/meminfo: memFree=19544144/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2549072 CPUtime=4242.91 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1693154 0 0 0 423788 503 0 0 25 0 4 0 514855937 2610249728 552284 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363754 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 637268 552284 396 112 0 632233 0 [pid=26191/tid=26192] ppid=26189 vsize=2549072 CPUtime=1062.16 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 357261 0 0 0 106088 128 0 0 25 0 4 0 514855938 2610249728 552284 33554432000 4194304 4650419 140737079110176 18446744073709551615 4364796 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2549072 CPUtime=1062.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 374660 0 0 0 106089 128 0 0 25 0 4 0 514855938 2610249728 552284 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2549072 CPUtime=1059.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 588315 0 0 0 105781 128 0 0 25 0 4 0 514855938 2610249728 552284 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4242.91 Current children cumulated vsize (KiB) 2549072 [startup+1122.3 s] /proc/loadavg: 8.12 8.05 7.82 9/184 26225 /proc/meminfo: memFree=19489056/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2550808 CPUtime=4482.59 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1729657 0 0 0 447741 518 0 0 25 0 4 0 514855937 2612027392 553025 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 637702 553025 396 112 0 632667 0 [pid=26191/tid=26192] ppid=26189 vsize=2550808 CPUtime=1122.16 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 364178 0 0 0 112085 131 0 0 25 0 4 0 514855938 2612027392 553025 33554432000 4194304 4650419 140737079110176 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2550808 CPUtime=1122.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 382645 0 0 0 112086 131 0 0 25 0 4 0 514855938 2612027392 553025 33554432000 4194304 4650419 140737079110176 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2550808 CPUtime=1119.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 597092 0 0 0 111777 132 0 0 25 0 4 0 514855938 2612027392 553025 33554432000 4194304 4650419 140737079110176 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4482.59 Current children cumulated vsize (KiB) 2550808 [startup+1182.3 s] /proc/loadavg: 8.16 8.07 7.84 9/184 26226 /proc/meminfo: memFree=19513956/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2554536 CPUtime=4722.27 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1765288 0 0 0 471697 530 0 0 25 0 4 0 514855937 2615844864 552346 33554432000 4194304 4650419 140737079110176 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 638634 552346 396 112 0 633599 0 [pid=26191/tid=26192] ppid=26189 vsize=2554536 CPUtime=1182.17 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 377417 0 0 0 118081 136 0 0 25 0 4 0 514855938 2615844864 552346 33554432000 4194304 4650419 140737079110176 18446744073709551615 4367013 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2554536 CPUtime=1182.17 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 384435 0 0 0 118085 132 0 0 25 0 4 0 514855938 2615844864 552346 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2554536 CPUtime=1179.09 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 610637 0 0 0 117773 136 0 0 25 0 4 0 514855938 2615844864 552346 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363534 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4722.27 Current children cumulated vsize (KiB) 2554536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.8 s] /proc/loadavg: 7.87 8.00 7.82 9/184 26258 /proc/meminfo: memFree=21712924/32951124 swapFree=67111524/67111528 [pid=26191] ppid=26189 vsize=2554536 CPUtime=4800.18 cores=1,3,5,7 /proc/26191/stat : 26191 (strangenight1-m) R 26189 26191 25696 0 -1 4202496 1773164 0 0 0 479484 534 0 0 25 0 4 0 514855937 2615844864 560222 33554432000 4194304 4650419 140737079110176 18446744073709551615 4315256 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/26191/statm: 638634 560222 396 112 0 633599 0 [pid=26191/tid=26192] ppid=26189 vsize=2554536 CPUtime=1201.67 cores=1,3,5,7 /proc/26191/task/26192/stat : 26192 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 378404 0 0 0 120030 137 0 0 25 0 4 0 514855938 2615844864 560222 33554432000 4194304 4650419 140737079110176 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=26191/tid=26193] ppid=26189 vsize=2554536 CPUtime=1201.68 cores=1,3,5,7 /proc/26191/task/26193/stat : 26193 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 389296 0 0 0 120034 134 0 0 25 0 4 0 514855938 2615844864 560222 33554432000 4194304 4650419 140737079110176 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=26191/tid=26194] ppid=26189 vsize=2554536 CPUtime=1198.59 cores=1,3,5,7 /proc/26191/task/26194/stat : 26194 (strangenight1-m) R 26189 26191 25696 0 -1 4202560 611685 0 0 0 119723 136 0 0 25 0 4 0 514855938 2615844864 560222 33554432000 4194304 4650419 140737079110176 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.18 Current children cumulated vsize (KiB) 2554536 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.91 CPU time (s): 4800.3 CPU user time (s): 4794.86 CPU system time (s): 5.44117 CPU usage (%): 399.39 Max. virtual memory (cumulated for all children) (KiB): 2663152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4794.86 system time used= 5.44117 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1773166 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= 76085 involuntary context switches= 31778 runsolver used 1.84872 second user time and 4.72928 second system time The end
Begin job on node139 at 2011-04-29 01:16:22 IDJOB=3281838 IDBENCH=69635 IDSOLVER=1588 FILE ID=node139/3281838-1304032581 RUNJOBID= node139-1304032563-26138 PBS_JOBID= 13170313 Free space on /tmp= 72508 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT_RACE08/cnf/ibm-2002-30r-k85.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281838-1304032581/watcher-3281838-1304032581 -o /tmp/evaluation-result-3281838-1304032581/solver-3281838-1304032581 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3281838-1304032581.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c08fe2d9c476652207ada677b7ca59f9 RANDOM SEED=1661206163 node139.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.852 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.852 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 : 5321.49 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.852 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.852 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.852 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: 23576196 kB Buffers: 2014604 kB Cached: 5891492 kB SwapCached: 4 kB Active: 1639032 kB Inactive: 7217244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23576196 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 53528 kB Writeback: 136 kB AnonPages: 949740 kB Mapped: 15496 kB Slab: 452956 kB PageTables: 6380 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1243852 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= 72508 MiB End job on node139 at 2011-04-29 01:36:26