| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.31 | 1201.93 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf |
| MD5SUM | 0d2557a5d8edb4c9702dcfea1e1cd4c5 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.030994 |
| 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-3175110-1304088527.cnf' 0.00/0.00 c -- header says num vars: 60 0.00/0.00 c -- header says num clauses: 5340 0.39/0.12 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.39/0.12 c -- vars added 60 0.39/0.12 c Parsing time: 0.01 s 0.39/0.12 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.39/0.12 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.46 0.39/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.39/0.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.39/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.39/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.39/0.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.18/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 3.18/0.80 c Finding binary XORs T: 0.00 s found: 0 3.18/0.80 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 3.18/0.80 c calculated reachability. Time: 0.00 3.18/0.80 c Calc default polars - time: 0.00 s pos: 24 undec: 1 neg: 35 3.18/0.80 c ========================================================================================= 3.18/0.80 c types(t): F = full restart, N = normal restart 3.18/0.80 c types(t): S = simplification begin/end, E = solution found 3.18/0.80 c restart types(rt): st = static, dy = dynamic 3.18/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.18/0.80 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 3.18/0.80 c N dy 10 5390 60 5340 0 2548 37380 48780 18.18 19.21 -- 3.18/0.80 c N dy 19 13686 60 5340 0 6141 37380 114376 17.21 18.13 -- 3.18/0.80 c N dy 59 17721 60 5340 0 9747 37380 192899 17.84 20.87 -- 3.58/1.00 c N dy 69 21947 60 5340 0 8506 37380 157183 17.77 18.71 -- 3.99/1.10 c F st 92 25000 60 5340 0 11242 37380 215814 17.92 16.71 -- 4.77/1.20 c N st 95 26189 60 5340 0 6241 37380 101889 17.92 no data -- 5.17/1.30 c S st 98 30001 60 5340 0 9604 37380 173688 17.92 no data -- 5.17/1.34 c S st 98 30505 60 5340 0 10075 37380 183781 17.92 no data -- 5.17/1.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.17/1.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.17/1.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.17/1.35 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.17/1.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.17/1.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.17/1.35 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.79/2.26 c lits-rem: 1533 cl-subs: 1146 v-elim: 0 v-fix: 0 time: 3.63 s 9.96/2.52 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.04 9.96/2.52 c calculated reachability. Time: 0.00 9.96/2.52 c N dy 98 30505 60 5340 0 8929 37380 158716 17.92 no data -- 11.97/3.02 c N dy 101 40608 60 5340 0 10835 37380 184431 17.53 18.52 -- 12.78/3.25 c N dy 130 44659 60 5340 0 14465 37380 263191 17.71 18.69 -- 13.18/3.32 c S st 135 45759 60 5340 0 15466 37380 284371 17.72 17.16 -- 13.18/3.37 c S st 135 46263 60 5340 0 8024 37380 120718 17.72 no data -- 13.18/3.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.18/3.37 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.18/3.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.18/3.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.18/3.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.18/3.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.18/3.38 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 15.96/4.07 c lits-rem: 90 cl-subs: 33 v-elim: 0 v-fix: 0 time: 2.75 s 15.96/4.07 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 15.96/4.07 c vivif2 -- cl tried 7991 cl shrink 0 lits rem 0 time: 0.00 16.76/4.29 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.89 16.76/4.29 c calculated reachability. Time: 0.00 16.76/4.29 c N dy 135 46263 60 5340 0 7991 37380 119979 17.72 no data -- 17.58/4.49 c N dy 155 50364 60 5340 0 11655 37380 197799 17.79 18.79 -- 18.75/4.75 c N dy 192 54421 60 5340 0 15315 37380 277826 17.94 19.12 -- 19.95/5.07 c N dy 203 60058 60 5340 0 11452 37380 182574 17.93 18.94 -- 21.16/5.32 c N dy 221 64340 60 5340 0 15293 37380 264197 17.96 18.98 -- 22.35/5.62 c N dy 247 68528 60 5340 0 19045 37380 344794 18.03 20.49 -- 22.35/5.70 c S st 248 69395 60 5340 0 10014 37380 143860 18.03 17.27 -- 22.75/5.73 c S st 248 69900 60 5340 0 10475 37380 153851 18.03 no data -- 22.75/5.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.75/5.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.75/5.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 22.75/5.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.75/5.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.75/5.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.75/5.74 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.96/6.57 c lits-rem: 177 cl-subs: 117 v-elim: 0 v-fix: 0 time: 3.30 s 25.96/6.57 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 25.96/6.57 c vivif2 -- cl tried 10358 cl shrink 0 lits rem 0 time: 0.01 27.14/6.84 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.09 27.14/6.84 c calculated reachability. Time: 0.00 27.14/6.84 c N dy 248 69900 60 5340 0 10358 37380 151017 18.03 no data -- 28.34/7.11 c N dy 277 74372 60 5340 0 14325 37380 236139 18.10 20.60 -- 29.94/7.50 c N dy 309 79990 60 5340 0 19340 37380 344737 18.16 19.16 -- 31.53/7.99 c F st 317 87500 60 5340 0 15258 37380 242605 18.08 17.09 -- 31.53/7.99 c N st 317 87500 60 5340 0 15258 37380 242605 18.08 17.09 -- 33.53/8.42 c N dy 327 93101 60 5340 0 20215 37380 347794 18.09 20.19 -- 35.15/8.88 c N dy 356 99043 60 5340 0 14002 37380 208731 18.11 19.11 -- 36.73/9.27 c S st 379 104851 60 5340 0 19134 37380 317077 18.12 17.05 -- 37.13/9.33 c S st 379 105353 60 5340 0 19596 37380 327116 18.12 no data -- 37.13/9.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 37.13/9.33 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 37.13/9.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 37.13/9.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 37.13/9.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 37.13/9.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 37.13/9.34 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.13/10.84 c lits-rem: 1925 cl-subs: 1964 v-elim: 0 v-fix: 0 time: 5.99 s 43.13/10.84 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 43.13/10.84 c vivif2 -- cl tried 17632 cl shrink 0 lits rem 0 time: 0.01 44.72/11.20 c asymm cl-useful: 0/4513/5340 lits-rem:0 time: 1.42 44.72/11.20 c calculated reachability. Time: 0.00 44.72/11.20 c N dy 379 105353 60 5340 0 17632 37380 283573 18.12 no data -- 47.52/12.00 c N dy 404 115373 60 5340 0 14226 37380 203313 18.09 19.23 -- 49.91/12.59 c N dy 455 123414 60 5340 0 21404 37380 357887 18.16 19.23 -- 52.72/13.28 c N dy 492 131514 60 5340 0 15324 37380 217833 18.19 19.30 -- 55.51/13.97 c N dy 515 141488 60 5340 0 24179 37380 406129 18.18 19.20 -- 60.70/15.21 c N dy 542 158030 60 5340 0 24601 37380 399105 18.07 16.22 -- 60.70/15.21 c S st 542 158030 60 5340 0 24601 37380 399105 18.07 16.22 -- 60.70/15.28 c S st 542 158531 60 5340 0 25053 37380 408834 18.07 no data -- 60.70/15.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 60.70/15.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 60.70/15.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 60.70/15.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 60.70/15.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 60.70/15.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 60.70/15.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 68.29/17.15 c lits-rem: 2064 cl-subs: 3191 v-elim: 0 v-fix: 0 time: 7.39 s 68.29/17.15 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 68.29/17.15 c vivif2 -- cl tried 21862 cl shrink 0 lits rem 0 time: 0.02 68.69/17.26 c asymm cl-useful: 0/827/5340 lits-rem:0 time: 0.44 68.69/17.26 c calculated reachability. Time: 0.00 68.69/17.26 c N dy 542 158531 60 5340 0 21862 37380 344836 18.07 no data -- 73.09/18.30 c N dy 557 169790 60 5340 0 16924 37380 229618 18.02 18.98 -- 77.08/19.37 c N dy 593 182862 60 5340 0 28507 37380 472986 18.00 18.99 -- 81.46/20.44 c N dy 651 194593 60 5340 0 23110 37380 353754 18.03 20.43 -- 88.66/22.21 c N dy 700 213132 60 5340 0 22683 37380 329777 17.99 19.04 -- 94.25/23.69 c N dy 772 226756 60 5340 0 34838 37380 590869 18.04 20.06 -- 98.65/24.70 c S st 834 237797 60 5340 0 26920 37380 415637 18.08 16.12 -- 98.65/24.77 c S st 834 238298 60 5340 0 27381 37380 425696 18.08 no data -- 98.65/24.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 98.65/24.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 98.65/24.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 98.65/24.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 98.65/24.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 98.65/24.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 98.65/24.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 107.43/26.98 c lits-rem: 2022 cl-subs: 2337 v-elim: 0 v-fix: 0 time: 8.75 s 107.43/26.98 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 107.43/26.99 c vivif2 -- cl tried 25044 cl shrink 0 lits rem 0 time: 0.02 109.03/27.38 c asymm cl-useful: 0/3390/5340 lits-rem:0 time: 1.56 109.03/27.38 c calculated reachability. Time: 0.00 109.03/27.38 c N dy 834 238298 60 5340 0 25044 37380 372979 18.08 no data -- 115.42/28.92 c N dy 883 254065 60 5340 0 20554 37380 266901 18.09 19.17 -- 123.03/30.81 c N dy 940 272587 60 5340 0 36892 37380 610889 18.07 19.03 -- 130.21/32.67 c N dy 997 291451 60 5340 0 34232 37380 542290 18.05 19.00 -- 137.00/34.31 c F st 1059 306250 60 5340 0 27017 37380 383440 18.07 17.00 -- 138.59/34.75 c N dy 1065 311446 60 5340 0 31618 37380 482630 18.07 no data -- 147.78/37.03 c N dy 1136 331994 60 5340 0 28588 37380 404994 18.08 19.10 -- 158.19/39.63 c N dy 1236 352702 60 5340 0 24791 37380 315975 18.10 19.08 -- 159.77/40.04 c S st 1245 357448 60 5340 0 29019 37380 405973 18.10 15.49 -- 160.17/40.12 c S st 1245 357954 60 5340 0 29468 37380 415860 18.10 no data -- 160.17/40.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 160.17/40.12 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 160.17/40.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 160.17/40.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 160.17/40.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 160.17/40.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 160.17/40.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 168.55/42.22 c lits-rem: 1371 cl-subs: 1829 v-elim: 0 v-fix: 0 time: 8.29 s 168.55/42.22 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 168.55/42.22 c vivif2 -- cl tried 27639 cl shrink 0 lits rem 0 time: 0.02 169.75/42.50 c asymm cl-useful: 0/1950/5340 lits-rem:0 time: 1.10 169.75/42.50 c calculated reachability. Time: 0.00 169.75/42.50 c N dy 1245 357954 60 5340 0 27639 37380 376700 18.10 no data -- 186.53/46.76 c N dy 1326 391204 60 5340 0 33953 37380 493555 18.07 19.15 -- 196.52/49.28 c N dy 1330 413265 60 5340 0 29522 37380 390303 17.99 18.96 -- 206.11/51.65 c N dy 1364 433343 60 5340 0 47319 37380 763117 17.97 19.31 -- 216.08/54.11 c N dy 1450 453428 60 5340 0 40401 37380 617174 17.98 20.88 -- 226.88/56.86 c N dy 1537 473438 60 5340 0 32561 37380 444022 18.00 20.46 -- 239.25/59.91 c N dy 1637 494546 60 5340 0 51261 37380 844054 18.02 19.08 -- 251.24/62.91 c N dy 1724 516845 60 5340 0 44539 37380 685980 18.04 19.08 -- 262.02/65.64 c N dy 1753 536931 60 5340 0 34779 37380 461140 18.00 15.23 -- 262.02/65.64 c S st 1753 536931 60 5340 0 34779 37380 461140 18.00 15.23 -- 262.42/65.73 c S st 1753 537432 60 5340 0 35231 37380 471418 18.00 no data -- 262.42/65.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 262.42/65.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 262.42/65.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 262.42/65.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 262.42/65.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 262.42/65.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 262.42/65.76 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 270.82/67.89 c lits-rem: 1204 cl-subs: 2256 v-elim: 0 v-fix: 0 time: 8.50 s 270.82/67.89 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 270.82/67.89 c vivif2 -- cl tried 32975 cl shrink 0 lits rem 0 time: 0.02 272.43/68.26 c asymm cl-useful: 0/2654/5340 lits-rem:0 time: 1.45 272.43/68.26 c calculated reachability. Time: 0.00 272.43/68.26 c N dy 1753 537432 60 5340 0 32975 37380 428347 18.00 no data -- 283.59/71.03 c N dy 1832 557435 60 5340 0 50700 37380 805383 18.01 20.28 -- 295.18/73.98 c N dy 1918 577762 60 5340 0 40554 37380 583291 18.02 19.06 -- 307.58/77.06 c N dy 1967 597834 60 5340 0 58362 37380 961439 18.02 19.61 -- 318.35/79.77 c N dy 2023 618870 60 5340 0 47873 37380 726246 18.02 19.01 -- 332.74/83.31 c N dy 2116 639541 60 5340 0 36089 37380 462890 18.03 19.03 -- 346.31/86.70 c N dy 2256 659576 60 5340 0 53984 37380 854208 18.07 19.26 -- 361.08/90.44 c N dy 2337 679669 60 5340 0 40646 37380 551409 18.08 19.74 -- 376.27/94.20 c N dy 2453 699797 60 5340 0 58542 37380 937852 18.11 19.11 -- 391.07/97.95 c N dy 2555 720671 60 5340 0 45144 37380 639249 18.13 19.13 -- 405.83/101.69 c N dy 2639 740714 60 5340 0 62934 37380 1017580 18.13 19.14 -- 421.42/105.57 c N dy 2719 766232 60 5340 0 52631 37380 782673 18.13 19.10 -- 435.38/109.02 c N dy 2730 790286 60 5340 0 40025 37380 500955 18.07 19.04 -- 445.38/111.51 c S st 2786 806150 60 5340 0 54026 37380 797607 18.07 no data -- 445.78/111.65 c S st 2786 806653 60 5340 0 54477 37380 807923 18.07 no data -- 445.78/111.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 445.78/111.65 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 445.78/111.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 446.18/111.70 c bin-w-bin subsume rem 0 bins time: 0.00 s 446.18/111.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 446.18/111.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 446.18/111.70 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 476.93/119.40 c lits-rem: 2959 cl-subs: 5998 v-elim: 0 v-fix: 0 time: 30.75 s 476.93/119.40 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 476.93/119.41 c vivif2 -- cl tried 48479 cl shrink 0 lits rem 0 time: 0.03 477.73/119.64 c asymm cl-useful: 0/773/5340 lits-rem:0 time: 0.92 477.73/119.64 c calculated reachability. Time: 0.00 477.73/119.64 c N dy 2786 806653 60 5340 0 48479 37380 688499 18.07 no data -- 494.91/123.93 c N dy 2863 826662 60 5340 0 66118 37380 1065928 18.08 19.08 -- 509.71/127.63 c N dy 2998 846666 60 5340 0 49859 37380 717006 18.11 19.07 -- 526.88/131.98 c N dy 3121 866694 60 5340 0 67692 37380 1104629 18.13 19.10 -- 541.24/135.56 c N dy 3218 886782 60 5340 0 50250 37380 709337 18.15 20.20 -- 556.84/139.42 c N dy 3278 906836 60 5340 0 67981 37380 1085168 18.14 20.16 -- 569.61/142.69 c N dy 3341 926867 60 5340 0 49437 37380 677448 18.14 19.92 -- 587.19/147.00 c N dy 3412 948545 60 5340 0 68621 37380 1086056 18.14 19.22 -- 603.16/151.09 c N dy 3490 970081 60 5340 0 50467 37380 686407 18.15 19.12 -- 618.35/154.85 c N dy 3537 990216 60 5340 0 68301 37380 1062240 18.14 19.10 -- 635.52/159.11 c N dy 3621 1011764 60 5340 0 49382 37380 651647 18.14 19.36 -- 651.10/163.03 c N dy 3695 1031784 60 5340 0 67055 37380 1031219 18.14 21.11 -- 680.67/170.41 c N dy 3790 1070176 60 5340 0 61879 37380 893221 18.12 19.19 -- 682.25/170.80 c F st 3796 1071875 60 5340 0 63386 37380 925388 18.12 18.91 -- 699.83/175.23 c N dy 3826 1093287 60 5340 0 42588 37380 489569 18.11 19.09 -- 713.02/178.52 c N dy 3877 1113343 60 5340 0 60290 37380 864195 18.10 19.07 -- 733.41/183.66 c N dy 3948 1134032 60 5340 0 78490 37380 1249907 18.10 19.11 -- 750.97/188.10 c N dy 4099 1154513 60 5340 0 56139 37380 779626 18.13 19.14 -- 771.34/193.19 c N dy 4214 1175055 60 5340 0 74359 37380 1173751 18.14 19.12 -- 794.92/199.01 c N dy 4292 1199664 60 5340 0 54587 37380 723943 18.13 19.12 -- 805.69/201.71 c S st 4339 1209981 60 5340 0 63770 37380 921208 18.13 no data -- 806.49/201.96 c S st 4339 1210487 60 5340 0 64232 37380 931687 18.13 no data -- 806.49/201.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 806.49/201.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 806.89/202.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.16 806.89/202.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 806.89/202.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 806.89/202.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 806.89/202.04 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 884.78/221.59 c lits-rem: 3765 cl-subs: 6351 v-elim: 0 v-fix: 0 time: 78.11 s 884.78/221.59 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 885.18/221.60 c vivif2 -- cl tried 57881 cl shrink 0 lits rem 0 time: 0.04 886.38/221.96 c asymm cl-useful: 0/645/5340 lits-rem:0 time: 1.43 886.38/221.97 c calculated reachability. Time: 0.00 886.38/221.97 c N dy 4339 1210487 60 5340 0 57881 37380 799776 18.13 no data -- 913.15/228.60 c N dy 4440 1234475 60 5340 0 78972 37380 1247111 18.13 19.10 -- 930.72/233.01 c N dy 4529 1254844 60 5340 0 54968 37380 730083 18.14 19.22 -- 948.30/237.45 c N dy 4617 1274851 60 5340 0 72669 37380 1111173 18.14 20.71 -- 968.67/242.59 c N dy 4633 1295756 60 5340 0 47980 37380 565086 18.12 19.11 -- 988.25/247.47 c N dy 4718 1315849 60 5340 0 65739 37380 945600 18.12 20.17 -- 1013.82/253.81 c N dy 4814 1336056 60 5340 0 83600 37380 1329032 18.13 19.11 -- 1041.77/260.86 c N dy 4835 1369509 60 5340 0 68668 37380 973023 18.08 19.09 -- 1066.54/267.09 c N dy 4937 1389532 60 5340 0 86372 37380 1355185 18.09 19.75 -- 1087.32/272.25 c N dy 4956 1418060 60 5340 0 66503 37380 922950 18.06 19.06 -- 1109.69/277.80 c N dy 5072 1438116 60 5340 0 84264 37380 1308035 18.07 20.52 -- 1128.87/282.70 c N dy 5150 1458540 60 5340 0 56584 37380 719844 18.07 19.04 -- 1149.23/287.77 c N dy 5225 1482245 60 5340 0 77500 37380 1159415 18.07 19.13 -- 1176.40/294.58 c N dy 5359 1502346 60 5340 0 48644 37380 542644 18.08 20.53 -- 1191.98/298.46 c N dy 5450 1522356 60 5340 0 66318 37380 923380 18.09 19.63 -- 1216.34/304.57 c N dy 5608 1542433 60 5340 0 84192 37380 1316299 18.11 20.42 -- 1240.31/310.59 c N dy 5724 1562558 60 5340 0 54246 37380 651247 18.12 19.26 -- 1258.28/315.05 c N dy 5813 1582665 60 5340 0 72023 37380 1035326 18.12 19.13 -- 1292.63/323.61 c N dy 5870 1617796 60 5340 0 54311 37380 632086 18.10 19.15 -- 1311.81/328.47 c N dy 6008 1638290 60 5340 0 72443 37380 1028647 18.11 19.14 -- 1344.17/336.57 c N dy 6115 1665703 60 5340 0 96616 37380 1545106 18.11 19.15 -- 1364.14/341.55 c N dy 6242 1685781 60 5340 0 65048 37380 868575 18.13 19.94 -- 1386.91/347.24 c N dy 6352 1705833 60 5340 0 82934 37380 1258658 18.14 19.12 -- 1393.70/348.91 c S st 6377 1710489 60 5340 0 87043 37380 1347831 18.14 no data -- 1394.90/349.24 c S st 6377 1710993 60 5340 0 87505 37380 1358257 18.14 no data -- 1394.90/349.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1394.90/349.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1394.90/349.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.19 1395.30/349.33 c bin-w-bin subsume rem 0 bins time: 0.00 s 1395.30/349.33 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1395.30/349.33 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1395.30/349.33 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1598.62/400.25 c lits-rem: 6270 cl-subs: 9255 v-elim: 0 v-fix: 0 time: 203.36 s 1598.62/400.25 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1598.62/400.27 c vivif2 -- cl tried 78250 cl shrink 0 lits rem 0 time: 0.07 1600.62/400.73 c asymm cl-useful: 0/504/5340 lits-rem:0 time: 1.83 1600.62/400.73 c calculated reachability. Time: 0.00 1600.62/400.73 c N dy 6377 1710993 60 5340 0 78250 37380 1150479 18.14 no data -- 1631.38/408.48 c N dy 6411 1731029 60 5340 0 95925 37380 1520672 18.13 20.91 -- 1650.95/413.37 c N dy 6438 1751106 60 5340 0 63536 37380 807682 18.12 20.39 -- 1675.33/419.47 c N dy 6492 1771321 60 5340 0 81295 37380 1183801 18.11 19.09 -- 1710.88/428.30 c N dy 6577 1791540 60 5340 0 99211 37380 1570047 18.12 19.13 -- 1733.65/434.03 c N dy 6607 1812659 60 5340 0 66813 37380 871177 18.10 19.06 -- 1772.00/443.65 c N dy 6670 1842381 60 5340 0 92879 37380 1413279 18.09 19.05 -- 1865.87/467.11 c N dy 6683 1939867 60 5340 0 73423 37380 969829 17.97 19.06 -- 1892.63/473.81 c N dy 6852 1959937 60 5340 0 91236 37380 1363003 17.99 20.13 -- 1924.21/481.71 c N dy 6995 1979948 60 5340 0 55566 37380 615447 18.00 19.04 -- 1944.16/486.72 c N dy 7128 1999954 60 5340 0 73266 37380 1003711 18.02 19.44 -- 1971.73/493.60 c N dy 7269 2020033 60 5340 0 91010 37380 1390644 18.03 20.80 -- 2001.28/501.07 c N dy 7380 2040105 60 5340 0 108748 37380 1776358 18.04 21.83 -- 2024.85/506.96 c N dy 7522 2062495 60 5340 0 74086 37380 1006945 18.05 19.01 -- 2050.41/513.36 c N dy 7660 2082528 60 5340 0 91879 37380 1395633 18.06 20.06 -- 2079.98/520.71 c N dy 7742 2102570 60 5340 0 109455 37380 1768672 18.06 20.79 -- 2102.35/526.31 c N dy 7866 2122592 60 5340 0 71604 37380 938559 18.07 20.40 -- 2128.71/532.91 c N dy 8029 2142604 60 5340 0 89315 37380 1329898 18.09 19.12 -- 2160.67/540.96 c N dy 8170 2162635 60 5340 0 107080 37380 1717123 18.10 20.53 -- 2186.23/547.39 c N dy 8291 2182667 60 5340 0 68228 37380 855762 18.11 19.63 -- 2215.00/554.59 c N dy 8355 2210993 60 5340 0 93032 37380 1378809 18.10 14.88 -- 2215.00/554.59 c S st 8355 2210993 60 5340 0 93032 37380 1378809 18.10 14.88 -- 2216.20/554.88 c S st 8355 2211496 60 5340 0 93492 37380 1389329 18.10 no data -- 2216.20/554.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2216.20/554.88 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2216.60/554.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.18 2216.60/554.97 c bin-w-bin subsume rem 0 bins time: 0.00 s 2216.60/554.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2216.60/554.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2216.60/554.97 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2366.79/592.59 c lits-rem: 5336 cl-subs: 10534 v-elim: 0 v-fix: 0 time: 150.23 s 2366.79/592.59 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2367.19/592.60 c vivif2 -- cl tried 82958 cl shrink 0 lits rem 0 time: 0.07 2368.79/593.00 c asymm cl-useful: 0/471/5340 lits-rem:0 time: 1.57 2368.79/593.00 c calculated reachability. Time: 0.00 2368.79/593.00 c N dy 8355 2211496 60 5340 0 82958 37380 1170779 18.10 no data -- 2405.14/602.10 c N dy 8507 2231553 60 5340 0 100796 37380 1564407 18.12 20.23 -- 2439.89/610.81 c N dy 8598 2251587 60 5340 0 61727 37380 710352 18.12 19.46 -- 2465.85/617.30 c N dy 8690 2271859 60 5340 0 79614 37380 1093284 18.12 19.13 -- 2499.02/625.66 c N dy 8794 2292962 60 5340 0 98205 37380 1495191 18.13 19.10 -- 2541.36/636.21 c N dy 8868 2313059 60 5340 0 57982 37380 615793 18.13 21.05 -- 2570.13/643.45 c N dy 8997 2333436 60 5340 0 76066 37380 1009320 18.14 19.10 -- 2607.26/652.78 c N dy 9141 2353455 60 5340 0 93795 37380 1397656 18.15 19.33 -- 2662.82/666.66 c N dy 9218 2387623 60 5340 0 64756 37380 742017 18.14 19.12 -- 2694.35/674.54 c N dy 9343 2407976 60 5340 0 82796 37380 1137808 18.15 19.19 -- 2724.33/682.01 c N dy 9403 2428003 60 5340 0 100399 37380 1509773 18.14 20.53 -- 2757.07/690.22 c N dy 9468 2448005 60 5340 0 118045 37380 1885238 18.14 19.14 -- 2813.39/704.33 c N dy 9571 2495578 60 5340 0 99672 37380 1454352 18.12 19.20 -- 2852.93/714.23 c N dy 9690 2515648 60 5340 0 117414 37380 1839276 18.13 19.69 -- 2887.29/722.81 c N dy 9815 2538666 60 5340 0 77168 37380 998404 18.14 19.13 -- 2922.44/731.61 c N dy 9892 2565069 60 5340 0 100355 37380 1493945 18.13 19.11 -- 2958.39/740.64 c N dy 10020 2585085 60 5340 0 118029 37380 1878727 18.14 20.37 -- 2984.35/747.14 c N dy 10087 2606790 60 5340 0 75451 37380 947358 18.14 19.11 -- 3012.71/754.29 c N dy 10216 2628240 60 5340 0 94361 37380 1357065 18.15 19.12 -- 3079.83/771.02 c N dy 10309 2684382 60 5340 0 80854 37380 1034345 18.12 19.08 -- 3108.18/778.12 c N dy 10424 2704497 60 5340 0 98607 37380 1419859 18.13 19.09 -- 3120.16/781.10 c S st 10484 2711496 60 5340 0 104813 37380 1557904 18.13 no data -- 3121.36/781.41 c S st 10484 2711998 60 5340 0 105264 37380 1568132 18.13 no data -- 3121.36/781.42 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 3121.36/781.42 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3121.36/781.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.21 3121.76/781.52 c bin-w-bin subsume rem 0 bins time: 0.00 s 3121.76/781.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3121.76/781.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3121.76/781.52 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3524.04/882.24 c lits-rem: 6883 cl-subs: 12960 v-elim: 0 v-fix: 0 time: 402.25 s 3524.04/882.24 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3524.04/882.26 c vivif2 -- cl tried 92304 cl shrink 0 lits rem 0 time: 0.08 3525.62/882.66 c asymm cl-useful: 0/602/5340 lits-rem:0 time: 1.59 3525.62/882.66 c calculated reachability. Time: 0.00 3525.62/882.66 c N dy 10484 2711998 60 5340 0 92304 37380 1304767 18.13 no data -- 3564.37/892.38 c N dy 10573 2733776 60 5340 0 111322 37380 1711808 18.14 19.12 -- 3603.92/902.29 c N dy 10665 2753955 60 5340 0 66767 37380 756015 18.14 19.22 -- 3632.67/909.41 c N dy 10780 2773997 60 5340 0 84524 37380 1143542 18.15 20.93 -- 3669.42/918.66 c N dy 10909 2794348 60 5340 0 102498 37380 1539172 18.15 19.15 -- 3719.76/931.27 c N dy 11003 2816475 60 5340 0 122105 37380 1961346 18.16 19.18 -- 3752.87/939.50 c N dy 11065 2836533 60 5340 0 75806 37380 928777 18.15 20.82 -- 3789.67/948.89 c N dy 11221 2856604 60 5340 0 93616 37380 1322959 18.17 19.16 -- 3831.55/959.46 c N dy 11341 2876642 60 5340 0 111332 37380 1711651 18.17 19.83 -- 3879.88/971.57 c N dy 11436 2896676 60 5340 0 128964 37380 2091478 18.18 19.35 -- 3912.64/979.74 c N dy 11538 2916740 60 5340 0 81657 37380 1050586 18.18 19.85 -- 3972.16/994.68 c N dy 11637 2952950 60 5340 0 113334 37380 1716481 18.17 19.13 -- 4019.72/1006.57 c N dy 11706 2973243 60 5340 0 131113 37380 2094397 18.17 19.16 -- 4054.46/1015.27 c N dy 11866 2993294 60 5340 0 83045 37380 1075872 18.18 20.07 -- 4090.40/1024.21 c N dy 11982 3014475 60 5340 0 101798 37380 1484771 18.19 19.34 -- 4131.55/1034.58 c N dy 12106 3034494 60 5340 0 119429 37380 1869606 18.19 22.04 -- 4176.68/1045.87 c N dy 12198 3054790 60 5340 0 70380 37380 780769 18.20 19.22 -- 4197.86/1051.11 c N dy 12266 3074865 60 5340 0 88044 37380 1158836 18.20 21.11 -- 4229.01/1058.95 c N dy 12392 3095009 60 5340 0 105756 37380 1545366 18.20 19.29 -- 4274.95/1070.45 c N dy 12482 3121796 60 5340 0 129296 37380 2044022 18.20 19.20 -- 4313.70/1080.20 c N dy 12634 3141827 60 5340 0 79206 37380 968854 18.21 19.54 -- 4344.87/1087.93 c N dy 12735 3161862 60 5340 0 96870 37380 1351274 18.22 19.65 -- 4383.20/1097.51 c N dy 12823 3183457 60 5340 0 115847 37380 1761216 18.22 19.20 -- 4425.95/1108.22 c N dy 12964 3203570 60 5340 0 133626 37380 2152906 18.23 19.19 -- 4441.92/1112.25 c S st 13023 3211998 60 5340 0 72308 37380 806933 18.23 no data -- 4442.72/1112.47 c S st 13023 3212500 60 5340 0 72762 37380 816976 18.23 no data -- 4442.72/1112.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4442.72/1112.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4443.12/1112.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.13 4443.12/1112.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 4443.12/1112.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4443.12/1112.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4443.12/1112.53 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4490.66/1124.48 c lits-rem: 466 cl-subs: 872 v-elim: 0 v-fix: 0 time: 47.72 s 4490.66/1124.48 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4490.66/1124.49 c vivif2 -- cl tried 71890 cl shrink 0 lits rem 0 time: 0.04 4491.86/1124.77 c asymm cl-useful: 0/622/5340 lits-rem:0 time: 1.11 4491.86/1124.77 c calculated reachability. Time: 0.00 4491.86/1124.77 c N dy 13023 3212500 60 5340 0 71890 37380 796603 18.23 no data -- 4514.22/1130.39 c N dy 13109 3232575 60 5340 0 89475 37380 1174247 18.23 20.52 -- 4546.19/1138.35 c N dy 13215 3253955 60 5340 0 108284 37380 1580822 18.24 19.33 -- 4582.53/1147.42 c N dy 13318 3274072 60 5340 0 126002 37380 1961974 18.24 19.27 -- 4619.69/1156.72 c N dy 13417 3294139 60 5340 0 74157 37380 837505 18.24 20.77 -- 4646.05/1163.39 c N dy 13547 3314480 60 5340 0 92103 37380 1230501 18.25 19.35 -- 4677.61/1171.20 c N dy 13624 3335678 60 5340 0 110704 37380 1628171 18.25 19.22 -- 4729.54/1184.29 c N dy 13648 3371324 60 5340 0 71513 37380 768642 18.23 19.20 -- 4751.11/1189.62 c N dy 13691 3391358 60 5340 0 89031 37380 1138067 18.22 19.20 -- 4781.06/1197.14 c N dy 13773 3412198 60 5340 0 107361 37380 1534025 18.23 19.20 --
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-3175110-1304088527/watcher-3175110-1304088527 -o /tmp/evaluation-result-3175110-1304088527/solver-3175110-1304088527 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175110-1304088527.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: 1.75 2.49 3.06 6/180 2201 /proc/meminfo: memFree=27647168/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 520450421 52465664 352 33554432000 4194304 4650419 140733399511488 18446744073709551615 218905787377 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 12809 352 303 112 0 7774 0 [pid=2201/tid=2202] ppid=2199 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 520450422 52465664 352 33554432000 4194304 4650419 140733399511488 18446744073709551615 47939196901292 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 520450422 52465664 352 33554432000 4194304 4650419 140733399511488 18446744073709551615 47939196901292 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 520450422 52465664 352 33554432000 4194304 4650419 140733399511488 18446744073709551615 218905787377 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0131049 s] /proc/loadavg: 1.75 2.49 3.06 6/180 2201 /proc/meminfo: memFree=27647168/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=281904 CPUtime=0.03 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 1137 0 0 0 3 0 0 0 18 0 4 0 520450421 288669696 1052 33554432000 4194304 4650419 140733399511488 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 70476 1052 366 112 0 65441 0 [pid=2201/tid=2202] ppid=2199 vsize=281904 CPUtime=0.01 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 173 0 0 0 1 0 0 0 18 0 4 0 520450422 288669696 1052 33554432000 4194304 4650419 140733399511488 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=281904 CPUtime=0 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 167 0 0 0 0 0 0 0 18 0 4 0 520450422 288669696 1052 33554432000 4194304 4650419 140733399511488 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=281904 CPUtime=0 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 192 0 0 0 0 0 0 0 24 0 4 0 520450422 288669696 1052 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 281904 [startup+0.101088 s] /proc/loadavg: 1.75 2.49 3.06 6/180 2201 /proc/meminfo: memFree=27647168/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=281904 CPUtime=0.39 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 1326 0 0 0 39 0 0 0 18 0 4 0 520450421 288669696 1241 33554432000 4194304 4650419 140733399511488 18446744073709551615 4370668 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 70476 1241 366 112 0 65441 0 [pid=2201/tid=2202] ppid=2199 vsize=281904 CPUtime=0.09 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 188 0 0 0 9 0 0 0 18 0 4 0 520450422 288669696 1241 33554432000 4194304 4650419 140733399511488 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=281904 CPUtime=0.09 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 185 0 0 0 9 0 0 0 18 0 4 0 520450422 288669696 1241 33554432000 4194304 4650419 140733399511488 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=281904 CPUtime=0.09 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 328 0 0 0 9 0 0 0 24 0 4 0 520450422 288669696 1241 33554432000 4194304 4650419 140733399511488 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 281904 [startup+0.301054 s] /proc/loadavg: 1.75 2.49 3.06 6/180 2201 /proc/meminfo: memFree=27647168/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=285412 CPUtime=1.18 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 3638 0 0 0 118 0 0 0 18 0 4 0 520450421 292261888 2696 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 71353 2696 390 112 0 66318 0 [pid=2201/tid=2202] ppid=2199 vsize=285412 CPUtime=0.29 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 878 0 0 0 29 0 0 0 18 0 4 0 520450422 292261888 2696 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=285412 CPUtime=0.29 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 848 0 0 0 29 0 0 0 18 0 4 0 520450422 292261888 2696 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=285412 CPUtime=0.29 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 618 0 0 0 29 0 0 0 25 0 4 0 520450422 292261888 2696 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 285412 [startup+0.700983 s] /proc/loadavg: 1.75 2.49 3.06 6/180 2201 /proc/meminfo: memFree=27647168/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=286508 CPUtime=2.78 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 5616 0 0 0 278 0 0 0 18 0 4 0 520450421 293384192 3484 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 71627 3484 390 112 0 66592 0 [pid=2201/tid=2202] ppid=2199 vsize=286508 CPUtime=0.69 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 1321 0 0 0 69 0 0 0 18 0 4 0 520450422 293384192 3484 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=286508 CPUtime=0.69 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 1308 0 0 0 69 0 0 0 18 0 4 0 520450422 293384192 3484 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=286508 CPUtime=0.69 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 1248 0 0 0 69 0 0 0 25 0 4 0 520450422 293384192 3484 33554432000 4194304 4650419 140733399511488 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 286508 [startup+1.50084 s] /proc/loadavg: 1.75 2.49 3.06 10/184 2205 /proc/meminfo: memFree=27622832/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=287408 CPUtime=5.97 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 10068 0 0 0 597 0 0 0 20 0 4 0 520450421 294305792 5403 33554432000 4194304 4650419 140733399511488 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 71852 5403 392 112 0 66817 0 [pid=2201/tid=2202] ppid=2199 vsize=287408 CPUtime=1.49 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 2104 0 0 0 149 0 0 0 20 0 4 0 520450422 294305792 5403 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=287408 CPUtime=1.49 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 2117 0 0 0 149 0 0 0 19 0 4 0 520450422 294305792 5403 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=287408 CPUtime=1.48 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 2110 0 0 0 148 0 0 0 25 0 4 0 520450422 294305792 5403 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 287408 [startup+3.10055 s] /proc/loadavg: 2.33 2.60 3.09 9/184 2205 /proc/meminfo: memFree=27586304/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=283176 CPUtime=12.37 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 16620 0 0 0 1235 2 0 0 25 0 4 0 520450421 289972224 10232 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 70794 10232 392 112 0 65759 0 [pid=2201/tid=2202] ppid=2199 vsize=283176 CPUtime=3.08 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 3574 0 0 0 308 0 0 0 25 0 4 0 520450422 289972224 10232 33554432000 4194304 4650419 140733399511488 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=283176 CPUtime=3.09 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 4370 0 0 0 309 0 0 0 25 0 4 0 520450422 289972224 10232 33554432000 4194304 4650419 140733399511488 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=283176 CPUtime=3.07 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 4464 0 0 0 307 0 0 0 25 0 4 0 520450422 289972224 10232 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 283176 [startup+6.30097 s] /proc/loadavg: 2.33 2.60 3.09 9/184 2205 /proc/meminfo: memFree=27556048/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=299372 CPUtime=25.14 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 24633 0 0 0 2511 3 0 0 25 0 4 0 520450421 306556928 11939 33554432000 4194304 4650419 140733399511488 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 74843 11939 392 112 0 69808 0 [pid=2201/tid=2202] ppid=2199 vsize=299372 CPUtime=6.28 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 5988 0 0 0 628 0 0 0 25 0 4 0 520450422 306556928 11939 33554432000 4194304 4650419 140733399511488 18446744073709551615 4370732 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=299372 CPUtime=6.28 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 6348 0 0 0 628 0 0 0 25 0 4 0 520450422 306556928 11939 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=299372 CPUtime=6.25 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 6423 0 0 0 624 1 0 0 25 0 4 0 520450422 306556928 11939 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 299372 [startup+12.7008 s] /proc/loadavg: 3.20 2.78 3.14 9/184 2205 /proc/meminfo: memFree=27515384/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=308020 CPUtime=50.71 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 36119 0 0 0 5065 6 0 0 25 0 4 0 520450421 315412480 18035 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 77005 18035 392 112 0 71970 0 [pid=2201/tid=2202] ppid=2199 vsize=308020 CPUtime=12.69 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 8087 0 0 0 1268 1 0 0 25 0 4 0 520450422 315412480 18036 33554432000 4194304 4650419 140733399511488 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=308020 CPUtime=12.69 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 9348 0 0 0 1268 1 0 0 25 0 4 0 520450422 315412480 18036 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=308020 CPUtime=12.62 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 10044 0 0 0 1260 2 0 0 25 0 4 0 520450422 315412480 18036 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 308020 [startup+25.5005 s] /proc/loadavg: 3.94 2.95 3.19 9/184 2206 /proc/meminfo: memFree=27468744/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=311116 CPUtime=101.84 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 53165 0 0 0 10174 10 0 0 25 0 4 0 520450421 318582784 23686 33554432000 4194304 4650419 140733399511488 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 77779 23686 392 112 0 72744 0 [pid=2201/tid=2202] ppid=2199 vsize=311116 CPUtime=25.49 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 10886 0 0 0 2547 2 0 0 25 0 4 0 520450422 318582784 23686 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=311116 CPUtime=25.49 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 14837 0 0 0 2547 2 0 0 25 0 4 0 520450422 318582784 23686 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=311116 CPUtime=25.35 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 14940 0 0 0 2532 3 0 0 25 0 4 0 520450422 318582784 23686 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 311116 [startup+51.1009 s] /proc/loadavg: 5.32 3.35 3.32 9/184 2206 /proc/meminfo: memFree=27429624/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=312456 CPUtime=204.1 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 73741 0 0 0 20394 16 0 0 25 0 4 0 520450421 319954944 28915 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 78114 28915 392 112 0 73079 0 [pid=2201/tid=2202] ppid=2199 vsize=312456 CPUtime=51.08 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 12827 0 0 0 5106 2 0 0 25 0 4 0 520450422 319954944 28915 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=312456 CPUtime=51.09 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 20569 0 0 0 5105 4 0 0 25 0 4 0 520450422 319954944 28915 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=312456 CPUtime=50.81 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 22818 0 0 0 5076 5 0 0 25 0 4 0 520450422 319954944 28915 33554432000 4194304 4650419 140733399511488 18446744073709551615 4330582 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 204.1 Current children cumulated vsize (KiB) 312456 [startup+102.307 s] /proc/loadavg: 6.93 4.13 3.58 9/184 2208 /proc/meminfo: memFree=27374260/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=348708 CPUtime=408.65 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 108630 0 0 0 40835 30 0 0 25 0 4 0 520450421 357076992 36251 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 87177 36251 392 112 0 82142 0 [pid=2201/tid=2202] ppid=2199 vsize=348708 CPUtime=102.29 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 17357 0 0 0 10225 4 0 0 25 0 4 0 520450422 357076992 36251 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=348708 CPUtime=102.3 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 30670 0 0 0 10221 9 0 0 25 0 4 0 520450422 357076992 36251 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=348708 CPUtime=101.74 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 34913 0 0 0 10164 10 0 0 25 0 4 0 520450422 357076992 36251 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408.65 Current children cumulated vsize (KiB) 348708 [startup+162.301 s] ################ # More data... # ################ [pid=2201] ppid=2199 vsize=377656 CPUtime=2805.4 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 360019 0 0 0 280404 136 0 0 25 0 4 0 520450421 386719744 68132 33554432000 4194304 4650419 140733399511488 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 94414 68132 392 112 0 89379 0 [pid=2201/tid=2202] ppid=2199 vsize=377656 CPUtime=702.27 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 57640 0 0 0 70206 21 0 0 25 0 4 0 520450422 386719744 68132 33554432000 4194304 4650419 140733399511488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=377656 CPUtime=702.3 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 102541 0 0 0 70187 43 0 0 25 0 4 0 520450422 386719744 68132 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=377656 CPUtime=698.48 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 109575 0 0 0 69811 37 0 0 25 0 4 0 520450422 386719744 68132 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2805.4 Current children cumulated vsize (KiB) 377656 [startup+762.307 s] /proc/loadavg: 8.12 7.65 5.86 9/184 2234 /proc/meminfo: memFree=27044036/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=377768 CPUtime=3045.09 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 371431 0 0 0 304367 142 0 0 25 0 4 0 520450421 386834432 67389 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 94442 67389 392 112 0 89407 0 [pid=2201/tid=2202] ppid=2199 vsize=377768 CPUtime=762.28 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 58161 0 0 0 76206 22 0 0 25 0 4 0 520450422 386834432 67389 33554432000 4194304 4650419 140733399511488 18446744073709551615 4313463 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=377768 CPUtime=762.31 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 108587 0 0 0 76185 46 0 0 25 0 4 0 520450422 386834432 67389 33554432000 4194304 4650419 140733399511488 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=377768 CPUtime=758.15 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 110764 0 0 0 75778 37 0 0 25 0 4 0 520450422 386834432 67389 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3045.09 Current children cumulated vsize (KiB) 377768 [startup+822.3 s] /proc/loadavg: 8.12 7.72 5.98 9/184 2236 /proc/meminfo: memFree=27022568/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=512804 CPUtime=3284.75 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 386374 0 0 0 328327 148 0 0 25 0 4 0 520450421 525111296 75296 33554432000 4194304 4650419 140733399511488 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128201 75296 392 112 0 123166 0 [pid=2201/tid=2202] ppid=2199 vsize=512804 CPUtime=822.27 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 59272 0 0 0 82204 23 0 0 25 0 4 0 520450422 525111296 75296 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=512804 CPUtime=822.31 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 112606 0 0 0 82182 49 0 0 25 0 4 0 520450422 525111296 75296 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=512804 CPUtime=817.83 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 114040 0 0 0 81744 39 0 0 25 0 4 0 520450422 525111296 75296 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3284.75 Current children cumulated vsize (KiB) 512804 [startup+882.3 s] /proc/loadavg: 8.15 7.80 6.13 9/184 2238 /proc/meminfo: memFree=27012372/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=447384 CPUtime=3524.42 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 406646 0 0 0 352289 153 0 0 25 0 4 0 520450421 458121216 77260 33554432000 4194304 4650419 140733399511488 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 111846 77260 392 112 0 106811 0 [pid=2201/tid=2202] ppid=2199 vsize=447384 CPUtime=882.26 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 59928 0 0 0 88203 23 0 0 25 0 4 0 520450422 458121216 77260 33554432000 4194304 4650419 140733399511488 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=447384 CPUtime=882.31 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 117483 0 0 0 88181 50 0 0 25 0 4 0 520450422 458121216 77260 33554432000 4194304 4650419 140733399511488 18446744073709551615 4329436 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=447384 CPUtime=877.5 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 117314 0 0 0 87709 41 0 0 25 0 4 0 520450422 458121216 77260 33554432000 4194304 4650419 140733399511488 18446744073709551615 4419584 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3524.42 Current children cumulated vsize (KiB) 447384 [startup+942.301 s] /proc/loadavg: 8.10 7.85 6.24 11/185 2242 /proc/meminfo: memFree=26966316/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=512968 CPUtime=3763.94 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 417543 0 0 0 376235 159 0 0 25 0 4 0 520450421 525279232 85288 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128242 85288 392 112 0 123207 0 [pid=2201/tid=2202] ppid=2199 vsize=512968 CPUtime=942.26 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 62429 0 0 0 94202 24 0 0 25 0 4 0 520450422 525279232 85288 33554432000 4194304 4650419 140733399511488 18446744073709551615 4438944 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=512968 CPUtime=942.31 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 121297 0 0 0 94179 52 0 0 25 0 4 0 520450422 525279232 85288 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=512968 CPUtime=937.02 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 117487 0 0 0 93661 41 0 0 25 0 4 0 520450422 525279232 85288 33554432000 4194304 4650419 140733399511488 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3763.94 Current children cumulated vsize (KiB) 512968 [startup+1002.3 s] /proc/loadavg: 8.23 7.96 6.38 9/184 2244 /proc/meminfo: memFree=26960744/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=513064 CPUtime=4002.92 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 425985 0 0 0 400128 164 0 0 25 0 4 0 520450421 525377536 88343 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128266 88343 392 112 0 123231 0 [pid=2201/tid=2202] ppid=2199 vsize=513064 CPUtime=1002.27 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 62429 0 0 0 100203 24 0 0 25 0 4 0 520450422 525377536 88343 33554432000 4194304 4650419 140733399511488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=513064 CPUtime=1002.32 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 126220 0 0 0 100177 55 0 0 25 0 4 0 520450422 525377536 88343 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=513064 CPUtime=995.99 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 117487 0 0 0 99558 41 0 0 25 0 4 0 520450422 525377536 88343 33554432000 4194304 4650419 140733399511488 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4002.92 Current children cumulated vsize (KiB) 513064 [startup+1062.3 s] /proc/loadavg: 8.09 7.96 6.47 9/184 2245 /proc/meminfo: memFree=26973716/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=513188 CPUtime=4242.59 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 437300 0 0 0 424088 171 0 0 25 0 4 0 520450421 525504512 82885 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128297 82885 392 112 0 123262 0 [pid=2201/tid=2202] ppid=2199 vsize=513188 CPUtime=1062.27 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 63097 0 0 0 106202 25 0 0 25 0 4 0 520450422 525504512 82885 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=513188 CPUtime=1062.31 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 131272 0 0 0 106174 57 0 0 25 0 4 0 520450422 525504512 82885 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=513188 CPUtime=1055.67 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 120648 0 0 0 105523 44 0 0 25 0 4 0 520450422 525504512 82885 33554432000 4194304 4650419 140733399511488 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4242.59 Current children cumulated vsize (KiB) 513188 [startup+1122.3 s] /proc/loadavg: 8.12 8.00 6.58 9/184 2247 /proc/meminfo: memFree=26953104/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=513228 CPUtime=4482.27 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 449179 0 0 0 448047 180 0 0 25 0 4 0 520450421 525545472 83751 33554432000 4194304 4650419 140733399511488 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128307 83751 392 112 0 123272 0 [pid=2201/tid=2202] ppid=2199 vsize=513228 CPUtime=1122.27 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 63097 0 0 0 112202 25 0 0 25 0 4 0 520450422 525545472 83751 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=513228 CPUtime=1122.32 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 136286 0 0 0 112172 60 0 0 25 0 4 0 520450422 525545472 83751 33554432000 4194304 4650419 140733399511488 18446744073709551615 4310880 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=513228 CPUtime=1115.33 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 123312 0 0 0 111487 46 0 0 25 0 4 0 520450422 525545472 83751 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4482.27 Current children cumulated vsize (KiB) 513228 [startup+1182.3 s] /proc/loadavg: 8.10 8.01 6.67 9/184 2249 /proc/meminfo: memFree=26914520/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=513280 CPUtime=4721.95 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 460519 0 0 0 472009 186 0 0 25 0 4 0 520450421 525598720 91208 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128320 91208 392 112 0 123285 0 [pid=2201/tid=2202] ppid=2199 vsize=513280 CPUtime=1182.27 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 63097 0 0 0 118202 25 0 0 25 0 4 0 520450422 525598720 91208 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=513280 CPUtime=1182.32 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 140505 0 0 0 118169 63 0 0 25 0 4 0 520450422 525598720 91208 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=513280 CPUtime=1175.01 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 127516 0 0 0 117454 47 0 0 25 0 4 0 520450422 525598720 91208 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4721.95 Current children cumulated vsize (KiB) 513280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.06 8.01 6.70 5/179 2250 /proc/meminfo: memFree=27269556/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=513344 CPUtime=4800.25 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 465908 0 0 0 479836 189 0 0 25 0 4 0 520450421 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128336 93802 392 112 0 123301 0 [pid=2201/tid=2202] ppid=2199 vsize=513344 CPUtime=1201.87 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 63097 0 0 0 120162 25 0 0 25 0 4 0 520450422 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=513344 CPUtime=1201.93 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 142653 0 0 0 120129 64 0 0 25 0 4 0 520450422 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=513344 CPUtime=1194.51 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 128590 0 0 0 119402 49 0 0 25 0 4 0 520450422 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 513344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.9 s] /proc/loadavg: 8.06 8.01 6.70 5/179 2250 /proc/meminfo: memFree=27269556/32951124 swapFree=67111356/67111528 [pid=2201] ppid=2199 vsize=513344 CPUtime=4800.25 cores=1,3,5,7 /proc/2201/stat : 2201 (strangenight1-m) R 2199 2201 1030 0 -1 4202496 465908 0 0 0 479836 189 0 0 25 0 4 0 520450421 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/2201/statm: 128336 93802 392 112 0 123301 0 [pid=2201/tid=2202] ppid=2199 vsize=513344 CPUtime=1201.87 cores=1,3,5,7 /proc/2201/task/2202/stat : 2202 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 63097 0 0 0 120162 25 0 0 25 0 4 0 520450422 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2201/tid=2203] ppid=2199 vsize=513344 CPUtime=1201.93 cores=1,3,5,7 /proc/2201/task/2203/stat : 2203 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 142653 0 0 0 120129 64 0 0 25 0 4 0 520450422 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=2201/tid=2204] ppid=2199 vsize=513344 CPUtime=1194.51 cores=1,3,5,7 /proc/2201/task/2204/stat : 2204 (strangenight1-m) R 2199 2201 1030 0 -1 4202560 128590 0 0 0 119402 49 0 0 25 0 4 0 520450422 525664256 93802 33554432000 4194304 4650419 140733399511488 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 513344 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.93 CPU time (s): 4800.31 CPU user time (s): 4798.39 CPU system time (s): 1.91571 CPU usage (%): 399.384 Max. virtual memory (cumulated for all children) (KiB): 526424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.39 system time used= 1.91571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 465909 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= 266 involuntary context switches= 33382 runsolver used 1.85772 second user time and 4.72028 second system time The end
Begin job on node137 at 2011-04-29 16:48:47 IDJOB=3175110 IDBENCH=82728 IDSOLVER=1588 FILE ID=node137/3175110-1304088527 RUNJOBID= node137-1304088527-2179 PBS_JOBID= 13170515 Free space on /tmp= 71616 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175110-1304088527/watcher-3175110-1304088527 -o /tmp/evaluation-result-3175110-1304088527/solver-3175110-1304088527 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175110-1304088527.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d2557a5d8edb4c9702dcfea1e1cd4c5 RANDOM SEED=288499026 node137.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.844 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.844 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.844 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.844 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.74 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.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.844 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.83 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.844 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: 27647200 kB Buffers: 915376 kB Cached: 3859572 kB SwapCached: 56 kB Active: 340680 kB Inactive: 4497828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27647200 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 12432 kB Writeback: 0 kB AnonPages: 63712 kB Mapped: 15260 kB Slab: 402020 kB PageTables: 4312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 238120 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= 71608 MiB End job on node137 at 2011-04-29 17:08:51