| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.27 | 1201.73 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf |
| MD5SUM | 420ae9a699afd6f172f364b156d160ff |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 363.335 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of clauses | 5340 |
| Sum of the clauses size | 37380 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 5340 |
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-3175271-1304105532.cnf' 0.00/0.00 c -- header says num vars: 60 0.00/0.00 c -- header says num clauses: 5340 0.00/0.01 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.00/0.01 c -- vars added 60 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.48/0.81 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.46 0.48/0.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.48/0.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.48/0.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.48/0.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.48/0.81 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.48/0.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.48/0.81 c Finding binary XORs T: 0.00 s found: 0 0.48/0.81 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.48/0.81 c calculated reachability. Time: 0.00 0.48/0.81 c Calc default polars - time: 0.00 s pos: 28 undec: 2 neg: 30 0.48/0.81 c ========================================================================================= 0.48/0.81 c types(t): F = full restart, N = normal restart 0.48/0.81 c types(t): S = simplification begin/end, E = solution found 0.48/0.81 c restart types(rt): st = static, dy = dynamic 0.48/0.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.48/0.81 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 0.48/0.81 c N dy 7 4343 60 5340 0 3859 37380 83761 18.04 19.05 -- 0.48/0.81 c N dy 21 15728 60 5340 0 7921 37380 150447 17.30 18.25 -- 0.48/0.91 c N dy 59 19763 60 5340 0 6577 37380 119127 17.80 20.00 -- 4.20/1.11 c F st 81 25000 60 5340 0 11251 37380 217598 17.91 16.23 -- 4.20/1.11 c N st 81 25000 60 5340 0 11251 37380 217598 17.91 16.23 -- 5.00/1.31 c N dy 87 30000 60 5340 0 9665 37380 175130 17.91 no data -- 5.00/1.31 c S st 87 30000 60 5340 0 9665 37380 175130 17.91 no data -- 5.40/1.41 c S st 87 30504 60 5340 0 10119 37380 185231 17.91 no data -- 5.40/1.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.40/1.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.40/1.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.40/1.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.40/1.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.40/1.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.40/1.41 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.77/2.26 c lits-rem: 1478 cl-subs: 1205 v-elim: 0 v-fix: 0 time: 3.62 s 9.97/2.52 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.04 9.97/2.52 c calculated reachability. Time: 0.00 9.97/2.52 c N dy 87 30504 60 5340 0 8914 37380 159276 17.91 no data -- 11.57/2.99 c N dy 102 40084 60 5340 0 10377 37380 176422 17.58 18.67 -- 12.77/3.24 c N dy 136 44150 60 5340 0 14047 37380 256049 17.76 19.69 -- 13.17/3.35 c S st 152 45756 60 5340 0 15496 37380 287981 17.85 no data -- 13.56/3.40 c S st 152 46258 60 5340 0 8002 37380 121306 17.85 no data -- 13.56/3.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.56/3.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.56/3.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.56/3.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.56/3.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.56/3.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.56/3.41 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.37/4.11 c lits-rem: 128 cl-subs: 23 v-elim: 0 v-fix: 0 time: 2.79 s 16.37/4.11 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.37/4.11 c vivif2 -- cl tried 7979 cl shrink 0 lits rem 0 time: 0.00 17.16/4.33 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.89 17.16/4.33 c calculated reachability. Time: 0.00 17.16/4.33 c N dy 152 46258 60 5340 0 7979 37380 120779 17.85 no data -- 18.76/4.77 c N dy 174 54767 60 5340 0 15551 37380 278440 17.77 18.71 -- 19.96/5.07 c N dy 205 58793 60 5340 0 10272 37380 158709 17.88 18.99 -- 21.18/5.31 c N dy 224 63031 60 5340 0 14022 37380 239160 17.94 19.01 -- 22.75/5.74 c N dy 229 69244 60 5340 0 9759 37380 140266 17.86 18.83 -- 22.75/5.75 c S st 231 69387 60 5340 0 9886 37380 142956 17.87 no data -- 22.75/5.78 c S st 231 69888 60 5340 0 10346 37380 153179 17.87 no data -- 22.75/5.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.75/5.78 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.75/5.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.75/5.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.75/5.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.75/5.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.75/5.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 26.34/6.64 c lits-rem: 207 cl-subs: 98 v-elim: 0 v-fix: 0 time: 3.39 s 26.34/6.64 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 26.34/6.64 c vivif2 -- cl tried 10248 cl shrink 0 lits rem 0 time: 0.00 27.54/6.91 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.10 27.54/6.91 c calculated reachability. Time: 0.00 27.54/6.91 c N dy 231 69888 60 5340 0 10248 37380 150559 17.87 no data -- 28.34/7.18 c N dy 259 74412 60 5340 0 14312 37380 237385 17.93 19.89 -- 29.56/7.50 c N dy 267 79799 60 5340 0 19044 37380 335441 17.88 18.84 -- 31.54/7.96 c N dy 279 86993 60 5340 0 14773 37380 232749 17.83 18.81 -- 31.54/7.99 c F st 284 87500 60 5340 0 15216 37380 242445 17.84 no data -- 33.14/8.32 c N dy 290 92697 60 5340 0 19809 37380 341048 17.84 no data -- 34.73/8.79 c N dy 324 98679 60 5340 0 13666 37380 202888 17.89 19.48 -- 36.73/9.21 c S st 350 104833 60 5340 0 19148 37380 319599 17.91 no data -- 36.73/9.26 c S st 350 105336 60 5340 0 19610 37380 329757 17.91 no data -- 36.73/9.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 36.73/9.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 36.73/9.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 36.73/9.28 c bin-w-bin subsume rem 0 bins time: 0.00 s 36.73/9.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 36.73/9.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 36.73/9.28 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.52/10.90 c lits-rem: 1870 cl-subs: 1898 v-elim: 0 v-fix: 0 time: 6.46 s 43.52/10.90 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 43.52/10.90 c vivif2 -- cl tried 17712 cl shrink 0 lits rem 0 time: 0.01 44.72/11.26 c asymm cl-useful: 0/4295/5340 lits-rem:0 time: 1.44 44.72/11.27 c calculated reachability. Time: 0.00 44.72/11.27 c N dy 350 105336 60 5340 0 17712 37380 287276 17.91 no data -- 50.32/12.69 c N dy 377 127520 60 5340 0 24949 37380 420784 17.66 18.66 -- 53.11/13.34 c N dy 425 135689 60 5340 0 18978 37380 296416 17.73 20.36 -- 56.32/14.15 c N dy 502 144415 60 5340 0 26799 37380 466733 17.85 19.20 -- 59.51/14.93 c N dy 532 154697 60 5340 0 21704 37380 341987 17.85 18.89 -- 60.73/15.25 c S st 558 158004 60 5340 0 24702 37380 407389 17.89 18.45 -- 61.10/15.32 c S st 558 158508 60 5340 0 25161 37380 417786 17.89 no data -- 61.10/15.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 61.10/15.32 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.10/15.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 61.10/15.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 61.10/15.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 61.10/15.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 61.10/15.34 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 69.10/17.31 c lits-rem: 2083 cl-subs: 2740 v-elim: 0 v-fix: 0 time: 7.86 s 69.10/17.31 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 69.10/17.31 c vivif2 -- cl tried 22421 cl shrink 0 lits rem 0 time: 0.02 69.51/17.46 c asymm cl-useful: 0/1045/5340 lits-rem:0 time: 0.59 69.51/17.46 c calculated reachability. Time: 0.00 69.51/17.46 c N dy 558 158508 60 5340 0 22421 37380 358377 17.89 no data -- 73.91/18.59 c N dy 625 169447 60 5340 0 17226 37380 239145 17.96 18.95 -- 79.07/19.83 c N dy 691 183200 60 5340 0 29491 37380 498690 17.99 18.99 -- 82.69/20.76 c N dy 711 194961 60 5340 0 23942 37380 368287 17.95 20.97 -- 87.47/21.99 c N dy 737 207408 60 5340 0 18121 37380 240892 17.91 20.99 -- 95.47/23.96 c N dy 757 229390 60 5340 0 19798 37380 261791 17.76 18.70 -- 98.65/24.75 c S st 818 237763 60 5340 0 27234 37380 421491 17.81 18.54 -- 99.05/24.82 c S st 818 238268 60 5340 0 27687 37380 431494 17.81 no data -- 99.05/24.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 99.05/24.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 99.05/24.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 99.05/24.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 99.05/24.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 99.05/24.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 99.05/24.84 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 107.04/26.89 c lits-rem: 1875 cl-subs: 2340 v-elim: 0 v-fix: 0 time: 8.16 s 107.04/26.89 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 107.04/26.89 c vivif2 -- cl tried 25347 cl shrink 0 lits rem 0 time: 0.02 108.65/27.28 c asymm cl-useful: 0/3329/5340 lits-rem:0 time: 1.53 108.65/27.28 c calculated reachability. Time: 0.00 108.65/27.28 c N dy 818 238268 60 5340 0 25347 37380 380300 17.81 no data -- 115.83/29.05 c N dy 921 253491 60 5340 0 20415 37380 266094 17.89 19.39 -- 122.61/30.77 c N dy 1026 269765 60 5340 0 34949 37380 580112 17.96 20.37 -- 129.01/32.38 c N dy 1052 287001 60 5340 0 30693 37380 466689 17.91 19.37 -- 136.99/34.37 c N dy 1125 305357 60 5340 0 26678 37380 378494 17.93 19.29 -- 137.39/34.47 c F st 1132 306250 60 5340 0 27483 37380 396126 17.94 17.67 -- 145.39/36.48 c N dy 1147 325473 60 5340 0 23203 37380 293707 17.91 18.91 -- 154.57/38.77 c N dy 1238 345546 60 5340 0 41071 37380 673692 17.94 21.43 -- 160.57/40.20 c S st 1316 357402 60 5340 0 29420 37380 419730 17.98 17.97 -- 160.57/40.28 c S st 1316 357905 60 5340 0 29873 37380 429855 17.98 no data -- 160.57/40.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 160.57/40.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 160.57/40.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 160.97/40.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 160.97/40.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 160.97/40.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 160.97/40.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 170.16/42.62 c lits-rem: 1458 cl-subs: 1686 v-elim: 0 v-fix: 0 time: 9.26 s 170.16/42.62 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 170.16/42.63 c vivif2 -- cl tried 28187 cl shrink 0 lits rem 0 time: 0.02 171.75/43.00 c asymm cl-useful: 0/2011/5340 lits-rem:0 time: 1.49 171.75/43.00 c calculated reachability. Time: 0.00 171.75/43.00 c N dy 1316 357905 60 5340 0 28187 37380 390924 17.98 no data -- 182.94/45.88 c N dy 1410 377962 60 5340 0 45924 37380 769133 18.01 18.97 -- 192.92/48.38 c N dy 1471 398004 60 5340 0 40740 37380 648954 18.01 19.03 -- 208.50/52.27 c N dy 1548 428809 60 5340 0 44147 37380 702608 17.98 19.04 -- 218.09/54.63 c N dy 1608 448900 60 5340 0 37161 37380 548370 17.96 19.83 -- 230.07/57.69 c N dy 1724 468943 60 5340 0 29277 37380 372140 18.00 19.00 -- 240.47/60.28 c N dy 1817 488985 60 5340 0 47067 37380 754207 18.02 19.75 -- 252.04/63.19 c N dy 1927 509069 60 5340 0 38316 37380 556456 18.05 19.24 -- 265.63/66.54 c N dy 2028 529714 60 5340 0 29110 37380 345689 18.08 19.06 -- 268.82/67.37 c S st 2064 536857 60 5340 0 35492 37380 483211 18.08 no data -- 269.22/67.46 c S st 2064 537361 60 5340 0 35953 37380 493292 18.08 no data -- 269.22/67.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 269.22/67.46 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 269.22/67.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 269.22/67.49 c bin-w-bin subsume rem 0 bins time: 0.00 s 269.22/67.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 269.22/67.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 269.22/67.49 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 278.40/69.70 c lits-rem: 748 cl-subs: 2005 v-elim: 0 v-fix: 0 time: 8.86 s 278.40/69.71 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 278.40/69.71 c vivif2 -- cl tried 33948 cl shrink 0 lits rem 0 time: 0.02 279.60/70.09 c asymm cl-useful: 0/2601/5340 lits-rem:0 time: 1.54 279.60/70.10 c calculated reachability. Time: 0.00 279.60/70.10 c N dy 2064 537361 60 5340 0 33948 37380 449857 18.08 no data -- 290.78/72.87 c N dy 2110 557373 60 5340 0 51595 37380 820565 18.06 19.13 -- 303.57/76.05 c N dy 2132 582228 60 5340 0 45137 37380 659531 17.99 19.06 -- 315.16/78.98 c N dy 2138 602579 60 5340 0 33926 37380 424011 17.94 18.93 -- 328.35/82.24 c N dy 2242 624003 60 5340 0 52901 37380 828933 17.95 18.94 -- 341.52/85.57 c N dy 2369 644069 60 5340 0 40731 37380 570844 17.99 19.06 -- 355.89/89.11 c N dy 2454 664133 60 5340 0 58515 37380 949911 18.00 19.10 -- 369.88/92.65 c N dy 2617 684153 60 5340 0 45408 37380 664469 18.05 20.65 -- 385.87/96.67 c N dy 2723 704239 60 5340 0 63252 37380 1048971 18.07 20.86 -- 409.42/102.59 c N dy 2841 739384 60 5340 0 62232 37380 990293 18.05 19.02 -- 421.40/105.56 c N dy 2885 759487 60 5340 0 47247 37380 670849 18.05 19.07 -- 437.39/109.52 c N dy 2968 780188 60 5340 0 65557 37380 1061757 18.05 19.01 -- 449.76/112.68 c N dy 3040 800346 60 5340 0 49871 37380 719503 18.06 19.01 -- 454.56/113.80 c S st 3085 806043 60 5340 0 54942 37380 830998 18.07 17.73 -- 454.96/113.94 c S st 3085 806548 60 5340 0 55400 37380 841411 18.07 no data -- 454.96/113.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 454.96/113.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 454.96/113.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.08 454.96/113.99 c bin-w-bin subsume rem 0 bins time: 0.00 s 454.96/113.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 454.96/113.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 454.96/113.99 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 486.12/121.74 c lits-rem: 2860 cl-subs: 5414 v-elim: 0 v-fix: 0 time: 30.94 s 486.12/121.74 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 486.12/121.75 c vivif2 -- cl tried 49986 cl shrink 0 lits rem 0 time: 0.04 487.31/122.05 c asymm cl-useful: 0/757/5340 lits-rem:0 time: 1.18 487.31/122.05 c calculated reachability. Time: 0.00 487.31/122.05 c N dy 3085 806548 60 5340 0 49986 37380 724338 18.07 no data -- 504.89/126.48 c N dy 3181 826870 60 5340 0 68036 37380 1111539 18.08 19.04 -- 518.47/129.86 c N dy 3267 848938 60 5340 0 53288 37380 779588 18.08 19.06 -- 537.64/134.64 c N dy 3385 869900 60 5340 0 36602 37380 414712 18.10 19.06 -- 548.83/137.50 c N dy 3427 889967 60 5340 0 54336 37380 786143 18.09 21.06 -- 570.80/142.91 c N dy 3536 917097 60 5340 0 42115 37380 517514 18.09 19.28 -- 584.38/146.38 c N dy 3606 937204 60 5340 0 59887 37380 898582 18.10 19.12 -- 603.55/151.10 c N dy 3712 957599 60 5340 0 40888 37380 486052 18.12 19.15 -- 617.54/154.66 c N dy 3807 977751 60 5340 0 58725 37380 870078 18.13 19.12 -- 638.31/159.87 c N dy 3922 999788 60 5340 0 40197 37380 459578 18.14 19.11 -- 651.89/163.20 c N dy 4000 1019877 60 5340 0 57973 37380 841858 18.15 21.39 -- 668.66/167.50 c N dy 4063 1039882 60 5340 0 75671 37380 1215879 18.14 20.17 -- 687.44/172.12 c N dy 4132 1066654 60 5340 0 60219 37380 869677 18.13 19.16 -- 692.23/173.32 c F st 4154 1071876 60 5340 0 64836 37380 968622 18.13 18.23 -- 707.01/177.05 c N dy 4163 1091241 60 5340 0 42139 37380 480098 18.11 19.10 -- 722.19/180.83 c N dy 4283 1111273 60 5340 0 59914 37380 864478 18.13 19.75 -- 742.96/186.03 c N dy 4393 1131311 60 5340 0 77669 37380 1251024 18.15 19.21 -- 759.36/190.13 c N dy 4438 1154061 60 5340 0 57085 37380 787241 18.14 19.12 -- 781.70/195.71 c N dy 4551 1174084 60 5340 0 74853 37380 1172202 18.15 19.25 -- 802.89/201.00 c N dy 4644 1194126 60 5340 0 51094 37380 655598 18.16 20.65 -- 821.65/205.79 c S st 4738 1209823 60 5340 0 65014 37380 956721 18.17 no data -- 822.85/206.04 c S st 4738 1210329 60 5340 0 65468 37380 966962 18.17 no data -- 822.85/206.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 822.85/206.04 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 822.85/206.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.16 823.25/206.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 823.25/206.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 823.25/206.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 823.25/206.11 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 901.54/225.75 c lits-rem: 3527 cl-subs: 5904 v-elim: 0 v-fix: 0 time: 78.44 s 901.54/225.75 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 901.54/225.77 c vivif2 -- cl tried 59564 cl shrink 0 lits rem 0 time: 0.05 902.74/226.07 c asymm cl-useful: 0/645/5340 lits-rem:0 time: 1.23 902.74/226.08 c calculated reachability. Time: 0.00 902.74/226.08 c N dy 4738 1210329 60 5340 0 59564 37380 836715 18.17 no data -- 926.71/232.00 c N dy 4837 1233659 60 5340 0 80171 37380 1281040 18.18 19.16 -- 943.09/236.20 c N dy 4897 1254481 60 5340 0 56464 37380 760600 18.18 19.21 -- 959.46/240.25 c N dy 4898 1276558 60 5340 0 75739 37380 1152125 18.15 19.35 -- 978.66/245.03 c N dy 4937 1296597 60 5340 0 50399 37380 621915 18.14 19.20 -- 997.41/249.78 c N dy 5001 1318058 60 5340 0 69306 37380 1023969 18.13 19.13 -- 1026.18/256.98 c N dy 5117 1338065 60 5340 0 87085 37380 1410681 18.15 20.14 -- 1046.15/261.95 c N dy 5189 1360510 60 5340 0 62826 37380 874812 18.15 19.29 -- 1069.31/267.79 c N dy 5302 1380591 60 5340 0 80647 37380 1260705 18.16 20.68 -- 1093.31/273.73 c N dy 5383 1404931 60 5340 0 57001 37380 730976 18.15 19.17 -- 1108.86/277.61 c N dy 5424 1425022 60 5340 0 74705 37380 1097863 18.14 19.72 -- 1134.03/283.98 c N dy 5499 1447777 60 5340 0 48891 37380 555417 18.14 19.13 -- 1153.60/288.83 c N dy 5622 1470376 60 5340 0 68859 37380 987561 18.15 19.13 -- 1178.37/295.01 c N dy 5689 1493998 60 5340 0 89674 37380 1427369 18.15 19.26 -- 1196.74/299.69 c N dy 5772 1514094 60 5340 0 60688 37380 801051 18.15 19.36 -- 1218.31/305.07 c N dy 5906 1534104 60 5340 0 78398 37380 1188263 18.17 19.18 -- 1245.87/311.94 c N dy 6011 1554147 60 5340 0 48424 37380 528616 18.18 20.26 -- 1261.45/315.86 c N dy 6096 1574219 60 5340 0 66151 37380 909259 18.18 19.88 -- 1282.24/321.01 c N dy 6138 1594992 60 5340 0 84351 37380 1292835 18.18 19.17 -- 1304.99/326.70 c N dy 6168 1617156 60 5340 0 55296 37380 657120 18.16 19.16 -- 1324.97/331.72 c N dy 6231 1639945 60 5340 0 75426 37380 1084648 18.16 19.19 -- 1350.93/338.28 c N dy 6347 1660010 60 5340 0 93232 37380 1470673 18.17 20.03 -- 1374.52/344.10 c N dy 6422 1684675 60 5340 0 65427 37380 865608 18.17 19.14 -- 1395.28/349.30 c N dy 6472 1704769 60 5340 0 83042 37380 1237822 18.16 19.33 -- 1403.66/351.48 c S st 6501 1710329 60 5340 0 87937 37380 1343715 18.17 16.26 -- 1404.87/351.80 c S st 6501 1710831 60 5340 0 88381 37380 1353749 18.17 no data -- 1405.28/351.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1405.28/351.81 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1405.28/351.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.20 1405.66/351.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 1405.66/351.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1405.66/351.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1405.66/351.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1595.00/399.34 c lits-rem: 6682 cl-subs: 11511 v-elim: 0 v-fix: 0 time: 189.44 s 1595.00/399.34 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1595.00/399.36 c vivif2 -- cl tried 76870 cl shrink 0 lits rem 0 time: 0.07 1597.00/399.81 c asymm cl-useful: 0/522/5340 lits-rem:0 time: 1.79 1597.00/399.81 c calculated reachability. Time: 0.00 1597.00/399.81 c N dy 6501 1710831 60 5340 0 76870 37380 1114574 18.17 no data -- 1626.55/407.25 c N dy 6541 1730878 60 5340 0 94406 37380 1480353 18.16 20.87 -- 1654.92/414.33 c N dy 6606 1750926 60 5340 0 62725 37380 811018 18.16 21.42 -- 1684.07/421.66 c N dy 6718 1771416 60 5340 0 80846 37380 1204316 18.17 19.16 -- 1716.43/429.77 c N dy 6808 1791456 60 5340 0 98552 37380 1584486 18.17 20.46 -- 1741.20/435.96 c N dy 6893 1811513 60 5340 0 65496 37380 856830 18.17 20.24 -- 1767.16/442.49 c N dy 6995 1831586 60 5340 0 83266 37380 1242295 18.18 19.96 -- 1801.51/451.07 c N dy 7025 1861157 60 5340 0 57221 37380 660308 18.15 19.24 -- 1860.64/465.88 c N dy 7126 1916813 60 5340 0 53326 37380 575046 18.10 19.08 -- 1875.02/469.41 c N dy 7145 1936898 60 5340 0 70949 37380 944530 18.09 21.48 -- 1898.57/475.36 c N dy 7245 1956933 60 5340 0 88664 37380 1327721 18.09 19.67 -- 1932.93/483.99 c N dy 7380 1978889 60 5340 0 54504 37380 588878 18.11 19.12 -- 1952.51/488.89 c N dy 7504 1998987 60 5340 0 72320 37380 977261 18.12 20.84 -- 1977.27/495.06 c N dy 7606 2019077 60 5340 0 90169 37380 1364558 18.12 19.15 -- 2005.23/502.04 c N dy 7676 2039123 60 5340 0 107775 37380 1740920 18.12 19.60 -- 2027.60/507.63 c N dy 7813 2059183 60 5340 0 70891 37380 935346 18.14 19.75 -- 2050.37/513.32 c N dy 7908 2079235 60 5340 0 88582 37380 1318078 18.14 19.41 -- 2083.13/521.53 c N dy 7949 2104422 60 5340 0 110625 37380 1776074 18.13 19.37 -- 2101.90/526.27 c N dy 8019 2124514 60 5340 0 72775 37380 959105 18.13 19.44 -- 2127.06/532.55 c N dy 8121 2144538 60 5340 0 90414 37380 1340700 18.14 19.65 -- 2159.82/540.76 c N dy 8251 2165345 60 5340 0 108751 37380 1741349 18.15 19.23 -- 2184.58/546.96 c N dy 8375 2186064 60 5340 0 70774 37380 913694 18.16 19.12 -- 2208.16/552.89 c N dy 8470 2206140 60 5340 0 88433 37380 1292942 18.16 20.16 -- 2213.36/554.20 c S st 8473 2210831 60 5340 0 92569 37380 1376442 18.16 15.91 -- 2214.55/554.47 c S st 8473 2211334 60 5340 0 93026 37380 1387018 18.16 no data -- 2214.55/554.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2214.55/554.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2214.95/554.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.18 2214.95/554.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 2214.95/554.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2214.95/554.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2214.95/554.57 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2349.98/588.35 c lits-rem: 5215 cl-subs: 9906 v-elim: 0 v-fix: 0 time: 134.91 s 2349.98/588.35 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2349.98/588.37 c vivif2 -- cl tried 83120 cl shrink 0 lits rem 0 time: 0.07 2351.56/588.77 c asymm cl-useful: 0/484/5340 lits-rem:0 time: 1.62 2351.56/588.77 c calculated reachability. Time: 0.00 2351.56/588.77 c N dy 8473 2211334 60 5340 0 83120 37380 1173940 18.16 no data -- 2378.72/595.59 c N dy 8524 2231379 60 5340 0 100732 37380 1547636 18.15 20.16 -- 2416.67/605.02 c N dy 8637 2252967 60 5340 0 63155 37380 742570 18.16 19.14 -- 2445.83/612.30 c N dy 8705 2276019 60 5340 0 83344 37380 1168944 18.16 19.33 -- 2512.93/629.12 c N dy 8785 2322330 60 5340 0 65985 37380 777508 18.13 19.18 -- 2542.10/636.48 c N dy 8862 2343977 60 5340 0 85008 37380 1182556 18.13 19.15 -- 2580.44/646.08 c N dy 8977 2364610 60 5340 0 103228 37380 1578519 18.14 19.15 -- 2618.39/655.59 c N dy 9061 2384662 60 5340 0 62139 37380 694786 18.14 21.22 -- 2648.77/663.11 c N dy 9177 2405378 60 5340 0 80484 37380 1093388 18.15 19.18 -- 2689.09/673.29 c N dy 9227 2432543 60 5340 0 104297 37380 1595061 18.14 19.12 -- 2727.05/682.80 c N dy 9313 2452570 60 5340 0 62178 37380 684516 18.14 19.64 -- 2750.61/688.65 c N dy 9369 2473021 60 5340 0 80248 37380 1070123 18.14 19.15 -- 2781.77/696.45 c N dy 9463 2493096 60 5340 0 97927 37380 1451131 18.15 19.76 -- 2820.14/706.07 c N dy 9540 2513130 60 5340 0 115572 37380 1831473 18.15 20.91 -- 2853.28/714.32 c N dy 9688 2533214 60 5340 0 72663 37380 907965 18.16 19.83 -- 2881.25/721.35 c N dy 9782 2553373 60 5340 0 90478 37380 1292646 18.16 19.21 -- 2914.39/729.67 c N dy 9863 2573401 60 5340 0 108198 37380 1676929 18.17 19.32 -- 2951.96/739.06 c N dy 9992 2593493 60 5340 0 64245 37380 709753 18.18 20.54 -- 2972.71/744.26 c N dy 10068 2613683 60 5340 0 82068 37380 1088401 18.18 19.20 -- 3001.47/751.44 c N dy 10181 2633734 60 5340 0 99825 37380 1475935 18.18 20.39 -- 3035.44/759.99 c N dy 10297 2653841 60 5340 0 117524 37380 1861839 18.19 19.26 -- 3065.80/767.51 c N dy 10415 2673931 60 5340 0 72644 37380 884427 18.20 20.50 -- 3090.95/773.87 c N dy 10515 2693995 60 5340 0 90329 37380 1266033 18.20 21.43 -- 3114.54/779.79 c S st 10572 2711334 60 5340 0 105641 37380 1591490 18.20 16.27 -- 3116.11/780.14 c S st 10572 2711835 60 5340 0 106090 37380 1601573 18.20 no data -- 3116.11/780.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3116.11/780.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3116.51/780.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.21 3116.51/780.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 3116.51/780.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3116.51/780.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3116.51/780.24 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3540.34/886.39 c lits-rem: 6236 cl-subs: 11611 v-elim: 0 v-fix: 0 time: 423.87 s 3540.34/886.39 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3540.75/886.41 c vivif2 -- cl tried 94479 cl shrink 0 lits rem 0 time: 0.08 3542.33/886.80 c asymm cl-useful: 0/573/5340 lits-rem:0 time: 1.57 3542.33/886.80 c calculated reachability. Time: 0.00 3542.33/886.80 c N dy 10572 2711835 60 5340 0 94479 37380 1349746 18.20 no data -- 3589.87/898.73 c N dy 10595 2741983 60 5340 0 120636 37380 1887536 18.18 19.27 -- 3619.84/906.26 c N dy 10670 2762031 60 5340 0 75619 37380 939408 18.18 19.57 -- 3652.57/914.42 c N dy 10809 2782113 60 5340 0 93447 37380 1331171 18.19 19.31 -- 3694.54/924.94 c N dy 10846 2807267 60 5340 0 115405 37380 1787515 18.18 19.14 -- 3742.06/936.87 c N dy 10913 2831896 60 5340 0 73122 37380 876627 18.18 19.15 -- 3778.81/946.09 c N dy 10974 2859186 60 5340 0 96964 37380 1377630 18.17 19.17 -- 3823.94/957.30 c N dy 11088 2879978 60 5340 0 115317 37380 1778730 18.18 19.18 -- 3873.88/969.82 c N dy 11211 2900032 60 5340 0 68115 37380 758144 18.19 19.61 -- 3902.24/976.94 c N dy 11301 2920066 60 5340 0 85794 37380 1140410 18.19 19.23 -- 3953.38/989.72 c N dy 11451 2945525 60 5340 0 108264 37380 1632740 18.20 19.16 -- 4000.51/1001.56 c N dy 11532 2965812 60 5340 0 126196 37380 2018485 18.20 19.19 -- 4052.84/1014.63 c N dy 11556 3005664 60 5340 0 94858 37380 1286738 18.18 19.16 -- 4090.01/1023.97 c N dy 11612 3030359 60 5340 0 116366 37380 1736183 18.17 19.17 -- 4137.51/1035.86 c N dy 11708 3051371 60 5340 0 68330 37380 743696 18.18 19.24 -- 4166.28/1043.06 c N dy 11789 3073348 60 5340 0 87723 37380 1159701 18.18 19.14 -- 4199.85/1051.44 c N dy 11888 3093368 60 5340 0 105408 37380 1543582 18.18 19.18 -- 4236.98/1060.73 c N dy 12005 3113436 60 5340 0 123054 37380 1928992 18.19 20.32 -- 4279.72/1071.40 c N dy 12021 3147070 60 5340 0 84796 37380 1059745 18.17 19.16 -- 4315.27/1080.34 c N dy 12136 3167096 60 5340 0 102508 37380 1445858 18.17 20.57 -- 4358.04/1091.09 c N dy 12274 3187162 60 5340 0 120270 37380 1834644 18.18 19.16 -- 4405.15/1102.85 c N dy 12358 3207632 60 5340 0 69679 37380 749795 18.18 19.17 -- 4410.36/1104.15 c S st 12372 3211835 60 5340 0 73374 37380 828254 18.18 16.40 -- 4411.54/1104.40 c S st 12372 3212339 60 5340 0 73837 37380 838728 18.18 no data -- 4411.54/1104.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4411.54/1104.41 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4411.54/1104.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.15 4411.54/1104.48 c bin-w-bin subsume rem 0 bins time: 0.00 s 4411.54/1104.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4411.54/1104.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4411.54/1104.48 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4481.44/1121.93 c lits-rem: 807 cl-subs: 1645 v-elim: 0 v-fix: 0 time: 69.71 s 4481.44/1121.93 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4481.44/1121.94 c vivif2 -- cl tried 72192 cl shrink 0 lits rem 0 time: 0.05 4483.04/1122.32 c asymm cl-useful: 0/612/5340 lits-rem:0 time: 1.50 4483.04/1122.32 c calculated reachability. Time: 0.00 4483.04/1122.32 c N dy 12372 3212339 60 5340 0 72192 37380 804663 18.18 no data -- 4514.20/1130.18 c N dy 12507 3233259 60 5340 0 90662 37380 1211527 18.19 19.20 -- 4546.15/1138.11 c N dy 12568 3254326 60 5340 0 109121 37380 1606751 18.19 19.15 -- 4612.88/1154.84 c N dy 12588 3301841 60 5340 0 81206 37380 970083 18.16 19.19 -- 4646.82/1163.30 c N dy 12644 3331185 60 5340 0 106900 37380 1512852 18.16 19.17 -- 4682.78/1172.33 c N dy 12759 3351186 60 5340 0 124556 37380 1895582 18.16 19.14 -- 4722.32/1182.23 c N dy 12832 3374650 60 5340 0 75007 37380 841215 18.16 19.15 -- 4750.67/1189.35 c N dy 12971 3396021 60 5340 0 93934 37380 1256346 18.17 19.15 -- 4783.44/1197.60 c N dy 13091 3416383 60 5340 0 111853 37380 1646475 18.17 19.15 --
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-3175271-1304105532/watcher-3175271-1304105532 -o /tmp/evaluation-result-3175271-1304105532/solver-3175271-1304105532 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175271-1304105532.cnf running on 4 cores: 0,2,4,6 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.95 8.02 7.99 5/180 2766 /proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 47343479314348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 12809 352 303 112 0 7774 0 [pid=2766/tid=2767] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 212699472950 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522150958 52465664 352 33554432000 4194304 4650419 140736302469248 18446744073709551615 47343479314358 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.126741 s] /proc/loadavg: 7.95 8.02 7.99 5/180 2766 /proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=290860 CPUtime=0.48 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 1780 0 0 0 48 0 0 0 18 0 4 0 522150958 297840640 1575 33554432000 4194304 4650419 140736302469248 18446744073709551615 4516533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 70663 1554 376 112 0 65628 0 [pid=2766/tid=2767] ppid=2764 vsize=282652 CPUtime=0.11 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) D 2764 2766 2566 0 -1 4202560 449 0 0 0 11 0 0 0 18 0 4 0 522150958 289435648 1605 33554432000 4194304 4650419 140736302469248 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=282652 CPUtime=0.12 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 403 0 0 0 12 0 0 0 18 0 4 0 522150958 289435648 1733 33554432000 4194304 4650419 140736302469248 18446744073709551615 212687336481 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=282652 CPUtime=0.12 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 372 0 0 0 12 0 0 0 18 0 4 0 522150958 289435648 1851 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 290860 [startup+1.05669 s] /proc/loadavg: 7.95 8.02 7.99 5/180 2766 /proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=286712 CPUtime=4.2 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 7077 0 0 0 419 1 0 0 19 0 4 0 522150958 293593088 3831 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 71678 3832 391 112 0 66643 0 [pid=2766/tid=2767] ppid=2764 vsize=286712 CPUtime=1.04 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1658 0 0 0 104 0 0 0 19 0 4 0 522150958 293593088 3832 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=286712 CPUtime=1.04 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1658 0 0 0 104 0 0 0 19 0 4 0 522150958 293593088 3832 33554432000 4194304 4650419 140736302469248 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=286712 CPUtime=1.05 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1665 0 0 0 105 0 0 0 19 0 4 0 522150958 293593088 3832 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 286712 [startup+1.15667 s] /proc/loadavg: 7.95 8.02 7.99 5/180 2766 /proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=286960 CPUtime=4.6 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 7905 0 0 0 459 1 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 71740 3691 391 112 0 66705 0 [pid=2766/tid=2767] ppid=2764 vsize=286960 CPUtime=1.14 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1923 0 0 0 114 0 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=286960 CPUtime=1.14 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1925 0 0 0 114 0 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=286960 CPUtime=1.15 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1721 0 0 0 115 0 0 0 19 0 4 0 522150958 293847040 3691 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.6 Current children cumulated vsize (KiB) 286960 [startup+1.25665 s] /proc/loadavg: 7.95 8.02 7.99 5/180 2766 /proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=286960 CPUtime=5 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 8113 0 0 0 499 1 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 71740 3899 391 112 0 66705 0 [pid=2766/tid=2767] ppid=2764 vsize=286960 CPUtime=1.24 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1979 0 0 0 124 0 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=286960 CPUtime=1.24 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1978 0 0 0 124 0 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=286960 CPUtime=1.25 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 1765 0 0 0 125 0 0 0 19 0 4 0 522150958 293847040 3899 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5 Current children cumulated vsize (KiB) 286960 [startup+1.5566 s] /proc/loadavg: 7.95 8.02 7.99 5/180 2766 /proc/meminfo: memFree=24256992/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=301456 CPUtime=6.2 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 10169 0 0 0 619 1 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 75364 5594 392 112 0 70329 0 [pid=2766/tid=2767] ppid=2764 vsize=301456 CPUtime=1.54 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 2234 0 0 0 154 0 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=301456 CPUtime=1.54 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 2099 0 0 0 154 0 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=301456 CPUtime=1.54 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 2147 0 0 0 154 0 0 0 20 0 4 0 522150958 308690944 5594 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365267 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 301456 [startup+3.10632 s] /proc/loadavg: 7.95 8.02 7.99 9/184 2771 /proc/meminfo: memFree=24207060/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=292864 CPUtime=12.39 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 16397 0 0 0 1236 3 0 0 25 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 73216 10049 392 112 0 68181 0 [pid=2766/tid=2767] ppid=2764 vsize=292864 CPUtime=3.08 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 3524 0 0 0 308 0 0 0 25 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=292864 CPUtime=3.09 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 4279 0 0 0 309 0 0 0 24 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=292864 CPUtime=3.1 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 4444 0 0 0 309 1 0 0 25 0 4 0 522150958 299892736 10049 33554432000 4194304 4650419 140736302469248 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.39 Current children cumulated vsize (KiB) 292864 [startup+6.30074 s] /proc/loadavg: 7.95 8.02 7.99 9/184 2771 /proc/meminfo: memFree=24191812/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=294232 CPUtime=25.16 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 24393 0 0 0 2512 4 0 0 25 0 4 0 522150958 301293568 12185 33554432000 4194304 4650419 140736302469248 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 73558 12185 392 112 0 68523 0 [pid=2766/tid=2767] ppid=2764 vsize=294232 CPUtime=6.26 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 6053 0 0 0 625 1 0 0 25 0 4 0 522150958 301293568 12187 33554432000 4194304 4650419 140736302469248 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=294232 CPUtime=6.29 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 6260 0 0 0 629 0 0 0 25 0 4 0 522150958 301293568 12187 33554432000 4194304 4650419 140736302469248 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=294232 CPUtime=6.3 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 6537 0 0 0 629 1 0 0 25 0 4 0 522150958 301293568 12187 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 294232 [startup+12.7006 s] /proc/loadavg: 7.95 8.02 7.99 9/184 2772 /proc/meminfo: memFree=24181908/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=299512 CPUtime=50.72 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 36190 0 0 0 5065 7 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365333 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 74878 17363 392 112 0 69843 0 [pid=2766/tid=2767] ppid=2764 vsize=299512 CPUtime=12.63 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 9060 0 0 0 1261 2 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=299512 CPUtime=12.69 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 9034 0 0 0 1268 1 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=299512 CPUtime=12.69 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 9996 0 0 0 1267 2 0 0 25 0 4 0 522150958 306700288 17363 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 299512 [startup+25.5012 s] /proc/loadavg: 7.96 8.02 7.99 9/184 2772 /proc/meminfo: memFree=24141368/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=301856 CPUtime=101.85 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 55765 0 0 0 10174 11 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 75464 22809 392 112 0 70429 0 [pid=2766/tid=2767] ppid=2764 vsize=301856 CPUtime=25.36 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 14007 0 0 0 2533 3 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=301856 CPUtime=25.49 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 13981 0 0 0 2547 2 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=301856 CPUtime=25.49 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 14628 0 0 0 2546 3 0 0 25 0 4 0 522150958 309100544 22809 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 301856 [startup+51.1006 s] /proc/loadavg: 8.03 8.03 8.00 9/184 2773 /proc/meminfo: memFree=24120648/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=313028 CPUtime=204.11 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 83962 0 0 0 20393 18 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 78257 25707 392 112 0 73222 0 [pid=2766/tid=2767] ppid=2764 vsize=313028 CPUtime=50.82 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 20683 0 0 0 5077 5 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=313028 CPUtime=51.09 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 21835 0 0 0 5106 3 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=313028 CPUtime=51.09 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 21457 0 0 0 5104 5 0 0 25 0 4 0 522150958 320540672 25707 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.11 Current children cumulated vsize (KiB) 313028 [startup+102.3 s] /proc/loadavg: 8.01 8.03 8.00 9/184 2774 /proc/meminfo: memFree=24096000/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=324964 CPUtime=408.62 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 123203 0 0 0 40833 29 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 81241 32548 392 112 0 76206 0 [pid=2766/tid=2767] ppid=2764 vsize=324964 CPUtime=101.73 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 29016 0 0 0 10166 7 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=324964 CPUtime=102.28 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 34034 0 0 0 10221 7 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=324964 CPUtime=102.29 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 34211 0 0 0 10220 9 0 0 25 0 4 0 522150958 332763136 32548 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.62 Current children cumulated vsize (KiB) 324964 [startup+162.3 s] ################ # More data... # ################ [pid=2766] ppid=2764 vsize=405084 CPUtime=2565.66 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 355690 0 0 0 256451 115 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4327504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 101271 66554 392 112 0 96236 0 [pid=2766/tid=2767] ppid=2764 vsize=405084 CPUtime=638.81 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 82331 0 0 0 63855 26 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=405084 CPUtime=642.3 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97643 0 0 0 64198 32 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=405084 CPUtime=642.29 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97862 0 0 0 64198 31 0 0 25 0 4 0 522150958 414806016 66554 33554432000 4194304 4650419 140736302469248 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2565.66 Current children cumulated vsize (KiB) 405084 [startup+702.301 s] /proc/loadavg: 8.14 8.09 8.02 9/184 2791 /proc/meminfo: memFree=23800912/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=458668 CPUtime=2805.35 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 367395 0 0 0 280414 121 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 114667 65849 392 112 0 109632 0 [pid=2766/tid=2767] ppid=2764 vsize=458668 CPUtime=698.48 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 83352 0 0 0 69822 26 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=458668 CPUtime=702.3 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 103682 0 0 0 70195 35 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=458668 CPUtime=702.29 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97974 0 0 0 70198 31 0 0 25 0 4 0 522150958 469676032 65849 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.35 Current children cumulated vsize (KiB) 458668 [startup+762.301 s] /proc/loadavg: 8.15 8.10 8.02 9/184 2794 /proc/meminfo: memFree=23777988/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=402396 CPUtime=3045 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 384974 0 0 0 304371 129 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 100599 65534 392 112 0 95564 0 [pid=2766/tid=2767] ppid=2764 vsize=402396 CPUtime=758.15 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 87914 0 0 0 75787 28 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=402396 CPUtime=762.3 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 108935 0 0 0 76193 37 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=402396 CPUtime=762.3 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 100713 0 0 0 76197 33 0 0 25 0 4 0 522150958 412053504 65534 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3045 Current children cumulated vsize (KiB) 402396 [startup+822.301 s] /proc/loadavg: 8.23 8.13 8.03 9/184 2795 /proc/meminfo: memFree=23733508/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=428384 CPUtime=3284.69 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 400486 0 0 0 328332 137 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 107096 73699 392 112 0 102061 0 [pid=2766/tid=2767] ppid=2764 vsize=428384 CPUtime=817.83 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 91991 0 0 0 81753 30 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=428384 CPUtime=822.3 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 113593 0 0 0 82192 38 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=428384 CPUtime=822.3 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 105414 0 0 0 82194 36 0 0 25 0 4 0 522150958 438665216 73699 33554432000 4194304 4650419 140736302469248 18446744073709551615 4367249 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3284.69 Current children cumulated vsize (KiB) 428384 [startup+882.301 s] /proc/loadavg: 8.21 8.13 8.04 9/184 2798 /proc/meminfo: memFree=23717172/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=506448 CPUtime=3524.35 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 412614 0 0 0 352292 143 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 126612 74740 392 112 0 121577 0 [pid=2766/tid=2767] ppid=2764 vsize=506448 CPUtime=877.5 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97113 0 0 0 87718 32 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=506448 CPUtime=882.31 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 117936 0 0 0 88190 41 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=506448 CPUtime=882.3 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 107967 0 0 0 88193 37 0 0 25 0 4 0 522150958 518602752 74740 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.35 Current children cumulated vsize (KiB) 506448 [startup+942.3 s] /proc/loadavg: 8.20 8.14 8.04 9/184 2799 /proc/meminfo: memFree=23690404/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=494068 CPUtime=3764.03 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 425253 0 0 0 376253 150 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 123517 79160 392 112 0 118482 0 [pid=2766/tid=2767] ppid=2764 vsize=494068 CPUtime=937.18 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97192 0 0 0 93686 32 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=494068 CPUtime=942.31 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 122572 0 0 0 94187 44 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=494068 CPUtime=942.3 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 111179 0 0 0 94191 39 0 0 25 0 4 0 522150958 505925632 79160 33554432000 4194304 4650419 140736302469248 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3764.03 Current children cumulated vsize (KiB) 494068 [startup+1002.3 s] /proc/loadavg: 8.13 8.12 8.04 9/184 2801 /proc/meminfo: memFree=23688108/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=494124 CPUtime=4003.7 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 430027 0 0 0 400216 154 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 123531 78667 392 112 0 118496 0 [pid=2766/tid=2767] ppid=2764 vsize=494124 CPUtime=996.85 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 97212 0 0 0 99653 32 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=494124 CPUtime=1002.31 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 126194 0 0 0 100184 47 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=494124 CPUtime=1002.31 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 111181 0 0 0 100192 39 0 0 25 0 4 0 522150958 505982976 78667 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4003.7 Current children cumulated vsize (KiB) 494124 [startup+1062.3 s] /proc/loadavg: 8.10 8.11 8.04 9/184 2803 /proc/meminfo: memFree=23673760/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=494248 CPUtime=4243.39 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 441666 0 0 0 424180 159 0 0 25 0 4 0 522150958 506109952 84917 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 123562 84917 392 112 0 118527 0 [pid=2766/tid=2767] ppid=2764 vsize=494248 CPUtime=1056.53 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 98526 0 0 0 105620 33 0 0 25 0 4 0 522150958 506109952 84918 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366960 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=494248 CPUtime=1062.32 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 131028 0 0 0 106183 49 0 0 25 0 4 0 522150958 506109952 84918 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=494248 CPUtime=1062.31 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 111803 0 0 0 106192 39 0 0 25 0 4 0 522150958 506109952 84918 33554432000 4194304 4650419 140736302469248 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4243.39 Current children cumulated vsize (KiB) 494248 [startup+1122.3 s] /proc/loadavg: 7.72 8.02 8.01 9/184 2837 /proc/meminfo: memFree=23997420/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=494248 CPUtime=4483.04 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 456244 0 0 0 448141 163 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 123562 86656 392 112 0 118527 0 [pid=2766/tid=2767] ppid=2764 vsize=494248 CPUtime=1116.2 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 102379 0 0 0 111586 34 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=494248 CPUtime=1122.31 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 138662 0 0 0 112181 50 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=494248 CPUtime=1122.31 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 114573 0 0 0 112190 41 0 0 25 0 4 0 522150958 506109952 86656 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4483.04 Current children cumulated vsize (KiB) 494248 [startup+1182.31 s] /proc/loadavg: 7.95 8.03 8.01 10/184 2839 /proc/meminfo: memFree=23893736/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=494288 CPUtime=4722.73 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 471636 0 0 0 472104 169 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 123572 89928 392 112 0 118537 0 [pid=2766/tid=2767] ppid=2764 vsize=494288 CPUtime=1175.88 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 106223 0 0 0 117552 36 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=494288 CPUtime=1182.33 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 145178 0 0 0 118181 52 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=494288 CPUtime=1182.31 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 119600 0 0 0 118188 43 0 0 25 0 4 0 522150958 506150912 89928 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4722.73 Current children cumulated vsize (KiB) 494288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 7.96 8.03 8.01 9/184 2839 /proc/meminfo: memFree=23901048/32951124 swapFree=67111524/67111528 [pid=2766] ppid=2764 vsize=494288 CPUtime=4800.22 cores=0,2,4,6 /proc/2766/stat : 2766 (strangenight1-m) R 2764 2766 2566 0 -1 4202496 472879 0 0 0 479851 171 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/2766/statm: 123572 86167 392 112 0 118537 0 [pid=2766/tid=2767] ppid=2764 vsize=494288 CPUtime=1195.18 cores=0,2,4,6 /proc/2766/task/2767/stat : 2767 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 106223 0 0 0 119482 36 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=2766/tid=2769] ppid=2764 vsize=494288 CPUtime=1201.72 cores=0,2,4,6 /proc/2766/task/2769/stat : 2769 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 146283 0 0 0 120119 53 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=2766/tid=2770] ppid=2764 vsize=494288 CPUtime=1201.71 cores=0,2,4,6 /proc/2766/task/2770/stat : 2770 (strangenight1-m) R 2764 2766 2566 0 -1 4202560 119738 0 0 0 120127 44 0 0 25 0 4 0 522150958 506150912 86167 33554432000 4194304 4650419 140736302469248 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.22 Current children cumulated vsize (KiB) 494288 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.27 CPU user time (s): 4798.54 CPU system time (s): 1.72974 CPU usage (%): 399.447 Max. virtual memory (cumulated for all children) (KiB): 559824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.54 system time used= 1.72974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 472879 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= 447 involuntary context switches= 22450 runsolver used 1.87271 second user time and 4.69928 second system time The end
Begin job on node139 at 2011-04-29 21:32:12 IDJOB=3175271 IDBENCH=82889 IDSOLVER=1588 FILE ID=node139/3175271-1304105532 RUNJOBID= node139-1304104242-2584 PBS_JOBID= 13170647 Free space on /tmp= 72548 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175271-1304105532/watcher-3175271-1304105532 -o /tmp/evaluation-result-3175271-1304105532/solver-3175271-1304105532 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175271-1304105532.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 420ae9a699afd6f172f364b156d160ff RANDOM SEED=286609704 node139.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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.852 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.852 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.852 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 : 5321.49 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.852 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.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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: 32951124 kB MemFree: 24257148 kB Buffers: 2046264 kB Cached: 5931192 kB SwapCached: 4 kB Active: 1070040 kB Inactive: 7105592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24257148 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 6240 kB Writeback: 32 kB AnonPages: 197788 kB Mapped: 15528 kB Slab: 453828 kB PageTables: 5060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 436460 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= 72540 MiB End job on node139 at 2011-04-29 21:52:16