| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.31 | 1203.66 |
| Name | random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf |
| MD5SUM | 99649f8478aeec246b4c83e11dce9c4a |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.820874 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5000 |
| Number of clauses | 21000 |
| Sum of the clauses size | 63000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 21000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368570-1305397496.cnf' 0.00/0.01 c -- header says num vars: 5000 0.00/0.01 c -- header says num clauses: 21000 0.00/0.04 c -- clauses added: 0 learnts, 21000 normals, 0 xors 0.00/0.04 c -- vars added 5000 0.00/0.04 c Parsing time: 0.04 s 0.00/0.04 c N st 0 0 5000 21000 0 0 63000 0 no data no data -- 0.00/0.04 c asymm cl-useful: 0/21000/21000 lits-rem:0 time: 0.05 0.00/0.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.02 0.00/0.05 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 5000 time: 0.00 s 0.00/0.05 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 0.00/0.82 c lits-rem: 0 cl-subs: 0 v-elim: 155 v-fix: 0 time: 0.13 s 0.00/0.82 c Finding binary XORs T: 0.00 s found: 0 0.00/0.82 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan) 0.00/0.82 c calculated reachability. Time: 0.00 0.00/0.82 c Calc default polars - time: 0.00 s pos: 2197 undec: 546 neg: 2257 0.00/0.82 c ========================================================================================= 0.00/0.82 c types(t): F = full restart, N = normal restart 0.00/0.82 c types(t): S = simplification begin/end, E = solution found 0.00/0.82 c restart types(rt): st = static, dy = dynamic 0.00/0.82 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.82 c B st 0 0 4845 20853 0 0 63458 0 no data no data -- 0.00/0.82 c N dy 16 4143 4845 20853 0 4142 63458 472797 66.52 71.93 -- 3.56/0.92 c N dy 43 8227 4845 20853 0 5728 63458 428895 66.80 71.02 -- 4.77/1.25 c N dy 64 12231 4845 20853 0 5481 63458 243618 65.83 69.63 -- 6.36/1.68 c N dy 93 16460 4845 20853 0 9710 63458 689129 66.11 70.19 -- 8.35/2.11 c N dy 121 20683 4845 20853 0 8313 63458 416553 66.58 71.47 -- 9.94/2.54 c N dy 147 24800 4845 20853 0 12430 63458 847883 66.48 70.86 -- 9.94/2.56 c F st 149 25000 4845 20853 0 12630 63458 867715 66.48 no data -- 12.34/3.14 c N dy 155 30001 4845 20853 0 10816 63458 665285 66.48 no data -- 12.34/3.14 c S st 155 30001 4845 20853 0 10816 63458 665285 66.48 no data -- 12.34/3.19 c S st 155 30503 4845 20853 0 11318 63458 708241 66.48 no data -- 12.73/3.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 12.73/3.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.73/3.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 12.73/3.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.73/3.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.73/3.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 12.73/3.26 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 23.91/6.02 c lits-rem: 16 cl-subs: 6 v-elim: 0 v-fix: 0 time: 10.98 s 23.91/6.04 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.11 23.91/6.05 c calculated reachability. Time: 0.00 23.91/6.05 c N dy 155 30503 4845 20853 0 11312 63458 706546 66.48 no data -- 25.89/6.51 c N dy 175 34573 4845 20853 0 15382 63458 1124755 66.22 70.53 -- 27.50/6.93 c N dy 196 38594 4845 20853 0 11501 63458 524763 66.19 71.95 -- 29.11/7.40 c N dy 222 42679 4845 20853 0 15586 63458 946626 66.28 70.74 -- 30.69/7.76 c S st 240 45755 4845 20853 0 9709 63458 238345 66.25 no data -- 31.09/7.81 c S st 240 46262 4845 20853 0 10216 63458 277919 66.25 no data -- 31.09/7.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 31.09/7.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 31.09/7.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.05 31.09/7.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.09/7.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.09/7.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 31.09/7.84 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 33.50/8.49 c lits-rem: 4 cl-subs: 0 v-elim: 0 v-fix: 0 time: 2.55 s 33.50/8.49 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.01 33.50/8.49 c vivif2 -- cl tried 10216 cl shrink 0 lits rem 0 time: 0.01 33.92/8.51 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.09 33.92/8.51 c calculated reachability. Time: 0.00 33.92/8.51 c N dy 240 46262 4845 20853 0 10216 63458 277915 66.25 no data -- 35.47/8.99 c N dy 268 50512 4845 20853 0 14465 63458 722835 66.36 71.37 -- 37.47/9.48 c N dy 290 54545 4845 20853 0 18498 63458 1147471 66.36 70.03 -- 39.45/9.97 c N dy 320 58688 4845 20853 0 12662 63458 444875 66.45 71.18 -- 41.45/10.44 c N dy 347 62759 4845 20853 0 16733 63458 867088 66.55 70.75 -- 43.44/10.98 c N dy 375 66850 4845 20853 0 20824 63458 1298329 66.64 70.98 -- 44.64/11.29 c S st 391 69393 4845 20853 0 12377 63458 309605 66.68 no data -- 45.04/11.35 c S st 391 69898 4845 20853 0 12882 63458 349552 66.68 no data -- 45.04/11.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 45.04/11.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 45.04/11.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.06 45.04/11.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 45.04/11.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 45.04/11.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 45.04/11.38 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 49.44/12.44 c lits-rem: 27 cl-subs: 1 v-elim: 0 v-fix: 0 time: 4.19 s 49.44/12.44 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.00 49.44/12.44 c vivif2 -- cl tried 12881 cl shrink 0 lits rem 0 time: 0.02 49.44/12.47 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.10 49.44/12.47 c calculated reachability. Time: 0.00 49.44/12.47 c N dy 391 69898 4845 20853 0 12881 63458 349503 66.68 no data -- 51.81/13.01 c N dy 425 74398 4845 20853 0 17381 63458 825363 66.84 70.94 -- 54.22/13.64 c N dy 458 79200 4845 20853 0 22183 63458 1334456 66.95 71.10 -- 56.61/14.27 c N dy 485 84268 4845 20853 0 15262 63458 507089 66.77 72.61 -- 58.21/14.67 c F st 504 87500 4845 20853 0 18494 63458 837205 66.71 no data -- 59.82/15.09 c N st 509 90796 4845 20853 0 21788 63458 1214660 66.71 no data -- 62.99/15.87 c N dy 535 96591 4845 20853 0 14585 63458 349567 66.73 70.39 -- 66.18/16.62 c N dy 575 102773 4845 20853 0 20766 63458 989992 66.78 71.09 -- 67.38/16.90 c S st 586 104850 4845 20853 0 22843 63458 1210644 66.75 no data -- 67.38/16.97 c S st 586 105354 4845 20853 0 23347 63458 1248446 66.75 no data -- 67.38/16.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 67.38/16.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 67.78/17.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.08 67.78/17.06 c bin-w-bin subsume rem 0 bins time: 0.00 s 67.78/17.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 67.78/17.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 67.78/17.07 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 76.15/19.16 c lits-rem: 28 cl-subs: 3 v-elim: 0 v-fix: 0 time: 8.34 s 76.15/19.16 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.00 76.15/19.18 c vivif2 -- cl tried 23344 cl shrink 0 lits rem 0 time: 0.06 76.55/19.22 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.17 76.55/19.22 c calculated reachability. Time: 0.00 76.55/19.22 c N dy 586 105354 4845 20853 0 23344 63458 1247717 66.75 no data -- 80.13/20.14 c N dy 625 112141 4845 20853 0 16133 63458 401555 66.73 75.19 -- 83.72/21.07 c N dy 676 119388 4845 20853 0 23379 63458 1165869 66.94 70.85 -- 88.10/22.13 c N dy 726 127130 4845 20853 0 16124 63458 317580 67.06 71.34 -- 92.10/23.14 c N dy 780 135269 4845 20853 0 24262 63458 1164928 67.09 71.01 -- 96.89/24.36 c N dy 829 144000 4845 20853 0 16993 63458 303329 67.01 71.18 -- 101.67/25.55 c N dy 887 153362 4845 20853 0 26351 63458 1276608 67.04 71.95 -- 104.46/26.22 c S st 917 158032 4845 20853 0 31021 63458 1757380 67.01 59.58 -- 104.86/26.30 c S st 917 158537 4845 20853 0 31526 63458 1796604 67.01 no data -- 104.86/26.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.86/26.30 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.86/26.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.10 105.25/26.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 105.25/26.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 105.25/26.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 105.25/26.40 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 118.42/29.76 c lits-rem: 18 cl-subs: 4 v-elim: 0 v-fix: 0 time: 13.37 s 118.42/29.76 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.00 118.42/29.78 c vivif2 -- cl tried 31522 cl shrink 0 lits rem 0 time: 0.08 118.82/29.84 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.22 118.82/29.84 c calculated reachability. Time: 0.00 118.82/29.84 c N dy 917 158537 4845 20853 0 31522 63458 1796082 67.01 no data -- 124.40/31.24 c N dy 981 168662 4845 20853 0 24652 63458 1011535 67.06 72.70 -- 131.18/32.90 c N dy 1053 179533 4845 20853 0 35522 63458 2152445 67.13 72.93 -- 137.16/34.45 c N dy 1127 191055 4845 20853 0 29046 63458 1379825 67.24 76.49 -- 144.34/36.26 c N dy 1200 203289 4845 20853 0 22280 63458 557084 67.25 71.08 -- 151.94/38.12 c N dy 1280 216275 4845 20853 0 35264 63458 1924152 67.27 71.59 -- 159.90/40.11 c N dy 1367 230097 4845 20853 0 29088 63458 1169659 67.27 71.25 -- 164.29/41.27 c S st 1414 237808 4845 20853 0 36799 63458 1973530 67.27 no data -- 164.68/41.36 c S st 1414 238311 4845 20853 0 37302 63458 2012880 67.27 no data -- 164.68/41.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 164.68/41.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 164.68/41.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.11 165.10/41.48 c bin-w-bin subsume rem 0 bins time: 0.00 s 165.10/41.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 165.10/41.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 165.10/41.48 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 181.04/45.42 c lits-rem: 39 cl-subs: 2 v-elim: 0 v-fix: 0 time: 15.72 s 181.04/45.42 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.00 181.04/45.45 c vivif2 -- cl tried 37300 cl shrink 0 lits rem 0 time: 0.10 181.44/45.51 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.24 181.44/45.51 c calculated reachability. Time: 0.00 181.44/45.51 c N dy 1414 238311 4845 20853 0 37300 63458 2012451 67.27 no data -- 190.21/47.74 c N dy 1505 253580 4845 20853 0 31566 63458 1317104 67.27 70.93 -- 200.20/50.28 c N dy 1612 269801 4845 20853 0 25795 63458 633842 67.36 72.80 -- 210.95/52.93 c N dy 1709 287055 4845 20853 0 43047 63458 2426969 67.32 71.63 -- 222.13/55.75 c N dy 1820 305547 4845 20853 0 38536 63458 1874510 67.33 71.33 -- 222.56/55.86 c F st 1823 306250 4845 20853 0 39239 63458 1944430 67.33 65.47 -- 234.48/58.87 c N dy 1919 325072 4845 20853 0 34062 63458 1319627 67.39 74.45 -- 247.64/62.19 c N dy 2041 345161 4845 20853 0 29150 63458 699339 67.47 72.26 -- 255.62/64.12 c S st 2115 357467 4845 20853 0 41455 63458 1999435 67.46 no data -- 256.01/64.22 c S st 2115 357968 4845 20853 0 41956 63458 2041374 67.46 no data -- 256.01/64.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 256.01/64.23 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 256.01/64.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.13 256.41/64.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 256.41/64.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 256.41/64.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 256.41/64.34 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 273.17/68.57 c lits-rem: 30 cl-subs: 4 v-elim: 0 v-fix: 0 time: 16.81 s 273.17/68.57 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.01 273.17/68.59 c vivif2 -- cl tried 41952 cl shrink 0 lits rem 0 time: 0.10 273.57/68.67 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.29 273.57/68.67 c calculated reachability. Time: 0.00 273.57/68.67 c N dy 2115 357968 4845 20853 0 41952 63458 2040419 67.46 no data -- 287.12/72.09 c N dy 2230 378029 4845 20853 0 36010 63458 1301312 67.43 73.05 -- 301.10/75.56 c N dy 2348 398139 4845 20853 0 29120 63458 484193 67.41 71.29 -- 314.27/78.85 c N dy 2468 418151 4845 20853 0 49129 63458 2578823 67.42 80.27 -- 327.85/82.24 c N dy 2601 438208 4845 20853 0 41194 63458 1682469 67.53 88.60 -- 342.16/85.89 c N dy 2732 458285 4845 20853 0 32271 63458 619075 67.56 72.86 -- 355.71/89.29 c N dy 2839 478331 4845 20853 0 52316 63458 2742141 67.55 72.42 -- 369.67/92.78 c N dy 2962 498337 4845 20853 0 42327 63458 1567546 67.56 72.08 -- 385.22/96.68 c N dy 3087 518380 4845 20853 0 31366 63458 317825 67.58 71.28 -- 397.61/99.80 c S st 3208 536953 4845 20853 0 49936 63458 2288201 67.63 62.40 -- 398.38/99.91 c S st 3208 537457 4845 20853 0 50440 63458 2330512 67.63 no data -- 398.38/99.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 398.38/99.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 398.38/99.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.15 398.78/100.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 398.78/100.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 398.78/100.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 398.78/100.05 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 422.32/105.98 c lits-rem: 16 cl-subs: 7 v-elim: 0 v-fix: 0 time: 23.61 s 422.32/105.98 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.00 422.72/106.00 c vivif2 -- cl tried 50433 cl shrink 0 lits rem 0 time: 0.11 422.72/106.09 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.33 422.72/106.09 c calculated reachability. Time: 0.00 422.72/106.09 c N dy 3208 537457 4845 20853 0 50433 63458 2329430 67.63 no data -- 437.86/109.87 c N dy 3326 557478 4845 20853 0 38451 63458 973294 67.65 71.51 -- 453.03/113.60 c N dy 3453 577650 4845 20853 0 58622 63458 3128867 67.69 71.75 -- 467.80/117.36 c N dy 3574 597922 4845 20853 0 45896 63458 1654948 67.71 71.40 -- 484.13/121.43 c N dy 3692 618039 4845 20853 0 66011 63458 3781073 67.70 73.70 -- 498.94/125.15 c N dy 3820 638111 4845 20853 0 52085 63458 2232757 67.75 72.72 -- 515.65/129.36 c N dy 3940 658182 4845 20853 0 37157 63458 531771 67.78 72.15 -- 531.19/133.24 c N dy 4063 678561 4845 20853 0 57535 63458 2675875 67.77 72.79 -- 548.75/137.62 c N dy 4194 698580 4845 20853 0 41555 63458 909523 67.78 71.40 -- 564.75/141.61 c N dy 4319 718656 4845 20853 0 61631 63458 3024170 67.81 71.67 -- 582.30/146.03 c N dy 4441 738899 4845 20853 0 44871 63458 1178318 67.83 71.67 -- 599.00/150.27 c N dy 4577 759045 4845 20853 0 65017 63458 3349066 67.88 74.53 -- 616.55/154.67 c N dy 4708 779139 4845 20853 0 47111 63458 1297485 67.90 71.82 -- 633.70/158.98 c N dy 4838 799265 4845 20853 0 67237 63458 3427320 67.93 71.80 -- 640.47/160.66 c S st 4877 806186 4845 20853 0 74158 63458 4159096 67.92 66.71 -- 641.27/160.83 c S st 4877 806691 4845 20853 0 74663 63458 4201071 67.92 no data -- 641.27/160.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 641.27/160.84 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 641.27/160.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.22 642.07/161.07 c bin-w-bin subsume rem 0 bins time: 0.01 s 642.07/161.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 642.07/161.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 642.07/161.07 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s 895.72/224.68 c lits-rem: 0 cl-subs: 10 v-elim: 0 v-fix: 0 time: 253.08 s 895.72/224.68 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.00 896.12/224.73 c vivif2 -- cl tried 74653 cl shrink 0 lits rem 0 time: 0.20 896.52/224.86 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.51 896.52/224.86 c calculated reachability. Time: 0.00 896.52/224.86 c N dy 4877 806691 4845 20853 0 74653 63458 4199077 67.92 no data -- 912.46/228.81 c N dy 4998 826949 4845 20853 0 55915 63458 2128936 67.95 72.09 -- 930.41/233.38 c N dy 5121 847137 4845 20853 0 76100 63458 4283722 67.98 73.25 -- 946.41/237.32 c N dy 5229 867181 4845 20853 0 56148 63458 2036961 67.97 71.97 -- 964.31/241.88 c N dy 5353 887271 4845 20853 0 76234 63458 4184977 67.99 72.88 -- 981.51/246.18 c N dy 5480 907360 4845 20853 0 55321 63458 1870299 67.99 72.65 -- 1000.60/250.91 c N dy 5596 927433 4845 20853 0 75393 63458 4004999 68.00 71.68 -- 1018.55/255.45 c N dy 5719 947480 4845 20853 0 53442 63458 1562008 68.01 73.94 -- 1037.30/260.13 c N dy 5857 967575 4845 20853 0 73533 63458 3724988 68.06 72.40 -- 1056.84/265.03 c N dy 5982 987666 4845 20853 0 50631 63458 1163713 68.07 71.66 -- 1074.39/269.44 c N dy 6099 1007729 4845 20853 0 70691 63458 3310649 68.08 72.32 -- 1094.73/274.58 c N dy 6206 1027813 4845 20853 0 46778 63458 651216 68.06 92.44 -- 1111.88/278.86 c N dy 6334 1047909 4845 20853 0 66873 63458 2754507 68.07 73.33 -- 1133.81/284.31 c N dy 6473 1068060 4845 20853 0 87021 63458 4909123 68.11 73.82 -- 1138.21/285.41 c F st 6501 1071875 4845 20853 0 45841 63458 456595 68.12 61.64 -- 1151.36/288.75 c N dy 6580 1088123 4845 20853 0 62087 63458 2311088 68.14 72.39 -- 1171.70/293.85 c N dy 6696 1108302 4845 20853 0 82262 63458 4481595 68.15 72.03 -- 1192.09/298.96 c N dy 6834 1128728 4845 20853 0 56692 63458 1517489 68.17 71.77 -- 1211.19/303.75 c N dy 6964 1148900 4845 20853 0 76861 63458 3652906 68.18 72.38 -- 1233.13/309.28 c N dy 7075 1169049 4845 20853 0 50016 63458 703966 68.19 74.13 -- 1250.67/313.62 c N dy 7192 1189064 4845 20853 0 70029 63458 2838044 68.19 72.85 -- 1272.20/319.09 c N dy 7318 1209244 4845 20853 0 90205 63458 4986246 68.21 73.85 -- 1273.40/319.33 c S st 7324 1210036 4845 20853 0 90997 63458 5067882 68.21 65.75 -- 1274.20/319.53 c S st 7324 1210538 4845 20853 0 91499 63458 5108650 68.21 no data -- 1274.20/319.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 1274.20/319.54 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1274.61/319.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.27 1275.45/319.82 c bin-w-bin subsume rem 0 bins time: 0.00 s 1275.45/319.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1275.45/319.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.01 s 1275.45/319.82 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 1681.40/421.66 c lits-rem: 15 cl-subs: 10 v-elim: 0 v-fix: 0 time: 405.27 s 1681.40/421.66 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.01 1681.80/421.72 c vivif2 -- cl tried 91489 cl shrink 0 lits rem 0 time: 0.24 1682.20/421.88 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.64 1682.20/421.88 c calculated reachability. Time: 0.00 1682.20/421.89 c N dy 7324 1210538 4845 20853 0 91489 63458 5106976 68.21 no data -- 1700.99/426.56 c N dy 7453 1230685 4845 20853 0 63639 63458 2076477 68.23 72.78 -- 1721.68/431.70 c N dy 7578 1251128 4845 20853 0 84079 63458 4270981 68.24 72.43 -- 1742.42/436.97 c N dy 7704 1271539 4845 20853 0 55494 63458 1089939 68.26 73.52 -- 1761.17/441.68 c N dy 7824 1291636 4845 20853 0 75588 63458 3216420 68.27 72.82 -- 1784.35/447.47 c N dy 7956 1311722 4845 20853 0 95670 63458 5372794 68.29 71.94 -- 1803.44/452.29 c N dy 8082 1331853 4845 20853 0 65806 63458 2086591 68.29 73.69 -- 1824.18/457.49 c N dy 8192 1351989 4845 20853 0 85942 63458 4235154 68.29 72.44 -- 1848.11/463.43 c N dy 8321 1372083 4845 20853 0 55035 63458 834266 68.31 79.02 -- 1866.46/468.09 c N dy 8443 1392163 4845 20853 0 75113 63458 2997063 68.32 79.09 -- 1889.63/473.88 c N dy 8559 1412407 4845 20853 0 95356 63458 5154209 68.31 73.10 -- 1911.14/479.26 c N dy 8680 1432467 4845 20853 0 63423 63458 1640425 68.31 75.97 -- 1932.27/484.51 c N dy 8805 1452528 4845 20853 0 83483 63458 3783795 68.32 71.98 -- 1956.99/490.73 c N dy 8929 1472583 4845 20853 0 103532 63458 5910933 68.32 71.94 -- 1976.14/495.55 c N dy 9046 1492771 4845 20853 0 70721 63458 2305507 68.32 72.05 -- 1997.67/500.99 c N dy 9173 1512897 4845 20853 0 90846 63458 4443322 68.33 72.88 -- 2022.80/507.28 c N dy 9305 1533011 4845 20853 0 56969 63458 735955 68.35 72.52 -- 2042.35/512.11 c N dy 9434 1553117 4845 20853 0 77072 63458 2888409 68.36 72.12 -- 2065.47/517.95 c N dy 9560 1573158 4845 20853 0 97109 63458 5029389 68.37 72.45 -- 2089.00/523.83 c N dy 9675 1593371 4845 20853 0 62326 63458 1209948 68.36 74.23 -- 2109.33/528.95 c N dy 9808 1613443 4845 20853 0 82394 63458 3374242 68.38 81.18 -- 2133.68/535.06 c N dy 9925 1633444 4845 20853 0 102393 63458 5513399 68.38 81.40 -- 2156.40/540.77 c N dy 10049 1653592 4845 20853 0 66547 63458 1541151 68.39 73.61 -- 2177.55/546.06 c N dy 10179 1673677 4845 20853 0 86631 63458 3700422 68.40 72.12 -- 2202.67/552.36 c N dy 10306 1693695 4845 20853 0 106648 63458 5851431 68.41 76.36 -- 2221.81/557.11 c S st 10408 1710538 4845 20853 0 66496 63458 1452708 68.41 no data -- 2222.21/557.26 c S st 10408 1711042 4845 20853 0 67000 63458 1501550 68.41 no data -- 2222.21/557.26 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2222.21/557.26 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2222.63/557.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.17 2222.63/557.37 c bin-w-bin subsume rem 0 bins time: 0.01 s 2222.63/557.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2222.63/557.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.01 s 2222.63/557.38 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2237.76/561.14 c lits-rem: 63 cl-subs: 5 v-elim: 0 v-fix: 0 time: 14.99 s 2237.76/561.15 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.01 2237.76/561.17 c vivif2 -- cl tried 66995 cl shrink 0 lits rem 0 time: 0.08 2238.16/561.28 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.45 2238.16/561.28 c calculated reachability. Time: 0.00 2238.16/561.28 c N dy 10408 1711042 4845 20853 0 66995 63458 1500470 68.41 no data -- 2259.30/566.51 c N dy 10526 1731109 4845 20853 0 87061 63458 3630053 68.42 73.68 -- 2284.82/572.92 c N dy 10662 1751231 4845 20853 0 107180 63458 5775033 68.44 74.15 -- 2307.56/578.64 c N dy 10791 1771248 4845 20853 0 69199 63458 1643406 68.44 80.60 -- 2329.49/584.19 c N dy 10923 1791289 4845 20853 0 89239 63458 3787349 68.46 72.37 -- 2356.62/590.96 c N dy 11056 1811346 4845 20853 0 109296 63458 5925554 68.47 73.21 -- 2380.99/597.09 c N dy 11199 1831516 4845 20853 0 70463 63458 1702625 68.50 72.14 -- 2403.27/602.65 c N dy 11330 1851770 4845 20853 0 90716 63458 3862893 68.51 74.60 -- 2428.83/609.06 c N dy 11454 1871844 4845 20853 0 110787 63458 6014736 68.52 73.55 -- 2452.33/614.92 c N dy 11587 1891891 4845 20853 0 70838 63458 1602200 68.53 72.47 -- 2473.12/620.14 c N dy 11719 1911892 4845 20853 0 90838 63458 3753424 68.54 72.18 -- 2497.80/626.30 c N dy 11845 1931959 4845 20853 0 110905 63458 5910703 68.55 75.59 -- 2521.38/632.21 c N dy 11973 1952013 4845 20853 0 69961 63458 1429771 68.55 72.57 -- 2542.07/637.44 c N dy 12114 1972066 4845 20853 0 90011 63458 3610005 68.57 74.95 -- 2567.19/643.75 c N dy 12241 1992122 4845 20853 0 110064 63458 5760973 68.58 72.52 -- 2591.91/649.94 c N dy 12363 2012167 4845 20853 0 68114 63458 1132038 68.58 72.74 -- 2611.86/654.93 c N dy 12481 2032242 4845 20853 0 88186 63458 3301879 68.59 72.38 -- 2636.19/661.04 c N dy 12607 2052467 4845 20853 0 108409 63458 5470450 68.60 72.34 -- 2663.31/667.80 c N dy 12732 2072634 4845 20853 0 65581 63458 759841 68.61 73.77 -- 2682.85/672.72 c N dy 12856 2092710 4845 20853 0 85654 63458 2908898 68.61 72.58 -- 2706.38/678.68 c N dy 12980 2112856 4845 20853 0 105799 63458 5061877 68.62 73.78 -- 2734.31/685.68 c N dy 13104 2132962 4845 20853 0 125903 63458 7230133 68.63 73.18 -- 2755.03/690.84 c N dy 13230 2153030 4845 20853 0 81977 63458 2421892 68.64 72.33 -- 2777.77/696.56 c N dy 13349 2173327 4845 20853 0 102269 63458 4589977 68.65 72.38 -- 2804.49/703.27 c N dy 13458 2193556 4845 20853 0 122496 63458 6754792 68.64 72.54 -- 2825.23/708.43 c S st 13567 2211042 4845 20853 0 74992 63458 1580140 68.65 66.31 -- 2825.63/708.58 c S st 13567 2211544 4845 20853 0 75494 63458 1619903 68.65 no data -- 2825.63/708.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2825.63/708.59 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2826.03/708.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.20 2826.43/708.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 2826.43/708.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2826.43/708.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.01 s 2826.43/708.71 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 2845.18/713.46 c lits-rem: 27 cl-subs: 3 v-elim: 0 v-fix: 0 time: 18.93 s 2845.18/713.46 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.01 2845.18/713.48 c vivif2 -- cl tried 75491 cl shrink 0 lits rem 0 time: 0.09 2845.59/713.60 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.47 2845.59/713.61 c calculated reachability. Time: 0.00 2845.59/713.61 c N dy 13567 2211544 4845 20853 0 75491 63458 1619334 68.65 no data -- 2867.53/719.01 c N dy 13697 2231670 4845 20853 0 95615 63458 3790578 68.66 72.70 -- 2893.03/725.44 c N dy 13831 2251822 4845 20853 0 115765 63458 5944075 68.67 72.46 -- 2920.18/732.25 c N dy 13956 2271879 4845 20853 0 69828 63458 914499 68.68 72.56 -- 2940.49/737.38 c N dy 14085 2291994 4845 20853 0 89939 63458 3073247 68.69 72.67 -- 2965.21/743.52 c N dy 14218 2312076 4845 20853 0 110021 63458 5212464 68.70 74.25 -- 2993.94/750.79 c N dy 14348 2332335 4845 20853 0 130280 63458 7391493 68.71 74.40 -- 3017.11/756.59 c N dy 14484 2352389 4845 20853 0 83340 63458 2258349 68.72 73.96 -- 3041.39/762.63 c N dy 14607 2372429 4845 20853 0 103378 63458 4410199 68.72 72.73 -- 3069.33/769.64 c N dy 14724 2392430 4845 20853 0 123376 63458 6574446 68.73 73.87 -- 3097.23/776.68 c N dy 14857 2412452 4845 20853 0 75399 63458 1307626 68.74 73.44 -- 3120.36/782.49 c N dy 14977 2432459 4845 20853 0 95404 63458 3447589 68.74 72.96 -- 3149.07/789.62 c N dy 15120 2452558 4845 20853 0 115503 63458 5628883 68.76 77.69 -- 3181.77/797.89 c N dy 15261 2472589 4845 20853 0 135530 63458 7802252 68.78 81.28 -- 3205.33/803.77 c N dy 15378 2492666 4845 20853 0 86614 63458 2402338 68.78 88.15 -- 3231.65/810.38 c N dy 15498 2512754 4845 20853 0 106700 63458 4559722 68.78 72.79 -- 3263.14/818.22 c N dy 15622 2532863 4845 20853 0 126808 63458 6720200 68.79 73.71 -- 3294.24/826.02 c N dy 15753 2552899 4845 20853 0 76852 63458 1259730 68.80 75.50 -- 3318.18/832.07 c N dy 15870 2572969 4845 20853 0 96922 63458 3422689 68.81 74.36 -- 3347.29/839.37 c N dy 16001 2593029 4845 20853 0 116980 63458 5574096 68.82 75.19 -- 3380.40/847.68 c N dy 16131 2613054 4845 20853 0 136999 63458 7731340 68.83 72.94 -- 3404.32/853.68 c N dy 16240 2633140 4845 20853 0 86086 63458 2161766 68.83 73.00 -- 3428.26/859.66 c N dy 16361 2653559 4845 20853 0 106503 63458 4337588 68.83 73.46 -- 3456.16/866.68 c N dy 16493 2673585 4845 20853 0 126525 63458 6494110 68.85 73.52 -- 3486.53/874.24 c N dy 16619 2693618 4845 20853 0 74561 63458 810055 68.85 72.68 -- 3505.22/878.97 c S st 16732 2711546 4845 20853 0 92487 63458 2716378 68.86 no data -- 3506.02/879.16 c S st 16732 2712052 4845 20853 0 92993 63458 2760085 68.86 no data -- 3506.02/879.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 3506.02/879.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3506.42/879.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.26 3506.82/879.34 c bin-w-bin subsume rem 0 bins time: 0.01 s 3506.82/879.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3506.82/879.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.00 s 3506.82/879.35 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.00 s 3554.68/891.39 c lits-rem: 34 cl-subs: 9 v-elim: 0 v-fix: 0 time: 47.99 s 3554.68/891.39 c vivif2 -- cl tried 20853 cl shrink 0 lits rem 0 time: 0.00 3555.08/891.43 c vivif2 -- cl tried 92984 cl shrink 0 lits rem 0 time: 0.14 3555.48/891.59 c asymm cl-useful: 0/20853/20853 lits-rem:0 time: 0.63 3555.48/891.59 c calculated reachability. Time: 0.00 3555.48/891.59 c N dy 16732 2712052 4845 20853 0 92984 63458 2758903 68.86 no data -- 3579.80/897.68 c N dy 16853 2732110 4845 20853 0 113041 63458 4941923 68.87 72.88 -- 3608.94/904.98 c N dy 16979 2752376 4845 20853 0 133306 63458 7127392 68.88 73.25 -- 3637.24/912.08 c N dy 17110 2772458 4845 20853 0 80392 63458 1337015 68.88 74.31 -- 3660.36/917.83 c N dy 17242 2792737 4845 20853 0 100669 63458 3522623 68.90 72.78 -- 3687.09/924.57 c N dy 17368 2812853 4845 20853 0 120784 63458 5675379 68.90 73.85 -- 3717.40/932.19 c N dy 17490 2832937 4845 20853 0 140864 63458 7837098 68.91 76.60 -- 3742.92/938.59 c N dy 17608 2852990 4845 20853 0 86924 63458 1934495 68.91 77.39 -- 3766.87/944.54 c N dy 17738 2873048 4845 20853 0 106981 63458 4093787 68.92 77.33 -- 3794.36/951.49 c N dy 17865 2893061 4845 20853 0 126991 63458 6248888 68.92 72.81 -- 3826.28/959.49 c N dy 17998 2913103 4845 20853 0 147028 63458 8414295 68.93 74.81 -- 3849.81/965.31 c N dy 18119 2933255 4845 20853 0 92195 63458 2396914 68.94 72.60 -- 3874.52/971.58 c N dy 18246 2953478 4845 20853 0 112418 63458 4601465 68.95 74.17 -- 3904.04/978.92 c N dy 18378 2973657 4845 20853 0 132597 63458 6791152 68.96 72.61 -- 3937.15/987.23 c N dy 18496 2993673 4845 20853 0 76612 63458 620138 68.96 72.64 -- 3958.69/992.60 c N dy 18612 3013738 4845 20853 0 96674 63458 2770850 68.96 90.61 -- 3984.21/999.03 c N dy 18734 3033765 4845 20853 0 116700 63458 4945815 68.97 72.73 -- 4012.97/1006.26 c N dy 18843 3053805 4845 20853 0 136740 63458 7073775 68.96 74.92 -- 4045.63/1014.46 c N dy 18962 3073856 4845 20853 0 79793 63458 861790 68.97 72.62 -- 4068.77/1020.22 c N dy 19078 3093919 4845 20853 0 99855 63458 3056435 68.97 74.79 -- 4097.87/1027.50 c N dy 19207 3113955 4845 20853 0 119889 63458 5206871 68.98 76.36 -- 4132.97/1036.32 c N dy 19327 3134269 4845 20853 0 140199 63458 7373444 68.98 74.07 -- 4169.26/1045.45 c N dy 19439 3154349 4845 20853 0 82283 63458 1030149 68.98 89.55 -- 4195.59/1052.03 c N dy 19572 3174374 4845 20853 0 102307 63458 3188431 68.99 73.79 -- 4226.29/1059.77 c N dy 19700 3194437 4845 20853 0 122364 63458 5343753 68.99 93.25 -- 4257.80/1067.61 c S st 19822 3212052 4845 20853 0 139975 63458 7244549 69.00 71.83 -- 4259.00/1067.93 c S st 19822 3212561 4845 20853 0 140484 63458 7291973 69.00 no data -- 4259.00/1067.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.08 4259.00/1067.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4259.40/1068.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.44 4260.99/1068.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 4260.99/1068.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 4260.99/1068.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4845 time: 0.01 s 4260.99/1068.41 c Removed useless bin: 0 fixed: 0 props: 0.05M time: 0.01 s
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 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-3368570-1305397496/watcher-3368570-1305397496 -o /tmp/evaluation-result-3368570-1305397496/solver-3368570-1305397496 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368570-1305397496.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: 7.46 7.94 8.05 5/367 7101 /proc/meminfo: memFree=30381788/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 632165847 52465664 353 33554432000 4194304 4650419 140736639307376 18446744073709551615 46923222128562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 12809 353 303 112 0 7774 0 [pid=7101/tid=7102] ppid=7098 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 632165847 52465664 353 33554432000 4194304 4650419 140736639307376 18446744073709551615 46923222128562 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632165847 52465664 353 33554432000 4194304 4650419 140736639307376 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 632165847 52465664 353 33554432000 4194304 4650419 140736639307376 18446744073709551615 46923222128562 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.865063 s] /proc/loadavg: 7.46 7.94 8.05 5/367 7101 /proc/meminfo: memFree=30381788/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=292160 CPUtime=3.42 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 12676 0 0 0 340 2 0 0 19 0 4 0 632165847 299171840 8362 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 73040 8362 392 112 0 68005 0 [pid=7101/tid=7102] ppid=7098 vsize=292160 CPUtime=0.85 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3374 0 0 0 85 0 0 0 18 0 4 0 632165847 299171840 8362 33554432000 4194304 4650419 140736639307376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=292160 CPUtime=0.84 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3170 0 0 0 84 0 0 0 19 0 4 0 632165847 299171840 8362 33554432000 4194304 4650419 140736639307376 18446744073709551615 4330680 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=292160 CPUtime=0.85 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 2363 0 0 0 85 0 0 0 19 0 4 0 632165847 299171840 8362 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.42 Current children cumulated vsize (KiB) 292160 [startup+0.901058 s] /proc/loadavg: 7.46 7.94 8.05 5/367 7101 /proc/meminfo: memFree=30381788/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=292160 CPUtime=3.56 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 12831 0 0 0 354 2 0 0 19 0 4 0 632165847 299171840 8517 33554432000 4194304 4650419 140736639307376 18446744073709551615 4328305 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 73040 8517 392 112 0 68005 0 [pid=7101/tid=7102] ppid=7098 vsize=292160 CPUtime=0.88 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3412 0 0 0 88 0 0 0 18 0 4 0 632165847 299171840 8517 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=292160 CPUtime=0.87 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3208 0 0 0 87 0 0 0 19 0 4 0 632165847 299171840 8517 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=292160 CPUtime=0.89 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 2402 0 0 0 89 0 0 0 19 0 4 0 632165847 299171840 8517 33554432000 4194304 4650419 140736639307376 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.56 Current children cumulated vsize (KiB) 292160 [startup+1.00104 s] /proc/loadavg: 7.46 7.94 8.05 5/367 7101 /proc/meminfo: memFree=30381788/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=292160 CPUtime=3.96 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 13282 0 0 0 394 2 0 0 19 0 4 0 632165847 299171840 8968 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 73040 8968 392 112 0 68005 0 [pid=7101/tid=7102] ppid=7098 vsize=292160 CPUtime=0.98 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3531 0 0 0 98 0 0 0 19 0 4 0 632165847 299171840 8968 33554432000 4194304 4650419 140736639307376 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=292160 CPUtime=0.97 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3318 0 0 0 97 0 0 0 19 0 4 0 632165847 299171840 8968 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=292160 CPUtime=0.99 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 2518 0 0 0 99 0 0 0 19 0 4 0 632165847 299171840 8968 33554432000 4194304 4650419 140736639307376 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 292160 [startup+1.10102 s] /proc/loadavg: 7.46 7.94 8.05 5/367 7101 /proc/meminfo: memFree=30381788/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=292780 CPUtime=4.36 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 14075 0 0 0 434 2 0 0 19 0 4 0 632165847 299806720 8916 33554432000 4194304 4650419 140736639307376 18446744073709551615 4333687 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 73195 8916 392 112 0 68160 0 [pid=7101/tid=7102] ppid=7098 vsize=292780 CPUtime=1.08 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3639 0 0 0 108 0 0 0 19 0 4 0 632165847 299806720 8916 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=292780 CPUtime=1.07 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3439 0 0 0 107 0 0 0 19 0 4 0 632165847 299806720 8917 33554432000 4194304 4650419 140736639307376 18446744073709551615 4328295 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=292780 CPUtime=1.09 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 2967 0 0 0 109 0 0 0 19 0 4 0 632165847 299806720 8917 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.36 Current children cumulated vsize (KiB) 292780 [startup+1.50095 s] /proc/loadavg: 7.46 7.94 8.05 5/367 7101 /proc/meminfo: memFree=30381788/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=293260 CPUtime=5.97 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 16848 0 0 0 594 3 0 0 20 0 4 0 632165847 300298240 9026 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 73315 9026 392 112 0 68280 0 [pid=7101/tid=7102] ppid=7098 vsize=293260 CPUtime=1.48 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 4428 0 0 0 148 0 0 0 20 0 4 0 632165847 300298240 9026 33554432000 4194304 4650419 140736639307376 18446744073709551615 4316029 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=293260 CPUtime=1.48 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 4218 0 0 0 147 1 0 0 20 0 4 0 632165847 300298240 9026 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=293260 CPUtime=1.49 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 3389 0 0 0 149 0 0 0 20 0 4 0 632165847 300298240 9026 33554432000 4194304 4650419 140736639307376 18446744073709551615 4311121 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 293260 [startup+3.10067 s] /proc/loadavg: 7.66 7.97 8.06 9/371 7105 /proc/meminfo: memFree=30296464/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=294224 CPUtime=12.34 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 26390 0 0 0 1230 4 0 0 25 0 4 0 632165847 301285376 9998 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363280 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 73556 9999 393 112 0 68521 0 [pid=7101/tid=7102] ppid=7098 vsize=294224 CPUtime=3.09 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 6870 0 0 0 308 1 0 0 25 0 4 0 632165847 301285376 9999 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=294224 CPUtime=3.05 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 6622 0 0 0 304 1 0 0 25 0 4 0 632165847 301285376 9999 33554432000 4194304 4650419 140736639307376 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=294224 CPUtime=3.08 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 5643 0 0 0 308 0 0 0 25 0 4 0 632165847 301285376 9999 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 294224 [startup+6.3141 s] /proc/loadavg: 7.77 7.99 8.06 10/371 7105 /proc/meminfo: memFree=30184928/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=313572 CPUtime=25.15 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 50397 0 0 0 2507 8 0 0 25 0 4 0 632165847 321097728 27421 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363460 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 78393 27421 394 112 0 73358 0 [pid=7101/tid=7102] ppid=7098 vsize=313572 CPUtime=6.3 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 11246 0 0 0 628 2 0 0 25 0 4 0 632165847 321097728 27422 33554432000 4194304 4650419 140736639307376 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=313572 CPUtime=6.22 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 14420 0 0 0 620 2 0 0 25 0 4 0 632165847 321097728 27422 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=313572 CPUtime=6.29 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 13239 0 0 0 628 1 0 0 25 0 4 0 632165847 321097728 27422 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366684 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 313572 [startup+12.701 s] /proc/loadavg: 7.95 8.02 8.07 10/372 7106 /proc/meminfo: memFree=30132056/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=294652 CPUtime=50.63 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 83804 0 0 0 5047 16 0 0 25 0 4 0 632165847 301723648 39369 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 73663 39369 394 112 0 68628 0 [pid=7101/tid=7102] ppid=7098 vsize=294652 CPUtime=12.68 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 21413 0 0 0 1264 4 0 0 25 0 4 0 632165847 301723648 39369 33554432000 4194304 4650419 140736639307376 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=294652 CPUtime=12.54 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 25078 0 0 0 1250 4 0 0 25 0 4 0 632165847 301723648 39369 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=294652 CPUtime=12.68 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 20090 0 0 0 1265 3 0 0 25 0 4 0 632165847 301723648 39369 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 294652 [startup+25.5007 s] /proc/loadavg: 8.11 8.05 8.08 10/372 7106 /proc/meminfo: memFree=29995728/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=385508 CPUtime=101.67 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 136571 0 0 0 10139 28 0 0 25 0 4 0 632165847 394760192 53593 33554432000 4194304 4650419 140736639307376 18446744073709551615 4364402 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 96377 53593 394 112 0 91342 0 [pid=7101/tid=7102] ppid=7098 vsize=385508 CPUtime=25.49 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 35489 0 0 0 2542 7 0 0 25 0 4 0 632165847 394760192 53593 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=385508 CPUtime=25.19 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 36222 0 0 0 2512 7 0 0 25 0 4 0 632165847 394760192 53593 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=385508 CPUtime=25.48 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 33615 0 0 0 2542 6 0 0 25 0 4 0 632165847 394760192 53593 33554432000 4194304 4650419 140736639307376 18446744073709551615 4364471 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.67 Current children cumulated vsize (KiB) 385508 [startup+51.1011 s] /proc/loadavg: 8.56 8.16 8.12 10/372 7107 /proc/meminfo: memFree=29892268/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=386368 CPUtime=203.78 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 211186 0 0 0 20328 50 0 0 25 0 4 0 632165847 395640832 59480 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 96592 59480 394 112 0 91557 0 [pid=7101/tid=7102] ppid=7098 vsize=386368 CPUtime=51.09 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 57169 0 0 0 5096 13 0 0 25 0 4 0 632165847 395640832 59480 33554432000 4194304 4650419 140736639307376 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=386368 CPUtime=50.78 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 59353 0 0 0 5063 15 0 0 25 0 4 0 632165847 395640832 59480 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=386368 CPUtime=50.8 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 51512 0 0 0 5069 11 0 0 25 0 4 0 632165847 395640832 59480 33554432000 4194304 4650419 140736639307376 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.78 Current children cumulated vsize (KiB) 386368 [startup+102.301 s] /proc/loadavg: 8.94 8.33 8.17 10/372 7108 /proc/meminfo: memFree=29749376/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=538040 CPUtime=407.96 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 342719 0 0 0 40707 89 0 0 25 0 4 0 632165847 550952960 75046 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 134510 75046 394 112 0 129475 0 [pid=7101/tid=7102] ppid=7098 vsize=538040 CPUtime=102.28 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 91656 0 0 0 10205 23 0 0 25 0 4 0 632165847 550952960 75046 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=538040 CPUtime=101.98 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 95911 0 0 0 10172 26 0 0 25 0 4 0 632165847 550952960 75047 33554432000 4194304 4650419 140736639307376 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=538040 CPUtime=101.39 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 86183 0 0 0 10117 22 0 0 25 0 4 0 632165847 550952960 75047 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 407.96 Current children cumulated vsize (KiB) 538040 [startup+162.3 s] ################ # More data... # ################ [pid=7101] ppid=7098 vsize=884692 CPUtime=2561.6 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 1877362 0 0 0 255658 502 0 0 25 0 4 0 632165847 905924608 159318 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 221173 159318 394 112 0 216138 0 [pid=7101/tid=7102] ppid=7098 vsize=884692 CPUtime=642.29 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 377538 0 0 0 64109 120 0 0 25 0 4 0 632165847 905924608 159318 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=884692 CPUtime=641.99 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 627066 0 0 0 64044 155 0 0 25 0 4 0 632165847 905924608 159318 33554432000 4194304 4650419 140736639307376 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=884692 CPUtime=635.01 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 260046 0 0 0 63408 93 0 0 25 0 4 0 632165847 905924608 159318 33554432000 4194304 4650419 140736639307376 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2561.6 Current children cumulated vsize (KiB) 884692 [startup+702.301 s] /proc/loadavg: 8.14 8.14 8.13 9/371 7124 /proc/meminfo: memFree=29225668/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=994496 CPUtime=2800.91 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 1959965 0 0 0 279555 536 0 0 25 0 4 0 632165847 1018363904 163112 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 248624 163112 394 112 0 243589 0 [pid=7101/tid=7102] ppid=7098 vsize=994496 CPUtime=702.29 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 397727 0 0 0 70100 129 0 0 25 0 4 0 632165847 1018363904 163112 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=994496 CPUtime=701.99 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 648538 0 0 0 70036 163 0 0 25 0 4 0 632165847 1018363904 163112 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=994496 CPUtime=694.31 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 282219 0 0 0 69329 102 0 0 25 0 4 0 632165847 1018363904 163112 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2800.91 Current children cumulated vsize (KiB) 994496 [startup+762.301 s] /proc/loadavg: 8.10 8.13 8.12 9/371 7126 /proc/meminfo: memFree=29204028/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=996252 CPUtime=3040.19 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 2032448 0 0 0 303453 566 0 0 25 0 4 0 632165847 1020162048 165637 33554432000 4194304 4650419 140736639307376 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 249063 165637 394 112 0 244028 0 [pid=7101/tid=7102] ppid=7098 vsize=996252 CPUtime=762.3 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 415893 0 0 0 76093 137 0 0 25 0 4 0 632165847 1020162048 165637 33554432000 4194304 4650419 140736639307376 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=996252 CPUtime=761.99 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 663641 0 0 0 76030 169 0 0 25 0 4 0 632165847 1020162048 165637 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=996252 CPUtime=753.59 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 305066 0 0 0 75248 111 0 0 25 0 4 0 632165847 1020162048 165637 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3040.19 Current children cumulated vsize (KiB) 996252 [startup+822.3 s] /proc/loadavg: 8.07 8.12 8.12 9/371 7128 /proc/meminfo: memFree=29193796/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=997148 CPUtime=3279.49 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 2172713 0 0 0 327349 600 0 0 25 0 4 0 632165847 1021079552 166206 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 249287 166206 394 112 0 244252 0 [pid=7101/tid=7102] ppid=7098 vsize=997148 CPUtime=822.3 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 527112 0 0 0 82076 154 0 0 25 0 4 0 632165847 1021079552 166206 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=997148 CPUtime=821.99 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 663641 0 0 0 82030 169 0 0 25 0 4 0 632165847 1021079552 166206 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=997148 CPUtime=812.9 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 319858 0 0 0 81170 120 0 0 25 0 4 0 632165847 1021079552 166206 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3279.49 Current children cumulated vsize (KiB) 997148 [startup+882.301 s] /proc/loadavg: 8.10 8.11 8.11 10/371 7129 /proc/meminfo: memFree=29202408/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=949620 CPUtime=3518.79 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 2322107 0 0 0 351242 637 0 0 25 0 4 0 632165847 972410880 163700 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 237405 163700 394 112 0 232370 0 [pid=7101/tid=7102] ppid=7098 vsize=949620 CPUtime=882.3 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 640489 0 0 0 88060 170 0 0 25 0 4 0 632165847 972410880 163700 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=949620 CPUtime=882 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 675193 0 0 0 88025 175 0 0 25 0 4 0 632165847 972410880 163700 33554432000 4194304 4650419 140736639307376 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=949620 CPUtime=872.18 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 329460 0 0 0 87093 125 0 0 25 0 4 0 632165847 972410880 163700 33554432000 4194304 4650419 140736639307376 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3518.79 Current children cumulated vsize (KiB) 949620 [startup+942.301 s] /proc/loadavg: 8.04 8.09 8.10 9/371 7131 /proc/meminfo: memFree=29178300/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=962544 CPUtime=3758.1 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 2394019 0 0 0 375141 669 0 0 25 0 4 0 632165847 985645056 167538 33554432000 4194304 4650419 140736639307376 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 240636 167538 394 112 0 235601 0 [pid=7101/tid=7102] ppid=7098 vsize=962544 CPUtime=942.31 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 657845 0 0 0 94054 177 0 0 25 0 4 0 632165847 985645056 167544 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=962544 CPUtime=942 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 693385 0 0 0 94017 183 0 0 25 0 4 0 632165847 985645056 167544 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=962544 CPUtime=931.48 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 350552 0 0 0 93014 134 0 0 25 0 4 0 632165847 985645056 167544 33554432000 4194304 4650419 140736639307376 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3758.1 Current children cumulated vsize (KiB) 962544 [startup+1002.3 s] /proc/loadavg: 8.12 8.10 8.10 9/371 7132 /proc/meminfo: memFree=29217804/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=902016 CPUtime=3997.36 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 2465724 0 0 0 399034 702 0 0 25 0 4 0 632165847 923664384 159534 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 225504 159534 394 112 0 220469 0 [pid=7101/tid=7102] ppid=7098 vsize=902016 CPUtime=1002.29 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 673903 0 0 0 100046 183 0 0 25 0 4 0 632165847 923664384 159534 33554432000 4194304 4650419 140736639307376 18446744073709551615 4328264 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=902016 CPUtime=1002 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 710539 0 0 0 100009 191 0 0 25 0 4 0 632165847 923664384 159534 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=902016 CPUtime=990.76 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 371172 0 0 0 98932 144 0 0 25 0 4 0 632165847 923664384 159534 33554432000 4194304 4650419 140736639307376 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3997.36 Current children cumulated vsize (KiB) 902016 [startup+1062.31 s] /proc/loadavg: 8.11 8.09 8.09 9/371 7134 /proc/meminfo: memFree=28977312/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=1115736 CPUtime=4236.71 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 2688217 0 0 0 422923 748 0 0 25 0 4 0 632165847 1142513664 204702 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 278934 204702 394 112 0 273899 0 [pid=7101/tid=7102] ppid=7098 vsize=1115736 CPUtime=1062.32 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 741592 0 0 0 106035 197 0 0 25 0 4 0 632165847 1142513664 204702 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=1115736 CPUtime=1062.01 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 833693 0 0 0 105992 209 0 0 25 0 4 0 632165847 1142513664 204702 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476185 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=1115736 CPUtime=1050.06 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 387210 0 0 0 104859 147 0 0 25 0 4 0 632165847 1142513664 204702 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4236.71 Current children cumulated vsize (KiB) 1115736 [startup+1122.3 s] /proc/loadavg: 8.13 8.10 8.09 9/371 7136 /proc/meminfo: memFree=28939328/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=1131716 CPUtime=4475.96 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 2972646 0 0 0 446799 797 0 0 25 0 4 0 632165847 1158877184 214096 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 282929 214096 394 112 0 277894 0 [pid=7101/tid=7102] ppid=7098 vsize=1131716 CPUtime=1122.3 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 821598 0 0 0 112021 209 0 0 25 0 4 0 632165847 1158877184 214096 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=1131716 CPUtime=1122 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 947685 0 0 0 111969 231 0 0 25 0 4 0 632165847 1158877184 214096 33554432000 4194304 4650419 140736639307376 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=1131716 CPUtime=1109.34 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 387210 0 0 0 110787 147 0 0 25 0 4 0 632165847 1158877184 214096 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4475.96 Current children cumulated vsize (KiB) 1131716 [startup+1182.3 s] /proc/loadavg: 8.10 8.10 8.09 9/371 7137 /proc/meminfo: memFree=28947456/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=1131716 CPUtime=4715.25 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 3172415 0 0 0 470688 837 0 0 25 0 4 0 632165847 1158877184 215504 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 282929 215504 394 112 0 277894 0 [pid=7101/tid=7102] ppid=7098 vsize=1131716 CPUtime=1182.31 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 908248 0 0 0 118008 223 0 0 25 0 4 0 632165847 1158877184 215504 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=1131716 CPUtime=1182 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 961444 0 0 0 117956 244 0 0 25 0 4 0 632165847 1158877184 215504 33554432000 4194304 4650419 140736639307376 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=1131716 CPUtime=1168.63 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 387210 0 0 0 116716 147 0 0 25 0 4 0 632165847 1158877184 215504 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4715.25 Current children cumulated vsize (KiB) 1131716 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.13 8.11 8.09 9/371 7138 /proc/meminfo: memFree=28893120/32951124 swapFree=51873460/67111528 [pid=7101] ppid=7098 vsize=1181796 CPUtime=4800.22 cores=1,3,5,7 /proc/7101/stat : 7101 (strangenight1-m) R 7098 7101 5961 0 -1 4202496 3248149 0 0 0 479169 853 0 0 25 0 4 0 632165847 1210159104 219884 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/7101/statm: 295449 219884 394 112 0 290414 0 [pid=7101/tid=7102] ppid=7098 vsize=1181796 CPUtime=1203.62 cores=1,3,5,7 /proc/7101/task/7102/stat : 7102 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 941317 0 0 0 120133 229 0 0 25 0 4 0 632165847 1210159104 219887 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7101/tid=7103] ppid=7098 vsize=1181796 CPUtime=1203.31 cores=1,3,5,7 /proc/7101/task/7103/stat : 7103 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 965767 0 0 0 120084 247 0 0 25 0 4 0 632165847 1210159104 219887 33554432000 4194304 4650419 140736639307376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=7101/tid=7104] ppid=7098 vsize=1181796 CPUtime=1189.68 cores=1,3,5,7 /proc/7101/task/7104/stat : 7104 (strangenight1-m) R 7098 7101 5961 0 -1 4202560 387210 0 0 0 118821 147 0 0 25 0 4 0 632165847 1210159104 219887 33554432000 4194304 4650419 140736639307376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.22 Current children cumulated vsize (KiB) 1181796 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.66 CPU time (s): 4800.31 CPU user time (s): 4791.74 CPU system time (s): 8.5707 CPU usage (%): 398.811 Max. virtual memory (cumulated for all children) (KiB): 1181796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.74 system time used= 8.5707 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3248154 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= 1060 involuntary context switches= 20889 runsolver used 3.63545 second user time and 10.6194 second system time The end
Begin job on node146 at 2011-05-14 20:24:56 IDJOB=3368570 IDBENCH=82579 IDSOLVER=1846 FILE ID=node146/3368570-1305397496 RUNJOBID= node146-1305397496-7079 PBS_JOBID= 13324433 Free space on /tmp= 73264 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368570-1305397496/watcher-3368570-1305397496 -o /tmp/evaluation-result-3368570-1305397496/solver-3368570-1305397496 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368570-1305397496.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99649f8478aeec246b4c83e11dce9c4a RANDOM SEED=154035893 node146.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.830 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.66 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.830 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.830 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.830 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.86 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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.830 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30382076 kB Buffers: 43956 kB Cached: 60448 kB SwapCached: 55996 kB Active: 697956 kB Inactive: 1649588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30382076 kB SwapTotal: 67111528 kB SwapFree: 51873460 kB Dirty: 13328 kB Writeback: 0 kB AnonPages: 2194140 kB Mapped: 17108 kB Slab: 96248 kB PageTables: 58704 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 81796692 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= 73260 MiB End job on node146 at 2011-05-14 20:45:01