| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.44 | 1201.73 |
| 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.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3175359-1304120809.cnf' 0.00/0.00 c -- header says num vars: 700 0.00/0.00 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.01 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.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 700 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.10 c lits-rem: 0 cl-subs: 0 v-elim: 24 v-fix: 0 time: 0.01 s 0.00/0.10 c Finding binary XORs T: 0.00 s found: 0 0.00/0.10 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.10 c calculated reachability. Time: 0.00 0.00/0.10 c Calc default polars - time: 0.00 s pos: 303 undec: 81 neg: 316 0.00/0.10 c ========================================================================================= 0.00/0.10 c types(t): F = full restart, N = normal restart 0.00/0.10 c types(t): S = simplification begin/end, E = solution found 0.00/0.10 c restart types(rt): st = static, dy = dynamic 0.00/0.10 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.10 c B st 0 0 676 2941 0 0 8934 0 no data no data -- 0.00/0.10 c Decided on static restart strategy 0.00/0.18 c N st 8 4914 676 2941 0 4863 8934 143953 no data no data -- 0.00/0.44 c N st 10 11297 676 2941 0 4518 8934 93366 no data no data -- 0.00/0.72 c N st 11 17040 676 2941 0 10172 8934 265303 no data no data -- 4.37/1.15 c F st 12 25002 676 2941 0 12531 8934 338221 no data no data -- 4.37/1.15 c N st 12 25002 676 2941 0 12531 8934 338221 no data no data -- 5.57/1.41 c Decided on static restart strategy 5.57/1.41 c N st 18 30000 676 2941 0 10755 8934 258388 no data no data -- 5.57/1.41 c S st 18 30000 676 2941 0 10755 8934 258388 no data no data -- 5.57/1.43 c S st 18 30506 676 2941 0 11257 8934 272194 no data no data -- 5.57/1.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.57/1.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.57/1.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 5.57/1.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.57/1.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.57/1.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 5.57/1.45 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 6.78/1.76 c lits-rem: 90 cl-subs: 316 v-elim: 0 v-fix: 0 time: 1.24 s 6.78/1.77 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.04 6.78/1.77 c calculated reachability. Time: 0.00 6.78/1.77 c N st 18 30506 676 2941 0 10941 8934 259495 no data no data -- 8.37/2.19 c N st 20 37618 676 2941 0 10145 8934 203824 no data no data -- 9.97/2.59 c N st 21 44017 676 2941 0 16443 8934 382119 no data no data -- 10.77/2.71 c S st 22 45759 676 2941 0 9358 8934 161169 no data no data -- 10.77/2.74 c S st 22 46260 676 2941 0 9859 8934 174097 no data no data -- 10.77/2.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.77/2.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 10.77/2.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 10.77/2.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.77/2.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.77/2.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 10.77/2.75 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 11.17/2.88 c lits-rem: 27 cl-subs: 36 v-elim: 0 v-fix: 0 time: 0.53 s 11.17/2.88 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 11.17/2.89 c vivif2 -- cl tried 9823 cl shrink 0 lits rem 0 time: 0.01 11.17/2.89 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.03 11.17/2.89 c calculated reachability. Time: 0.00 11.17/2.89 c N st 22 46260 676 2941 0 9823 8934 172998 no data no data -- 15.17/3.87 c N st 23 60657 676 2941 0 14225 8934 296626 no data no data -- 17.96/4.55 c N st 24 69392 676 2941 0 12019 8934 214950 no data no data -- 17.96/4.55 c S st 24 69392 676 2941 0 12019 8934 214950 no data no data -- 17.96/4.58 c S st 24 69899 676 2941 0 12526 8934 229149 no data no data -- 17.96/4.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 17.96/4.58 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 17.96/4.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 17.96/4.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 17.96/4.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.96/4.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 17.96/4.59 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 19.16/4.86 c lits-rem: 108 cl-subs: 105 v-elim: 0 v-fix: 0 time: 1.07 s 19.16/4.86 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 19.16/4.87 c vivif2 -- cl tried 12421 cl shrink 0 lits rem 0 time: 0.01 19.16/4.88 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.04 19.16/4.88 c calculated reachability. Time: 0.00 19.16/4.88 c N st 24 69899 676 2941 0 12421 8934 225458 no data no data -- 25.17/6.32 c F st 25 87501 676 2941 0 17913 8934 397949 no data no data -- 25.17/6.32 c N st 25 87501 676 2941 0 17913 8934 397949 no data no data -- 26.75/6.73 c Decided on static restart strategy 27.94/7.00 c N st 32 95541 676 2941 0 13040 8934 208036 no data no data -- 30.74/7.70 c N st 34 104849 676 2941 0 22222 8934 491136 no data no data -- 30.74/7.70 c S st 34 104849 676 2941 0 22222 8934 491136 no data no data -- 30.74/7.76 c S st 34 105352 676 2941 0 22725 8934 504295 no data no data -- 30.74/7.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 30.74/7.76 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 30.74/7.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 30.74/7.78 c bin-w-bin subsume rem 0 bins time: 0.00 s 30.74/7.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.74/7.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 30.74/7.79 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 35.94/9.03 c lits-rem: 200 cl-subs: 844 v-elim: 0 v-fix: 0 time: 4.97 s 35.94/9.03 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 35.94/9.04 c vivif2 -- cl tried 21881 cl shrink 0 lits rem 0 time: 0.02 35.94/9.06 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.08 35.94/9.06 c calculated reachability. Time: 0.00 35.94/9.06 c N st 34 105352 676 2941 0 21881 8934 473366 no data no data -- 39.52/9.94 c N st 35 114950 676 2941 0 17531 8934 315225 no data no data -- 44.72/11.23 c N st 36 129347 676 2941 0 16921 8934 282379 no data no data -- 52.71/13.27 c N st 37 150944 676 2941 0 22425 8934 436667 no data no data -- 55.51/13.97 c S st 38 158028 676 2941 0 29386 8934 654460 no data no data -- 55.92/14.04 c S st 38 158536 676 2941 0 29894 8934 668713 no data no data -- 55.92/14.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 55.92/14.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 55.92/14.05 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 55.92/14.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 55.92/14.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 55.92/14.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 55.92/14.07 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 63.90/16.03 c lits-rem: 238 cl-subs: 989 v-elim: 0 v-fix: 0 time: 7.85 s 63.90/16.03 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 63.90/16.04 c vivif2 -- cl tried 28905 cl shrink 0 lits rem 0 time: 0.03 63.90/16.07 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.10 63.90/16.07 c calculated reachability. Time: 0.00 63.90/16.07 c N st 38 158536 676 2941 0 28905 8934 634082 no data no data -- 86.27/21.60 c N st 39 207124 676 2941 0 23612 8934 422084 no data no data -- 101.05/25.32 c N st 40 237805 676 2941 0 34049 8934 680352 no data no data -- 101.05/25.32 c S st 40 237805 676 2941 0 34049 8934 680352 no data no data -- 101.45/25.42 c S st 40 238306 676 2941 0 34550 8934 694941 no data no data -- 101.45/25.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 101.45/25.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 101.45/25.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.06 101.45/25.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 101.45/25.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 101.45/25.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 101.45/25.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 110.23/27.69 c lits-rem: 423 cl-subs: 1775 v-elim: 0 v-fix: 0 time: 8.90 s 110.23/27.69 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 110.63/27.70 c vivif2 -- cl tried 32775 cl shrink 0 lits rem 0 time: 0.03 110.63/27.73 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.11 110.63/27.73 c calculated reachability. Time: 0.00 110.63/27.73 c N st 40 238306 676 2941 0 32775 8934 644749 no data no data -- 143.80/36.07 c F st 41 306251 676 2941 0 34783 8934 677800 no data no data -- 143.80/36.07 c N st 41 306251 676 2941 0 34783 8934 677800 no data no data -- 155.37/38.91 c N dy 84 327924 676 2941 0 32526 8934 510444 18.97 20.04 -- 167.36/41.95 c N dy 187 347961 676 2941 0 27642 8934 335113 19.22 20.28 -- 171.75/43.07 c S st 224 357459 676 2941 0 37057 8934 603218 19.17 no data -- 172.15/43.16 c S st 224 357962 676 2941 0 37560 8934 617844 19.17 no data -- 172.15/43.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 172.15/43.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 172.15/43.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.06 172.55/43.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 172.55/43.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 172.55/43.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 172.55/43.20 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 180.14/45.14 c lits-rem: 363 cl-subs: 448 v-elim: 0 v-fix: 0 time: 7.77 s 180.14/45.14 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 180.14/45.15 c vivif2 -- cl tried 37112 cl shrink 0 lits rem 0 time: 0.03 180.14/45.19 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.14 180.14/45.19 c calculated reachability. Time: 0.00 180.14/45.19 c N dy 224 357962 676 2941 0 37112 8934 603663 19.17 no data -- 192.54/48.25 c N dy 322 378267 676 2941 0 31466 8934 409621 19.29 20.31 -- 204.90/51.36 c N dy 400 398339 676 2941 0 51388 8934 976926 19.24 22.45 -- 217.29/54.42 c N dy 484 418354 676 2941 0 44459 8934 742937 19.25 20.40 -- 230.08/57.67 c N dy 570 438418 676 2941 0 36589 8934 498552 19.29 20.92 -- 244.46/61.28 c N dy 683 458495 676 2941 0 56516 8934 1071349 19.40 20.66 -- 256.43/64.24 c N dy 769 478870 676 2941 0 47948 8934 793740 19.41 20.77 -- 274.41/68.71 c N dy 828 505759 676 2941 0 44735 8934 654868 19.27 20.29 -- 289.59/72.56 c N dy 935 526183 676 2941 0 34317 8934 364644 19.34 20.36 -- 295.98/74.14 c S st 1001 536943 676 2941 0 45004 8934 671193 19.38 no data -- 296.38/74.25 c S st 1001 537444 676 2941 0 45504 8934 685214 19.38 no data -- 296.38/74.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 296.38/74.25 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 296.38/74.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.07 296.38/74.29 c bin-w-bin subsume rem 0 bins time: 0.00 s 296.38/74.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 296.38/74.29 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 296.38/74.29 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 305.57/76.58 c lits-rem: 648 cl-subs: 399 v-elim: 0 v-fix: 0 time: 9.14 s 305.57/76.58 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 305.57/76.59 c vivif2 -- cl tried 45105 cl shrink 0 lits rem 0 time: 0.03 305.97/76.63 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.18 305.97/76.63 c calculated reachability. Time: 0.00 305.97/76.63 c N dy 1001 537444 676 2941 0 45105 8934 671095 19.38 no data -- 322.35/80.70 c N dy 1088 558635 676 2941 0 34397 8934 339558 19.38 20.66 -- 335.53/84.05 c N dy 1160 578705 676 2941 0 54294 8934 906048 19.38 22.72 -- 349.52/87.54 c N dy 1188 598748 676 2941 0 41418 8934 509775 19.27 22.83 -- 365.49/91.56 c N dy 1297 618825 676 2941 0 61329 8934 1083523 19.32 22.81 -- 380.27/95.24 c N dy 1379 639710 676 2941 0 48349 8934 691622 19.31 20.34 -- 397.45/99.54 c N dy 1432 659774 676 2941 0 68214 8934 1265390 19.27 20.37 -- 411.85/103.18 c N dy 1550 679778 676 2941 0 53410 8934 817546 19.33 22.65 -- 431.00/107.94 c N dy 1634 699892 676 2941 0 37664 8934 337407 19.33 20.42 -- 445.38/111.52 c N dy 1717 720078 676 2941 0 57663 8934 911848 19.34 20.57 -- 463.76/116.19 c N dy 1792 740085 676 2941 0 40807 8934 403252 19.34 23.55 -- 479.34/120.00 c N dy 1872 760499 676 2941 0 61019 8934 978835 19.34 20.36 -- 498.52/124.89 c N dy 1974 780926 676 2941 0 43620 8934 461139 19.36 20.41 -- 520.09/130.28 c N dy 2086 806168 676 2941 0 68620 8934 1183804 19.38 16.17 -- 520.09/130.28 c S st 2086 806168 676 2941 0 68620 8934 1183804 19.38 16.17 -- 520.89/130.47 c S st 2086 806671 676 2941 0 69122 8934 1198432 19.38 no data -- 520.89/130.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 520.89/130.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 521.29/130.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.13 521.29/130.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 521.29/130.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 521.29/130.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 521.29/130.55 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 528.48/132.39 c lits-rem: 198 cl-subs: 1111 v-elim: 0 v-fix: 0 time: 7.36 s 528.48/132.39 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 528.87/132.41 c vivif2 -- cl tried 68011 cl shrink 0 lits rem 0 time: 0.06 528.87/132.49 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.34 528.87/132.49 c calculated reachability. Time: 0.00 528.87/132.49 c N dy 2086 806671 676 2941 0 68011 8934 1163864 19.38 no data -- 546.85/136.97 c N dy 2193 826680 676 2941 0 49232 8934 610680 19.41 22.15 -- 564.83/141.40 c N dy 2278 846752 676 2941 0 69150 8934 1181968 19.41 21.00 -- 584.80/146.49 c N dy 2384 867801 676 2941 0 50365 8934 611210 19.43 20.51 -- 603.98/151.28 c N dy 2493 888380 676 2941 0 70794 8934 1207519 19.45 20.57 -- 623.55/156.12 c N dy 2601 908720 676 2941 0 50296 8934 587358 19.48 20.51 -- 641.92/160.76 c N dy 2710 928795 676 2941 0 70215 8934 1163980 19.49 22.49 -- 663.10/166.00 c N dy 2804 948814 676 2941 0 48404 8934 503580 19.50 21.64 -- 680.67/170.43 c N dy 2895 969141 676 2941 0 68553 8934 1084913 19.51 20.87 -- 703.44/176.19 c N dy 2984 989221 676 2941 0 45784 8934 406274 19.52 20.91 -- 720.21/180.30 c N dy 3067 1009284 676 2941 0 65671 8934 979264 19.52 20.63 -- 746.20/186.84 c N dy 3140 1031679 676 2941 0 44243 8934 341144 19.51 20.70 -- 762.97/191.04 c N dy 3250 1052097 676 2941 0 64472 8934 927056 19.53 20.89 -- 785.35/196.65 c F st 3329 1071875 676 2941 0 84085 8934 1497403 19.53 no data -- 785.76/196.74 c N st 3330 1072126 676 2941 0 84334 8934 1504286 19.53 no data -- 804.11/201.30 c N dy 3407 1092480 676 2941 0 59934 8934 776396 19.53 20.66 -- 830.07/207.82 c N dy 3514 1116082 676 2941 0 83330 8934 1448818 19.54 20.62 -- 850.45/212.90 c N dy 3577 1136425 676 2941 0 57888 8934 690700 19.53 20.89 -- 871.22/218.15 c N dy 3670 1156509 676 2941 0 77813 8934 1266378 19.54 20.61 -- 896.78/224.53 c N dy 3779 1176687 676 2941 0 51232 8934 474070 19.55 20.61 -- 916.36/229.42 c N dy 3879 1196890 676 2941 0 71262 8934 1054180 19.57 20.61 -- 933.13/233.61 c S st 3928 1210007 676 2941 0 84253 8934 1424240 19.56 18.46 -- 933.93/233.85 c S st 3928 1210510 676 2941 0 84756 8934 1438770 19.56 no data -- 933.93/233.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 933.93/233.86 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 934.33/233.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.16 934.33/233.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 934.33/233.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 934.33/233.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 934.33/233.95 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 943.54/236.28 c lits-rem: 537 cl-subs: 1411 v-elim: 0 v-fix: 0 time: 9.32 s 943.54/236.28 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 943.54/236.30 c vivif2 -- cl tried 83345 cl shrink 0 lits rem 0 time: 0.07 944.32/236.42 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.48 944.32/236.42 c calculated reachability. Time: 0.00 944.32/236.42 c N dy 3928 1210510 676 2941 0 83345 8934 1394131 19.56 no data -- 968.29/242.49 c N dy 4021 1231663 676 2941 0 56731 8934 615486 19.57 20.81 -- 989.46/247.74 c N dy 4114 1252463 676 2941 0 77350 8934 1211883 19.57 20.67 -- 1056.97/264.65 c N dy 4140 1314408 676 2941 0 89943 8934 1527018 19.36 20.48 -- 1080.94/270.62 c N dy 4259 1334779 676 2941 0 60704 8934 687415 19.38 20.51 -- 1103.30/276.24 c N dy 4354 1355407 676 2941 0 81157 8934 1282325 19.39 20.56 -- 1132.07/283.50 c N dy 4462 1375412 676 2941 0 100991 8934 1861980 19.40 20.48 -- 1150.07/287.94 c N dy 4562 1395488 676 2941 0 70401 8934 954113 19.41 22.55 -- 1176.43/294.53 c N dy 4685 1415637 676 2941 0 90389 8934 1529667 19.42 20.94 -- 1204.37/301.57 c N dy 4822 1437047 676 2941 0 60095 8934 621756 19.45 20.51 -- 1226.74/307.12 c N dy 4945 1457123 676 2941 0 80006 8934 1210021 19.47 20.54 -- 1255.52/314.31 c N dy 5043 1477201 676 2941 0 99889 8934 1783928 19.47 20.57 -- 1277.89/319.92 c N dy 5162 1497221 676 2941 0 67190 8934 811351 19.49 22.68 -- 1302.65/326.15 c N dy 5278 1517252 676 2941 0 87038 8934 1388179 19.50 22.68 -- 1334.62/334.15 c N dy 5394 1537322 676 2941 0 106959 8934 1977358 19.52 24.83 -- 1354.18/339.04 c N dy 5487 1557494 676 2941 0 73436 8934 967187 19.52 20.67 -- 1381.74/345.91 c N dy 5615 1577577 676 2941 0 93372 8934 1550144 19.54 20.62 -- 1414.11/354.02 c N dy 5704 1600114 676 2941 0 61137 8934 578476 19.54 21.11 -- 1441.25/360.89 c N dy 5812 1624890 676 2941 0 85688 8934 1288198 19.54 20.65 -- 1477.21/369.88 c N dy 5915 1648138 676 2941 0 108733 8934 1957945 19.55 20.58 -- 1499.18/375.31 c N dy 6018 1668176 676 2941 0 73072 8934 903050 19.56 20.67 -- 1525.15/381.86 c N dy 6118 1688181 676 2941 0 92897 8934 1477526 19.56 20.90 -- 1559.12/390.34 c N dy 6215 1708249 676 2941 0 112811 8934 2071007 19.57 20.95 -- 1561.50/390.99 c S st 6233 1710510 676 2941 0 58564 8934 465767 19.57 no data -- 1562.30/391.14 c S st 6233 1711013 676 2941 0 59067 8934 479736 19.57 no data -- 1562.30/391.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1562.30/391.14 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1562.30/391.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.09 1562.30/391.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 1562.30/391.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1562.30/391.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 1562.30/391.18 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1569.88/393.07 c lits-rem: 215 cl-subs: 69 v-elim: 0 v-fix: 0 time: 7.54 s 1569.88/393.07 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 1569.88/393.08 c vivif2 -- cl tried 58998 cl shrink 0 lits rem 0 time: 0.03 1570.28/393.15 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.26 1570.28/393.15 c calculated reachability. Time: 0.00 1570.28/393.15 c N dy 6233 1711013 676 2941 0 58998 8934 477086 19.57 no data -- 1591.85/398.54 c N dy 6328 1731048 676 2941 0 78832 8934 1050837 19.58 20.71 -- 1621.42/405.90 c N dy 6413 1752118 676 2941 0 99703 8934 1661769 19.58 20.64 -- 1660.19/415.68 c N dy 6499 1772217 676 2941 0 62155 8934 550191 19.59 21.83 -- 1684.54/421.72 c N dy 6591 1792421 676 2941 0 82154 8934 1129886 19.59 20.69 -- 1714.49/429.29 c N dy 6717 1812609 676 2941 0 102188 8934 1722461 19.61 20.68 -- 1746.85/437.38 c N dy 6832 1832638 676 2941 0 63549 8934 565573 19.62 20.94 -- 1769.64/443.07 c N dy 6906 1853550 676 2941 0 84233 8934 1153444 19.62 20.71 -- 1800.40/450.79 c N dy 7009 1874091 676 2941 0 104557 8934 1745567 19.62 20.68 -- 1833.53/459.03 c N dy 7114 1894129 676 2941 0 64980 8934 585387 19.63 22.04 -- 1856.30/464.75 c N dy 7211 1914288 676 2941 0 84961 8934 1169684 19.64 20.80 -- 1886.27/472.20 c N dy 7285 1934400 676 2941 0 104849 8934 1745136 19.64 20.75 -- 1916.62/479.89 c N dy 7306 1955205 676 2941 0 64988 8934 560767 19.62 20.95 -- 1939.39/485.54 c N dy 7400 1975232 676 2941 0 84828 8934 1135566 19.62 20.81 -- 1970.15/493.28 c N dy 7516 1995271 676 2941 0 104681 8934 1716020 19.63 20.68 -- 2004.11/501.75 c N dy 7541 2015841 676 2941 0 63607 8934 497388 19.62 20.66 -- 2025.28/507.08 c N dy 7594 2036129 676 2941 0 83643 8934 1074515 19.61 20.79 -- 2056.03/514.71 c N dy 7717 2056137 676 2941 0 103459 8934 1654521 19.62 21.40 -- 2094.39/524.31 c N dy 7837 2076291 676 2941 0 123470 8934 2236528 19.63 20.67 -- 2116.36/529.83 c N dy 7890 2096374 676 2941 0 81013 8934 989918 19.62 22.90 -- 2145.52/537.14 c N dy 7999 2116411 676 2941 0 100874 8934 1575520 19.63 21.02 -- 2184.66/546.92 c N dy 8121 2136567 676 2941 0 120866 8934 2165869 19.65 20.69 -- 2226.22/557.30 c N dy 8152 2169464 676 2941 0 90066 8934 1253926 19.61 20.70 -- 2259.76/565.80 c N dy 8281 2189727 676 2941 0 110181 8934 1851779 19.62 20.92 -- 2302.11/576.32 c N dy 8411 2210009 676 2941 0 65882 8934 500223 19.64 20.83 -- 2302.91/576.57 c S st 8420 2211015 676 2941 0 66884 8934 530576 19.64 no data -- 2303.71/576.74 c S st 8420 2211518 676 2941 0 67385 8934 545529 19.64 no data -- 2303.71/576.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2303.71/576.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2303.71/576.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.11 2303.71/576.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 2303.71/576.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2303.71/576.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 2303.71/576.79 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2314.91/579.58 c lits-rem: 149 cl-subs: 62 v-elim: 0 v-fix: 0 time: 11.16 s 2314.91/579.58 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 2314.91/579.59 c vivif2 -- cl tried 67323 cl shrink 0 lits rem 0 time: 0.04 2315.29/579.69 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.38 2315.29/579.69 c calculated reachability. Time: 0.00 2315.29/579.69 c N dy 8420 2211518 676 2941 0 67323 8934 543291 19.64 no data -- 2342.86/586.54 c N dy 8532 2232027 676 2941 0 87651 8934 1137216 19.65 20.71 -- 2374.82/594.50 c N dy 8638 2252093 676 2941 0 107545 8934 1720208 19.66 23.59 -- 2415.16/604.68 c N dy 8756 2272239 676 2941 0 127514 8934 2304605 19.67 20.95 -- 2442.72/611.59 c N dy 8857 2293620 676 2941 0 83294 8934 982275 19.67 20.82 -- 2472.29/618.97 c N dy 8957 2313715 676 2941 0 103178 8934 1565084 19.68 24.06 -- 2510.63/628.55 c N dy 9069 2334322 676 2941 0 123600 8934 2165334 19.69 20.74 -- 2540.59/636.01 c N dy 9136 2354357 676 2941 0 77064 8934 782773 19.69 22.73 -- 2567.76/642.81 c N dy 9229 2374365 676 2941 0 96868 8934 1359345 19.69 20.78 -- 2601.71/651.35 c N dy 9306 2394461 676 2941 0 116735 8934 1929704 19.69 20.80 -- 2642.46/661.57 c N dy 9375 2417251 676 2941 0 71954 8934 602338 19.69 20.78 -- 2666.82/667.61 c N dy 9456 2437302 676 2941 0 91794 8934 1175736 19.69 21.31 -- 2698.78/675.62 c N dy 9550 2457468 676 2941 0 111765 8934 1762362 19.69 20.87 -- 2740.32/686.02 c N dy 9644 2477512 676 2941 0 131610 8934 2340558 19.70 23.70 -- 2769.09/693.29 c N dy 9761 2497561 676 2941 0 83189 8934 917370 19.70 21.21 -- 2798.65/700.64 c N dy 9854 2517639 676 2941 0 103069 8934 1498515 19.71 20.80 -- 2836.20/710.09 c N dy 9927 2538950 676 2941 0 124148 8934 2103534 19.71 20.98 -- 2874.15/719.54 c N dy 9990 2559996 676 2941 0 75670 8934 669708 19.70 20.89 -- 2901.31/726.30 c N dy 10096 2580582 676 2941 0 96058 8934 1267927 19.71 20.87 -- 2933.67/734.49 c N dy 10183 2600678 676 2941 0 115948 8934 1851785 19.71 20.81 -- 2974.81/744.72 c N dy 10247 2620701 676 2941 0 135718 8934 2414338 19.71 22.57 -- 3005.17/752.35 c N dy 10341 2641485 676 2941 0 85985 8934 949334 19.71 20.95 -- 3033.94/759.52 c N dy 10408 2661507 676 2941 0 105781 8934 1520453 19.70 21.23 -- 3071.09/768.85 c N dy 10447 2681822 676 2941 0 125836 8934 2090499 19.69 20.74 -- 3114.25/779.69 c N dy 10560 2702195 676 2941 0 74814 8934 602554 19.70 20.78 -- 3126.22/782.66 c S st 10622 2711518 676 2941 0 84051 8934 875175 19.70 no data -- 3127.02/782.90 c S st 10622 2712019 676 2941 0 84552 8934 889457 19.70 no data -- 3127.44/782.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3127.44/782.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3127.44/782.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.17 3127.44/782.98 c bin-w-bin subsume rem 0 bins time: 0.00 s 3127.44/782.98 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3127.44/782.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 3127.44/782.98 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3141.38/786.45 c lits-rem: 631 cl-subs: 441 v-elim: 0 v-fix: 0 time: 13.87 s 3141.38/786.45 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 3141.38/786.47 c vivif2 -- cl tried 84111 cl shrink 0 lits rem 0 time: 0.05 3141.78/786.57 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.41 3141.78/786.57 c calculated reachability. Time: 0.00 3141.78/786.57 c N dy 10622 2712019 676 2941 0 84111 8934 875002 19.70 no data -- 3170.96/793.83 c N dy 10683 2732119 676 2941 0 103985 8934 1445332 19.70 24.16 -- 3210.10/803.63 c N dy 10820 2752193 676 2941 0 123922 8934 2039269 19.71 21.99 -- 3257.23/815.49 c N dy 10885 2774567 676 2941 0 73771 8934 548045 19.70 20.91 -- 3282.80/821.86 c N dy 10990 2794632 676 2941 0 93642 8934 1135759 19.71 21.33 -- 3318.76/830.85 c N dy 11114 2816183 676 2941 0 115007 8934 1767366 19.72 20.88 -- 3363.10/841.92 c N dy 11253 2836708 676 2941 0 135377 8934 2368846 19.73 20.83 -- 3402.24/851.78 c N dy 11388 2856737 676 2941 0 81960 8934 773923 19.74 24.93 -- 3430.61/858.86 c N dy 11479 2876760 676 2941 0 101724 8934 1352830 19.74 22.05 -- 3468.95/868.42 c N dy 11588 2897374 676 2941 0 122143 8934 1948847 19.75 20.91 -- 3514.10/879.78 c N dy 11665 2918456 676 2941 0 142965 8934 2553545 19.75 20.81 -- 3544.44/887.33 c N dy 11718 2938500 676 2941 0 88531 8934 921713 19.75 21.12 -- 3575.62/895.11 c N dy 11818 2958610 676 2941 0 108474 8934 1510886 19.75 20.93 -- 3612.75/904.42 c N dy 11869 2978666 676 2941 0 128250 8934 2072848 19.74 22.38 -- 3658.70/915.98 c N dy 11965 2998759 676 2941 0 148143 8934 2645955 19.75 20.83 -- 3687.85/923.25 c N dy 12066 3018901 676 2941 0 92941 8934 1040827 19.75 20.92 -- 3721.40/931.66 c N dy 12140 3040077 676 2941 0 113825 8934 1637805 19.75 20.85 -- 3767.75/943.29 c N dy 12261 3061951 676 2941 0 135503 8934 2274047 19.76 20.92 -- 3812.49/954.45 c N dy 12339 3082047 676 2941 0 79214 8934 618688 19.76 21.08 -- 3839.66/961.23 c N dy 12431 3102097 676 2941 0 99046 8934 1194168 19.76 20.90 -- 3878.82/971.04 c N dy 12553 3122411 676 2941 0 119179 8934 1788166 19.77 20.81 -- 3933.52/984.78 c N dy 12666 3142434 676 2941 0 139008 8934 2376139 19.78 26.60 -- 3981.86/996.87 c N dy 12773 3162865 676 2941 0 82016 8934 676611 19.78 21.02 -- 4012.62/1004.56 c N dy 12844 3186276 676 2941 0 105162 8934 1346261 19.78 20.96 -- 4052.57/1014.50 c N dy 12917 3208680 676 2941 0 127335 8934 1996493 19.78 21.01 -- 4060.55/1016.57 c S st 12941 3212019 676 2941 0 130656 8934 2098429 19.78 20.75 -- 4062.55/1017.04 c S st 12941 3212519 676 2941 0 131156 8934 2112180 19.78 no data -- 4062.55/1017.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4062.55/1017.05 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4062.95/1017.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.31 4063.37/1017.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 4063.37/1017.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4063.37/1017.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 676 time: 0.00 s 4063.37/1017.21 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4092.51/1024.51 c lits-rem: 199 cl-subs: 2748 v-elim: 0 v-fix: 0 time: 29.19 s 4092.51/1024.52 c vivif2 -- cl tried 2941 cl shrink 0 lits rem 0 time: 0.00 4092.51/1024.54 c vivif2 -- cl tried 128408 cl shrink 0 lits rem 0 time: 0.11 4093.31/1024.74 c asymm cl-useful: 0/2941/2941 lits-rem:0 time: 0.79 4093.31/1024.74 c calculated reachability. Time: 0.00 4093.31/1024.74 c N dy 12941 3212519 676 2941 0 128408 8934 2031184 19.78 no data -- 4139.24/1036.28 c N dy 13032 3232853 676 2941 0 148506 8934 2617371 19.78 20.86 -- 4175.20/1045.24 c N dy 13108 3252952 676 2941 0 90228 8934 904464 19.78 20.84 -- 4207.16/1053.25 c N dy 13213 3273024 676 2941 0 110100 8934 1488301 19.79 21.11 -- 4246.30/1063.08 c N dy 13268 3293577 676 2941 0 130422 8934 2069957 19.78 20.85 -- 4296.66/1075.61 c N dy 13357 3315180 676 2941 0 151783 8934 2693419 19.78 21.08 -- 4334.59/1085.19 c N dy 13442 3336681 676 2941 0 93932 8934 980875 19.78 20.85 -- 4366.97/1093.25 c N dy 13506 3357399 676 2941 0 114376 8934 1564457 19.78 21.12 -- 4408.08/1103.59 c N dy 13542 3379243 676 2941 0 135860 8934 2166372 19.77 20.85 -- 4460.42/1116.65 c N dy 13659 3399826 676 2941 0 156262 8934 2770334 19.78 20.91 -- 4495.57/1125.47 c N dy 13748 3421692 676 2941 0 97759 8934 1056042 19.78 20.82 -- 4529.15/1133.89 c N dy 13845 3441705 676 2941 0 117570 8934 1633104 19.78 22.82 -- 4573.86/1145.04 c N dy 13951 3462411 676 2941 0 138072 8934 2227830 19.79 20.88 -- 4626.21/1158.17 c N dy 14057 3482799 676 2941 0 158276 8934 2822133 19.79 21.17 -- 4663.75/1167.56 c N dy 14143 3506413 676 2941 0 100506 8934 1119257 19.79 20.84 -- 4699.70/1176.53 c N dy 14261 3526512 676 2941 0 120435 8934 1711403 19.80 20.94 -- 4753.25/1189.97 c N dy 14354 3549573 676 2941 0 143263 8934 2387059 19.80 20.91 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175359-1304120809/watcher-3175359-1304120809 -o /tmp/evaluation-result-3175359-1304120809/solver-3175359-1304120809 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175359-1304120809.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.36 7.90 7.72 5/176 27879 /proc/meminfo: memFree=29690732/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 602311545 52465664 353 33554432000 4194304 4650419 140733688812416 18446744073709551615 47286459553704 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 12809 353 303 112 0 7774 0 [pid=27879/tid=27883] ppid=27875 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 602311545 52465664 353 33554432000 4194304 4650419 140733688812416 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 602311545 52465664 353 33554432000 4194304 4650419 140733688812416 18446744073709551615 47286459553714 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 602311545 52465664 353 33554432000 4194304 4650419 140733688812416 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.906499 s] /proc/loadavg: 7.36 7.90 7.72 5/176 27879 /proc/meminfo: memFree=29690732/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=285972 CPUtime=3.59 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 6253 0 0 0 359 0 0 0 21 0 4 0 602311545 292835328 3020 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 71493 3021 393 112 0 66458 0 [pid=27879/tid=27883] ppid=27875 vsize=285972 CPUtime=0.89 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1464 0 0 0 89 0 0 0 19 0 4 0 602311545 292835328 3021 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=285972 CPUtime=0.9 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1584 0 0 0 90 0 0 0 21 0 4 0 602311545 292835328 3021 33554432000 4194304 4650419 140733688812416 18446744073709551615 4334468 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=285972 CPUtime=0.89 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1300 0 0 0 89 0 0 0 23 0 4 0 602311545 292835328 3021 33554432000 4194304 4650419 140733688812416 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.59 Current children cumulated vsize (KiB) 285972 [startup+1.00048 s] /proc/loadavg: 7.36 7.90 7.72 5/176 27879 /proc/meminfo: memFree=29690732/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=285972 CPUtime=3.97 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 6499 0 0 0 397 0 0 0 21 0 4 0 602311545 292835328 3266 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 71493 3266 393 112 0 66458 0 [pid=27879/tid=27883] ppid=27875 vsize=285972 CPUtime=0.99 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1516 0 0 0 99 0 0 0 19 0 4 0 602311545 292835328 3266 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=285972 CPUtime=0.99 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1642 0 0 0 99 0 0 0 21 0 4 0 602311545 292835328 3266 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=285972 CPUtime=0.99 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1357 0 0 0 99 0 0 0 23 0 4 0 602311545 292835328 3266 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 285972 [startup+1.10046 s] /proc/loadavg: 7.36 7.90 7.72 5/176 27879 /proc/meminfo: memFree=29690732/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=286136 CPUtime=4.37 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 6731 0 0 0 437 0 0 0 22 0 4 0 602311545 293003264 3498 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 71534 3498 393 112 0 66499 0 [pid=27879/tid=27883] ppid=27875 vsize=286136 CPUtime=1.09 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1572 0 0 0 109 0 0 0 19 0 4 0 602311545 293003264 3500 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=286136 CPUtime=1.09 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1693 0 0 0 109 0 0 0 21 0 4 0 602311545 293003264 3500 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=286136 CPUtime=1.09 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1427 0 0 0 109 0 0 0 25 0 4 0 602311545 293003264 3500 33554432000 4194304 4650419 140733688812416 18446744073709551615 256415416215 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.37 Current children cumulated vsize (KiB) 286136 [startup+1.20045 s] /proc/loadavg: 7.36 7.90 7.72 5/176 27879 /proc/meminfo: memFree=29690732/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=286196 CPUtime=4.77 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 7169 0 0 0 477 0 0 0 22 0 4 0 602311545 293064704 3587 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 71549 3587 394 112 0 66514 0 [pid=27879/tid=27883] ppid=27875 vsize=286196 CPUtime=1.19 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1648 0 0 0 119 0 0 0 19 0 4 0 602311545 293064704 3587 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=286196 CPUtime=1.19 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1739 0 0 0 119 0 0 0 22 0 4 0 602311545 293064704 3587 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=286196 CPUtime=1.19 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1652 0 0 0 119 0 0 0 25 0 4 0 602311545 293064704 3587 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.77 Current children cumulated vsize (KiB) 286196 [startup+1.50039 s] /proc/loadavg: 7.36 7.90 7.72 5/176 27879 /proc/meminfo: memFree=29690732/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=287800 CPUtime=5.98 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 10075 0 0 0 597 1 0 0 24 0 4 0 602311545 294707200 5261 33554432000 4194304 4650419 140733688812416 18446744073709551615 4439455 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 71950 5261 395 112 0 66915 0 [pid=27879/tid=27883] ppid=27875 vsize=287800 CPUtime=1.49 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 2045 0 0 0 149 0 0 0 20 0 4 0 602311545 294707200 5261 33554432000 4194304 4650419 140733688812416 18446744073709551615 4229477 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=287800 CPUtime=1.49 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 2166 0 0 0 149 0 0 0 23 0 4 0 602311545 294707200 5261 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=287800 CPUtime=1.49 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 1820 0 0 0 149 0 0 0 25 0 4 0 602311545 294707200 5261 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.98 Current children cumulated vsize (KiB) 287800 [startup+3.10708 s] /proc/loadavg: 7.41 7.90 7.72 9/184 27887 /proc/meminfo: memFree=29610936/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=283064 CPUtime=12.39 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 18574 0 0 0 1237 2 0 0 25 0 4 0 602311545 289857536 10680 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 70766 10680 395 112 0 65731 0 [pid=27879/tid=27883] ppid=27875 vsize=283064 CPUtime=3.08 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 4283 0 0 0 308 0 0 0 25 0 4 0 602311545 289857536 10680 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=283064 CPUtime=3.09 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 4397 0 0 0 309 0 0 0 25 0 4 0 602311545 289857536 10680 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=283064 CPUtime=3.09 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 4677 0 0 0 309 0 0 0 25 0 4 0 602311545 289857536 10680 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.39 Current children cumulated vsize (KiB) 283064 [startup+6.30049 s] /proc/loadavg: 7.41 7.90 7.72 9/184 27887 /proc/meminfo: memFree=29578956/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=282784 CPUtime=25.17 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 26526 0 0 0 2513 4 0 0 25 0 4 0 602311545 289570816 14943 33554432000 4194304 4650419 140733688812416 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 70696 14943 395 112 0 65661 0 [pid=27879/tid=27883] ppid=27875 vsize=282784 CPUtime=6.26 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 6646 0 0 0 626 0 0 0 25 0 4 0 602311545 289570816 14943 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=282784 CPUtime=6.29 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 5982 0 0 0 628 1 0 0 25 0 4 0 602311545 289570816 14943 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=282784 CPUtime=6.29 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 6796 0 0 0 629 0 0 0 25 0 4 0 602311545 289570816 14943 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.17 Current children cumulated vsize (KiB) 282784 [startup+12.7003 s] /proc/loadavg: 7.50 7.91 7.72 9/184 27888 /proc/meminfo: memFree=29534136/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=283612 CPUtime=50.72 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 39905 0 0 0 5063 9 0 0 25 0 4 0 602311545 290418688 23238 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 70903 23238 395 112 0 65868 0 [pid=27879/tid=27883] ppid=27875 vsize=283612 CPUtime=12.62 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 10089 0 0 0 1261 1 0 0 25 0 4 0 602311545 290418688 23238 33554432000 4194304 4650419 140733688812416 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=283612 CPUtime=12.68 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 9161 0 0 0 1266 2 0 0 25 0 4 0 602311545 290418688 23238 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=283612 CPUtime=12.68 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 9940 0 0 0 1267 1 0 0 25 0 4 0 602311545 290418688 23238 33554432000 4194304 4650419 140733688812416 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 283612 [startup+25.5009 s] /proc/loadavg: 7.58 7.91 7.73 9/184 27888 /proc/meminfo: memFree=29463440/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=309036 CPUtime=101.84 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 63474 0 0 0 10169 15 0 0 25 0 4 0 602311545 316452864 31424 33554432000 4194304 4650419 140733688812416 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 77259 31424 395 112 0 72224 0 [pid=27879/tid=27883] ppid=27875 vsize=309036 CPUtime=25.35 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 15950 0 0 0 2532 3 0 0 25 0 4 0 602311545 316452864 31424 33554432000 4194304 4650419 140733688812416 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=309036 CPUtime=25.48 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 16316 0 0 0 2544 4 0 0 25 0 4 0 602311545 316452864 31424 33554432000 4194304 4650419 140733688812416 18446744073709551615 4331159 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=309036 CPUtime=25.48 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 13667 0 0 0 2546 2 0 0 25 0 4 0 602311545 316452864 31424 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 309036 [startup+51.101 s] /proc/loadavg: 7.72 7.92 7.73 9/184 27889 /proc/meminfo: memFree=29399456/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=384932 CPUtime=204.11 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 89069 0 0 0 20387 24 0 0 25 0 4 0 602311545 394170368 39709 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 96233 39709 395 112 0 91198 0 [pid=27879/tid=27883] ppid=27875 vsize=384932 CPUtime=50.82 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 23345 0 0 0 5076 6 0 0 25 0 4 0 602311545 394170368 39709 33554432000 4194304 4650419 140733688812416 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=384932 CPUtime=51.08 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 25201 0 0 0 5100 8 0 0 25 0 4 0 602311545 394170368 39709 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=384932 CPUtime=51.09 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 17992 0 0 0 5105 4 0 0 25 0 4 0 602311545 394170368 39709 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.11 Current children cumulated vsize (KiB) 384932 [startup+102.3 s] /proc/loadavg: 7.89 7.93 7.74 9/184 27890 /proc/meminfo: memFree=29341004/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=431120 CPUtime=408.63 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 126166 0 0 0 40824 39 0 0 25 0 4 0 602311545 441466880 46314 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 107780 46314 395 112 0 102745 0 [pid=27879/tid=27883] ppid=27875 vsize=431120 CPUtime=101.73 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 29640 0 0 0 10165 8 0 0 25 0 4 0 602311545 441466880 46314 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=431120 CPUtime=102.28 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 36820 0 0 0 10216 12 0 0 25 0 4 0 602311545 441466880 46314 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=431120 CPUtime=102.29 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 24778 0 0 0 10222 7 0 0 25 0 4 0 602311545 441466880 46314 33554432000 4194304 4650419 140733688812416 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.63 Current children cumulated vsize (KiB) 431120 [startup+162.301 s] ################ # More data... # ################ [pid=27879] ppid=27875 vsize=626116 CPUtime=2565.76 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 320104 0 0 0 256445 131 0 0 25 0 4 0 602311545 641142784 91570 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 156529 91570 395 112 0 151494 0 [pid=27879/tid=27883] ppid=27875 vsize=626116 CPUtime=638.81 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 77405 0 0 0 63851 30 0 0 25 0 4 0 602311545 641142784 91570 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=626116 CPUtime=642.3 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 104977 0 0 0 64184 46 0 0 25 0 4 0 602311545 641142784 91570 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=626116 CPUtime=642.31 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 63317 0 0 0 64206 25 0 0 25 0 4 0 602311545 641142784 91570 33554432000 4194304 4650419 140733688812416 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2565.76 Current children cumulated vsize (KiB) 626116 [startup+702.3 s] /proc/loadavg: 8.10 8.05 7.88 9/184 27906 /proc/meminfo: memFree=28937944/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=626284 CPUtime=2805.44 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 333936 0 0 0 280405 139 0 0 25 0 4 0 602311545 641314816 95716 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 156571 95716 395 112 0 151536 0 [pid=27879/tid=27883] ppid=27875 vsize=626284 CPUtime=698.48 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 83283 0 0 0 69814 34 0 0 25 0 4 0 602311545 641314816 95716 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=626284 CPUtime=702.3 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 110111 0 0 0 70182 48 0 0 25 0 4 0 602311545 641314816 95716 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=626284 CPUtime=702.31 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 66131 0 0 0 70204 27 0 0 25 0 4 0 602311545 641314816 95716 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.44 Current children cumulated vsize (KiB) 626284 [startup+762.301 s] /proc/loadavg: 8.11 8.06 7.89 9/184 27908 /proc/meminfo: memFree=28915712/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=626668 CPUtime=3045.12 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 349307 0 0 0 304362 150 0 0 25 0 4 0 602311545 641708032 98351 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 156667 98352 395 112 0 151632 0 [pid=27879/tid=27883] ppid=27875 vsize=626668 CPUtime=758.16 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 86206 0 0 0 75780 36 0 0 25 0 4 0 602311545 641708032 98352 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=626668 CPUtime=762.3 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 117550 0 0 0 76176 54 0 0 25 0 4 0 602311545 641708032 98352 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=626668 CPUtime=762.31 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 66158 0 0 0 76204 27 0 0 25 0 4 0 602311545 641708032 98352 33554432000 4194304 4650419 140733688812416 18446744073709551615 256415416215 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3045.12 Current children cumulated vsize (KiB) 626668 [startup+822.301 s] /proc/loadavg: 8.19 8.10 7.91 9/184 27909 /proc/meminfo: memFree=28927076/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=676952 CPUtime=3284.8 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 360838 0 0 0 328323 157 0 0 25 0 4 0 602311545 693198848 96168 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 169238 96168 395 112 0 164203 0 [pid=27879/tid=27883] ppid=27875 vsize=676952 CPUtime=817.84 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 87548 0 0 0 81747 37 0 0 25 0 4 0 602311545 693198848 96168 33554432000 4194304 4650419 140733688812416 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=676952 CPUtime=822.3 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 119992 0 0 0 82174 56 0 0 25 0 4 0 602311545 693198848 96168 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=676952 CPUtime=822.31 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 72571 0 0 0 82200 31 0 0 25 0 4 0 602311545 693198848 96168 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.8 Current children cumulated vsize (KiB) 676952 [startup+882.3 s] /proc/loadavg: 8.18 8.11 7.93 9/184 27920 /proc/meminfo: memFree=28889608/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=749560 CPUtime=3524.46 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 377032 0 0 0 352279 167 0 0 25 0 4 0 602311545 767549440 96157 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 187390 96157 395 112 0 182355 0 [pid=27879/tid=27883] ppid=27875 vsize=749560 CPUtime=877.51 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 90713 0 0 0 87712 39 0 0 25 0 4 0 602311545 767549440 96157 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=749560 CPUtime=882.3 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 127279 0 0 0 88170 60 0 0 25 0 4 0 602311545 767549440 96157 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=749560 CPUtime=882.3 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 78012 0 0 0 88196 34 0 0 25 0 4 0 602311545 767549440 96157 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.46 Current children cumulated vsize (KiB) 749560 [startup+942.301 s] /proc/loadavg: 8.18 8.12 7.94 9/184 27921 /proc/meminfo: memFree=28904928/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=651012 CPUtime=3764.16 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 394873 0 0 0 376238 178 0 0 25 0 4 0 602311545 666636288 94098 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 162753 94098 395 112 0 157718 0 [pid=27879/tid=27883] ppid=27875 vsize=651012 CPUtime=937.19 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 93424 0 0 0 93678 41 0 0 25 0 4 0 602311545 666636288 94098 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=651012 CPUtime=942.3 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 134414 0 0 0 94165 65 0 0 25 0 4 0 602311545 666636288 94098 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=651012 CPUtime=942.3 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 82848 0 0 0 94194 36 0 0 25 0 4 0 602311545 666636288 94098 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3764.16 Current children cumulated vsize (KiB) 651012 [startup+1002.3 s] /proc/loadavg: 8.22 8.14 7.95 9/184 27923 /proc/meminfo: memFree=28874748/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=668424 CPUtime=4003.83 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 413159 0 0 0 400195 188 0 0 25 0 4 0 602311545 684466176 95436 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 167106 95436 395 112 0 162071 0 [pid=27879/tid=27883] ppid=27875 vsize=668424 CPUtime=996.86 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 98504 0 0 0 99643 43 0 0 25 0 4 0 602311545 684466176 95436 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=668424 CPUtime=1002.3 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 138859 0 0 0 100163 67 0 0 25 0 4 0 602311545 684466176 95436 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=668424 CPUtime=1002.31 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 88184 0 0 0 100192 39 0 0 25 0 4 0 602311545 684466176 95436 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.83 Current children cumulated vsize (KiB) 668424 [startup+1062.3 s] /proc/loadavg: 8.26 8.16 7.97 9/184 27925 /proc/meminfo: memFree=28808720/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=758500 CPUtime=4243.53 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 444676 0 0 0 424153 200 0 0 25 0 4 0 602311545 776704000 115820 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 189625 115820 395 112 0 184590 0 [pid=27879/tid=27883] ppid=27875 vsize=758500 CPUtime=1056.54 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 105075 0 0 0 105607 47 0 0 25 0 4 0 602311545 776704000 115820 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=758500 CPUtime=1062.31 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 146792 0 0 0 106159 72 0 0 25 0 4 0 602311545 776704000 115820 33554432000 4194304 4650419 140733688812416 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=758500 CPUtime=1062.32 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 99285 0 0 0 106190 42 0 0 25 0 4 0 602311545 776704000 115820 33554432000 4194304 4650419 140733688812416 18446744073709551615 4328186 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.53 Current children cumulated vsize (KiB) 758500 [startup+1122.3 s] /proc/loadavg: 8.23 8.16 7.98 9/184 27926 /proc/meminfo: memFree=28770500/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=764632 CPUtime=4483.19 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 460378 0 0 0 448107 212 0 0 25 0 4 0 602311545 782983168 119066 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 191158 119066 395 112 0 186123 0 [pid=27879/tid=27883] ppid=27875 vsize=764632 CPUtime=1116.21 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 106687 0 0 0 111573 48 0 0 25 0 4 0 602311545 782983168 119066 33554432000 4194304 4650419 140733688812416 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=764632 CPUtime=1122.31 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 154236 0 0 0 112153 78 0 0 25 0 4 0 602311545 782983168 119066 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=764632 CPUtime=1122.31 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 104692 0 0 0 112187 44 0 0 25 0 4 0 602311545 782983168 119066 33554432000 4194304 4650419 140733688812416 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4483.19 Current children cumulated vsize (KiB) 764632 [startup+1182.31 s] /proc/loadavg: 8.21 8.16 7.99 9/184 27928 /proc/meminfo: memFree=28803200/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=703320 CPUtime=4722.89 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 475561 0 0 0 472068 221 0 0 25 0 4 0 602311545 720199680 115874 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 175830 115874 395 112 0 170795 0 [pid=27879/tid=27883] ppid=27875 vsize=703320 CPUtime=1175.89 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 112170 0 0 0 117538 51 0 0 25 0 4 0 602311545 720199680 115874 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=703320 CPUtime=1182.31 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 158950 0 0 0 118151 80 0 0 25 0 4 0 602311545 720199680 115874 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=703320 CPUtime=1182.32 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 109319 0 0 0 118184 48 0 0 25 0 4 0 602311545 720199680 115874 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.89 Current children cumulated vsize (KiB) 703320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.15 8.15 7.99 10/184 27928 /proc/meminfo: memFree=28778384/32950928 swapFree=67111364/67111528 [pid=27879] ppid=27875 vsize=751972 CPUtime=4800.39 cores=1,3,5,7 /proc/27879/stat : 27879 (strangenight1-m) R 27875 27879 27136 0 -1 4202496 480390 0 0 0 479815 224 0 0 25 0 4 0 602311545 770019328 118429 33554432000 4194304 4650419 140733688812416 18446744073709551615 4363845 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/27879/statm: 187993 118429 395 112 0 182958 0 [pid=27879/tid=27883] ppid=27875 vsize=751972 CPUtime=1195.18 cores=1,3,5,7 /proc/27879/task/27883/stat : 27883 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 113195 0 0 0 119466 52 0 0 25 0 4 0 602311545 770019328 118429 33554432000 4194304 4650419 140733688812416 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=27879/tid=27884] ppid=27875 vsize=751972 CPUtime=1201.72 cores=1,3,5,7 /proc/27879/task/27884/stat : 27884 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 161518 0 0 0 120091 81 0 0 25 0 4 0 602311545 770019328 118429 33554432000 4194304 4650419 140733688812416 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=27879/tid=27885] ppid=27875 vsize=751972 CPUtime=1201.72 cores=1,3,5,7 /proc/27879/task/27885/stat : 27885 (strangenight1-m) R 27875 27879 27136 0 -1 4202560 110079 0 0 0 120124 48 0 0 25 0 4 0 602311545 770019328 118429 33554432000 4194304 4650419 140733688812416 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.39 Current children cumulated vsize (KiB) 751972 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.73 CPU time (s): 4800.44 CPU user time (s): 4798.17 CPU system time (s): 2.26266 CPU usage (%): 399.459 Max. virtual memory (cumulated for all children) (KiB): 866748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.17 system time used= 2.26266 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 480391 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= 642 involuntary context switches= 22704 runsolver used 1.91771 second user time and 4.65929 second system time The end
Begin job on node115 at 2011-04-30 01:46:49 IDJOB=3175359 IDBENCH=82977 IDSOLVER=1588 FILE ID=node115/3175359-1304120809 RUNJOBID= node115-1304120809-27861 PBS_JOBID= 13170702 Free space on /tmp= 72732 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt 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-3175359-1304120809/watcher-3175359-1304120809 -o /tmp/evaluation-result-3175359-1304120809/solver-3175359-1304120809 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175359-1304120809.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 84ed72ef969365b45feb251988bfac3d RANDOM SEED=752647203 node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29691036 kB Buffers: 813636 kB Cached: 1956924 kB SwapCached: 0 kB Active: 177328 kB Inactive: 2656836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29691036 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 12520 kB Writeback: 0 kB AnonPages: 63356 kB Mapped: 14496 kB Slab: 362368 kB PageTables: 4880 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 188644 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= 72720 MiB End job on node115 at 2011-04-30 02:06:52