| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.32 | 1203.44 |
| Name | random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf |
| MD5SUM | 84ed72ef969365b45feb251988bfac3d |
| Bench Category | RANDOM (random 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 | 700 |
| Number of clauses | 2982 |
| Sum of the clauses size | 8946 |
| 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 | 2982 |
| 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-3368968-1305408269.cnf' 0.00/0.01 c -- header says num vars: 700 0.00/0.01 c -- header says num clauses: 2982 0.00/0.01 c -- clauses added: 0 learnts, 2982 normals, 0 xors 0.00/0.01 c -- vars added 700 0.00/0.01 c Parsing time: 0.00 s 0.00/0.01 c N st 0 0 700 2982 0 0 8946 0 no data no data -- 0.00/0.01 c asymm cl-useful: 0/2982/2982 lits-rem:0 time: 0.01 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 700 time: 0.00 s 0.00/0.02 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.08 c lits-rem: 0 cl-subs: 0 v-elim: 24 v-fix: 0 time: 0.01 s 0.00/0.08 c Finding binary XORs T: 0.00 s found: 0 0.00/0.08 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.08 c calculated reachability. Time: 0.00 0.00/0.08 c Calc default polars - time: 0.00 s pos: 303 undec: 81 neg: 316 0.00/0.08 c ========================================================================================= 0.00/0.08 c types(t): F = full restart, N = normal restart 0.00/0.08 c types(t): S = simplification begin/end, E = solution found 0.00/0.08 c restart types(rt): st = static, dy = dynamic 0.00/0.08 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.08 c B st 0 0 676 2941 0 0 8934 0 no data no data -- 3.02/0.80 c Decided on static restart strategy 3.02/0.80 c N st 8 4914 676 2941 0 4863 8934 143953 no data no data -- 3.02/0.80 c N st 10 11297 676 2941 0 4518 8934 93366 no data no data -- 3.02/0.80 c N st 11 17040 676 2941 0 10172 8934 265303 no data no data -- 4.62/1.20 c F st 12 25002 676 2941 0 12531 8934 338221 no data no data -- 4.62/1.20 c N st 12 25002 676 2941 0 12531 8934 338221 no data no data -- 5.56/1.42 c Decided on static restart strategy 5.56/1.42 c N st 18 30000 676 2941 0 10755 8934 258388 no data no data -- 5.56/1.42 c S st 18 30000 676 2941 0 10755 8934 258388 no data no data -- 5.56/1.44 c S st 18 30506 676 2941 0 11257 8934 272194 no data no data -- 5.56/1.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.56/1.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 5.56/1.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 5.56/1.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.79/1.77 c lits-rem: 90 cl-subs: 316 v-elim: 0 v-fix: 0 time: 1.22 s 6.79/1.78 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.04 6.79/1.78 c calculated reachability. Time: 0.00 6.79/1.78 c N st 18 30506 676 2941 0 10941 8934 259495 no data no data -- 8.75/2.20 c N st 20 37618 676 2941 0 10145 8934 203824 no data no data -- 10.35/2.60 c N st 21 44017 676 2941 0 16443 8934 382119 no data no data -- 10.75/2.72 c S st 22 45759 676 2941 0 9358 8934 161169 no data no data -- 10.75/2.75 c S st 22 46260 676 2941 0 9859 8934 174097 no data no data -- 10.75/2.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.75/2.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.75/2.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 10.75/2.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.75/2.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.75/2.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 10.75/2.76 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 11.18/2.89 c lits-rem: 27 cl-subs: 36 v-elim: 0 v-fix: 0 time: 0.52 s 11.18/2.89 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 11.18/2.89 c vivif2 -- cl tried 9823 cl shrink 0 lits rem 0 time: 0.00 11.18/2.90 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.04 11.18/2.90 c calculated reachability. Time: 0.00 11.18/2.90 c N st 22 46260 676 2941 0 9823 8934 172998 no data no data -- 15.14/3.88 c N st 23 60657 676 2941 0 14225 8934 296626 no data no data -- 17.93/4.56 c N st 24 69392 676 2941 0 12019 8934 214950 no data no data -- 17.93/4.56 c S st 24 69392 676 2941 0 12019 8934 214950 no data no data -- 18.33/4.60 c S st 24 69899 676 2941 0 12526 8934 229149 no data no data -- 18.33/4.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 18.33/4.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 18.33/4.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 18.33/4.61 c bin-w-bin subsume rem 0 bins time: 0.00 s 18.33/4.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 18.33/4.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 18.33/4.61 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 19.13/4.88 c lits-rem: 108 cl-subs: 105 v-elim: 0 v-fix: 0 time: 1.07 s 19.13/4.88 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 19.13/4.88 c vivif2 -- cl tried 12421 cl shrink 0 lits rem 0 time: 0.01 19.13/4.89 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.04 19.13/4.89 c calculated reachability. Time: 0.00 19.13/4.89 c N st 24 69899 676 2941 0 12421 8934 225458 no data no data -- 25.10/6.34 c F st 25 87501 676 2941 0 17913 8934 397949 no data no data -- 25.10/6.34 c N st 25 87501 676 2941 0 17913 8934 397949 no data no data -- 26.71/6.75 c Decided on static restart strategy 27.90/7.02 c N st 32 95541 676 2941 0 13040 8934 208036 no data no data -- 30.69/7.71 c N st 34 104849 676 2941 0 22222 8934 491136 no data no data -- 30.69/7.71 c S st 34 104849 676 2941 0 22222 8934 491136 no data no data -- 30.69/7.78 c S st 34 105352 676 2941 0 22725 8934 504295 no data no data -- 30.69/7.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 30.69/7.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 30.69/7.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 31.09/7.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.09/7.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.09/7.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 31.09/7.80 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 35.88/9.04 c lits-rem: 200 cl-subs: 844 v-elim: 0 v-fix: 0 time: 4.92 s 35.88/9.04 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 35.88/9.04 c vivif2 -- cl tried 21881 cl shrink 0 lits rem 0 time: 0.02 35.88/9.06 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.08 35.88/9.06 c calculated reachability. Time: 0.00 35.88/9.06 c N st 34 105352 676 2941 0 21881 8934 473366 no data no data -- 39.47/9.95 c N st 35 114950 676 2941 0 17531 8934 315225 no data no data -- 44.66/11.25 c N st 36 129347 676 2941 0 16921 8934 282379 no data no data -- 52.64/13.27 c N st 37 150944 676 2941 0 22425 8934 436667 no data no data -- 55.47/13.97 c S st 38 158028 676 2941 0 29386 8934 654460 no data no data -- 55.82/14.04 c S st 38 158536 676 2941 0 29894 8934 668713 no data no data -- 55.82/14.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 55.82/14.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 55.82/14.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 55.82/14.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 55.82/14.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 55.82/14.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 55.82/14.07 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 63.83/16.04 c lits-rem: 238 cl-subs: 989 v-elim: 0 v-fix: 0 time: 7.84 s 63.83/16.04 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 63.83/16.05 c vivif2 -- cl tried 28905 cl shrink 0 lits rem 0 time: 0.02 63.83/16.07 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.10 63.83/16.07 c calculated reachability. Time: 0.00 63.83/16.07 c N st 38 158536 676 2941 0 28905 8934 634082 no data no data -- 85.77/21.60 c N st 39 207124 676 2941 0 23612 8934 422084 no data no data -- 100.90/25.34 c N st 40 237805 676 2941 0 34049 8934 680352 no data no data -- 100.90/25.34 c S st 40 237805 676 2941 0 34049 8934 680352 no data no data -- 101.30/25.43 c S st 40 238306 676 2941 0 34550 8934 694941 no data no data -- 101.30/25.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 101.30/25.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 101.30/25.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.06 101.30/25.47 c bin-w-bin subsume rem 0 bins time: 0.00 s 101.30/25.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 101.30/25.47 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 101.30/25.47 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 110.07/27.67 c lits-rem: 423 cl-subs: 1775 v-elim: 0 v-fix: 0 time: 8.75 s 110.07/27.67 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 110.07/27.68 c vivif2 -- cl tried 32775 cl shrink 0 lits rem 0 time: 0.03 110.47/27.71 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.11 110.47/27.71 c calculated reachability. Time: 0.00 110.47/27.71 c N st 40 238306 676 2941 0 32775 8934 644749 no data no data -- 143.58/36.06 c F st 41 306251 676 2941 0 34783 8934 677800 no data no data -- 143.58/36.06 c N st 41 306251 676 2941 0 34783 8934 677800 no data no data -- 155.15/38.91 c N dy 84 327924 676 2941 0 32526 8934 510444 18.97 20.04 -- 167.12/41.95 c N dy 187 347961 676 2941 0 27642 8934 335113 19.22 20.28 -- 171.50/43.08 c S st 224 357459 676 2941 0 37057 8934 603218 19.17 no data -- 171.90/43.17 c S st 224 357962 676 2941 0 37560 8934 617844 19.17 no data -- 171.90/43.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 171.90/43.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 171.90/43.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.05 172.30/43.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 172.30/43.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 172.30/43.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 172.30/43.20 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 179.88/45.14 c lits-rem: 363 cl-subs: 448 v-elim: 0 v-fix: 0 time: 7.72 s 179.88/45.14 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 179.88/45.15 c vivif2 -- cl tried 37112 cl shrink 0 lits rem 0 time: 0.03 179.88/45.18 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.14 179.88/45.19 c calculated reachability. Time: 0.00 179.88/45.19 c N dy 224 357962 676 2941 0 37112 8934 603663 19.17 no data -- 192.24/48.25 c N dy 322 378267 676 2941 0 31466 8934 409621 19.29 20.31 -- 204.66/51.36 c N dy 400 398339 676 2941 0 51388 8934 976926 19.24 22.45 -- 216.99/54.43 c N dy 484 418354 676 2941 0 44459 8934 742937 19.25 20.40 -- 229.75/57.67 c N dy 570 438418 676 2941 0 36589 8934 498552 19.29 20.92 -- 244.15/61.28 c N dy 683 458495 676 2941 0 56516 8934 1071349 19.40 20.66 -- 256.08/64.25 c N dy 769 478870 676 2941 0 47948 8934 793740 19.41 20.77 -- 273.63/68.70 c N dy 828 505759 676 2941 0 44735 8934 654868 19.27 20.29 -- 289.18/72.51 c N dy 935 526183 676 2941 0 34317 8934 364644 19.34 20.36 -- 295.57/74.10 c S st 1001 536943 676 2941 0 45004 8934 671193 19.38 no data -- 295.97/74.21 c S st 1001 537444 676 2941 0 45504 8934 685214 19.38 no data -- 295.97/74.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 295.97/74.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 295.97/74.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.07 295.97/74.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 295.97/74.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 295.97/74.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 295.97/74.25 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 305.17/76.53 c lits-rem: 648 cl-subs: 399 v-elim: 0 v-fix: 0 time: 9.06 s 305.17/76.53 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 305.17/76.54 c vivif2 -- cl tried 45105 cl shrink 0 lits rem 0 time: 0.03 305.17/76.58 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.18 305.17/76.58 c calculated reachability. Time: 0.00 305.17/76.58 c N dy 1001 537444 676 2941 0 45105 8934 671095 19.38 no data -- 321.50/80.65 c N dy 1088 558635 676 2941 0 34397 8934 339558 19.38 20.66 -- 334.66/83.97 c N dy 1160 578705 676 2941 0 54294 8934 906048 19.38 22.72 -- 348.63/87.47 c N dy 1188 598748 676 2941 0 41418 8934 509775 19.27 22.83 -- 364.58/91.48 c N dy 1297 618825 676 2941 0 61329 8934 1083523 19.32 22.81 -- 379.35/95.18 c N dy 1379 639710 676 2941 0 48349 8934 691622 19.31 20.34 -- 396.50/99.47 c N dy 1432 659774 676 2941 0 68214 8934 1265390 19.27 20.37 -- 410.90/103.06 c N dy 1550 679778 676 2941 0 53410 8934 817546 19.33 22.65 -- 430.00/107.86 c N dy 1634 699892 676 2941 0 37664 8934 337407 19.33 20.42 -- 444.76/111.51 c N dy 1717 720078 676 2941 0 57663 8934 911848 19.34 20.57 -- 462.72/116.07 c N dy 1792 740085 676 2941 0 40807 8934 403252 19.34 23.55 -- 478.27/119.91 c N dy 1872 760499 676 2941 0 61019 8934 978835 19.34 20.36 -- 497.42/124.78 c N dy 1974 780926 676 2941 0 43620 8934 461139 19.36 20.41 -- 519.36/130.20 c N dy 2086 806168 676 2941 0 68620 8934 1183804 19.38 16.17 -- 519.36/130.20 c S st 2086 806168 676 2941 0 68620 8934 1183804 19.38 16.17 -- 519.76/130.39 c S st 2086 806671 676 2941 0 69122 8934 1198432 19.38 no data -- 519.76/130.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 519.76/130.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 520.18/130.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.11 520.18/130.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 520.18/130.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 520.18/130.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 520.18/130.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 527.32/132.28 c lits-rem: 198 cl-subs: 1111 v-elim: 0 v-fix: 0 time: 7.26 s 527.32/132.28 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 527.72/132.30 c vivif2 -- cl tried 68011 cl shrink 0 lits rem 0 time: 0.06 527.72/132.38 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.33 527.72/132.38 c calculated reachability. Time: 0.00 527.72/132.38 c N dy 2086 806671 676 2941 0 68011 8934 1163864 19.38 no data -- 545.68/136.85 c N dy 2193 826680 676 2941 0 49232 8934 610680 19.41 22.15 -- 563.23/141.27 c N dy 2278 846752 676 2941 0 69150 8934 1181968 19.41 21.00 -- 583.58/146.34 c N dy 2384 867801 676 2941 0 50365 8934 611210 19.43 20.51 -- 602.72/151.12 c N dy 2493 888380 676 2941 0 70794 8934 1207519 19.45 20.57 -- 621.86/155.94 c N dy 2601 908720 676 2941 0 50296 8934 587358 19.48 20.51 -- 640.62/160.62 c N dy 2710 928795 676 2941 0 70215 8934 1163980 19.49 22.49 -- 661.36/165.84 c N dy 2804 948814 676 2941 0 48404 8934 503580 19.50 21.64 -- 678.91/170.27 c N dy 2895 969141 676 2941 0 68553 8934 1084913 19.51 20.87 -- 701.65/175.96 c N dy 2984 989221 676 2941 0 45784 8934 406274 19.52 20.91 -- 718.40/180.10 c N dy 3067 1009284 676 2941 0 65671 8934 979264 19.52 20.63 -- 743.97/186.56 c N dy 3140 1031679 676 2941 0 44243 8934 341144 19.51 20.70 -- 760.69/190.79 c N dy 3250 1052097 676 2941 0 64472 8934 927056 19.53 20.89 -- 783.03/196.37 c F st 3329 1071875 676 2941 0 84085 8934 1497403 19.53 no data -- 783.46/196.46 c N st 3330 1072126 676 2941 0 84334 8934 1504286 19.53 no data -- 801.78/201.05 c N dy 3407 1092480 676 2941 0 59934 8934 776396 19.53 20.66 -- 827.76/207.57 c N dy 3514 1116082 676 2941 0 83330 8934 1448818 19.54 20.62 -- 848.06/212.65 c N dy 3577 1136425 676 2941 0 57888 8934 690700 19.53 20.89 -- 869.20/217.94 c N dy 3670 1156509 676 2941 0 77813 8934 1266378 19.54 20.61 -- 894.32/224.27 c N dy 3779 1176687 676 2941 0 51232 8934 474070 19.55 20.61 -- 913.07/228.98 c N dy 3879 1196890 676 2941 0 71262 8934 1054180 19.57 20.61 -- 931.02/233.41 c S st 3928 1210007 676 2941 0 84253 8934 1424240 19.56 18.46 -- 931.82/233.67 c S st 3928 1210510 676 2941 0 84756 8934 1438770 19.56 no data -- 931.82/233.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 931.82/233.68 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 932.22/233.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.18 932.22/233.77 c bin-w-bin subsume rem 0 bins time: 0.00 s 932.22/233.77 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 932.22/233.77 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 932.22/233.77 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 941.42/236.08 c lits-rem: 537 cl-subs: 1411 v-elim: 0 v-fix: 0 time: 9.19 s 941.42/236.08 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 941.42/236.09 c vivif2 -- cl tried 83345 cl shrink 0 lits rem 0 time: 0.07 942.18/236.20 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.44 942.18/236.20 c calculated reachability. Time: 0.00 942.18/236.20 c N dy 3928 1210510 676 2941 0 83345 8934 1394131 19.56 no data -- 965.72/242.19 c N dy 4021 1231663 676 2941 0 56731 8934 615486 19.57 20.81 -- 986.86/247.47 c N dy 4114 1252463 676 2941 0 77350 8934 1211883 19.57 20.67 -- 1053.89/264.29 c N dy 4140 1314408 676 2941 0 89943 8934 1527018 19.36 20.48 -- 1078.21/270.34 c N dy 4259 1334779 676 2941 0 60704 8934 687415 19.38 20.51 -- 1100.55/275.98 c N dy 4354 1355407 676 2941 0 81157 8934 1282325 19.39 20.56 -- 1129.68/283.25 c N dy 4462 1375412 676 2941 0 100991 8934 1861980 19.40 20.48 -- 1147.23/287.69 c N dy 4562 1395488 676 2941 0 70401 8934 954113 19.41 22.55 -- 1173.55/294.28 c N dy 4685 1415637 676 2941 0 90389 8934 1529667 19.42 20.94 -- 1201.87/301.34 c N dy 4822 1437047 676 2941 0 60095 8934 621756 19.45 20.51 -- 1224.21/306.90 c N dy 4945 1457123 676 2941 0 80006 8934 1210021 19.47 20.54 -- 1252.54/314.09 c N dy 5043 1477201 676 2941 0 99889 8934 1783928 19.47 20.57 -- 1274.90/319.68 c N dy 5162 1497221 676 2941 0 67190 8934 811351 19.49 22.68 -- 1299.61/325.87 c N dy 5278 1517252 676 2941 0 87038 8934 1388179 19.50 22.68 -- 1331.52/333.83 c N dy 5394 1537322 676 2941 0 106959 8934 1977358 19.52 24.83 -- 1351.05/338.71 c N dy 5487 1557494 676 2941 0 73436 8934 967187 19.52 20.67 -- 1378.18/345.55 c N dy 5615 1577577 676 2941 0 93372 8934 1550144 19.54 20.62 -- 1410.50/353.67 c N dy 5704 1600114 676 2941 0 61137 8934 578476 19.54 21.11 -- 1438.01/360.53 c N dy 5812 1624890 676 2941 0 85688 8934 1288198 19.54 20.65 -- 1473.51/369.49 c N dy 5915 1648138 676 2941 0 108733 8934 1957945 19.55 20.58 -- 1495.44/374.98 c N dy 6018 1668176 676 2941 0 73072 8934 903050 19.56 20.67 -- 1521.77/381.55 c N dy 6118 1688181 676 2941 0 92897 8934 1477526 19.56 20.90 -- 1556.13/390.15 c N dy 6215 1708249 676 2941 0 112811 8934 2071007 19.57 20.95 -- 1558.88/390.85 c S st 6233 1710510 676 2941 0 58564 8934 465767 19.57 no data -- 1559.68/391.01 c S st 6233 1711013 676 2941 0 59067 8934 479736 19.57 no data -- 1559.68/391.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1559.68/391.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1559.68/391.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.10 1559.68/391.06 c bin-w-bin subsume rem 0 bins time: 0.00 s 1559.68/391.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1559.68/391.06 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 1559.68/391.06 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1567.25/392.96 c lits-rem: 215 cl-subs: 69 v-elim: 0 v-fix: 0 time: 7.59 s 1567.25/392.96 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 1567.25/392.97 c vivif2 -- cl tried 58998 cl shrink 0 lits rem 0 time: 0.03 1567.65/393.02 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.22 1567.65/393.02 c calculated reachability. Time: 0.00 1567.65/393.02 c N dy 6233 1711013 676 2941 0 58998 8934 477086 19.57 no data -- 1587.99/398.15 c N dy 6328 1731048 676 2941 0 78832 8934 1050837 19.58 20.71 -- 1617.15/405.47 c N dy 6413 1752118 676 2941 0 99703 8934 1661769 19.58 20.64 -- 1655.41/415.01 c N dy 6499 1772217 676 2941 0 62155 8934 550191 19.59 21.83 -- 1680.13/421.24 c N dy 6591 1792421 676 2941 0 82154 8934 1129886 19.59 20.69 -- 1710.03/428.79 c N dy 6717 1812609 676 2941 0 102188 8934 1722461 19.61 20.68 -- 1742.75/436.94 c N dy 6832 1832638 676 2941 0 63549 8934 565573 19.62 20.94 -- 1765.49/442.66 c N dy 6906 1853550 676 2941 0 84233 8934 1153444 19.62 20.71 -- 1796.21/450.38 c N dy 7009 1874091 676 2941 0 104557 8934 1745567 19.62 20.68 -- 1829.31/458.63 c N dy 7114 1894129 676 2941 0 64980 8934 585387 19.63 22.04 -- 1852.05/464.37 c N dy 7211 1914288 676 2941 0 84961 8934 1169684 19.64 20.80 -- 1881.96/471.82 c N dy 7285 1934400 676 2941 0 104849 8934 1745136 19.64 20.75 -- 1912.68/479.53 c N dy 7306 1955205 676 2941 0 64988 8934 560767 19.62 20.95 -- 1935.43/485.21 c N dy 7400 1975232 676 2941 0 84828 8934 1135566 19.62 20.81 -- 1966.14/492.97 c N dy 7516 1995271 676 2941 0 104681 8934 1716020 19.63 20.68 -- 2000.04/501.40 c N dy 7541 2015841 676 2941 0 63607 8934 497388 19.62 20.66 -- 2021.23/506.77 c N dy 7594 2036129 676 2941 0 83643 8934 1074515 19.61 20.79 -- 2051.54/514.41 c N dy 7717 2056137 676 2941 0 103459 8934 1654521 19.62 21.40 -- 2089.79/523.99 c N dy 7837 2076291 676 2941 0 123470 8934 2236528 19.63 20.67 -- 2112.14/529.52 c N dy 7890 2096374 676 2941 0 81013 8934 989918 19.62 22.90 -- 2141.25/536.81 c N dy 7999 2116411 676 2941 0 100874 8934 1575520 19.63 21.02 -- 2179.94/546.56 c N dy 8121 2136567 676 2941 0 120866 8934 2165869 19.65 20.69 -- 2221.43/556.97 c N dy 8152 2169464 676 2941 0 90066 8934 1253926 19.61 20.70 -- 2255.33/565.47 c N dy 8281 2189727 676 2941 0 110181 8934 1851779 19.62 20.92 -- 2296.82/575.91 c N dy 8411 2210009 676 2941 0 65882 8934 500223 19.64 20.83 -- 2298.01/576.15 c S st 8420 2211015 676 2941 0 66884 8934 530576 19.64 no data -- 2298.81/576.32 c S st 8420 2211518 676 2941 0 67385 8934 545529 19.64 no data -- 2298.81/576.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2298.81/576.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2298.81/576.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.11 2298.81/576.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 2298.81/576.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2298.81/576.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 2298.81/576.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2310.41/579.25 c lits-rem: 149 cl-subs: 62 v-elim: 0 v-fix: 0 time: 11.46 s 2310.41/579.25 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 2310.41/579.26 c vivif2 -- cl tried 67323 cl shrink 0 lits rem 0 time: 0.04 2310.82/579.38 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.44 2310.82/579.38 c calculated reachability. Time: 0.00 2310.82/579.38 c N dy 8420 2211518 676 2941 0 67323 8934 543291 19.64 no data -- 2338.30/586.24 c N dy 8532 2232027 676 2941 0 87651 8934 1137216 19.65 20.71 -- 2370.21/594.20 c N dy 8638 2252093 676 2941 0 107545 8934 1720208 19.66 23.59 -- 2410.50/604.37 c N dy 8756 2272239 676 2941 0 127514 8934 2304605 19.67 20.95 -- 2438.42/611.32 c N dy 8857 2293620 676 2941 0 83294 8934 982275 19.67 20.82 -- 2467.95/618.74 c N dy 8957 2313715 676 2941 0 103178 8934 1565084 19.68 24.06 -- 2506.24/628.32 c N dy 9069 2334322 676 2941 0 123600 8934 2165334 19.69 20.74 -- 2535.76/635.79 c N dy 9136 2354357 676 2941 0 77064 8934 782773 19.69 22.73 -- 2563.29/642.61 c N dy 9229 2374365 676 2941 0 96868 8934 1359345 19.69 20.78 -- 2597.19/651.13 c N dy 9306 2394461 676 2941 0 116735 8934 1929704 19.69 20.80 -- 2637.88/661.34 c N dy 9375 2417251 676 2941 0 71954 8934 602338 19.69 20.78 -- 2662.21/667.41 c N dy 9456 2437302 676 2941 0 91794 8934 1175736 19.69 21.31 -- 2694.12/675.44 c N dy 9550 2457468 676 2941 0 111765 8934 1762362 19.69 20.87 -- 2735.61/685.84 c N dy 9644 2477512 676 2941 0 131610 8934 2340558 19.70 23.70 -- 2764.74/693.13 c N dy 9761 2497561 676 2941 0 83189 8934 917370 19.70 21.21 -- 2793.85/700.49 c N dy 9854 2517639 676 2941 0 103069 8934 1498515 19.71 20.80 -- 2831.75/709.90 c N dy 9927 2538950 676 2941 0 124148 8934 2103534 19.71 20.98 -- 2869.23/719.32 c N dy 9990 2559996 676 2941 0 75670 8934 669708 19.70 20.89 -- 2895.95/726.05 c N dy 10096 2580582 676 2941 0 96058 8934 1267927 19.71 20.87 -- 2928.67/734.20 c N dy 10183 2600678 676 2941 0 115948 8934 1851785 19.71 20.81 -- 2969.00/744.35 c N dy 10247 2620701 676 2941 0 135718 8934 2414338 19.71 22.57 -- 2999.30/751.94 c N dy 10341 2641485 676 2941 0 85985 8934 949334 19.71 20.95 -- 3027.99/759.15 c N dy 10408 2661507 676 2941 0 105781 8934 1520453 19.70 21.23 -- 3065.12/768.42 c N dy 10447 2681822 676 2941 0 125836 8934 2090499 19.69 20.74 -- 3108.57/779.33 c N dy 10560 2702195 676 2941 0 74814 8934 602554 19.70 20.78 -- 3120.92/782.43 c S st 10622 2711518 676 2941 0 84051 8934 875175 19.70 no data -- 3121.72/782.64 c S st 10622 2712019 676 2941 0 84552 8934 889457 19.70 no data -- 3121.72/782.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3121.72/782.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3121.72/782.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.15 3122.15/782.72 c bin-w-bin subsume rem 0 bins time: 0.00 s 3122.15/782.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3122.15/782.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 3122.15/782.72 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3135.32/786.07 c lits-rem: 631 cl-subs: 441 v-elim: 0 v-fix: 0 time: 13.38 s 3135.32/786.07 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 3135.32/786.08 c vivif2 -- cl tried 84111 cl shrink 0 lits rem 0 time: 0.05 3135.73/786.19 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.41 3135.73/786.19 c calculated reachability. Time: 0.00 3135.73/786.19 c N dy 10622 2712019 676 2941 0 84111 8934 875002 19.70 no data -- 3165.21/793.56 c N dy 10683 2732119 676 2941 0 103985 8934 1445332 19.70 24.16 -- 3203.50/803.18 c N dy 10820 2752193 676 2941 0 123922 8934 2039269 19.71 21.99 -- 3250.97/815.04 c N dy 10885 2774567 676 2941 0 73771 8934 548045 19.70 20.91 -- 3276.49/821.44 c N dy 10990 2794632 676 2941 0 93642 8934 1135759 19.71 21.33 -- 3312.79/830.50 c N dy 11114 2816183 676 2941 0 115007 8934 1767366 19.72 20.88 -- 3356.66/841.56 c N dy 11253 2836708 676 2941 0 135377 8934 2368846 19.73 20.83 -- 3396.16/851.45 c N dy 11388 2856737 676 2941 0 81960 8934 773923 19.74 24.93 -- 3424.48/858.53 c N dy 11479 2876760 676 2941 0 101724 8934 1352830 19.74 22.05 -- 3462.77/868.10 c N dy 11588 2897374 676 2941 0 122143 8934 1948847 19.75 20.91 -- 3507.46/879.38 c N dy 11665 2918456 676 2941 0 142965 8934 2553545 19.75 20.81 -- 3537.77/886.97 c N dy 11718 2938500 676 2941 0 88531 8934 921713 19.75 21.12 -- 3568.89/894.77 c N dy 11818 2958610 676 2941 0 108474 8934 1510886 19.75 20.93 -- 3606.38/904.11 c N dy 11869 2978666 676 2941 0 128250 8934 2072848 19.74 22.38 -- 3652.24/915.62 c N dy 11965 2998759 676 2941 0 148143 8934 2645955 19.75 20.83 -- 3681.36/922.91 c N dy 12066 3018901 676 2941 0 92941 8934 1040827 19.75 20.92 -- 3714.91/931.37 c N dy 12140 3040077 676 2941 0 113825 8934 1637805 19.75 20.85 -- 3761.54/943.01 c N dy 12261 3061951 676 2941 0 135503 8934 2274047 19.76 20.92 -- 3805.82/954.14 c N dy 12339 3082047 676 2941 0 79214 8934 618688 19.76 21.08 -- 3832.55/960.87 c N dy 12431 3102097 676 2941 0 99046 8934 1194168 19.76 20.90 -- 3871.24/970.51 c N dy 12553 3122411 676 2941 0 119179 8934 1788166 19.77 20.81 -- 3925.52/984.13 c N dy 12666 3142434 676 2941 0 139008 8934 2376139 19.78 26.60 -- 3973.78/996.25 c N dy 12773 3162865 676 2941 0 82016 8934 676611 19.78 21.02 -- 4004.08/1003.91 c N dy 12844 3186276 676 2941 0 105162 8934 1346261 19.78 20.96 -- 4044.34/1013.96 c N dy 12917 3208680 676 2941 0 127335 8934 1996493 19.78 21.01 -- 4052.77/1016.05 c S st 12941 3212019 676 2941 0 130656 8934 2098429 19.78 20.75 -- 4054.72/1016.51 c S st 12941 3212519 676 2941 0 131156 8934 2112180 19.78 no data -- 4054.72/1016.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4054.72/1016.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4054.72/1016.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.30 4055.12/1016.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 4055.12/1016.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4055.12/1016.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 4055.12/1016.67 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4083.06/1023.70 c lits-rem: 199 cl-subs: 2748 v-elim: 0 v-fix: 0 time: 28.01 s 4083.06/1023.70 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 4083.47/1023.73 c vivif2 -- cl tried 128408 cl shrink 0 lits rem 0 time: 0.11 4084.22/1023.95 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.91 4084.22/1023.96 c calculated reachability. Time: 0.00 4084.22/1023.96 c N dy 12941 3212519 676 2941 0 128408 8934 2031184 19.78 no data -- 4131.32/1035.72 c N dy 13032 3232853 676 2941 0 148506 8934 2617371 19.78 20.86 -- 4165.21/1044.28 c N dy 13108 3252952 676 2941 0 90228 8934 904464 19.78 20.84 -- 4196.72/1052.19 c N dy 13213 3273024 676 2941 0 110100 8934 1488301 19.79 21.11 -- 4235.81/1061.92 c N dy 13268 3293577 676 2941 0 130422 8934 2069957 19.78 20.85 -- 4285.32/1074.33 c N dy 13357 3315180 676 2941 0 151783 8934 2693419 19.78 21.08 -- 4323.57/1083.90 c N dy 13442 3336681 676 2941 0 93932 8934 980875 19.78 20.85 -- 4355.53/1091.95 c N dy 13506 3357399 676 2941 0 114376 8934 1564457 19.78 21.12 -- 4396.97/1102.31 c N dy 13542 3379243 676 2941 0 135860 8934 2166372 19.77 20.85 -- 4448.42/1115.29 c N dy 13659 3399826 676 2941 0 156262 8934 2770334 19.78 20.91 -- 4483.93/1124.12 c N dy 13748 3421692 676 2941 0 97759 8934 1056042 19.78 20.82 -- 4517.46/1132.53 c N dy 13845 3441705 676 2941 0 117570 8934 1633104 19.78 22.82 -- 4561.75/1143.67 c N dy 13951 3462411 676 2941 0 138072 8934 2227830 19.79 20.88 -- 4613.98/1156.71 c N dy 14057 3482799 676 2941 0 158276 8934 2822133 19.79 21.17 -- 4651.04/1166.07 c N dy 14143 3506413 676 2941 0 100506 8934 1119257 19.79 20.84 -- 4686.95/1175.05 c N dy 14261 3526512 676 2941 0 120435 8934 1711403 19.80 20.94 -- 4739.60/1188.28 c N dy 14354 3549573 676 2941 0 143263 8934 2387059 19.80 20.91 -- 4793.05/1201.65 c N dy 14449 3569833 676 2941 0 163321 8934 2982714 19.80 21.01 --
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-3368968-1305408269/watcher-3368968-1305408269 -o /tmp/evaluation-result-3368968-1305408269/solver-3368968-1305408269 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368968-1305408269.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: 8.14 8.09 8.02 1/350 18519 /proc/meminfo: memFree=24748680/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=51236 CPUtime=0.01 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 411 0 0 0 1 0 0 0 22 0 4 0 652424003 52465664 352 33554432000 4194304 4650419 140734424143840 18446744073709551615 47733319079856 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 12809 352 303 112 0 7774 0 [pid=18519/tid=18520] ppid=18517 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652424004 52465664 352 33554432000 4194304 4650419 140734424143840 18446744073709551615 47733319079858 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 652424004 52465664 352 33554432000 4194304 4650419 140734424143840 18446744073709551615 47733319079858 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652424004 52465664 352 33554432000 4194304 4650419 140734424143840 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.067242 s] /proc/loadavg: 8.14 8.09 8.02 1/350 18519 /proc/meminfo: memFree=24748680/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=351212 CPUtime=3.02 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 5308 0 0 0 301 1 0 0 18 0 4 0 652424003 359641088 3090 33554432000 4194304 4650419 140734424143840 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 87803 3090 393 112 0 82768 0 [pid=18519/tid=18520] ppid=18517 vsize=351212 CPUtime=0.75 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1313 0 0 0 75 0 0 0 18 0 4 0 652424004 359641088 3090 33554432000 4194304 4650419 140734424143840 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=351212 CPUtime=0.75 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1146 0 0 0 75 0 0 0 18 0 4 0 652424004 359641088 3090 33554432000 4194304 4650419 140734424143840 18446744073709551615 4333600 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=351212 CPUtime=0.74 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1183 0 0 0 74 0 0 0 19 0 4 0 652424004 359641088 3090 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 351212 [startup+0.838777 s] /proc/loadavg: 8.14 8.09 8.02 1/350 18519 /proc/meminfo: memFree=24748680/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=351868 CPUtime=3.42 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 6111 0 0 0 341 1 0 0 19 0 4 0 652424003 360312832 2877 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 87967 2877 393 112 0 82932 0 [pid=18519/tid=18520] ppid=18517 vsize=351868 CPUtime=0.85 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1577 0 0 0 85 0 0 0 18 0 4 0 652424004 360312832 2877 33554432000 4194304 4650419 140734424143840 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=351868 CPUtime=0.85 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1364 0 0 0 85 0 0 0 19 0 4 0 652424004 360312832 2877 33554432000 4194304 4650419 140734424143840 18446744073709551615 4334389 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=351868 CPUtime=0.84 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1248 0 0 0 84 0 0 0 19 0 4 0 652424004 360312832 2877 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.42 Current children cumulated vsize (KiB) 351868 [startup+0.963412 s] /proc/loadavg: 8.14 8.09 8.02 1/350 18519 /proc/meminfo: memFree=24748680/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=351868 CPUtime=3.82 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 6373 0 0 0 381 1 0 0 19 0 4 0 652424003 360312832 3139 33554432000 4194304 4650419 140734424143840 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 87967 3139 393 112 0 82932 0 [pid=18519/tid=18520] ppid=18517 vsize=351868 CPUtime=0.95 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1635 0 0 0 95 0 0 0 19 0 4 0 652424004 360312832 3139 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=351868 CPUtime=0.95 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1433 0 0 0 95 0 0 0 19 0 4 0 652424004 360312832 3139 33554432000 4194304 4650419 140734424143840 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=351868 CPUtime=0.94 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1311 0 0 0 94 0 0 0 19 0 4 0 652424004 360312832 3139 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 351868 [startup+1.06336 s] /proc/loadavg: 8.14 8.09 8.02 1/350 18519 /proc/meminfo: memFree=24748680/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=351868 CPUtime=4.22 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 6612 0 0 0 421 1 0 0 19 0 4 0 652424003 360312832 3378 33554432000 4194304 4650419 140734424143840 18446744073709551615 4330361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 87967 3378 393 112 0 82932 0 [pid=18519/tid=18520] ppid=18517 vsize=351868 CPUtime=1.05 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1690 0 0 0 105 0 0 0 19 0 4 0 652424004 360312832 3378 33554432000 4194304 4650419 140734424143840 18446744073709551615 4314876 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=351868 CPUtime=1.05 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1493 0 0 0 105 0 0 0 19 0 4 0 652424004 360312832 3378 33554432000 4194304 4650419 140734424143840 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=351868 CPUtime=1.04 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1370 0 0 0 104 0 0 0 19 0 4 0 652424004 360312832 3378 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 351868 [startup+1.50028 s] /proc/loadavg: 8.14 8.09 8.02 1/350 18519 /proc/meminfo: memFree=24748680/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=352592 CPUtime=5.97 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 10087 0 0 0 595 2 0 0 20 0 4 0 652424003 361054208 5277 33554432000 4194304 4650419 140734424143840 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 88148 5277 395 112 0 83113 0 [pid=18519/tid=18520] ppid=18517 vsize=352592 CPUtime=1.48 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 2206 0 0 0 148 0 0 0 19 0 4 0 652424004 361054208 5277 33554432000 4194304 4650419 140734424143840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=352592 CPUtime=1.49 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1965 0 0 0 149 0 0 0 19 0 4 0 652424004 361054208 5277 33554432000 4194304 4650419 140734424143840 18446744073709551615 4307086 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=352592 CPUtime=1.48 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 1783 0 0 0 148 0 0 0 20 0 4 0 652424004 361054208 5277 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 352592 [startup+3.10097 s] /proc/loadavg: 8.13 8.08 8.02 9/359 18553 /proc/meminfo: memFree=24686808/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=348728 CPUtime=12.34 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 19247 0 0 0 1229 5 0 0 25 0 4 0 652424003 357097472 11383 33554432000 4194304 4650419 140734424143840 18446744073709551615 4363562 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 87182 11383 395 112 0 82147 0 [pid=18519/tid=18520] ppid=18517 vsize=348728 CPUtime=3.08 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 4596 0 0 0 307 1 0 0 25 0 4 0 652424004 357097472 11383 33554432000 4194304 4650419 140734424143840 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=348728 CPUtime=3.09 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 4728 0 0 0 308 1 0 0 25 0 4 0 652424004 357097472 11383 33554432000 4194304 4650419 140734424143840 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=348728 CPUtime=3.06 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 4680 0 0 0 305 1 0 0 25 0 4 0 652424004 357097472 11383 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 348728 [startup+6.30036 s] /proc/loadavg: 8.13 8.08 8.02 9/359 18553 /proc/meminfo: memFree=24629632/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=357792 CPUtime=25.1 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 27874 0 0 0 2504 6 0 0 25 0 4 0 652424003 366379008 15884 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366849 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 89448 15884 395 112 0 84413 0 [pid=18519/tid=18520] ppid=18517 vsize=357792 CPUtime=6.28 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 7565 0 0 0 627 1 0 0 25 0 4 0 652424004 366379008 15884 33554432000 4194304 4650419 140734424143840 18446744073709551615 4229500 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=357792 CPUtime=6.28 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 6592 0 0 0 627 1 0 0 25 0 4 0 652424004 366379008 15884 33554432000 4194304 4650419 140734424143840 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=357792 CPUtime=6.22 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 6214 0 0 0 621 1 0 0 25 0 4 0 652424004 366379008 15884 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 357792 [startup+12.7011 s] /proc/loadavg: 8.11 8.08 8.02 9/359 18553 /proc/meminfo: memFree=24581872/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=355392 CPUtime=50.67 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 42171 0 0 0 5058 9 0 0 25 0 4 0 652424003 363921408 22586 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 88848 22586 395 112 0 83813 0 [pid=18519/tid=18520] ppid=18517 vsize=355392 CPUtime=12.7 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 11394 0 0 0 1268 2 0 0 25 0 4 0 652424004 363921408 22590 33554432000 4194304 4650419 140734424143840 18446744073709551615 4333611 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=355392 CPUtime=12.7 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 10411 0 0 0 1268 2 0 0 25 0 4 0 652424004 363921408 22590 33554432000 4194304 4650419 140734424143840 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=355392 CPUtime=12.55 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 8819 0 0 0 1254 1 0 0 25 0 4 0 652424004 363921408 22590 33554432000 4194304 4650419 140734424143840 18446744073709551615 4328361 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.67 Current children cumulated vsize (KiB) 355392 [startup+25.5007 s] /proc/loadavg: 8.09 8.08 8.02 9/359 18553 /proc/meminfo: memFree=24514684/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=367388 CPUtime=101.7 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 63839 0 0 0 10155 15 0 0 25 0 4 0 652424003 376205312 33627 33554432000 4194304 4650419 140734424143840 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 91847 33627 395 112 0 86812 0 [pid=18519/tid=18520] ppid=18517 vsize=367388 CPUtime=25.49 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 16687 0 0 0 2546 3 0 0 25 0 4 0 652424004 376205312 33627 33554432000 4194304 4650419 140734424143840 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=367388 CPUtime=25.49 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 17562 0 0 0 2545 4 0 0 25 0 4 0 652424004 376205312 33627 33554432000 4194304 4650419 140734424143840 18446744073709551615 4329173 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=367388 CPUtime=25.21 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 11845 0 0 0 2518 3 0 0 25 0 4 0 652424004 376205312 33627 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 367388 [startup+51.1008 s] /proc/loadavg: 8.06 8.07 8.01 9/359 18554 /proc/meminfo: memFree=24435000/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=452680 CPUtime=203.82 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 88871 0 0 0 20358 24 0 0 25 0 4 0 652424003 463544320 41870 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 113170 41870 395 112 0 108135 0 [pid=18519/tid=18520] ppid=18517 vsize=452680 CPUtime=51.08 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 20981 0 0 0 5104 4 0 0 25 0 4 0 652424004 463544320 41870 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=452680 CPUtime=51.08 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 26472 0 0 0 5101 7 0 0 25 0 4 0 652424004 463544320 41870 33554432000 4194304 4650419 140734424143840 18446744073709551615 4364738 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=452680 CPUtime=50.53 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 16618 0 0 0 5049 4 0 0 25 0 4 0 652424004 463544320 41870 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.82 Current children cumulated vsize (KiB) 452680 [startup+102.301 s] /proc/loadavg: 8.02 8.06 8.01 9/359 18556 /proc/meminfo: memFree=24336872/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=573684 CPUtime=408.06 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 125157 0 0 0 40766 40 0 0 25 0 4 0 652424003 587452416 55313 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 143421 55313 395 112 0 138386 0 [pid=18519/tid=18520] ppid=18517 vsize=573684 CPUtime=102.28 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 30033 0 0 0 10219 9 0 0 25 0 4 0 652424004 587452416 55313 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=573684 CPUtime=102.28 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 36585 0 0 0 10217 11 0 0 25 0 4 0 652424004 587452416 55313 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=573684 CPUtime=101.17 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 24218 0 0 0 10110 7 0 0 25 0 4 0 652424004 587452416 55313 33554432000 4194304 4650419 140734424143840 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.06 Current children cumulated vsize (KiB) 573684 [startup+162.301 s] ################ # More data... # ################ [pid=18519] ppid=18517 vsize=694420 CPUtime=2801.44 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 360048 0 0 0 279985 159 0 0 25 0 4 0 652424003 711086080 95280 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 173605 95280 395 112 0 168570 0 [pid=18519/tid=18520] ppid=18517 vsize=694420 CPUtime=702.31 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 85230 0 0 0 70192 39 0 0 25 0 4 0 652424004 711086080 95280 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=694420 CPUtime=702.28 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 110699 0 0 0 70182 46 0 0 25 0 4 0 652424004 711086080 95280 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=694420 CPUtime=694.5 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 71094 0 0 0 69418 32 0 0 25 0 4 0 652424004 711086080 95280 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2801.44 Current children cumulated vsize (KiB) 694420 [startup+762.301 s] /proc/loadavg: 8.16 8.13 8.05 9/359 18573 /proc/meminfo: memFree=23934232/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=585564 CPUtime=3040.75 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 382632 0 0 0 303902 173 0 0 25 0 4 0 652424003 599617536 91574 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 146391 91574 395 112 0 141356 0 [pid=18519/tid=18520] ppid=18517 vsize=585564 CPUtime=762.31 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 91144 0 0 0 76188 43 0 0 25 0 4 0 652424004 599617536 91574 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=585564 CPUtime=762.27 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 118170 0 0 0 76178 49 0 0 25 0 4 0 652424004 599617536 91574 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=585564 CPUtime=753.82 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 77225 0 0 0 75346 36 0 0 25 0 4 0 652424004 599617536 91574 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3040.75 Current children cumulated vsize (KiB) 585564 [startup+822.3 s] /proc/loadavg: 8.14 8.13 8.05 9/359 18575 /proc/meminfo: memFree=23892024/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=731660 CPUtime=3280.11 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 406679 0 0 0 327826 185 0 0 25 0 4 0 652424003 749219840 94972 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 182915 94972 395 112 0 177880 0 [pid=18519/tid=18520] ppid=18517 vsize=731660 CPUtime=822.32 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 99167 0 0 0 82185 47 0 0 25 0 4 0 652424004 749219840 94973 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=731660 CPUtime=822.29 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 124540 0 0 0 82176 53 0 0 25 0 4 0 652424004 749219840 94973 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=731660 CPUtime=813.15 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 81290 0 0 0 81277 38 0 0 25 0 4 0 652424004 749219840 94973 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3280.11 Current children cumulated vsize (KiB) 731660 [startup+882.301 s] /proc/loadavg: 8.19 8.15 8.06 9/359 18576 /proc/meminfo: memFree=23817956/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=836672 CPUtime=3519.42 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 424469 0 0 0 351746 196 0 0 25 0 4 0 652424003 856752128 104857 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 209168 104857 395 112 0 204133 0 [pid=18519/tid=18520] ppid=18517 vsize=836672 CPUtime=882.31 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 104881 0 0 0 88181 50 0 0 25 0 4 0 652424004 856752128 104857 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=836672 CPUtime=882.28 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 131837 0 0 0 88170 58 0 0 25 0 4 0 652424004 856752128 104857 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=836672 CPUtime=872.47 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 84301 0 0 0 87207 40 0 0 25 0 4 0 652424004 856752128 104857 33554432000 4194304 4650419 140734424143840 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3519.42 Current children cumulated vsize (KiB) 836672 [startup+942.313 s] /proc/loadavg: 8.14 8.14 8.07 9/359 18578 /proc/meminfo: memFree=23836152/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=679504 CPUtime=3758.79 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 439678 0 0 0 375673 206 0 0 25 0 4 0 652424003 695812096 100309 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 169876 100309 395 112 0 164841 0 [pid=18519/tid=18520] ppid=18517 vsize=679504 CPUtime=942.33 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 107229 0 0 0 94182 51 0 0 25 0 4 0 652424004 695812096 100309 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=679504 CPUtime=942.28 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 135772 0 0 0 94168 60 0 0 25 0 4 0 652424004 695812096 100309 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=679504 CPUtime=931.8 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 90084 0 0 0 93137 43 0 0 25 0 4 0 652424004 695812096 100309 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3758.79 Current children cumulated vsize (KiB) 679504 [startup+1002.3 s] /proc/loadavg: 8.06 8.12 8.06 9/359 18580 /proc/meminfo: memFree=23756272/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=732168 CPUtime=3998.08 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 454618 0 0 0 399593 215 0 0 25 0 4 0 652424003 749740032 104427 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366865 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 183042 104427 395 112 0 178007 0 [pid=18519/tid=18520] ppid=18517 vsize=732168 CPUtime=1002.32 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 111954 0 0 0 100178 54 0 0 25 0 4 0 652424004 749740032 104427 33554432000 4194304 4650419 140734424143840 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=732168 CPUtime=1002.27 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 140235 0 0 0 100165 62 0 0 25 0 4 0 652424004 749740032 104427 33554432000 4194304 4650419 140734424143840 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=732168 CPUtime=991.12 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 92411 0 0 0 99067 45 0 0 25 0 4 0 652424004 749740032 104427 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3998.08 Current children cumulated vsize (KiB) 732168 [startup+1062.3 s] /proc/loadavg: 8.02 8.09 8.05 9/359 18581 /proc/meminfo: memFree=23711352/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=728256 CPUtime=4237.4 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 476764 0 0 0 423516 224 0 0 25 0 4 0 652424003 745734144 114959 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 182064 114959 395 112 0 177029 0 [pid=18519/tid=18520] ppid=18517 vsize=728256 CPUtime=1062.32 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 117242 0 0 0 106176 56 0 0 25 0 4 0 652424004 745734144 114959 33554432000 4194304 4650419 140734424143840 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=728256 CPUtime=1062.27 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 144478 0 0 0 106163 64 0 0 25 0 4 0 652424004 745734144 114959 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=728256 CPUtime=1050.45 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 98774 0 0 0 104997 48 0 0 25 0 4 0 652424004 745734144 114959 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4237.4 Current children cumulated vsize (KiB) 728256 [startup+1122.3 s] /proc/loadavg: 8.00 8.07 8.05 9/359 18583 /proc/meminfo: memFree=23679572/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=749888 CPUtime=4476.76 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 492964 0 0 0 447442 234 0 0 25 0 4 0 652424003 767885312 117287 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 187472 117287 395 112 0 182437 0 [pid=18519/tid=18520] ppid=18517 vsize=749888 CPUtime=1122.32 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 120096 0 0 0 112174 58 0 0 25 0 4 0 652424004 767885312 117287 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=749888 CPUtime=1122.27 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 148877 0 0 0 112161 66 0 0 25 0 4 0 652424004 767885312 117287 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=749888 CPUtime=1109.78 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 103251 0 0 0 110928 50 0 0 25 0 4 0 652424004 767885312 117287 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4476.76 Current children cumulated vsize (KiB) 749888 [startup+1182.3 s] /proc/loadavg: 8.00 8.06 8.04 9/359 18584 /proc/meminfo: memFree=23683616/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=688640 CPUtime=4716.06 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 507740 0 0 0 471362 244 0 0 25 0 4 0 652424003 705167360 119656 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 172160 119656 395 112 0 167125 0 [pid=18519/tid=18520] ppid=18517 vsize=688640 CPUtime=1182.33 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 124564 0 0 0 118171 62 0 0 25 0 4 0 652424004 705167360 119656 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=688640 CPUtime=1182.27 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 153555 0 0 0 118157 70 0 0 25 0 4 0 652424004 705167360 119656 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=688640 CPUtime=1169.1 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 106079 0 0 0 116858 52 0 0 25 0 4 0 652424004 705167360 119656 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4716.06 Current children cumulated vsize (KiB) 688640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.4 s] /proc/loadavg: 8.06 8.07 8.05 10/359 18585 /proc/meminfo: memFree=23692784/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=738052 CPUtime=4800.25 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 510382 0 0 0 479779 246 0 0 25 0 4 0 652424003 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 184513 112344 395 112 0 179478 0 [pid=18519/tid=18520] ppid=18517 vsize=738052 CPUtime=1203.44 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 125158 0 0 0 120282 62 0 0 25 0 4 0 652424004 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=738052 CPUtime=1203.38 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 153636 0 0 0 120268 70 0 0 25 0 4 0 652424004 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=738052 CPUtime=1189.95 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 107078 0 0 0 118942 53 0 0 25 0 4 0 652424004 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 738052 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.4 s] /proc/loadavg: 8.06 8.07 8.05 10/359 18585 /proc/meminfo: memFree=23692784/32950928 swapFree=67056568/67111528 [pid=18519] ppid=18517 vsize=738052 CPUtime=4800.25 cores=1,3,5,7 /proc/18519/stat : 18519 (strangenight1-m) R 18517 18519 18278 0 -1 4202496 510382 0 0 0 479779 246 0 0 25 0 4 0 652424003 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/18519/statm: 184513 112344 395 112 0 179478 0 [pid=18519/tid=18520] ppid=18517 vsize=738052 CPUtime=1203.44 cores=1,3,5,7 /proc/18519/task/18520/stat : 18520 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 125158 0 0 0 120282 62 0 0 25 0 4 0 652424004 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=18519/tid=18521] ppid=18517 vsize=738052 CPUtime=1203.38 cores=1,3,5,7 /proc/18519/task/18521/stat : 18521 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 153636 0 0 0 120268 70 0 0 25 0 4 0 652424004 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=18519/tid=18522] ppid=18517 vsize=738052 CPUtime=1189.95 cores=1,3,5,7 /proc/18519/task/18522/stat : 18522 (strangenight1-m) R 18517 18519 18278 0 -1 4202560 107078 0 0 0 118942 53 0 0 25 0 4 0 652424004 755765248 112344 33554432000 4194304 4650419 140734424143840 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 738052 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.44 CPU time (s): 4800.32 CPU user time (s): 4797.83 CPU system time (s): 2.48762 CPU usage (%): 398.883 Max. virtual memory (cumulated for all children) (KiB): 852000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.83 system time used= 2.48762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 510382 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= 514 involuntary context switches= 32644 runsolver used 3.71943 second user time and 9.79351 second system time The end
Begin job on node148 at 2011-05-14 23:24:29 IDJOB=3368968 IDBENCH=82977 IDSOLVER=1846 FILE ID=node148/3368968-1305408269 RUNJOBID= node148-1305405858-18297 PBS_JOBID= 13324501 Free space on /tmp= 72836 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368968-1305408269/watcher-3368968-1305408269 -o /tmp/evaluation-result-3368968-1305408269/solver-3368968-1305408269 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368968-1305408269.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 84ed72ef969365b45feb251988bfac3d RANDOM SEED=392269589 node148.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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.854 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.83 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.854 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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: 24748836 kB Buffers: 316652 kB Cached: 4595408 kB SwapCached: 8488 kB Active: 4557540 kB Inactive: 3292488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24748836 kB SwapTotal: 67111528 kB SwapFree: 67056568 kB Dirty: 6232 kB Writeback: 0 kB AnonPages: 2935864 kB Mapped: 27376 kB Slab: 258972 kB PageTables: 28972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 84681252 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= 72828 MiB End job on node148 at 2011-05-14 23:44:35