| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.25 | 1203.84 |
| Name | random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf |
| MD5SUM | 5aca76da937068f3a8e48a26305deff6 |
| 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-3368896-1305405532.cnf' 0.00/0.00 c -- header says num vars: 700 0.00/0.00 c -- header says num clauses: 2982 0.00/0.00 c -- clauses added: 0 learnts, 2982 normals, 0 xors 0.00/0.00 c -- vars added 700 0.00/0.00 c Parsing time: 0.01 s 0.00/0.00 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.00 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 3.17/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 27 v-fix: 0 time: 0.01 s 3.17/0.80 c Finding binary XORs T: 0.00 s found: 0 3.17/0.80 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 3.17/0.80 c calculated reachability. Time: 0.00 3.17/0.80 c Calc default polars - time: 0.00 s pos: 311 undec: 91 neg: 298 3.17/0.80 c ========================================================================================= 3.17/0.80 c types(t): F = full restart, N = normal restart 3.17/0.80 c types(t): S = simplification begin/end, E = solution found 3.17/0.80 c restart types(rt): st = static, dy = dynamic 3.17/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.17/0.80 c B st 0 0 673 2948 0 0 8990 0 no data no data -- 3.17/0.80 c Decided on static restart strategy 3.17/0.80 c N st 8 4913 673 2948 0 4872 8990 146427 no data no data -- 3.17/0.80 c N st 10 11296 673 2948 0 4508 8990 94649 no data no data -- 3.17/0.80 c N st 11 17039 673 2948 0 10195 8990 274974 no data no data -- 4.40/1.19 c F st 12 25001 673 2948 0 12469 8990 332236 no data no data -- 4.40/1.19 c N st 12 25001 673 2948 0 12469 8990 332236 no data no data -- 5.56/1.45 c Decided on static restart strategy 5.56/1.45 c N st 18 30000 673 2948 0 10744 8990 261124 no data no data -- 5.56/1.45 c S st 18 30000 673 2948 0 10744 8990 261124 no data no data -- 5.56/1.48 c S st 18 30506 673 2948 0 11249 8990 274876 no data no data -- 5.56/1.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.56/1.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 5.56/1.49 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 5.56/1.49 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 7.15/1.80 c lits-rem: 67 cl-subs: 248 v-elim: 0 v-fix: 0 time: 1.21 s 7.15/1.81 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.04 7.15/1.81 c calculated reachability. Time: 0.00 7.15/1.81 c N st 18 30506 673 2948 0 11001 8990 265608 no data no data -- 8.80/2.23 c N st 20 37621 673 2948 0 10265 8990 214273 no data no data -- 10.74/2.70 c N st 21 44020 673 2948 0 16563 8990 410813 no data no data -- 11.14/2.83 c S st 22 45760 673 2948 0 9469 8990 170035 no data no data -- 11.14/2.86 c S st 22 46263 673 2948 0 9972 8990 184000 no data no data -- 11.14/2.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 11.14/2.86 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 11.14/2.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 11.14/2.87 c bin-w-bin subsume rem 0 bins time: 0.00 s 11.14/2.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 11.14/2.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 11.14/2.87 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 11.94/3.03 c lits-rem: 38 cl-subs: 42 v-elim: 0 v-fix: 0 time: 0.66 s 11.94/3.03 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 11.94/3.03 c vivif2 -- cl tried 9930 cl shrink 0 lits rem 0 time: 0.01 11.94/3.04 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.03 11.94/3.04 c calculated reachability. Time: 0.00 11.94/3.04 c N st 22 46263 673 2948 0 9930 8990 182433 no data no data -- 15.93/4.06 c N st 23 60661 673 2948 0 14214 8990 305957 no data no data -- 18.72/4.79 c N st 24 69396 673 2948 0 12012 8990 224165 no data no data -- 18.72/4.79 c S st 24 69396 673 2948 0 12012 8990 224165 no data no data -- 19.12/4.83 c S st 24 69896 673 2948 0 12512 8990 238323 no data no data -- 19.12/4.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 19.12/4.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.12/4.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 19.12/4.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 19.12/4.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 19.12/4.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 19.12/4.84 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 20.31/5.14 c lits-rem: 110 cl-subs: 173 v-elim: 0 v-fix: 0 time: 1.19 s 20.31/5.14 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 20.31/5.14 c vivif2 -- cl tried 12339 cl shrink 0 lits rem 0 time: 0.01 20.31/5.15 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.04 20.31/5.15 c calculated reachability. Time: 0.00 20.31/5.15 c N st 24 69896 673 2948 0 12339 8990 232126 no data no data -- 25.51/6.49 c F st 25 87500 673 2948 0 17847 8990 400255 no data no data -- 25.51/6.49 c N st 25 87500 673 2948 0 17847 8990 400255 no data no data -- 27.09/6.88 c Decided on static restart strategy 28.29/7.17 c N st 32 95537 673 2948 0 13006 8990 210991 no data no data -- 31.07/7.86 c N st 34 104844 673 2948 0 22202 8990 492417 no data no data -- 31.07/7.86 c S st 34 104844 673 2948 0 22202 8990 492417 no data no data -- 31.47/7.92 c S st 34 105348 673 2948 0 22706 8990 505724 no data no data -- 31.47/7.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 31.47/7.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 31.47/7.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.03 31.47/7.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.47/7.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.47/7.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 31.47/7.95 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 37.00/9.30 c lits-rem: 199 cl-subs: 483 v-elim: 0 v-fix: 0 time: 5.33 s 37.00/9.30 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 37.00/9.30 c vivif2 -- cl tried 22223 cl shrink 0 lits rem 0 time: 0.02 37.00/9.33 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.08 37.00/9.33 c calculated reachability. Time: 0.00 37.00/9.33 c N st 34 105348 673 2948 0 22223 8990 489183 no data no data -- 40.54/10.23 c N st 35 114946 673 2948 0 17923 8990 337189 no data no data -- 45.29/11.48 c N st 36 129343 673 2948 0 17369 8990 304944 no data no data -- 53.62/13.57 c N st 37 150938 673 2948 0 22852 8990 452517 no data no data -- 56.83/14.36 c S st 38 158022 673 2948 0 29801 8990 667732 no data no data -- 57.18/14.42 c S st 38 158526 673 2948 0 30304 8990 682388 no data no data -- 57.18/14.43 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 57.18/14.43 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 57.18/14.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 57.18/14.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 57.18/14.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 57.18/14.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 57.18/14.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 65.49/16.51 c lits-rem: 528 cl-subs: 939 v-elim: 0 v-fix: 0 time: 8.10 s 65.49/16.51 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 65.49/16.52 c vivif2 -- cl tried 29365 cl shrink 0 lits rem 0 time: 0.03 65.49/16.55 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.10 65.49/16.55 c calculated reachability. Time: 0.00 65.49/16.55 c N st 38 158526 673 2948 0 29365 8990 650603 no data no data -- 85.55/21.61 c N st 39 207114 673 2948 0 24032 8990 449340 no data no data -- 100.52/25.41 c N st 40 237789 673 2948 0 34523 8990 748974 no data no data -- 100.52/25.41 c S st 40 237789 673 2948 0 34523 8990 748974 no data no data -- 100.52/25.49 c S st 40 238292 673 2948 0 35025 8990 762616 no data no data -- 100.91/25.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 100.91/25.50 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 100.91/25.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.06 100.91/25.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 100.91/25.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 100.91/25.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 100.91/25.54 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 111.63/28.23 c lits-rem: 478 cl-subs: 1567 v-elim: 0 v-fix: 0 time: 10.68 s 111.63/28.23 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 111.63/28.23 c vivif2 -- cl tried 33458 cl shrink 0 lits rem 0 time: 0.03 111.63/28.26 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.12 111.63/28.27 c calculated reachability. Time: 0.00 111.63/28.27 c N st 40 238292 673 2948 0 33458 8990 711304 no data no data -- 146.33/36.97 c F st 41 306250 673 2948 0 35417 8990 725637 no data no data -- 146.33/36.97 c N st 41 306250 673 2948 0 35417 8990 725637 no data no data -- 157.14/39.67 c N dy 105 326074 673 2948 0 31337 8990 488301 20.18 21.33 -- 169.06/42.64 c N dy 194 346155 673 2948 0 26484 8990 305598 20.05 21.13 -- 174.26/44.01 c S st 230 357440 673 2948 0 37688 8990 628204 19.83 16.07 -- 175.03/44.10 c S st 230 357944 673 2948 0 38191 8990 643209 19.83 no data -- 175.03/44.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 175.03/44.11 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 175.03/44.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.06 175.03/44.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 175.03/44.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 175.03/44.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 175.03/44.14 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 183.04/46.16 c lits-rem: 591 cl-subs: 394 v-elim: 0 v-fix: 0 time: 8.04 s 183.04/46.16 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 183.04/46.17 c vivif2 -- cl tried 37797 cl shrink 0 lits rem 0 time: 0.03 183.04/46.20 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.14 183.04/46.21 c calculated reachability. Time: 0.00 183.04/46.21 c N dy 230 357944 673 2948 0 37797 8990 629290 19.83 no data -- 195.38/49.23 c N dy 288 379216 673 2948 0 33116 8990 459332 19.60 20.78 -- 209.36/52.75 c N dy 381 399788 673 2948 0 53515 8990 1057788 19.58 20.70 -- 222.94/56.14 c N dy 472 422999 673 2948 0 49770 8990 918527 19.55 20.71 -- 239.25/60.22 c N dy 571 449539 673 2948 0 48279 8990 844531 19.49 20.53 -- 252.02/63.45 c N dy 650 469648 673 2948 0 39474 8990 560733 19.47 20.54 -- 267.56/67.37 c N dy 778 489799 673 2948 0 59518 8990 1149561 19.59 20.64 -- 279.55/70.34 c N dy 856 509880 673 2948 0 49666 8990 837367 19.57 23.79 -- 293.88/73.91 c N dy 958 529975 673 2948 0 38849 8990 497141 19.61 20.76 -- 297.87/74.95 c S st 978 536916 673 2948 0 45736 8990 703850 19.57 no data -- 298.27/75.06 c S st 978 537422 673 2948 0 46242 8990 718214 19.57 no data -- 298.27/75.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 298.27/75.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 298.27/75.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.07 298.67/75.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 298.67/75.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 298.67/75.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 298.67/75.11 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 307.84/77.48 c lits-rem: 715 cl-subs: 374 v-elim: 0 v-fix: 0 time: 9.47 s 307.84/77.48 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 307.84/77.49 c vivif2 -- cl tried 45868 cl shrink 0 lits rem 0 time: 0.03 308.24/77.54 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.19 308.24/77.54 c calculated reachability. Time: 0.00 308.24/77.54 c N dy 978 537422 673 2948 0 45868 8990 704715 19.57 no data -- 324.19/81.54 c N dy 1067 557521 673 2948 0 34061 8990 331101 19.57 20.62 -- 337.35/84.85 c N dy 1141 577906 673 2948 0 54267 8990 914316 19.54 20.65 -- 352.91/88.71 c N dy 1244 597932 673 2948 0 41390 8990 515720 19.58 23.02 -- 368.46/92.68 c N dy 1368 617998 673 2948 0 61311 8990 1102751 19.65 21.92 -- 383.22/96.36 c N dy 1476 638086 673 2948 0 47519 8990 674151 19.70 20.76 -- 400.77/100.76 c N dy 1588 658133 673 2948 0 67426 8990 1262815 19.75 20.81 -- 415.55/104.47 c N dy 1662 678176 673 2948 0 52535 8990 787422 19.75 20.81 -- 434.27/109.18 c N dy 1749 698208 673 2948 0 36689 8990 307056 19.76 24.38 -- 450.65/113.28 c N dy 1853 718209 673 2948 0 56528 8990 887310 19.78 20.95 -- 470.17/118.10 c N dy 1972 738296 673 2948 0 39771 8990 379570 19.82 26.75 -- 486.91/122.37 c N dy 2078 760699 673 2948 0 61979 8990 1027783 19.84 20.95 -- 505.26/126.99 c N dy 2180 781096 673 2948 0 44518 8990 496924 19.86 20.94 -- 522.01/131.18 c N dy 2300 801480 673 2948 0 64733 8990 1102041 19.90 20.96 -- 527.19/132.41 c S st 2325 806134 673 2948 0 69340 8990 1238425 19.91 17.57 -- 527.59/132.59 c S st 2325 806638 673 2948 0 69843 8990 1252773 19.91 no data -- 527.99/132.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 527.99/132.60 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 527.99/132.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.13 527.99/132.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 527.99/132.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 527.99/132.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 527.99/132.67 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 535.57/134.51 c lits-rem: 222 cl-subs: 770 v-elim: 0 v-fix: 0 time: 7.33 s 535.57/134.51 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 535.57/134.53 c vivif2 -- cl tried 69073 cl shrink 0 lits rem 0 time: 0.06 535.97/134.61 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.34 535.97/134.61 c calculated reachability. Time: 0.00 535.97/134.61 c N dy 2325 806638 673 2948 0 69073 8990 1225757 19.91 no data -- 553.51/139.05 c N dy 2402 827055 673 2948 0 50616 8990 647455 19.91 21.06 -- 572.27/143.74 c N dy 2515 847137 673 2948 0 70542 8990 1241249 19.94 23.90 -- 590.61/148.39 c N dy 2576 867172 673 2948 0 50738 8990 623338 19.92 21.10 -- 609.75/153.18 c N dy 2670 887897 673 2948 0 71290 8990 1222824 19.93 21.03 -- 629.30/158.07 c N dy 2761 909169 673 2948 0 51733 8990 636616 19.93 21.06 -- 648.06/162.74 c N dy 2858 929266 673 2948 0 71679 8990 1226839 19.95 21.16 -- 668.38/167.85 c N dy 2964 949348 673 2948 0 49940 8990 554095 19.97 24.20 -- 687.13/172.60 c N dy 3012 971605 673 2948 0 71960 8990 1232725 19.93 20.99 -- 709.49/178.12 c N dy 3117 992262 673 2948 0 49822 8990 528396 19.94 21.11 -- 726.61/182.48 c N dy 3210 1012273 673 2948 0 69642 8990 1113053 19.95 21.08 -- 749.73/188.27 c N dy 3278 1032699 673 2948 0 46285 8990 396887 19.94 20.99 -- 766.93/192.57 c N dy 3397 1052772 673 2948 0 66200 8990 985887 19.96 26.87 -- 788.86/198.04 c F st 3474 1071875 673 2948 0 85138 8990 1549415 19.96 no data -- 790.41/198.45 c N st 3477 1073065 673 2948 0 86322 8990 1585897 19.96 no data -- 808.37/202.93 c N dy 3569 1093079 673 2948 0 61524 8990 821985 19.98 21.19 -- 831.90/208.82 c N dy 3690 1113741 673 2948 0 82013 8990 1434439 20.01 21.14 -- 852.63/214.08 c N dy 3773 1133778 673 2948 0 56271 8990 642071 20.01 21.45 -- 873.37/219.23 c N dy 3897 1153837 673 2948 0 76164 8990 1233851 20.03 21.09 -- 896.91/225.18 c N dy 3969 1174038 673 2948 0 49620 8990 427029 20.02 21.30 -- 915.67/229.87 c N dy 4074 1194290 673 2948 0 69695 8990 1025373 20.04 21.20 -- 934.38/234.50 c S st 4077 1209958 673 2948 0 85102 8990 1468405 20.01 19.32 -- 935.18/234.75 c S st 4077 1210459 673 2948 0 85602 8990 1483145 20.01 no data -- 935.18/234.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 935.18/234.75 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 935.18/234.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.17 935.58/234.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 935.58/234.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 935.58/234.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 935.58/234.84 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 947.95/237.99 c lits-rem: 323 cl-subs: 2089 v-elim: 0 v-fix: 0 time: 12.55 s 947.95/237.99 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 948.35/238.01 c vivif2 -- cl tried 83513 cl shrink 0 lits rem 0 time: 0.07 948.75/238.12 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.43 948.75/238.12 c calculated reachability. Time: 0.00 948.75/238.12 c N dy 4077 1210459 673 2948 0 83513 8990 1422493 20.01 no data -- 972.28/244.06 c N dy 4173 1230806 673 2948 0 56157 8990 595840 20.02 21.66 -- 992.62/249.11 c N dy 4254 1250869 673 2948 0 76023 8990 1177862 20.02 23.68 -- 1018.94/255.70 c N dy 4340 1270978 673 2948 0 95951 8990 1767951 20.02 21.15 -- 1037.29/260.35 c N dy 4392 1291677 673 2948 0 67910 8990 909258 20.00 22.05 -- 1062.01/266.59 c N dy 4504 1311965 673 2948 0 88024 8990 1508661 20.02 21.07 -- 1086.34/272.71 c N dy 4615 1332160 673 2948 0 58522 8990 626568 20.03 21.09 -- 1110.66/278.78 c N dy 4692 1355112 673 2948 0 81240 8990 1293510 20.03 21.14 -- 1142.18/286.62 c N dy 4793 1376307 673 2948 0 51739 8990 399918 20.04 21.30 -- 1160.13/291.20 c N dy 4869 1396356 673 2948 0 71579 8990 982737 20.04 21.25 -- 1186.85/297.86 c N dy 4988 1416428 673 2948 0 91492 8990 1583694 20.06 25.95 -- 1212.37/304.26 c N dy 5070 1436576 673 2948 0 59955 8990 622650 20.06 21.21 -- 1235.11/309.92 c N dy 5186 1457199 673 2948 0 80443 8990 1231889 20.07 21.31 -- 1265.02/317.40 c N dy 5297 1477259 673 2948 0 100343 8990 1826890 20.08 21.18 -- 1286.95/322.98 c N dy 5408 1497324 673 2948 0 67680 8990 833866 20.10 21.27 -- 1312.07/329.28 c N dy 5524 1517434 673 2948 0 87613 8990 1430913 20.12 21.56 -- 1343.98/337.24 c N dy 5610 1537685 673 2948 0 54144 8990 401368 20.12 21.24 -- 1363.92/342.21 c N dy 5715 1558564 673 2948 0 74833 8990 1019860 20.12 21.30 -- 1392.24/349.31 c N dy 5846 1578787 673 2948 0 94883 8990 1615041 20.14 21.81 -- 1422.54/356.94 c N dy 5968 1599875 673 2948 0 61267 8990 593926 20.15 21.35 -- 1444.08/362.32 c N dy 6051 1619959 673 2948 0 81154 8990 1184481 20.16 23.10 -- 1472.83/369.52 c N dy 6129 1640065 673 2948 0 101077 8990 1779168 20.16 21.30 -- 1499.57/376.28 c N dy 6244 1660126 673 2948 0 65483 8990 695445 20.17 22.49 -- 1526.64/383.05 c N dy 6344 1682774 673 2948 0 87905 8990 1362593 20.17 21.31 -- 1559.75/391.31 c N dy 6426 1702797 673 2948 0 107761 8990 1948818 20.18 21.24 -- 1571.71/394.39 c S st 6448 1710459 673 2948 0 58869 8990 470550 20.17 no data -- 1572.51/394.55 c S st 6448 1710959 673 2948 0 59369 8990 484550 20.17 no data -- 1572.51/394.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1572.51/394.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1572.51/394.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.10 1572.51/394.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 1572.51/394.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1572.51/394.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 1572.51/394.59 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1580.48/396.51 c lits-rem: 128 cl-subs: 101 v-elim: 0 v-fix: 0 time: 7.63 s 1580.48/396.51 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 1580.48/396.52 c vivif2 -- cl tried 59268 cl shrink 0 lits rem 0 time: 0.03 1580.48/396.57 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.23 1580.48/396.57 c calculated reachability. Time: 0.00 1580.48/396.57 c N dy 6448 1710959 673 2948 0 59268 8990 481529 20.17 no data -- 1601.62/401.82 c N dy 6555 1730980 673 2948 0 79102 8990 1068743 20.18 21.40 -- 1630.34/409.04 c N dy 6650 1751001 673 2948 0 98938 8990 1660750 20.19 21.50 -- 1662.24/417.02 c N dy 6731 1771676 673 2948 0 61951 8990 538505 20.19 21.41 -- 1684.57/422.68 c N dy 6847 1791750 673 2948 0 81844 8990 1132034 20.20 24.83 -- 1713.70/429.98 c N dy 6925 1811845 673 2948 0 101721 8990 1726206 20.20 22.79 -- 1745.59/437.96 c N dy 7020 1831873 673 2948 0 63122 8990 551768 20.20 22.98 -- 1769.13/443.85 c N dy 7133 1852751 673 2948 0 83798 8990 1172666 20.21 21.30 -- 1801.04/451.83 c N dy 7213 1872782 673 2948 0 103645 8990 1755090 20.21 23.97 -- 1834.53/460.26 c N dy 7330 1892783 673 2948 0 64036 8990 556824 20.22 21.43 -- 1863.69/467.56 c N dy 7417 1917736 673 2948 0 88714 8990 1279039 20.22 21.30 -- 1929.50/484.06 c N dy 7495 1964403 673 2948 0 74461 8990 841651 20.17 21.27 -- 1955.83/490.70 c N dy 7593 1984550 673 2948 0 94451 8990 1442322 20.18 21.42 -- 1991.26/499.50 c N dy 7723 2004564 673 2948 0 114310 8990 2040255 20.19 21.35 -- 2018.78/506.45 c N dy 7812 2024672 673 2948 0 72827 8990 773982 20.19 21.50 -- 2043.14/512.54 c N dy 7884 2044808 673 2948 0 92770 8990 1366999 20.19 21.68 -- 2077.82/521.27 c N dy 8023 2064918 673 2948 0 112745 8990 1977330 20.21 21.34 -- 2106.93/528.53 c N dy 8071 2085129 673 2948 0 70336 8990 677611 20.20 21.68 -- 2131.65/534.79 c N dy 8179 2105825 673 2948 0 90857 8990 1295489 20.21 21.32 -- 2164.76/543.02 c N dy 8242 2126350 673 2948 0 111176 8990 1896381 20.19 21.55 -- 2210.28/554.44 c N dy 8308 2156509 673 2948 0 77561 8990 848895 20.17 21.33 -- 2237.75/561.38 c N dy 8424 2176515 673 2948 0 97408 8990 1446130 20.19 23.05 -- 2269.25/569.21 c N dy 8438 2196545 673 2948 0 117183 8990 2020311 20.16 21.65 -- 2293.97/575.41 c S st 8474 2210959 673 2948 0 67108 8990 529497 20.16 18.83 -- 2294.38/575.56 c S st 8474 2211462 673 2948 0 67611 8990 544598 20.16 no data -- 2294.38/575.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2294.38/575.57 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2294.38/575.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 2294.78/575.61 c bin-w-bin subsume rem 0 bins time: 0.00 s 2294.78/575.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2294.78/575.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 2294.78/575.61 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2302.40/577.55 c lits-rem: 96 cl-subs: 148 v-elim: 0 v-fix: 0 time: 7.71 s 2302.40/577.55 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 2302.40/577.56 c vivif2 -- cl tried 67463 cl shrink 0 lits rem 0 time: 0.03 2302.74/577.64 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.32 2302.74/577.64 c calculated reachability. Time: 0.00 2302.74/577.64 c N dy 8474 2211462 673 2948 0 67463 8990 540221 20.16 no data -- 2327.88/584.00 c N dy 8543 2231543 673 2948 0 87355 8990 1124190 20.15 23.92 -- 2357.79/591.40 c N dy 8601 2251622 673 2948 0 107235 8990 1715857 20.15 21.81 -- 2404.85/603.26 c N dy 8725 2275647 673 2948 0 65690 8990 465296 20.15 21.24 -- 2428.78/609.26 c N dy 8849 2296257 673 2948 0 86133 8990 1078824 20.16 21.27 -- 2461.48/617.49 c N dy 8979 2317043 673 2948 0 106755 8990 1703067 20.17 21.36 -- 2499.82/627.01 c N dy 9059 2337058 673 2948 0 126567 8990 2293828 20.17 21.30 -- 2527.69/634.05 c N dy 9148 2357080 673 2948 0 80023 8990 876618 20.18 21.25 -- 2556.85/641.35 c N dy 9217 2378441 673 2948 0 101166 8990 1500363 20.17 21.43 -- 2595.49/651.05 c N dy 9335 2398507 673 2948 0 121049 8990 2097330 20.18 22.81 -- 2632.98/660.42 c N dy 9437 2418769 673 2948 0 73757 8990 661635 20.19 21.37 -- 2660.50/667.30 c N dy 9516 2440616 673 2948 0 95368 8990 1302400 20.18 21.40 -- 2694.00/675.74 c N dy 9591 2460675 673 2948 0 115215 8990 1889847 20.18 24.83 -- 2736.29/686.37 c N dy 9697 2480771 673 2948 0 135127 8990 2488460 20.19 25.27 -- 2762.61/692.93 c N dy 9807 2501027 673 2948 0 86867 8990 1030728 20.20 21.33 -- 2792.52/700.42 c N dy 9886 2521111 673 2948 0 106739 8990 1621216 20.20 21.31 -- 2845.15/713.64 c N dy 9912 2552709 673 2948 0 138029 8990 2562557 20.17 21.34 -- 2871.88/720.39 c N dy 9993 2575187 673 2948 0 90943 8990 1129761 20.17 21.24 -- 2904.98/728.67 c N dy 10075 2595864 673 2948 0 111421 8990 1738632 20.17 21.29 -- 2948.84/739.66 c N dy 10183 2617176 673 2948 0 132570 8990 2375068 20.17 21.31 -- 2982.40/748.02 c N dy 10283 2637387 673 2948 0 82295 8990 848853 20.17 21.25 -- 3012.26/755.51 c N dy 10390 2658054 673 2948 0 102813 8990 1469798 20.18 21.50 -- 3050.54/765.10 c N dy 10523 2678139 673 2948 0 122734 8990 2067628 20.19 21.38 -- 3098.40/777.15 c N dy 10652 2698445 673 2948 0 71492 8990 499366 20.20 21.30 -- 3113.57/780.96 c S st 10728 2711463 673 2948 0 84386 8990 889208 20.21 20.73 -- 3114.34/781.17 c S st 10728 2711965 673 2948 0 84886 8990 904065 20.21 no data -- 3114.34/781.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3114.34/781.18 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3114.74/781.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.15 3114.74/781.25 c bin-w-bin subsume rem 0 bins time: 0.00 s 3114.74/781.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3114.74/781.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 3114.74/781.25 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3129.11/784.88 c lits-rem: 665 cl-subs: 435 v-elim: 0 v-fix: 0 time: 14.47 s 3129.11/784.88 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 3129.11/784.89 c vivif2 -- cl tried 84451 cl shrink 0 lits rem 0 time: 0.05 3129.51/784.99 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.39 3129.51/784.99 c calculated reachability. Time: 0.00 3129.51/784.99 c N dy 10728 2711965 673 2948 0 84451 8990 889022 20.21 no data -- 3179.81/797.57 c N dy 10822 2744178 673 2948 0 116237 8990 1821822 20.20 21.28 -- 3220.44/807.79 c N dy 10889 2764858 673 2948 0 136741 8990 2431799 20.20 21.33 -- 3252.74/815.88 c N dy 10896 2788697 673 2948 0 87975 8990 948283 20.18 21.25 -- 3283.06/823.47 c N dy 10966 2808865 673 2948 0 107936 8990 1540570 20.18 21.34 -- 3321.34/833.01 c N dy 11067 2829080 673 2948 0 127977 8990 2141203 20.18 21.28 -- 3367.21/844.51 c N dy 11185 2849361 673 2948 0 74837 8990 555381 20.19 21.27 -- 3394.77/851.46 c N dy 11296 2870421 673 2948 0 95682 8990 1178391 20.19 21.27 -- 3428.62/859.92 c N dy 11381 2890504 673 2948 0 115607 8990 1779518 20.20 26.43 -- 3472.90/871.10 c N dy 11486 2911446 673 2948 0 136381 8990 2401630 20.20 21.35 -- 3508.83/880.08 c N dy 11540 2931507 673 2948 0 81977 8990 748005 20.19 24.92 -- 3544.27/888.99 c N dy 11643 2956293 673 2948 0 106509 8990 1481549 20.19 21.29 -- 3585.75/899.34 c N dy 11761 2977635 673 2948 0 127657 8990 2111386 20.20 21.54 -- 3632.41/911.02 c N dy 11836 2997757 673 2948 0 147554 8990 2700300 20.20 21.42 -- 3662.72/918.61 c N dy 11959 3017780 673 2948 0 92129 8990 1033179 20.21 24.31 -- 3697.05/927.25 c N dy 12030 3039147 673 2948 0 113315 8990 1658534 20.21 21.29 -- 3736.95/937.24 c N dy 12059 3061366 673 2948 0 135259 8990 2295186 20.19 21.46 -- 3789.17/950.33 c N dy 12187 3085553 673 2948 0 82957 8990 727239 20.20 21.33 -- 3816.26/957.18 c N dy 12266 3105571 673 2948 0 102751 8990 1324697 20.19 21.55 -- 3855.75/967.04 c N dy 12374 3126882 673 2948 0 123887 8990 1957006 20.20 21.41 -- 3900.01/978.17 c N dy 12468 3146957 673 2948 0 143784 8990 2558119 20.20 24.14 -- 3942.71/988.87 c N dy 12569 3168311 673 2948 0 87694 8990 845866 20.20 21.27 -- 3973.01/996.45 c N dy 12646 3188338 673 2948 0 107478 8990 1431988 20.20 21.38 -- 4012.09/1006.25 c N dy 12770 3208350 673 2948 0 127322 8990 2029458 20.21 23.67 -- 4019.26/1008.06 c S st 12779 3211965 673 2948 0 130889 8990 2134579 20.21 17.76 -- 4020.86/1008.44 c S st 12779 3212469 673 2948 0 131392 8990 2149780 20.21 no data -- 4020.86/1008.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4020.86/1008.45 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4021.26/1008.52 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.28 4021.26/1008.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 4021.26/1008.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4021.26/1008.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 673 time: 0.00 s 4021.26/1008.59 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4049.17/1015.59 c lits-rem: 316 cl-subs: 2081 v-elim: 0 v-fix: 0 time: 27.90 s 4049.17/1015.59 c vivif2 -- cl tried 2948 cl shrink 0 lits rem 0 time: 0.00 4049.57/1015.62 c vivif2 -- cl tried 129311 cl shrink 0 lits rem 0 time: 0.11 4050.37/1015.82 c asymm cl-useful: 0/2948/2948 lits-rem:0 time: 0.79 4050.37/1015.82 c calculated reachability. Time: 0.00 4050.37/1015.82 c N dy 12779 3212469 673 2948 0 129311 8990 2084078 20.21 no data -- 4095.84/1027.25 c N dy 12869 3232577 673 2948 0 149216 8990 2676792 20.21 21.29 -- 4140.90/1038.57 c N dy 12969 3254104 673 2948 0 92339 8990 956597 20.21 21.38 -- 4173.61/1046.75 c N dy 13037 3274249 673 2948 0 112281 8990 1538310 20.21 21.39 -- 4214.71/1057.08 c N dy 13147 3294319 673 2948 0 132142 8990 2130552 20.22 22.63 -- 4263.74/1069.30 c N dy 13222 3315085 673 2948 0 152708 8990 2745102 20.22 21.29 -- 4300.03/1078.43 c N dy 13298 3337039 673 2948 0 95274 8990 1035255 20.22 21.51 -- 4334.32/1087.02 c N dy 13409 3357101 673 2948 0 115178 8990 1639279 20.22 21.43 -- 4376.61/1097.62 c N dy 13511 3377499 673 2948 0 135363 8990 2243715 20.23 21.31 -- 4428.45/1110.63 c N dy 13605 3397637 673 2948 0 155283 8990 2841911 20.23 21.51 -- 4461.55/1118.96 c N dy 13663 3417685 673 2948 0 94905 8990 990521 20.23 21.39 -- 4495.90/1127.58 c N dy 13798 3437770 673 2948 0 114794 8990 1587850 20.24 21.78 -- 4532.14/1136.68 c N dy 13843 3457819 673 2948 0 134577 8990 2161375 20.23 21.39 -- 4581.20/1148.93 c N dy 13943 3477866 673 2948 0 154421 8990 2764406 20.23 24.52 -- 4618.73/1158.34 c N dy 13969 3497874 673 2948 0 92985 8990 903070 20.23 25.27 -- 4650.99/1166.41 c N dy 14071 3517949 673 2948 0 112877 8990 1498196 20.23 21.32 -- 4692.47/1176.90 c N dy 14186 3538794 673 2948 0 133521 8990 2120137 20.24 21.39 -- 4741.15/1189.07 c N dy 14320 3558883 673 2948 0 153473 8990 2733081 20.24 24.72 -- 4787.39/1200.68 c N dy 14386 3582142 673 2948 0 94310 8990 921798 20.24 21.37 --
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-3368896-1305405532/watcher-3368896-1305405532 -o /tmp/evaluation-result-3368896-1305405532/solver-3368896-1305405532 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368896-1305405532.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: 6.96 7.88 7.98 5/369 5724 /proc/meminfo: memFree=18284548/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=191624 CPUtime=0 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) S 5722 5724 5085 0 -1 4202496 649 0 0 0 0 0 0 0 23 0 4 0 730783919 196222976 561 33554432000 4194304 4650419 140734750267776 18446744073709551615 224285030894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 49958 563 343 112 0 44923 0 [pid=5724/tid=5725] ppid=5722 vsize=217392 CPUtime=0 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 302 0 0 0 0 0 0 0 24 0 4 0 730783919 222609408 1255 33554432000 4194304 4650419 140734750267776 18446744073709551615 224285030943 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=217392 CPUtime=0 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 242 0 0 0 0 0 0 0 24 0 4 0 730783919 222609408 1257 33554432000 4194304 4650419 140734750267776 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=217392 CPUtime=0 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 117 0 0 0 0 0 0 0 24 0 4 0 730783919 222609408 1257 33554432000 4194304 4650419 140734750267776 18446744073709551615 224285030894 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.085648 s] /proc/loadavg: 6.96 7.88 7.98 5/369 5724 /proc/meminfo: memFree=18284548/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=283216 CPUtime=0.31 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 1874 0 0 0 31 0 0 0 18 0 4 0 730783919 290013184 1729 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364406 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 70804 1729 391 112 0 65769 0 [pid=5724/tid=5725] ppid=5722 vsize=283216 CPUtime=0.08 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 400 0 0 0 8 0 0 0 18 0 4 0 730783919 290013184 1729 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=283216 CPUtime=0.07 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 372 0 0 0 7 0 0 0 18 0 4 0 730783919 290013184 1729 33554432000 4194304 4650419 140734750267776 18446744073709551615 224284594609 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=283216 CPUtime=0.07 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 233 0 0 0 7 0 0 0 24 0 4 0 730783919 290013184 1729 33554432000 4194304 4650419 140734750267776 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 283216 [startup+0.100645 s] /proc/loadavg: 6.96 7.88 7.98 5/369 5724 /proc/meminfo: memFree=18284548/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=283216 CPUtime=0.37 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 1947 0 0 0 37 0 0 0 18 0 4 0 730783919 290013184 1802 33554432000 4194304 4650419 140734750267776 18446744073709551615 4334509 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 70804 1802 391 112 0 65769 0 [pid=5724/tid=5725] ppid=5722 vsize=283216 CPUtime=0.09 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 423 0 0 0 9 0 0 0 18 0 4 0 730783919 290013184 1802 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=283216 CPUtime=0.09 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 387 0 0 0 9 0 0 0 18 0 4 0 730783919 290013184 1802 33554432000 4194304 4650419 140734750267776 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=283216 CPUtime=0.08 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 249 0 0 0 8 0 0 0 24 0 4 0 730783919 290013184 1802 33554432000 4194304 4650419 140734750267776 18446744073709551615 4361023 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 283216 [startup+0.300612 s] /proc/loadavg: 6.96 7.88 7.98 5/369 5724 /proc/meminfo: memFree=18284548/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=284816 CPUtime=1.17 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 3193 0 0 0 117 0 0 0 18 0 4 0 730783919 291651584 2331 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 71204 2331 393 112 0 66169 0 [pid=5724/tid=5725] ppid=5722 vsize=284816 CPUtime=0.29 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 758 0 0 0 29 0 0 0 18 0 4 0 730783919 291651584 2331 33554432000 4194304 4650419 140734750267776 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=284816 CPUtime=0.29 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 708 0 0 0 29 0 0 0 18 0 4 0 730783919 291651584 2331 33554432000 4194304 4650419 140734750267776 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=284816 CPUtime=0.28 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 572 0 0 0 28 0 0 0 25 0 4 0 730783919 291651584 2331 33554432000 4194304 4650419 140734750267776 18446744073709551615 4334352 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 284816 [startup+0.700546 s] /proc/loadavg: 6.96 7.88 7.98 5/369 5724 /proc/meminfo: memFree=18284548/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=285980 CPUtime=2.77 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 5029 0 0 0 277 0 0 0 18 0 4 0 730783919 292843520 3083 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365369 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 71495 3083 393 112 0 66460 0 [pid=5724/tid=5725] ppid=5722 vsize=285980 CPUtime=0.69 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 1217 0 0 0 69 0 0 0 18 0 4 0 730783919 292843520 3083 33554432000 4194304 4650419 140734750267776 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=285980 CPUtime=0.69 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 1182 0 0 0 69 0 0 0 18 0 4 0 730783919 292843520 3083 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=285980 CPUtime=0.68 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 995 0 0 0 68 0 0 0 25 0 4 0 730783919 292843520 3083 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 285980 [startup+1.50042 s] /proc/loadavg: 6.96 7.88 7.98 9/373 5728 /proc/meminfo: memFree=18264304/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=287776 CPUtime=5.95 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 10197 0 0 0 594 1 0 0 20 0 4 0 730783919 294682624 5278 33554432000 4194304 4650419 140734750267776 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 71944 5278 395 112 0 66909 0 [pid=5724/tid=5725] ppid=5722 vsize=287776 CPUtime=1.49 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 2121 0 0 0 149 0 0 0 20 0 4 0 730783919 294682624 5278 33554432000 4194304 4650419 140734750267776 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=287776 CPUtime=1.48 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 2065 0 0 0 148 0 0 0 20 0 4 0 730783919 294682624 5278 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=287776 CPUtime=1.47 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 1854 0 0 0 147 0 0 0 25 0 4 0 730783919 294682624 5278 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 287776 [startup+3.10115 s] /proc/loadavg: 6.96 7.88 7.98 9/373 5728 /proc/meminfo: memFree=18237636/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=291828 CPUtime=12.34 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 19069 0 0 0 1231 3 0 0 25 0 4 0 730783919 298831872 11478 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 72957 11478 395 112 0 67922 0 [pid=5724/tid=5725] ppid=5722 vsize=291828 CPUtime=3.08 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 4189 0 0 0 308 0 0 0 25 0 4 0 730783919 298831872 11478 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=291828 CPUtime=3.08 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 5144 0 0 0 308 0 0 0 25 0 4 0 730783919 298831872 11478 33554432000 4194304 4650419 140734750267776 18446744073709551615 4438235 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=291828 CPUtime=3.05 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 4586 0 0 0 305 0 0 0 25 0 4 0 730783919 298831872 11478 33554432000 4194304 4650419 140734750267776 18446744073709551615 4330592 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) 291828 [startup+6.30062 s] /proc/loadavg: 7.04 7.88 7.98 9/373 5728 /proc/meminfo: memFree=18169776/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=283100 CPUtime=25.11 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 27731 0 0 0 2506 5 0 0 25 0 4 0 730783919 289894400 14854 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 70775 14854 395 112 0 65740 0 [pid=5724/tid=5725] ppid=5722 vsize=283100 CPUtime=6.29 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 6796 0 0 0 628 1 0 0 25 0 4 0 730783919 289894400 14854 33554432000 4194304 4650419 140734750267776 18446744073709551615 4328275 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=283100 CPUtime=6.28 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 7530 0 0 0 627 1 0 0 25 0 4 0 730783919 289894400 14854 33554432000 4194304 4650419 140734750267776 18446744073709551615 4328186 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=283100 CPUtime=6.22 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 6350 0 0 0 621 1 0 0 25 0 4 0 730783919 289894400 14854 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 283100 [startup+12.7006 s] /proc/loadavg: 7.20 7.90 7.99 10/374 5729 /proc/meminfo: memFree=18096204/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=310144 CPUtime=50.46 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 40890 0 0 0 5038 8 0 0 25 0 4 0 730783919 317587456 23583 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 77536 23583 395 112 0 72501 0 [pid=5724/tid=5725] ppid=5722 vsize=310144 CPUtime=12.52 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 11351 0 0 0 1251 1 0 0 25 0 4 0 730783919 317587456 23583 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=310144 CPUtime=12.68 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 11423 0 0 0 1266 2 0 0 25 0 4 0 730783919 317587456 23583 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=310144 CPUtime=12.54 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 7727 0 0 0 1253 1 0 0 25 0 4 0 730783919 317587456 23583 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.46 Current children cumulated vsize (KiB) 310144 [startup+25.5004 s] /proc/loadavg: 7.60 7.95 8.01 10/374 5729 /proc/meminfo: memFree=18003720/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=319840 CPUtime=100.91 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 58070 0 0 0 10079 12 0 0 25 0 4 0 730783919 327516160 32716 33554432000 4194304 4650419 140734750267776 18446744073709551615 4477544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 79960 32716 395 112 0 74925 0 [pid=5724/tid=5725] ppid=5722 vsize=319840 CPUtime=24.72 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 16048 0 0 0 2470 2 0 0 25 0 4 0 730783919 327516160 32716 33554432000 4194304 4650419 140734750267776 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=319840 CPUtime=25.49 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 15215 0 0 0 2545 4 0 0 25 0 4 0 730783919 327516160 32716 33554432000 4194304 4650419 140734750267776 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=319840 CPUtime=25.18 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 10063 0 0 0 2516 2 0 0 25 0 4 0 730783919 327516160 32716 33554432000 4194304 4650419 140734750267776 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 100.91 Current children cumulated vsize (KiB) 319840 [startup+51.1012 s] /proc/loadavg: 7.79 7.97 8.01 9/373 5731 /proc/meminfo: memFree=17966176/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=465404 CPUtime=202.96 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 86001 0 0 0 20275 21 0 0 25 0 4 0 730783919 476573696 40929 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 116351 40929 395 112 0 111316 0 [pid=5724/tid=5725] ppid=5722 vsize=465404 CPUtime=50.27 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 24757 0 0 0 5022 5 0 0 25 0 4 0 730783919 476573696 40929 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=465404 CPUtime=51.09 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 23170 0 0 0 5103 6 0 0 25 0 4 0 730783919 476573696 40929 33554432000 4194304 4650419 140734750267776 18446744073709551615 4438565 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=465404 CPUtime=50.48 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 14990 0 0 0 5045 3 0 0 25 0 4 0 730783919 476573696 40929 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 202.96 Current children cumulated vsize (KiB) 465404 [startup+102.315 s] /proc/loadavg: 8.02 8.00 8.01 9/373 5731 /proc/meminfo: memFree=17873156/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=475708 CPUtime=407.2 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 117789 0 0 0 40685 35 0 0 25 0 4 0 730783919 487124992 49902 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 118927 49902 395 112 0 113892 0 [pid=5724/tid=5725] ppid=5722 vsize=475708 CPUtime=101.48 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 34924 0 0 0 10139 9 0 0 25 0 4 0 730783919 487124992 49902 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=475708 CPUtime=102.3 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 29672 0 0 0 10221 9 0 0 25 0 4 0 730783919 487124992 49902 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=475708 CPUtime=101.08 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 22177 0 0 0 10101 7 0 0 25 0 4 0 730783919 487124992 49902 33554432000 4194304 4650419 140734750267776 18446744073709551615 4438383 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 407.2 Current children cumulated vsize (KiB) 475708 [startup+162.301 s] ################ # More data... # ################ [pid=5724] ppid=5722 vsize=598216 CPUtime=2560.81 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 294157 0 0 0 255954 127 0 0 25 0 4 0 730783919 612573184 91455 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 149554 91455 395 112 0 144519 0 [pid=5724/tid=5725] ppid=5722 vsize=598216 CPUtime=641.49 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 81120 0 0 0 64117 32 0 0 25 0 4 0 730783919 612573184 91455 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=598216 CPUtime=642.31 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 69031 0 0 0 64202 29 0 0 25 0 4 0 730783919 612573184 91455 33554432000 4194304 4650419 140734750267776 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=598216 CPUtime=634.7 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 62557 0 0 0 63443 27 0 0 25 0 4 0 730783919 612573184 91455 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2560.81 Current children cumulated vsize (KiB) 598216 [startup+702.301 s] /proc/loadavg: 8.29 8.13 8.04 9/373 5747 /proc/meminfo: memFree=17457172/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=598616 CPUtime=2800.09 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 307275 0 0 0 279873 136 0 0 25 0 4 0 730783919 612982784 92959 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 149654 92959 395 112 0 144619 0 [pid=5724/tid=5725] ppid=5722 vsize=598616 CPUtime=701.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 85005 0 0 0 70113 34 0 0 25 0 4 0 730783919 612982784 92959 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=598616 CPUtime=702.3 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 70204 0 0 0 70200 30 0 0 25 0 4 0 730783919 612982784 92959 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=598616 CPUtime=693.99 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 64647 0 0 0 69371 28 0 0 25 0 4 0 730783919 612982784 92959 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2800.09 Current children cumulated vsize (KiB) 598616 [startup+762.315 s] /proc/loadavg: 8.25 8.14 8.04 9/373 5749 /proc/meminfo: memFree=17496828/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=587544 CPUtime=3039.43 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 326396 0 0 0 303794 149 0 0 25 0 4 0 730783919 601645056 82809 33554432000 4194304 4650419 140734750267776 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 146886 82809 395 112 0 141851 0 [pid=5724/tid=5725] ppid=5722 vsize=587544 CPUtime=761.48 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 90154 0 0 0 76111 37 0 0 25 0 4 0 730783919 601645056 82809 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=587544 CPUtime=762.31 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 75172 0 0 0 76198 33 0 0 25 0 4 0 730783919 601645056 82809 33554432000 4194304 4650419 140734750267776 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=587544 CPUtime=753.29 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 70418 0 0 0 75297 32 0 0 25 0 4 0 730783919 601645056 82809 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3039.43 Current children cumulated vsize (KiB) 587544 [startup+822.301 s] /proc/loadavg: 8.24 8.14 8.05 9/373 5751 /proc/meminfo: memFree=17456016/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=622592 CPUtime=3278.67 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 348589 0 0 0 327707 160 0 0 25 0 4 0 730783919 637534208 86468 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 155648 86468 395 112 0 150613 0 [pid=5724/tid=5725] ppid=5722 vsize=622592 CPUtime=821.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 95597 0 0 0 82108 39 0 0 25 0 4 0 730783919 637534208 86468 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=622592 CPUtime=822.3 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 80872 0 0 0 82193 37 0 0 25 0 4 0 730783919 637534208 86468 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=622592 CPUtime=812.57 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 75877 0 0 0 81222 35 0 0 25 0 4 0 730783919 637534208 86468 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3278.67 Current children cumulated vsize (KiB) 622592 [startup+882.301 s] /proc/loadavg: 8.15 8.13 8.05 9/373 5753 /proc/meminfo: memFree=17412592/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=728360 CPUtime=3517.94 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 364184 0 0 0 351625 169 0 0 25 0 4 0 730783919 745840640 90937 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 182090 90937 395 112 0 177055 0 [pid=5724/tid=5725] ppid=5722 vsize=728360 CPUtime=881.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 100411 0 0 0 88105 42 0 0 25 0 4 0 730783919 745840640 90937 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=728360 CPUtime=882.29 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 86843 0 0 0 88189 40 0 0 25 0 4 0 730783919 745840640 90937 33554432000 4194304 4650419 140734750267776 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=728360 CPUtime=871.85 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 77915 0 0 0 87148 37 0 0 25 0 4 0 730783919 745840640 90937 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3517.94 Current children cumulated vsize (KiB) 728360 [startup+942.301 s] /proc/loadavg: 8.12 8.12 8.05 9/373 5755 /proc/meminfo: memFree=17396064/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=599760 CPUtime=3757.24 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 383774 0 0 0 375543 181 0 0 25 0 4 0 730783919 614154240 88051 33554432000 4194304 4650419 140734750267776 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 149940 88052 395 112 0 144905 0 [pid=5724/tid=5725] ppid=5722 vsize=599760 CPUtime=941.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 106160 0 0 0 94103 44 0 0 25 0 4 0 730783919 614154240 88052 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=599760 CPUtime=942.29 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 90002 0 0 0 94187 42 0 0 25 0 4 0 730783919 614154240 88052 33554432000 4194304 4650419 140734750267776 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=599760 CPUtime=931.15 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 83697 0 0 0 93074 41 0 0 25 0 4 0 730783919 614154240 88052 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3757.24 Current children cumulated vsize (KiB) 599760 [startup+1002.3 s] /proc/loadavg: 8.10 8.11 8.04 9/373 5755 /proc/meminfo: memFree=17418200/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=611836 CPUtime=3996.52 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 406019 0 0 0 399458 194 0 0 25 0 4 0 730783919 626520064 84247 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 152959 84247 395 112 0 147924 0 [pid=5724/tid=5725] ppid=5722 vsize=611836 CPUtime=1001.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 111841 0 0 0 100101 46 0 0 25 0 4 0 730783919 626520064 84247 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=611836 CPUtime=1002.3 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 95523 0 0 0 100184 46 0 0 25 0 4 0 730783919 626520064 84247 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=611836 CPUtime=990.43 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 89029 0 0 0 98998 45 0 0 25 0 4 0 730783919 626520064 84247 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3996.52 Current children cumulated vsize (KiB) 611836 [startup+1062.3 s] /proc/loadavg: 8.09 8.10 8.04 9/373 5757 /proc/meminfo: memFree=17386892/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=612064 CPUtime=4235.83 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 433836 0 0 0 423375 208 0 0 25 0 4 0 730783919 626753536 94498 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 153016 94498 395 112 0 147981 0 [pid=5724/tid=5725] ppid=5722 vsize=612064 CPUtime=1061.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 116466 0 0 0 106098 49 0 0 25 0 4 0 730783919 626753536 94498 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=612064 CPUtime=1062.3 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 100657 0 0 0 106182 48 0 0 25 0 4 0 730783919 626753536 94498 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=612064 CPUtime=1049.73 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 100142 0 0 0 104924 49 0 0 25 0 4 0 730783919 626753536 94498 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4235.83 Current children cumulated vsize (KiB) 612064 [startup+1122.3 s] /proc/loadavg: 8.08 8.10 8.04 9/373 5759 /proc/meminfo: memFree=17327408/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=767972 CPUtime=4475.11 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 454513 0 0 0 447292 219 0 0 25 0 4 0 730783919 786403328 99473 33554432000 4194304 4650419 140734750267776 18446744073709551615 4364738 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 191993 99473 395 112 0 186958 0 [pid=5724/tid=5725] ppid=5722 vsize=767972 CPUtime=1121.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 120988 0 0 0 112096 51 0 0 25 0 4 0 730783919 786403328 99473 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=767972 CPUtime=1122.3 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 106242 0 0 0 112179 51 0 0 25 0 4 0 730783919 786403328 99473 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=767972 CPUtime=1109 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 104771 0 0 0 110849 51 0 0 25 0 4 0 730783919 786403328 99473 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4475.11 Current children cumulated vsize (KiB) 767972 [startup+1182.3 s] /proc/loadavg: 8.12 8.11 8.05 9/373 5761 /proc/meminfo: memFree=17326960/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=636304 CPUtime=4714.41 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 475036 0 0 0 471209 232 0 0 25 0 4 0 730783919 651575296 100773 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 159076 100773 395 112 0 154041 0 [pid=5724/tid=5725] ppid=5722 vsize=636304 CPUtime=1181.47 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 125001 0 0 0 118093 54 0 0 25 0 4 0 730783919 651575296 100773 33554432000 4194304 4650419 140734750267776 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=636304 CPUtime=1182.3 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 112241 0 0 0 118176 54 0 0 25 0 4 0 730783919 651575296 100773 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=636304 CPUtime=1168.31 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 110278 0 0 0 116776 55 0 0 25 0 4 0 730783919 651575296 100773 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4714.41 Current children cumulated vsize (KiB) 636304 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.8 s] /proc/loadavg: 8.22 8.13 8.06 5/368 5762 /proc/meminfo: memFree=17876036/32951124 swapFree=45193364/67111528 [pid=5724] ppid=5722 vsize=733048 CPUtime=4800.17 cores=1,3,5,7 /proc/5724/stat : 5724 (strangenight1-m) R 5722 5724 5085 0 -1 4202496 480128 0 0 0 479782 235 0 0 25 0 4 0 730783919 750641152 102017 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/5724/statm: 183262 102017 395 112 0 178227 0 [pid=5724/tid=5725] ppid=5722 vsize=733048 CPUtime=1202.99 cores=1,3,5,7 /proc/5724/task/5725/stat : 5725 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 125213 0 0 0 120245 54 0 0 25 0 4 0 730783919 750641152 102018 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=5724/tid=5726] ppid=5722 vsize=733048 CPUtime=1203.82 cores=1,3,5,7 /proc/5724/task/5726/stat : 5726 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 113365 0 0 0 120327 55 0 0 25 0 4 0 730783919 750641152 102018 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=5724/tid=5727] ppid=5722 vsize=733048 CPUtime=1189.54 cores=1,3,5,7 /proc/5724/task/5727/stat : 5727 (strangenight1-m) R 5722 5724 5085 0 -1 4202560 111544 0 0 0 118899 55 0 0 25 0 4 0 730783919 750641152 102018 33554432000 4194304 4650419 140734750267776 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.17 Current children cumulated vsize (KiB) 733048 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.84 CPU time (s): 4800.25 CPU user time (s): 4797.87 CPU system time (s): 2.37564 CPU usage (%): 398.745 Max. virtual memory (cumulated for all children) (KiB): 780600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.87 system time used= 2.37564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 480129 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= 551 involuntary context switches= 34977 runsolver used 3.78043 second user time and 10.5124 second system time The end
Begin job on node118 at 2011-05-14 22:38:53 IDJOB=3368896 IDBENCH=82905 IDSOLVER=1846 FILE ID=node118/3368896-1305405532 RUNJOBID= node118-1305405532-5702 PBS_JOBID= 13324486 Free space on /tmp= 73044 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368896-1305405532/watcher-3368896-1305405532 -o /tmp/evaluation-result-3368896-1305405532/solver-3368896-1305405532 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368896-1305405532.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5aca76da937068f3a8e48a26305deff6 RANDOM SEED=19571845 node118.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.842 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.68 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.842 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.842 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.68 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.842 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.842 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.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 18284828 kB Buffers: 275016 kB Cached: 4388900 kB SwapCached: 22084 kB Active: 11780556 kB Inactive: 2582600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18284828 kB SwapTotal: 67111528 kB SwapFree: 45193364 kB Dirty: 12564 kB Writeback: 0 kB AnonPages: 9690340 kB Mapped: 15000 kB Slab: 148680 kB PageTables: 89756 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 88718184 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= 73044 MiB End job on node118 at 2011-05-14 22:58:58