| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.35 | 1203.48 |
| Name | application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf |
| MD5SUM | 9fab5edd49fb904ff76ff7abf98e0d14 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 51138 |
| Number of clauses | 162526 |
| Sum of the clauses size | 397144 |
| Maximum clause length | 2101 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 99113 |
| Number of clauses of size 3 | 62300 |
| Number of clauses of size 4 | 230 |
| Number of clauses of size 5 | 19 |
| Number of clauses of size over 5 | 863 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3367257-1305412083.cnf' 0.00/0.01 c -- header says num vars: 51138 0.00/0.01 c -- header says num clauses: 162526 0.00/0.82 c -- clauses added: 0 learnts, 162526 normals, 0 xors 0.00/0.82 c -- vars added 51138 0.00/0.82 c Parsing time: 0.05 s 0.00/0.82 c N st 0 0 51138 61772 90868 0 373004 0 no data no data 3.95/1.05 c asymm cl-useful: 18/22759/61772 lits-rem:56 time: 0.97 39.83/10.04 c Flit: 123 Blit: 17062 bXBeca: 0 bXProp: 13160 Bins: 0 BRemL: 0 BRemN: 0 P: 141.6M T: 8.87 39.83/10.05 c Cleaning up after failed var search: 0.01 s 39.83/10.06 c Replacing 13160 vars Replaced 243101 lits Time: 0.02 s 39.83/10.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 39.83/10.08 c bin-w-bin subsume rem 2245 bins time: 0.00 s 39.83/10.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 40.23/10.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 17464 time: 0.02 s 40.23/10.13 c Removed useless bin: 38 fixed: 0 props: 3.18M time: 0.02 s 40.63/10.20 c lits-rem: 10 cl-subs: 728 v-elim: 5821 v-fix: 0 time: 0.06 s 41.43/10.43 c Finding binary XORs T: 0.23 s found: 21 41.43/10.43 c Replacing 21 vars Replaced 254 lits Time: 0.00 s 41.43/10.46 c Finding non-binary XORs: 0.02 s (found: 4850, avg size: 3.0) 41.43/10.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 800 locsubst: 2940 time: 0.01 41.43/10.46 c Replacing 1470 vars Replaced 8820 lits Time: 0.00 s 41.43/10.47 c calculated reachability. Time: 0.01 41.43/10.47 c Calc default polars - time: 0.00 s pos: 1375 undec: 41999 neg: 7764 41.43/10.47 c ========================================================================================= 41.43/10.47 c types(t): F = full restart, N = normal restart 41.43/10.47 c types(t): S = simplification begin/end, E = solution found 41.43/10.47 c restart types(rt): st = static, dy = dynamic 41.43/10.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 41.43/10.47 c B st 0 0 9352 14188 15751 0 103622 0 no data no data 42.24/10.64 c Decided on static restart strategy 43.02/10.89 c N st 8 4916 9347 14188 16161 4294 103622 108014 no data no data 46.21/11.64 c N st 10 11299 9233 14188 17453 10268 103622 319995 no data no data 46.63/11.80 c Finding binary XORs T: 0.16 s found: 162 47.05/11.81 c Replacing 233 vars Replaced 4772 lits Time: 0.01 s 49.81/12.56 c N st 11 17045 8809 13451 15688 14751 97009 466408 no data no data 53.39/13.46 c F st 12 25000 8807 13451 15862 13646 97009 424784 no data no data 53.39/13.47 c N st 12 25000 8807 13451 15830 13644 96971 424297 no data no data 56.18/14.11 c Decided on static restart strategy 56.18/14.11 c N st 18 30000 8805 13451 16260 18505 96971 579376 no data no data 56.18/14.11 c S st 18 30000 8805 13451 16260 18505 96971 579376 no data no data 56.58/14.24 c S st 18 30504 8805 13451 16292 18973 96971 588594 no data no data 56.58/14.25 c x-sub: 1319 x-cut: 0 vfix: 0 v-elim: 372 locsubst: 0 time: 0.01 58.98/14.86 c Flit: 79 Blit: 20 bXBeca: 0 bXProp: 41 Bins: 73884 BRemL: 36874 BRemN: 22 P: 11.2M T: 0.61 58.98/14.88 c Replacing 41 vars Replaced 11166 lits Time: 0.01 s 58.98/14.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 58.98/14.88 c bin-w-bin subsume rem 321 bins time: 0.00 s 58.98/14.89 c subs with bin: 318 lits-rem: 154 v-fix: 0 time: 0.01 s 59.38/14.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 8283 time: 0.01 s 59.38/14.91 c Removed useless bin: 50 fixed: 0 props: 0.28M time: 0.00 s 59.38/14.94 c lits-rem: 269 cl-subs: 258 v-elim: 1392 v-fix: 0 time: 0.03 s 59.79/15.06 c subs with bin: 127 lits-rem: 9390 v-fix: 0 time: 0.10 s 60.21/15.16 c lits-rem: 928 cl-subs: 683 v-elim: 0 v-fix: 0 time: 0.10 s 60.96/15.30 c asymm cl-useful: 80/12638/12638 lits-rem:324 time: 0.13 60.96/15.30 c calculated reachability. Time: 0.00 60.96/15.30 c N st 18 30504 6891 12638 35970 11413 83535 349652 no data no data 61.36/15.46 c Finding binary XORs T: 0.16 s found: 0 64.95/16.35 c N st 20 37615 6890 12638 36047 18183 83535 596498 no data no data 67.75/17.07 c N st 21 44014 6889 12638 57059 13321 83535 399229 no data no data 68.57/17.22 c Finding binary XORs T: 0.14 s found: 2 69.34/17.40 c S st 22 45757 6887 12637 56994 15004 83442 448552 no data no data 69.34/17.50 c S st 22 46257 6887 12637 57001 15496 83442 461602 no data no data 69.74/17.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 180 locsubst: 0 time: 0.01 70.54/17.77 c Flit: 7 Blit: 1 bXBeca: 0 bXProp: 5 Bins: 10897 BRemL: 30001 BRemN: 275 P: 5.4M T: 0.27 70.54/17.78 c Replacing 7 vars Replaced 189 lits Time: 0.01 s 70.54/17.79 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 70.54/17.79 c bin-w-bin subsume rem 210 bins time: 0.00 s 70.54/17.79 c subs with bin: 19 lits-rem: 11 v-fix: 0 time: 0.01 s 70.94/17.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6692 time: 0.01 s 70.94/17.81 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s 70.94/17.82 c lits-rem: 11 cl-subs: 11 v-elim: 5 v-fix: 0 time: 0.01 s 70.94/17.89 c subs with bin: 14 lits-rem: 518 v-fix: 0 time: 0.06 s 71.34/17.97 c lits-rem: 271 cl-subs: 393 v-elim: 0 v-fix: 0 time: 0.08 s 71.34/17.97 c vivif2 -- cl tried 12600 cl shrink 28 lits rem 62 time: 0.00 71.34/17.99 c vivif2 -- cl tried 13790 cl shrink 4054 lits rem 12874 time: 0.02 72.14/18.14 c asymm cl-useful: 40/12578/12578 lits-rem:135 time: 0.15 72.14/18.14 c calculated reachability. Time: 0.00 72.14/18.14 c N st 22 46257 6687 12578 34456 13775 81946 357911 no data no data 72.54/18.29 c Finding binary XORs T: 0.14 s found: 19 79.72/20.05 c N st 23 60654 6672 12574 48741 27274 81539 681216 no data no data 80.52/20.20 c Finding binary XORs T: 0.14 s found: 1 84.51/21.21 c N st 24 69385 6668 12573 57678 20551 81459 560968 no data no data 84.51/21.21 c S st 24 69385 6668 12573 57678 20551 81459 560968 no data no data 84.91/21.32 c S st 24 69888 6668 12573 57719 21052 81459 573623 no data no data 84.91/21.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 90 locsubst: 0 time: 0.01 85.71/21.60 c Flit: 4 Blit: 0 bXBeca: 0 bXProp: 32 Bins: 1060 BRemL: 17570 BRemN: 1 P: 5.6M T: 0.27 86.12/21.62 c Replacing 52 vars Replaced 4456 lits Time: 0.02 s 86.12/21.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 86.12/21.62 c bin-w-bin subsume rem 6065 bins time: 0.00 s 86.12/21.63 c subs with bin: 111 lits-rem: 80 v-fix: 0 time: 0.01 s 86.12/21.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6521 time: 0.01 s 86.12/21.64 c Removed useless bin: 2 fixed: 0 props: 0.18M time: 0.00 s 86.12/21.66 c lits-rem: 14 cl-subs: 57 v-elim: 21 v-fix: 0 time: 0.01 s 86.55/21.75 c subs with bin: 68 lits-rem: 532 v-fix: 0 time: 0.08 s 87.29/21.91 c lits-rem: 881 cl-subs: 509 v-elim: 0 v-fix: 0 time: 0.16 s 87.29/21.92 c vivif2 -- cl tried 12362 cl shrink 1 lits rem 1 time: 0.00 87.29/21.94 c vivif2 -- cl tried 20067 cl shrink 4338 lits rem 16664 time: 0.03 87.69/22.09 c asymm cl-useful: 122/12362/12362 lits-rem:334 time: 0.14 87.69/22.09 c calculated reachability. Time: 0.00 87.69/22.09 c N st 24 69888 6500 12333 30338 20067 80119 477842 no data no data 97.27/24.43 c F st 25 87501 6500 12333 30338 37214 80118 1153747 no data no data 97.27/24.44 c N st 25 87501 6500 12333 30338 37214 80118 1153747 no data no data 97.67/24.59 c Finding binary XORs T: 0.14 s found: 8 100.46/25.28 c Decided on static restart strategy 101.66/25.58 c N st 32 95540 6499 12332 31410 26547 80090 645587 no data no data 106.04/26.67 c N st 34 104834 6498 12332 32235 35502 80090 930120 no data no data 106.04/26.67 c S st 34 104834 6498 12332 32235 35502 80090 930120 no data no data 106.84/26.86 c S st 34 105337 6498 12332 32260 36002 80090 947866 no data no data 106.84/26.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 26 locsubst: 0 time: 0.01 108.05/27.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 991 BRemL: 2377 BRemN: 14 P: 7.4M T: 0.30 108.05/27.18 c Replacing 9 vars Replaced 261 lits Time: 0.01 s 108.05/27.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 108.05/27.19 c bin-w-bin subsume rem 373 bins time: 0.00 s 108.05/27.19 c subs with bin: 26 lits-rem: 12 v-fix: 0 time: 0.01 s 108.05/27.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6463 time: 0.01 s 108.05/27.20 c Removed useless bin: 4 fixed: 0 props: 0.18M time: 0.00 s 108.48/27.22 c lits-rem: 0 cl-subs: 35 v-elim: 13 v-fix: 0 time: 0.02 s 109.23/27.47 c subs with bin: 99 lits-rem: 3397 v-fix: 0 time: 0.22 s 111.23/27.98 c lits-rem: 1397 cl-subs: 1024 v-elim: 0 v-fix: 0 time: 0.51 s 111.23/27.98 c vivif2 -- cl tried 12265 cl shrink 0 lits rem 0 time: 0.00 111.64/28.04 c vivif2 -- cl tried 34731 cl shrink 8702 lits rem 35254 time: 0.06 112.45/28.25 c asymm cl-useful: 77/12265/12265 lits-rem:201 time: 0.20 112.45/28.25 c calculated reachability. Time: 0.00 112.45/28.25 c N st 34 105337 6450 12249 29812 34730 79389 870508 no data no data 112.87/28.39 c Finding binary XORs T: 0.14 s found: 0 117.61/29.54 c N st 35 114935 6450 12249 29812 23393 79389 473455 no data no data 124.80/31.31 c N st 36 129335 6445 12249 31021 37374 79389 931939 no data no data 125.20/31.46 c Finding binary XORs T: 0.14 s found: 5 136.76/34.34 c N st 37 150932 6445 12245 31448 35678 79260 946964 no data no data 140.75/35.33 c S st 38 158006 6444 12245 31589 42571 79260 1140374 no data no data 141.55/35.51 c S st 38 158506 6444 12245 31599 43067 79260 1155394 no data no data 141.55/35.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 142.75/35.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 1193 BRemL: 2397 BRemN: 6 P: 7.5M T: 0.31 142.75/35.84 c Replacing 9 vars Replaced 1239 lits Time: 0.02 s 142.75/35.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 142.75/35.85 c bin-w-bin subsume rem 257 bins time: 0.00 s 142.75/35.86 c subs with bin: 37 lits-rem: 10 v-fix: 0 time: 0.01 s 142.75/35.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6434 time: 0.01 s 142.75/35.87 c Removed useless bin: 1 fixed: 0 props: 0.17M time: 0.00 s 142.75/35.89 c lits-rem: 0 cl-subs: 17 v-elim: 13 v-fix: 0 time: 0.02 s 143.94/36.17 c subs with bin: 159 lits-rem: 1853 v-fix: 0 time: 0.25 s 148.32/37.24 c lits-rem: 2251 cl-subs: 1263 v-elim: 0 v-fix: 0 time: 1.07 s 148.32/37.24 c vivif2 -- cl tried 12188 cl shrink 1 lits rem 1 time: 0.00 148.73/37.32 c vivif2 -- cl tried 41609 cl shrink 9480 lits rem 35791 time: 0.08 149.53/37.53 c asymm cl-useful: 32/12187/12187 lits-rem:81 time: 0.21 149.53/37.54 c calculated reachability. Time: 0.00 149.53/37.54 c N st 38 158506 6421 12182 29730 41608 78882 1069209 no data no data 149.93/37.67 c Finding binary XORs T: 0.14 s found: 0 176.66/44.37 c N st 39 207097 6420 12182 29807 39830 78882 879067 no data no data 177.46/44.52 c Finding binary XORs T: 0.14 s found: 0 196.24/49.29 c N st 40 237759 6419 12180 30554 43627 78811 1048053 no data no data 196.24/49.29 c S st 40 237759 6419 12180 30554 43627 78811 1048053 no data no data 196.99/49.49 c S st 40 238259 6419 12180 30565 44125 78811 1062801 no data no data 196.99/49.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 198.19/49.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 305 BRemL: 1550 BRemN: 5 P: 7.5M T: 0.30 198.59/49.80 c Replacing 4 vars Replaced 279 lits Time: 0.01 s 198.59/49.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 198.59/49.81 c bin-w-bin subsume rem 245 bins time: 0.00 s 198.59/49.81 c subs with bin: 12 lits-rem: 16 v-fix: 0 time: 0.01 s 198.59/49.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6415 time: 0.01 s 198.59/49.83 c Removed useless bin: 1 fixed: 0 props: 0.18M time: 0.00 s 198.59/49.85 c lits-rem: 0 cl-subs: 24 v-elim: 4 v-fix: 0 time: 0.02 s 199.39/50.06 c subs with bin: 19 lits-rem: 179 v-fix: 0 time: 0.19 s 204.19/51.28 c lits-rem: 2366 cl-subs: 942 v-elim: 0 v-fix: 0 time: 1.21 s 204.19/51.28 c vivif2 -- cl tried 12145 cl shrink 0 lits rem 0 time: 0.00 204.60/51.35 c vivif2 -- cl tried 42979 cl shrink 9408 lits rem 33405 time: 0.07 205.37/51.57 c asymm cl-useful: 28/12145/12145 lits-rem:92 time: 0.22 205.37/51.58 c calculated reachability. Time: 0.00 205.37/51.58 c N st 40 238259 6411 12141 28507 42979 78511 983757 no data no data 206.17/51.72 c Finding binary XORs T: 0.14 s found: 0 249.65/62.66 c F st 41 306250 6411 12141 28512 53907 78511 2150568 no data no data 249.65/62.66 c N st 41 306250 6411 12141 28512 53907 78511 2150568 no data no data 250.45/62.82 c Finding binary XORs T: 0.14 s found: 4 254.44/63.82 c Decided on static restart strategy 267.61/67.18 c N st 51 334554 6408 12140 30311 52620 78453 1232661 no data no data 281.17/70.59 c N st 53 357388 6408 12140 30333 44772 78453 995107 no data no data 281.17/70.59 c S st 53 357388 6408 12140 30333 44772 78453 995107 no data no data 281.97/70.80 c S st 53 357888 6408 12140 30336 45269 78453 1008165 no data no data 282.37/70.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 283.59/71.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 961 BRemL: 1963 BRemN: 1 P: 7.4M T: 0.32 283.59/71.15 c Replacing 6 vars Replaced 924 lits Time: 0.02 s 283.59/71.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 283.59/71.15 c bin-w-bin subsume rem 333 bins time: 0.00 s 283.59/71.16 c subs with bin: 25 lits-rem: 37 v-fix: 0 time: 0.01 s 283.59/71.17 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 6402 time: 0.01 s 283.59/71.17 c Removed useless bin: 1 fixed: 0 props: 0.18M time: 0.00 s 283.59/71.19 c lits-rem: 1 cl-subs: 16 v-elim: 5 v-fix: 0 time: 0.02 s 284.75/71.41 c subs with bin: 118 lits-rem: 956 v-fix: 0 time: 0.19 s 288.39/72.35 c lits-rem: 919 cl-subs: 1068 v-elim: 0 v-fix: 0 time: 0.93 s 288.39/72.35 c vivif2 -- cl tried 12099 cl shrink 14 lits rem 14 time: 0.00 288.74/72.41 c vivif2 -- cl tried 44060 cl shrink 6830 lits rem 33498 time: 0.06 289.54/72.64 c asymm cl-useful: 31/12094/12094 lits-rem:111 time: 0.22 289.54/72.64 c calculated reachability. Time: 0.00 289.54/72.64 c N st 53 357888 6397 12089 28684 44059 78163 942568 no data no data 289.94/72.78 c Finding binary XORs T: 0.14 s found: 1 307.89/77.22 c N st 54 390281 6397 12089 28684 44655 78163 1028100 no data no data 308.29/77.37 c Finding binary XORs T: 0.14 s found: 0 334.62/83.99 c N st 55 438869 6396 12088 29003 59179 78150 1243053 no data no data 335.42/84.14 c Finding binary XORs T: 0.14 s found: 0 382.09/95.81 c N st 56 511754 6395 12088 29522 63379 78121 1568344 no data no data 396.05/99.31 c N st 57 536833 6395 12088 29566 52752 78121 955974 no data no data 396.05/99.31 c S st 57 536833 6395 12088 29566 52752 78121 955974 no data no data 396.45/99.48 c S st 57 537338 6395 12088 29574 53249 78121 969443 no data no data 396.45/99.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 398.09/99.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 347 BRemL: 1320 BRemN: 2 P: 8.1M T: 0.32 398.09/99.82 c Replacing 2 vars Replaced 38 lits Time: 0.01 s 398.09/99.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 398.09/99.83 c bin-w-bin subsume rem 246 bins time: 0.00 s 398.09/99.84 c subs with bin: 20 lits-rem: 8 v-fix: 0 time: 0.01 s 398.09/99.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6393 time: 0.01 s 398.09/99.85 c Removed useless bin: 1 fixed: 0 props: 0.18M time: 0.00 s 398.09/99.87 c lits-rem: 2 cl-subs: 9 v-elim: 17 v-fix: 0 time: 0.02 s 398.84/100.06 c subs with bin: 142 lits-rem: 623 v-fix: 0 time: 0.16 s 401.64/100.80 c lits-rem: 1946 cl-subs: 2088 v-elim: 0 v-fix: 0 time: 0.74 s 401.64/100.81 c vivif2 -- cl tried 12067 cl shrink 7 lits rem 7 time: 0.00 402.05/100.86 c vivif2 -- cl tried 51010 cl shrink 5460 lits rem 16920 time: 0.05 403.22/101.14 c asymm cl-useful: 70/12066/12066 lits-rem:81 time: 0.28 403.22/101.15 c calculated reachability. Time: 0.00 403.22/101.15 c N st 57 537338 6376 12063 28021 51009 77904 909218 no data no data 403.62/101.29 c Finding binary XORs T: 0.14 s found: 0 519.32/130.27 c N st 58 701322 6376 12063 28044 61264 77904 1229285 no data no data 520.12/130.42 c Finding binary XORs T: 0.14 s found: 1 590.33/148.05 c N st 59 806009 6372 12062 28195 81706 77793 1537932 no data no data 590.33/148.05 c S st 59 806009 6372 12062 28195 81706 77793 1537932 no data no data 590.75/148.20 c Finding binary XORs T: 0.14 s found: 2 591.92/148.46 c S st 59 806511 6372 12059 28352 82197 77780 1552993 no data no data 591.92/148.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 593.92/148.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 1355 BRemL: 1710 BRemN: 0 P: 10.3M T: 0.42 593.92/148.91 c Replacing 7 vars Replaced 634 lits Time: 0.01 s 593.92/148.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 593.92/148.91 c bin-w-bin subsume rem 145 bins time: 0.00 s 593.92/148.92 c subs with bin: 52 lits-rem: 11 v-fix: 0 time: 0.01 s 593.92/148.93 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6365 time: 0.01 s 593.92/148.93 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s 593.92/148.96 c lits-rem: 0 cl-subs: 29 v-elim: 8 v-fix: 0 time: 0.03 s 595.13/149.27 c subs with bin: 142 lits-rem: 963 v-fix: 0 time: 0.26 s 611.07/153.27 c lits-rem: 6487 cl-subs: 10425 v-elim: 0 v-fix: 0 time: 4.00 s 611.07/153.27 c vivif2 -- cl tried 11970 cl shrink 2 lits rem 2 time: 0.00 611.47/153.38 c vivif2 -- cl tried 71389 cl shrink 12051 lits rem 30680 time: 0.10 612.68/153.70 c asymm cl-useful: 47/9597/11968 lits-rem:75 time: 0.32 613.10/153.71 c calculated reachability. Time: 0.00 613.10/153.71 c N st 59 806511 6357 11963 27596 71387 77395 1290115 no data no data 775.04/194.41 c F st 60 1071876 6357 11963 27601 63675 77395 973969 no data no data 775.46/194.42 c N st 60 1071876 6357 11963 27601 63675 77395 973969 no data no data 775.81/194.57 c Finding binary XORs T: 0.14 s found: 2 779.01/195.32 c Decided on static restart strategy 796.57/199.72 c N st 70 1100178 6353 11950 28053 91085 77331 1839738 no data no data 808.12/202.62 c Finding binary XORs T: 0.14 s found: 4 822.09/206.11 c N st 72 1136171 6351 11948 27659 79294 77292 1712591 no data no data 844.43/211.79 c N st 73 1168564 6351 11948 27668 62970 77292 1052031 no data no data 870.76/218.35 c N st 74 1209768 6351 11948 27685 53408 77292 755213 no data no data 870.76/218.35 c S st 74 1209768 6351 11948 27685 53408 77292 755213 no data no data 871.58/218.52 c S st 74 1210273 6351 11948 27687 53912 77292 769334 no data no data 871.58/218.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 872.74/218.85 c Flit: 0 Blit: 1 bXBeca: 0 bXProp: 2 Bins: 531 BRemL: 1244 BRemN: 0 P: 7.6M T: 0.32 872.74/218.87 c Replacing 8 vars Replaced 1483 lits Time: 0.02 s 872.74/218.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 872.74/218.88 c bin-w-bin subsume rem 168 bins time: 0.00 s 872.74/218.88 c subs with bin: 22 lits-rem: 15 v-fix: 0 time: 0.01 s 872.74/218.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6342 time: 0.01 s 873.14/218.90 c Removed useless bin: 2 fixed: 0 props: 0.18M time: 0.00 s 873.14/218.92 c lits-rem: 1 cl-subs: 15 v-elim: 3 v-fix: 0 time: 0.02 s 873.55/219.04 c subs with bin: 45 lits-rem: 245 v-fix: 0 time: 0.10 s 874.75/219.36 c lits-rem: 1003 cl-subs: 1509 v-elim: 0 v-fix: 0 time: 0.32 s 874.75/219.36 c vivif2 -- cl tried 11902 cl shrink 7 lits rem 7 time: 0.00 875.15/219.40 c vivif2 -- cl tried 52343 cl shrink 1985 lits rem 7558 time: 0.04 875.15/219.43 c asymm cl-useful: 0/2300/11897 lits-rem:0 time: 0.03 875.15/219.43 c calculated reachability. Time: 0.00 875.15/219.43 c N st 74 1210273 6339 11897 26652 52343 77114 737748 no data no data 932.19/233.70 c N st 75 1283155 6339 11897 26665 73404 77114 1405715 no data no data 932.59/233.84 c Finding binary XORs T: 0.14 s found: 0 1003.22/251.60 c N st 76 1392479 6339 11897 26689 75413 77114 1151386 no data no data 1003.98/251.75 c Finding binary XORs T: 0.14 s found: 5 1132.84/284.02 c N st 77 1556464 6338 11892 27490 71860 77093 1162849 no data no data 1251.71/313.81 c N st 78 1710273 6338 11892 27527 108041 77093 1986344 no data no data 1251.71/313.81 c S st 78 1710273 6338 11892 27527 108041 77093 1986344 no data no data 1252.11/313.96 c Finding binary XORs T: 0.14 s found: 1 1253.33/314.29 c S st 78 1710776 6336 11891 27354 108499 77041 2006808 no data no data 1253.33/314.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1255.70/314.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 403 BRemL: 1174 BRemN: 2 P: 13.5M T: 0.53 1255.70/314.85 c Replacing 6 vars Replaced 165 lits Time: 0.01 s 1255.70/314.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1255.70/314.86 c bin-w-bin subsume rem 168 bins time: 0.00 s 1255.70/314.86 c subs with bin: 14 lits-rem: 10 v-fix: 0 time: 0.01 s 1255.70/314.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6330 time: 0.01 s 1255.70/314.88 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s 1256.10/314.91 c lits-rem: 2 cl-subs: 11 v-elim: 4 v-fix: 0 time: 0.03 s 1257.31/315.27 c subs with bin: 53 lits-rem: 353 v-fix: 0 time: 0.30 s 1276.84/320.18 c lits-rem: 9195 cl-subs: 4007 v-elim: 0 v-fix: 0 time: 4.91 s 1276.84/320.18 c vivif2 -- cl tried 11856 cl shrink 2 lits rem 2 time: 0.00 1277.64/320.39 c vivif2 -- cl tried 104379 cl shrink 15032 lits rem 36788 time: 0.20 1279.66/320.82 c asymm cl-useful: 39/5852/11856 lits-rem:67 time: 0.43 1279.66/320.83 c calculated reachability. Time: 0.00 1279.66/320.83 c N st 78 1710776 6326 11856 26405 104378 76829 1879979 no data no data 1280.08/320.97 c Finding binary XORs T: 0.14 s found: 0 1613.14/404.42 c N st 79 2079741 6325 11856 26446 99055 76829 1713051 no data no data 1613.56/404.58 c Finding binary XORs T: 0.14 s found: 0 1702.47/426.86 c N st 80 2210776 6324 11852 27089 94795 76749 1472683 no data no data 1702.47/426.86 c S st 80 2210776 6324 11852 27089 94795 76749 1472683 no data no data 1703.67/427.19 c S st 80 2211279 6324 11852 27279 95290 76749 1486833 no data no data 1704.07/427.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 1706.05/427.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 615 BRemL: 1148 BRemN: 0 P: 11.2M T: 0.54 1706.05/427.76 c Replacing 2 vars Replaced 42 lits Time: 0.01 s 1706.05/427.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1706.05/427.77 c bin-w-bin subsume rem 90 bins time: 0.00 s 1706.05/427.78 c subs with bin: 7 lits-rem: 8 v-fix: 0 time: 0.01 s 1706.05/427.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6321 time: 0.01 s 1706.05/427.80 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s 1706.45/427.83 c lits-rem: 0 cl-subs: 16 v-elim: 18 v-fix: 0 time: 0.03 s 1707.25/428.05 c subs with bin: 68 lits-rem: 126 v-fix: 0 time: 0.18 s 1727.64/433.12 c lits-rem: 6330 cl-subs: 6858 v-elim: 0 v-fix: 0 time: 5.06 s 1727.64/433.12 c vivif2 -- cl tried 11818 cl shrink 3 lits rem 3 time: 0.00 1727.99/433.23 c vivif2 -- cl tried 88353 cl shrink 5368 lits rem 12268 time: 0.11 1728.39/433.38 c asymm cl-useful: 0/5966/11818 lits-rem:0 time: 0.15 1728.39/433.39 c calculated reachability. Time: 0.00 1728.39/433.39 c N st 80 2211279 6303 11818 26261 88351 76501 1363247 no data no data 1729.19/433.53 c Finding binary XORs T: 0.15 s found: 0 2100.96/526.79 c N st 81 2711279 6303 11818 26270 90054 76501 1287858 no data no data 2100.96/526.79 c S st 81 2711279 6303 11818 26270 90054 76501 1287858 no data no data 2101.76/526.95 c Finding binary XORs T: 0.14 s found: 1 2102.96/527.29 c S st 81 2711783 6301 11817 26250 90484 76443 1304019 no data no data 2103.36/527.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2105.35/527.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 513 BRemL: 696 BRemN: 1 P: 10.8M T: 0.53 2105.35/527.85 c Replacing 1 vars Replaced 103 lits Time: 0.01 s 2105.35/527.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2105.35/527.86 c bin-w-bin subsume rem 65 bins time: 0.00 s 2105.35/527.87 c subs with bin: 3 lits-rem: 5 v-fix: 0 time: 0.01 s 2105.35/527.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6300 time: 0.01 s 2105.35/527.88 c Removed useless bin: 1 fixed: 0 props: 0.18M time: 0.00 s 2105.75/527.92 c lits-rem: 0 cl-subs: 3 v-elim: 0 v-fix: 0 time: 0.03 s 2106.55/528.13 c subs with bin: 21 lits-rem: 96 v-fix: 0 time: 0.17 s 2114.92/530.20 c lits-rem: 4836 cl-subs: 2125 v-elim: 0 v-fix: 0 time: 2.07 s 2114.92/530.20 c vivif2 -- cl tried 11811 cl shrink 8 lits rem 8 time: 0.00 2114.92/530.28 c vivif2 -- cl tried 88337 cl shrink 3657 lits rem 6492 time: 0.08 2116.51/530.61 c asymm cl-useful: 38/9042/11809 lits-rem:59 time: 0.33 2116.51/530.62 c calculated reachability. Time: 0.00 2116.51/530.62 c N st 81 2711783 6300 11801 26010 88337 76349 1258349 no data no data 2116.91/530.76 c Finding binary XORs T: 0.14 s found: 2 2573.65/645.21 c N st 82 3211784 6300 11801 26022 123805 76349 1883697 no data no data 2573.65/645.21 c S st 82 3211784 6300 11801 26022 123805 76349 1883697 no data no data 2574.07/645.37 c Finding binary XORs T: 0.14 s found: 1 2575.64/645.70 c S st 82 3212288 6299 11800 26191 124305 76322 1899948 no data no data 2575.64/645.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2577.64/646.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 120 BRemL: 276 BRemN: 3 P: 12.3M T: 0.51 2577.64/646.24 c Replacing 3 vars Replaced 116 lits Time: 0.01 s 2577.64/646.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2577.64/646.24 c bin-w-bin subsume rem 40 bins time: 0.00 s 2577.64/646.25 c subs with bin: 2 lits-rem: 5 v-fix: 0 time: 0.01 s 2577.64/646.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6296 time: 0.01 s 2577.64/646.26 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s 2578.04/646.30 c lits-rem: 2 cl-subs: 18 v-elim: 8 v-fix: 0 time: 0.04 s 2579.22/646.61 c subs with bin: 101 lits-rem: 589 v-fix: 0 time: 0.25 s 2600.81/652.02 c lits-rem: 11517 cl-subs: 9018 v-elim: 0 v-fix: 0 time: 5.40 s 2600.81/652.02 c vivif2 -- cl tried 11786 cl shrink 3 lits rem 3 time: 0.00 2601.15/652.18 c vivif2 -- cl tried 114942 cl shrink 9573 lits rem 22962 time: 0.15 2601.55/652.22 c asymm cl-useful: 0/2744/11786 lits-rem:0 time: 0.05 2601.55/652.23 c calculated reachability. Time: 0.00 2601.55/652.23 c N st 82 3212288 6288 11786 25383 114941 76196 1720482 no data no data 2971.75/745.01 c N st 83 3712289 6287 11786 25415 110383 76196 1464411 no data no data 2971.75/745.01 c S st 83 3712289 6287 11786 25415 110383 76196 1464411 no data no data 2972.15/745.17 c Finding binary XORs T: 0.14 s found: 5 2973.37/745.45 c S st 83 3712792 6285 11785 25917 109923 76122 1475055 no data no data 2973.37/745.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2975.34/745.91 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 122 BRemL: 856 BRemN: 0 P: 11.1M T: 0.44 2975.34/745.94 c Replacing 7 vars Replaced 1347 lits Time: 0.03 s 2975.34/745.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2975.34/745.94 c bin-w-bin subsume rem 100 bins time: 0.00 s 2975.34/745.95 c subs with bin: 35 lits-rem: 28 v-fix: 0 time: 0.01 s 2975.34/745.96 c Subs w/ non-existent bins: 1 l-rem: 1 v-fix: 0 done: 6277 time: 0.01 s 2975.34/745.96 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s 2975.34/746.00 c lits-rem: 0 cl-subs: 15 v-elim: 4 v-fix: 0 time: 0.03 s 2976.14/746.19 c subs with bin: 31 lits-rem: 690 v-fix: 0 time: 0.15 s 2988.10/749.16 c lits-rem: 6414 cl-subs: 4584 v-elim: 0 v-fix: 0 time: 2.97 s 2988.10/749.16 c vivif2 -- cl tried 11733 cl shrink 4 lits rem 4 time: 0.00 2988.50/749.25 c vivif2 -- cl tried 104901 cl shrink 3613 lits rem 7913 time: 0.09 2989.69/749.58 c asymm cl-useful: 21/8130/11733 lits-rem:26 time: 0.34 2989.69/749.59 c calculated reachability. Time: 0.00 2989.69/749.59 c N st 83 3712792 6273 11733 24485 104901 75925 1383465 no data no data 3027.59/759.05 c F st 84 3751562 6273 11733 24490 142171 75925 2973080 no data no data 3027.59/759.06 c N st 84 3751562 6273 11733 24490 142171 75925 2973080 no data no data 3032.78/760.31 c Decided on static restart strategy 3035.56/761.07 c Finding binary XORs T: 0.14 s found: 0 3054.72/765.82 c N st 94 3779864 6272 11733 24548 89252 75894 1224880 no data no data 3084.23/773.24 c N st 96 3815858 6272 11733 24554 124240 75894 2094559 no data no data 3106.98/778.92 c N st 97 3848250 6272 11733 24554 154087 75894 2697213 no data no data 3154.04/790.77 c N st 98 3896838 6272 11733 24555 118166 75894 2041624 no data no data 3220.26/807.39 c N st 99 3969721 6272 11733 24561 102919 75894 1421443 no data no data 3329.55/834.78 c N st 100 4079044 6272 11733 24564 123564 75894 2232927 no data no data 3423.70/858.37 c N st 101 4212793 6272 11733 24616 159553 75894 2399244 no data no data 3423.70/858.37 c S st 101 4212793 6272 11733 24616 159553 75894 2399244 no data no data 3426.09/858.90 c S st 101 4213293 6272 11733 24616 160053 75894 2413696 no data no data 3426.09/858.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3428.49/859.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 84 BRemL: 292 BRemN: 1 P: 16.5M T: 0.61 3428.49/859.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3428.49/859.54 c bin-w-bin subsume rem 61 bins time: 0.00 s 3428.49/859.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3428.49/859.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6272 time: 0.01 s 3428.49/859.56 c Removed useless bin: 1 fixed: 0 props: 0.18M time: 0.00 s 3428.89/859.60 c lits-rem: 1 cl-subs: 4 v-elim: 3 v-fix: 0 time: 0.04 s 3429.71/859.90 c subs with bin: 21 lits-rem: 17 v-fix: 0 time: 0.23 s 3525.40/883.89 c lits-rem: 17061 cl-subs: 22590 v-elim: 0 v-fix: 0 time: 23.99 s 3525.40/883.89 c vivif2 -- cl tried 11725 cl shrink 0 lits rem 0 time: 0.00 3526.22/884.07 c vivif2 -- cl tried 137443 cl shrink 6839 lits rem 11781 time: 0.18 3526.64/884.14 c asymm cl-useful: 0/3595/11725 lits-rem:0 time: 0.07 3526.64/884.15 c calculated reachability. Time: 0.00 3526.64/884.15 c N st 101 4213293 6269 11725 24350 137443 75821 2001070 no data no data 3738.40/937.27 c N st 102 4459269 6269 11725 24355 110186 75821 1538060 no data no data 3739.20/937.42 c Finding binary XORs T: 0.14 s found: 0 3928.67/984.93 c N st 103 4713294 6268 11725 24477 168771 75821 2433213 no data no data 3928.67/984.93 c S st 103 4713294 6268 11725 24477 168771 75821 2433213 no data no data 3930.31/985.38 c S st 103 4713795 6267 11725 24543 169267 75821 2448372 no data no data 3930.31/985.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3932.66/985.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 42 BRemL: 172 BRemN: 4 P: 13.9M T: 0.57 3933.06/986.01 c Replacing 3 vars Replaced 62 lits Time: 0.04 s 3933.06/986.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3933.06/986.01 c bin-w-bin subsume rem 16 bins time: 0.00 s 3933.06/986.02 c subs with bin: 4 lits-rem: 4 v-fix: 0 time: 0.01 s 3933.06/986.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6264 time: 0.01 s 3933.06/986.03 c Removed useless bin: 0 fixed: 0 props: 0.18M time: 0.00 s 3933.06/986.08 c lits-rem: 0 cl-subs: 5 v-elim: 3 v-fix: 0 time: 0.04 s 3934.70/986.49 c subs with bin: 386 lits-rem: 208 v-fix: 0 time: 0.33 s 3976.93/997.05 c lits-rem: 19596 cl-subs: 7002 v-elim: 0 v-fix: 0 time: 10.56 s 3976.93/997.06 c vivif2 -- cl tried 11712 cl shrink 0 lits rem 0 time: 0.00 3978.14/997.32 c vivif2 -- cl tried 159609 cl shrink 9922 lits rem 17716 time: 0.27 3979.72/997.76 c asymm cl-useful: 25/5710/11712 lits-rem:28 time: 0.44 3979.72/997.77 c calculated reachability. Time: 0.00 3979.72/997.77 c N st 103 4713795 6261 11712 23958 159609 75684 2280629 no data no data 4095.81/1026.80 c Finding binary XORs T: 0.14 s found: 0 4424.48/1109.25 c N st 104 5213797 6260 11712 23983 166008 75655 2557106 no data no data 4424.48/1109.25 c S st 104 5213797 6260 11712 23983 166008 75655 2557106 no data no data 4426.12/1109.62 c S st 104 5214300 6260 11712 24120 166507 75655 2569168 no data no data 4426.12/1109.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4428.48/1110.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 143 BRemL: 340 BRemN: 1 P: 14.5M T: 0.61 4428.48/1110.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4428.48/1110.25 c bin-w-bin subsume rem 27 bins time: 0.00 s 4428.48/1110.26 c subs with bin: 0 lits-rem: 1 v-fix: 0 time: 0.00 s 4428.48/1110.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 6260 time: 0.01 s 4428.48/1110.27 c Removed useless bin: 0 fixed: 0 props: 0.19M time: 0.00 s 4428.88/1110.31 c lits-rem: 0 cl-subs: 4 v-elim: 2 v-fix: 0 time: 0.04 s 4430.09/1110.71 c subs with bin: 37 lits-rem: 596 v-fix: 0 time: 0.31 s 4471.95/1121.10 c lits-rem: 20822 cl-subs: 9094 v-elim: 0 v-fix: 0 time: 10.39 s 4471.95/1121.10 c vivif2 -- cl tried 11706 cl shrink 1 lits rem 1 time: 0.00 4473.54/1121.51 c vivif2 -- cl tried 157223 cl shrink 24806 lits rem 55822 time: 0.40 4473.96/1121.70 c asymm cl-useful: 0/5996/11706 lits-rem:0 time: 0.19 4473.96/1121.71 c calculated reachability. Time: 0.00 4473.96/1121.71 c N st 104 5214300 6258 11706 23900 157221 75626 2344513 no data no data 4474.73/1121.85 c Finding binary XORs T: 0.14 s found: 0
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-3367257-1305412083/watcher-3367257-1305412083 -o /tmp/evaluation-result-3367257-1305412083/solver-3367257-1305412083 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367257-1305412083.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.00 4.93 6.52 3/346 8833 /proc/meminfo: memFree=17787176/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 407 0 0 0 0 0 0 0 21 0 4 0 731438996 52396032 347 33554432000 4194304 4580107 140733998991488 18446744073709551615 47426333554614 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 12792 347 299 95 0 7774 0 [pid=8833/tid=8834] ppid=8831 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 731438996 52396032 347 33554432000 4194304 4580107 140733998991488 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 731438996 52396032 347 33554432000 4194304 4580107 140733998991488 18446744073709551615 47426333554610 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 731438996 52396032 347 33554432000 4194304 4580107 140733998991488 18446744073709551615 47426333554610 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.870362 s] /proc/loadavg: 4.00 4.93 6.52 3/346 8833 /proc/meminfo: memFree=17787176/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=332692 CPUtime=3.43 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 26567 0 0 0 337 6 0 0 18 0 4 0 731438996 340676608 22325 33554432000 4194304 4580107 140733998991488 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 83173 22325 360 95 0 78155 0 [pid=8833/tid=8834] ppid=8831 vsize=332692 CPUtime=0.84 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6242 0 0 0 83 1 0 0 19 0 4 0 731438996 340676608 22325 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=332692 CPUtime=0.85 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6544 0 0 0 84 1 0 0 19 0 4 0 731438996 340676608 22325 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=332692 CPUtime=0.85 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6817 0 0 0 84 1 0 0 19 0 4 0 731438996 340676608 22325 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.43 Current children cumulated vsize (KiB) 332692 [startup+0.90036 s] /proc/loadavg: 4.00 4.93 6.52 3/346 8833 /proc/meminfo: memFree=17787176/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=332692 CPUtime=3.55 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 26573 0 0 0 349 6 0 0 18 0 4 0 731438996 340676608 22331 33554432000 4194304 4580107 140733998991488 18446744073709551615 4288888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 83173 22331 360 95 0 78155 0 [pid=8833/tid=8834] ppid=8831 vsize=332692 CPUtime=0.87 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6242 0 0 0 86 1 0 0 19 0 4 0 731438996 340676608 22331 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=332692 CPUtime=0.88 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6544 0 0 0 87 1 0 0 19 0 4 0 731438996 340676608 22331 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=332692 CPUtime=0.88 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6823 0 0 0 87 1 0 0 19 0 4 0 731438996 340676608 22331 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.55 Current children cumulated vsize (KiB) 332692 [startup+1.00034 s] /proc/loadavg: 4.00 4.93 6.52 3/346 8833 /proc/meminfo: memFree=17787176/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=332692 CPUtime=3.95 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 26585 0 0 0 389 6 0 0 19 0 4 0 731438996 340676608 22343 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 83173 22343 360 95 0 78155 0 [pid=8833/tid=8834] ppid=8831 vsize=332692 CPUtime=0.97 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6242 0 0 0 96 1 0 0 19 0 4 0 731438996 340676608 22343 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293117 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=332692 CPUtime=0.98 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6544 0 0 0 97 1 0 0 19 0 4 0 731438996 340676608 22343 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=332692 CPUtime=0.98 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6835 0 0 0 97 1 0 0 19 0 4 0 731438996 340676608 22343 33554432000 4194304 4580107 140733998991488 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 332692 [startup+1.10032 s] /proc/loadavg: 4.00 4.93 6.52 3/346 8833 /proc/meminfo: memFree=17787176/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=332692 CPUtime=4.34 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 27540 0 0 0 428 6 0 0 19 0 4 0 731438996 340676608 23298 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 83173 23298 361 95 0 78155 0 [pid=8833/tid=8834] ppid=8831 vsize=332692 CPUtime=1.07 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6552 0 0 0 106 1 0 0 19 0 4 0 731438996 340676608 23298 33554432000 4194304 4580107 140733998991488 18446744073709551615 256415047637 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=332692 CPUtime=1.08 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6864 0 0 0 107 1 0 0 19 0 4 0 731438996 340676608 23298 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=332692 CPUtime=1.08 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 6844 0 0 0 107 1 0 0 19 0 4 0 731438996 340676608 23298 33554432000 4194304 4580107 140733998991488 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 332692 [startup+1.50024 s] /proc/loadavg: 4.00 4.93 6.52 3/346 8833 /proc/meminfo: memFree=17787176/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=335252 CPUtime=5.93 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 39966 0 0 0 585 8 0 0 18 0 4 0 731438996 343298048 35724 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 83813 35724 362 95 0 78795 0 [pid=8833/tid=8834] ppid=8831 vsize=335252 CPUtime=1.47 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 10432 0 0 0 145 2 0 0 18 0 4 0 731438996 343298048 35727 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=335252 CPUtime=1.48 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 10819 0 0 0 146 2 0 0 20 0 4 0 731438996 343298048 35727 33554432000 4194304 4580107 140733998991488 18446744073709551615 4292947 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=335252 CPUtime=1.48 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 7504 0 0 0 147 1 0 0 19 0 4 0 731438996 343298048 35727 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.93 Current children cumulated vsize (KiB) 335252 [startup+3.10094 s] /proc/loadavg: 4.32 4.98 6.53 9/358 8845 /proc/meminfo: memFree=17357388/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=532256 CPUtime=12.31 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 90651 0 0 0 1212 19 0 0 18 0 4 0 731438996 545030144 86409 33554432000 4194304 4580107 140733998991488 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 133064 86412 362 95 0 128046 0 [pid=8833/tid=8834] ppid=8831 vsize=532256 CPUtime=3.05 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 27061 0 0 0 299 6 0 0 20 0 4 0 731438996 545030144 86412 33554432000 4194304 4580107 140733998991488 18446744073709551615 4235600 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=532256 CPUtime=3.08 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 27750 0 0 0 302 6 0 0 19 0 4 0 731438996 545030144 86412 33554432000 4194304 4580107 140733998991488 18446744073709551615 4235735 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=532256 CPUtime=3.08 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 7769 0 0 0 307 1 0 0 25 0 4 0 731438996 545030144 86412 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (KiB) 532256 [startup+6.31334 s] /proc/loadavg: 4.32 4.98 6.53 10/358 8845 /proc/meminfo: memFree=16991960/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=929092 CPUtime=25.12 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 179141 0 0 0 2473 39 0 0 24 0 4 0 731438996 951390208 173985 33554432000 4194304 4580107 140733998991488 18446744073709551615 256415052833 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 232273 173986 362 95 0 227255 0 [pid=8833/tid=8834] ppid=8831 vsize=929092 CPUtime=6.21 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 55949 0 0 0 610 11 0 0 23 0 4 0 731438996 951390208 173987 33554432000 4194304 4580107 140733998991488 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=929092 CPUtime=6.28 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 57015 0 0 0 616 12 0 0 19 0 4 0 731438996 951390208 173987 33554432000 4194304 4580107 140733998991488 18446744073709551615 256415434935 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=929092 CPUtime=6.29 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 8790 0 0 0 628 1 0 0 25 0 4 0 731438996 951390208 173988 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 929092 [startup+12.7011 s] /proc/loadavg: 4.89 5.08 6.55 9/358 8845 /proc/meminfo: memFree=16913768/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=931908 CPUtime=50.61 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 198151 0 0 0 5017 44 0 0 22 0 4 0 731438996 954273792 189868 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 232977 189868 381 95 0 227959 0 [pid=8833/tid=8834] ppid=8831 vsize=931908 CPUtime=12.54 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 62075 0 0 0 1241 13 0 0 22 0 4 0 731438996 954273792 189868 33554432000 4194304 4580107 140733998991488 18446744073709551615 4295479 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=931908 CPUtime=12.67 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 62626 0 0 0 1253 14 0 0 25 0 4 0 731438996 954273792 189868 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=931908 CPUtime=12.68 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 10589 0 0 0 1266 2 0 0 25 0 4 0 731438996 954273792 189868 33554432000 4194304 4580107 140733998991488 18446744073709551615 4292977 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.61 Current children cumulated vsize (KiB) 931908 [startup+25.5007 s] /proc/loadavg: 5.36 5.17 6.56 10/358 8845 /proc/meminfo: memFree=16664400/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1156648 CPUtime=101.66 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 231360 0 0 0 10115 51 0 0 25 0 4 0 731438996 1184407552 213195 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 289162 213195 381 95 0 284144 0 [pid=8833/tid=8834] ppid=8831 vsize=1156648 CPUtime=25.2 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 70364 0 0 0 2504 16 0 0 25 0 4 0 731438996 1184407552 213195 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1156648 CPUtime=25.47 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 69089 0 0 0 2532 15 0 0 25 0 4 0 731438996 1184407552 213195 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1156648 CPUtime=25.47 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 19738 0 0 0 2544 3 0 0 25 0 4 0 731438996 1184407552 213195 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.66 Current children cumulated vsize (KiB) 1156648 [startup+51.1009 s] /proc/loadavg: 6.26 5.40 6.60 9/358 8846 /proc/meminfo: memFree=16532284/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1168040 CPUtime=203.79 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 268418 0 0 0 20318 61 0 0 25 0 4 0 731438996 1196072960 227422 33554432000 4194304 4580107 140733998991488 18446744073709551615 4417027 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 292010 227422 381 95 0 286992 0 [pid=8833/tid=8834] ppid=8831 vsize=1168040 CPUtime=50.52 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 77892 0 0 0 5034 18 0 0 25 0 4 0 731438996 1196072960 227422 33554432000 4194304 4580107 140733998991488 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1168040 CPUtime=51.07 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 78961 0 0 0 5088 19 0 0 25 0 4 0 731438996 1196072960 227422 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1168040 CPUtime=51.07 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 23137 0 0 0 5103 4 0 0 25 0 4 0 731438996 1196072960 227422 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.79 Current children cumulated vsize (KiB) 1168040 [startup+102.3 s] /proc/loadavg: 7.34 5.85 6.68 9/358 8847 /proc/meminfo: memFree=16388300/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1255608 CPUtime=408.02 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 324518 0 0 0 40724 78 0 0 25 0 4 0 731438996 1285742592 244571 33554432000 4194304 4580107 140733998991488 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 313902 244571 381 95 0 308884 0 [pid=8833/tid=8834] ppid=8831 vsize=1255608 CPUtime=101.15 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 96315 0 0 0 10092 23 0 0 25 0 4 0 731438996 1285742592 244571 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1255608 CPUtime=102.27 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 94730 0 0 0 10203 24 0 0 25 0 4 0 731438996 1285742592 244571 33554432000 4194304 4580107 140733998991488 18446744073709551615 4296104 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1255608 CPUtime=102.27 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 28158 0 0 0 10222 5 0 0 25 0 4 0 731438996 1285742592 244571 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 408.02 Current children cumulated vsize (KiB) 1255608 [startup+162.301 s] ################ # More data... # ################ [pid=8833] ppid=8831 vsize=1417632 CPUtime=2562.07 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 657590 0 0 0 256006 201 0 0 25 0 4 0 731438996 1451655168 296727 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 354408 296727 381 95 0 349390 0 [pid=8833/tid=8834] ppid=8831 vsize=1417632 CPUtime=635.17 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 217652 0 0 0 63449 68 0 0 25 0 4 0 731438996 1451655168 296727 33554432000 4194304 4580107 140733998991488 18446744073709551615 4305290 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1417632 CPUtime=642.29 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 203319 0 0 0 64165 64 0 0 25 0 4 0 731438996 1451655168 296727 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1417632 CPUtime=642.28 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 39406 0 0 0 64218 10 0 0 25 0 4 0 731438996 1451655168 296727 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2562.07 Current children cumulated vsize (KiB) 1417632 [startup+702.301 s] /proc/loadavg: 8.29 7.83 7.34 10/358 8866 /proc/meminfo: memFree=15626380/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1493600 CPUtime=2801.42 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 681856 0 0 0 279932 210 0 0 25 0 4 0 731438996 1529446400 308928 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 373400 308928 381 95 0 368382 0 [pid=8833/tid=8834] ppid=8831 vsize=1493600 CPUtime=694.5 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 225299 0 0 0 69379 71 0 0 25 0 4 0 731438996 1529446400 308928 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1493600 CPUtime=702.29 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 211422 0 0 0 70162 67 0 0 25 0 4 0 731438996 1529446400 308928 33554432000 4194304 4580107 140733998991488 18446744073709551615 4295469 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1493600 CPUtime=702.27 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 44759 0 0 0 70216 11 0 0 25 0 4 0 731438996 1529446400 308928 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2801.42 Current children cumulated vsize (KiB) 1493600 [startup+762.301 s] /proc/loadavg: 8.20 7.88 7.39 9/358 8868 /proc/meminfo: memFree=15600320/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1530244 CPUtime=3040.75 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 702565 0 0 0 303858 217 0 0 25 0 4 0 731438996 1566969856 312469 33554432000 4194304 4580107 140733998991488 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 382561 312469 381 95 0 377543 0 [pid=8833/tid=8834] ppid=8831 vsize=1530244 CPUtime=753.84 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 237881 0 0 0 75309 75 0 0 25 0 4 0 731438996 1566969856 312469 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1530244 CPUtime=762.29 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 216083 0 0 0 76160 69 0 0 25 0 4 0 731438996 1566969856 312469 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1530244 CPUtime=762.28 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 47889 0 0 0 76215 13 0 0 25 0 4 0 731438996 1566969856 312469 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3040.75 Current children cumulated vsize (KiB) 1530244 [startup+822.3 s] /proc/loadavg: 8.20 7.95 7.44 10/358 8869 /proc/meminfo: memFree=15617028/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1509200 CPUtime=3280.1 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 726665 0 0 0 327781 229 0 0 25 0 4 0 731438996 1545420800 315093 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 377300 315093 381 95 0 372282 0 [pid=8833/tid=8834] ppid=8831 vsize=1509200 CPUtime=813.18 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 248963 0 0 0 81238 80 0 0 25 0 4 0 731438996 1545420800 315093 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1509200 CPUtime=822.3 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 226081 0 0 0 82156 74 0 0 25 0 4 0 731438996 1545420800 315093 33554432000 4194304 4580107 140733998991488 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1509200 CPUtime=822.28 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 50205 0 0 0 82214 14 0 0 25 0 4 0 731438996 1545420800 315093 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3280.1 Current children cumulated vsize (KiB) 1509200 [startup+882.301 s] /proc/loadavg: 8.15 7.98 7.49 9/358 8871 /proc/meminfo: memFree=15490660/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1539680 CPUtime=3519.42 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 753986 0 0 0 351700 242 0 0 25 0 4 0 731438996 1576632320 325479 33554432000 4194304 4580107 140733998991488 18446744073709551615 4416469 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 384920 325479 381 95 0 379902 0 [pid=8833/tid=8834] ppid=8831 vsize=1539680 CPUtime=872.5 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 257635 0 0 0 87165 85 0 0 25 0 4 0 731438996 1576632320 325479 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1539680 CPUtime=882.3 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 232995 0 0 0 88152 78 0 0 25 0 4 0 731438996 1576632320 325479 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1539680 CPUtime=882.28 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 53557 0 0 0 88213 15 0 0 25 0 4 0 731438996 1576632320 325479 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3519.42 Current children cumulated vsize (KiB) 1539680 [startup+942.301 s] /proc/loadavg: 8.10 8.00 7.52 9/358 8873 /proc/meminfo: memFree=15494736/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1591732 CPUtime=3758.76 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 781695 0 0 0 375620 256 0 0 25 0 4 0 731438996 1629933568 329645 33554432000 4194304 4580107 140733998991488 18446744073709551615 4295482 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 397933 329645 381 95 0 392915 0 [pid=8833/tid=8834] ppid=8831 vsize=1591732 CPUtime=931.82 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 265819 0 0 0 93094 88 0 0 25 0 4 0 731438996 1629933568 329648 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1591732 CPUtime=942.31 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 237087 0 0 0 94150 81 0 0 25 0 4 0 731438996 1629933568 329648 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1591732 CPUtime=942.29 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 58133 0 0 0 94212 17 0 0 25 0 4 0 731438996 1629933568 329648 33554432000 4194304 4580107 140733998991488 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3758.76 Current children cumulated vsize (KiB) 1591732 [startup+1002.3 s] /proc/loadavg: 8.14 8.03 7.56 9/358 8874 /proc/meminfo: memFree=15435700/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1687700 CPUtime=3998.08 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 803026 0 0 0 399541 267 0 0 25 0 4 0 731438996 1728204800 323757 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 421925 323757 381 95 0 416907 0 [pid=8833/tid=8834] ppid=8831 vsize=1687700 CPUtime=991.14 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 274153 0 0 0 99023 91 0 0 25 0 4 0 731438996 1728204800 323757 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1687700 CPUtime=1002.31 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 241609 0 0 0 100147 84 0 0 25 0 4 0 731438996 1728204800 323757 33554432000 4194304 4580107 140733998991488 18446744073709551615 4295204 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1687700 CPUtime=1002.28 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 62050 0 0 0 100208 20 0 0 25 0 4 0 731438996 1728204800 323757 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3998.08 Current children cumulated vsize (KiB) 1687700 [startup+1062.31 s] /proc/loadavg: 8.09 8.03 7.59 9/358 8876 /proc/meminfo: memFree=15384212/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1743332 CPUtime=4237.46 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 823934 0 0 0 423469 277 0 0 25 0 4 0 731438996 1785171968 326078 33554432000 4194304 4580107 140733998991488 18446744073709551615 4487126 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 435833 326078 381 95 0 430815 0 [pid=8833/tid=8834] ppid=8831 vsize=1743332 CPUtime=1050.48 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 279404 0 0 0 104954 94 0 0 25 0 4 0 731438996 1785171968 326078 33554432000 4194304 4580107 140733998991488 18446744073709551615 4296235 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1743332 CPUtime=1062.31 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 249384 0 0 0 106145 86 0 0 25 0 4 0 731438996 1785171968 326078 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1743332 CPUtime=1062.29 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 63357 0 0 0 106208 21 0 0 25 0 4 0 731438996 1785171968 326078 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4237.46 Current children cumulated vsize (KiB) 1743332 [startup+1122.3 s] /proc/loadavg: 8.11 8.05 7.62 10/358 8877 /proc/meminfo: memFree=15303932/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1642676 CPUtime=4476.73 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 844889 0 0 0 447385 288 0 0 25 0 4 0 731438996 1682100224 337823 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 410669 337823 381 95 0 405651 0 [pid=8833/tid=8834] ppid=8831 vsize=1642676 CPUtime=1109.79 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 289142 0 0 0 110880 99 0 0 25 0 4 0 731438996 1682100224 337823 33554432000 4194304 4580107 140733998991488 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1642676 CPUtime=1122.31 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 255981 0 0 0 112140 91 0 0 25 0 4 0 731438996 1682100224 337823 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1642676 CPUtime=1122.28 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 63679 0 0 0 112207 21 0 0 25 0 4 0 731438996 1682100224 337823 33554432000 4194304 4580107 140733998991488 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4476.73 Current children cumulated vsize (KiB) 1642676 [startup+1182.3 s] /proc/loadavg: 8.10 8.06 7.65 9/358 8879 /proc/meminfo: memFree=15305280/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1720412 CPUtime=4716.05 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 871733 0 0 0 471307 298 0 0 25 0 4 0 731438996 1761701888 339637 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 430103 339637 381 95 0 425085 0 [pid=8833/tid=8834] ppid=8831 vsize=1720412 CPUtime=1169.11 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 297397 0 0 0 116809 102 0 0 25 0 4 0 731438996 1761701888 339637 33554432000 4194304 4580107 140733998991488 18446744073709551615 4340603 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1720412 CPUtime=1182.31 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 261854 0 0 0 118139 92 0 0 25 0 4 0 731438996 1761701888 339637 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1720412 CPUtime=1182.28 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 71537 0 0 0 118204 24 0 0 25 0 4 0 731438996 1761701888 339637 33554432000 4194304 4580107 140733998991488 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4716.05 Current children cumulated vsize (KiB) 1720412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.4 s] /proc/loadavg: 8.07 8.05 7.65 9/358 8880 /proc/meminfo: memFree=15330680/32950928 swapFree=67111200/67111528 [pid=8833] ppid=8831 vsize=1657984 CPUtime=4800.24 cores=1,3,5,7 /proc/8833/stat : 8833 (strangenight2-m) R 8831 8833 8202 0 -1 4202496 881532 0 0 0 479722 302 0 0 25 0 4 0 731438996 1697775616 349289 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/8833/statm: 414496 349289 381 95 0 409478 0 [pid=8833/tid=8834] ppid=8831 vsize=1657984 CPUtime=1189.98 cores=1,3,5,7 /proc/8833/task/8834/stat : 8834 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 300918 0 0 0 118894 104 0 0 25 0 4 0 731438996 1697775616 349291 33554432000 4194304 4580107 140733998991488 18446744073709551615 4340680 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8833/tid=8835] ppid=8831 vsize=1657984 CPUtime=1203.43 cores=1,3,5,7 /proc/8833/task/8835/stat : 8835 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 265076 0 0 0 120249 94 0 0 25 0 4 0 731438996 1697775616 349291 33554432000 4194304 4580107 140733998991488 18446744073709551615 4320872 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=8833/tid=8836] ppid=8831 vsize=1657984 CPUtime=1203.39 cores=1,3,5,7 /proc/8833/task/8836/stat : 8836 (strangenight2-m) R 8831 8833 8202 0 -1 4202560 71537 0 0 0 120315 24 0 0 25 0 4 0 731438996 1697775616 349291 33554432000 4194304 4580107 140733998991488 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4800.24 Current children cumulated vsize (KiB) 1657984 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): 1203.48 CPU time (s): 4800.35 CPU user time (s): 4797.26 CPU system time (s): 3.08753 CPU usage (%): 398.873 Max. virtual memory (cumulated for all children) (KiB): 1825944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.26 system time used= 3.08753 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 881534 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= 6085 involuntary context switches= 31414 runsolver used 3.86241 second user time and 9.60154 second system time The end
Begin job on node115 at 2011-05-15 00:28:03 IDJOB=3367257 IDBENCH=83115 IDSOLVER=1844 FILE ID=node115/3367257-1305412083 RUNJOBID= node115-1305412083-8819 PBS_JOBID= 13324497 Free space on /tmp= 73232 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367257-1305412083/watcher-3367257-1305412083 -o /tmp/evaluation-result-3367257-1305412083/solver-3367257-1305412083 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367257-1305412083.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9fab5edd49fb904ff76ff7abf98e0d14 RANDOM SEED=555234108 node115.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.811 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.62 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.811 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.77 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.811 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.74 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.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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: 32950928 kB MemFree: 17787184 kB Buffers: 289188 kB Cached: 4531508 kB SwapCached: 0 kB Active: 11966104 kB Inactive: 2879560 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 17787184 kB SwapTotal: 67111528 kB SwapFree: 67111200 kB Dirty: 17112 kB Writeback: 0 kB AnonPages: 10025188 kB Mapped: 27628 kB Slab: 211400 kB PageTables: 40988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 69651088 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= 73220 MiB End job on node115 at 2011-05-15 00:48:09