| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.31 | 1203.43 |
| 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.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368719-1305401577.cnf' 0.00/0.01 c -- header says num vars: 60 0.00/0.01 c -- header says num clauses: 5340 0.37/0.13 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.37/0.13 c -- vars added 60 0.37/0.13 c Parsing time: 0.01 s 0.37/0.13 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 0.37/0.13 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.45 0.37/0.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.37/0.13 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.37/0.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.37/0.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 0.37/0.13 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.37/0.95 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 0.37/0.95 c Finding binary XORs T: 0.00 s found: 0 0.37/0.95 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.37/0.95 c calculated reachability. Time: 0.00 0.37/0.95 c Calc default polars - time: 0.00 s pos: 24 undec: 1 neg: 35 0.37/0.95 c ========================================================================================= 0.37/0.95 c types(t): F = full restart, N = normal restart 0.37/0.95 c types(t): S = simplification begin/end, E = solution found 0.37/0.95 c restart types(rt): st = static, dy = dynamic 0.37/0.95 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.37/0.95 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 0.37/0.95 c N dy 10 5390 60 5340 0 2548 37380 48780 18.18 19.21 -- 0.37/0.95 c N dy 19 13686 60 5340 0 6141 37380 114376 17.21 18.13 -- 0.37/0.95 c N dy 59 17721 60 5340 0 9747 37380 192899 17.84 20.87 -- 0.37/0.95 c N dy 69 21947 60 5340 0 8506 37380 157183 17.77 18.71 -- 4.43/1.15 c F st 92 25000 60 5340 0 11242 37380 215814 17.92 16.71 -- 4.83/1.25 c N st 95 26189 60 5340 0 6241 37380 101889 17.92 no data -- 5.17/1.35 c S st 98 30001 60 5340 0 9604 37380 173688 17.92 no data -- 5.17/1.35 c S st 98 30505 60 5340 0 10075 37380 183781 17.92 no data -- 5.17/1.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.17/1.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.17/1.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.57/1.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.57/1.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.57/1.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.57/1.45 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.75/2.26 c lits-rem: 1533 cl-subs: 1146 v-elim: 0 v-fix: 0 time: 3.62 s 9.96/2.53 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.05 9.96/2.53 c calculated reachability. Time: 0.00 9.96/2.53 c N dy 98 30505 60 5340 0 8929 37380 158716 17.92 no data -- 11.99/3.03 c N dy 101 40608 60 5340 0 10835 37380 184431 17.53 18.52 -- 12.74/3.26 c N dy 130 44659 60 5340 0 14465 37380 263191 17.71 18.69 -- 13.14/3.33 c S st 135 45759 60 5340 0 15466 37380 284371 17.72 17.16 -- 13.14/3.38 c S st 135 46263 60 5340 0 8024 37380 120718 17.72 no data -- 13.14/3.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.14/3.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.14/3.38 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.14/3.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.14/3.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.14/3.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.14/3.39 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.74 s 15.96/4.07 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 15.96/4.08 c vivif2 -- cl tried 7991 cl shrink 0 lits rem 0 time: 0.01 17.13/4.30 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.89 17.13/4.30 c calculated reachability. Time: 0.00 17.13/4.30 c N dy 135 46263 60 5340 0 7991 37380 119979 17.72 no data -- 17.53/4.49 c N dy 155 50364 60 5340 0 11655 37380 197799 17.79 18.79 -- 18.73/4.76 c N dy 192 54421 60 5340 0 15315 37380 277826 17.94 19.12 -- 19.93/5.08 c N dy 203 60058 60 5340 0 11452 37380 182574 17.93 18.94 -- 21.12/5.33 c N dy 221 64340 60 5340 0 15293 37380 264197 17.96 18.98 -- 22.32/5.63 c N dy 247 68528 60 5340 0 19045 37380 344794 18.03 20.49 -- 22.72/5.70 c S st 248 69395 60 5340 0 10014 37380 143860 18.03 17.27 -- 22.72/5.74 c S st 248 69900 60 5340 0 10475 37380 153851 18.03 no data -- 22.72/5.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.72/5.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 22.72/5.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 22.72/5.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.72/5.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.72/5.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 22.72/5.75 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 25.91/6.57 c lits-rem: 177 cl-subs: 117 v-elim: 0 v-fix: 0 time: 3.29 s 25.91/6.57 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 25.91/6.57 c vivif2 -- cl tried 10358 cl shrink 0 lits rem 0 time: 0.00 27.11/6.85 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.09 27.11/6.85 c calculated reachability. Time: 0.00 27.11/6.85 c N dy 248 69900 60 5340 0 10358 37380 151017 18.03 no data -- 28.31/7.12 c N dy 277 74372 60 5340 0 14325 37380 236139 18.10 20.60 -- 29.90/7.51 c N dy 309 79990 60 5340 0 19340 37380 344737 18.16 19.16 -- 31.89/8.00 c F st 317 87500 60 5340 0 15258 37380 242605 18.08 17.09 -- 31.89/8.00 c N st 317 87500 60 5340 0 15258 37380 242605 18.08 17.09 -- 33.50/8.42 c N dy 327 93101 60 5340 0 20215 37380 347794 18.09 20.19 -- 35.09/8.89 c N dy 356 99043 60 5340 0 14002 37380 208731 18.11 19.11 -- 36.69/9.28 c S st 379 104851 60 5340 0 19134 37380 317077 18.12 17.05 -- 37.09/9.34 c S st 379 105353 60 5340 0 19596 37380 327116 18.12 no data -- 37.09/9.34 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 37.09/9.34 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 37.09/9.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 37.09/9.36 c bin-w-bin subsume rem 0 bins time: 0.00 s 37.09/9.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 37.09/9.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 37.09/9.36 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.06/10.85 c lits-rem: 1925 cl-subs: 1964 v-elim: 0 v-fix: 0 time: 5.94 s 43.06/10.85 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 43.06/10.85 c vivif2 -- cl tried 17632 cl shrink 0 lits rem 0 time: 0.01 44.66/11.21 c asymm cl-useful: 0/4513/5340 lits-rem:0 time: 1.43 44.66/11.21 c calculated reachability. Time: 0.00 44.66/11.21 c N dy 379 105353 60 5340 0 17632 37380 283573 18.12 no data -- 47.85/12.01 c N dy 404 115373 60 5340 0 14226 37380 203313 18.09 19.23 -- 50.25/12.60 c N dy 455 123414 60 5340 0 21404 37380 357887 18.16 19.23 -- 52.64/13.28 c N dy 492 131514 60 5340 0 15324 37380 217833 18.19 19.30 -- 55.45/13.98 c N dy 515 141488 60 5340 0 24179 37380 406129 18.18 19.20 -- 60.61/15.22 c N dy 542 158030 60 5340 0 24601 37380 399105 18.07 16.22 -- 60.61/15.22 c S st 542 158030 60 5340 0 24601 37380 399105 18.07 16.22 -- 60.61/15.28 c S st 542 158531 60 5340 0 25053 37380 408834 18.07 no data -- 60.61/15.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 60.61/15.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 60.61/15.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 61.01/15.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 61.01/15.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 61.01/15.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 61.01/15.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 68.20/17.14 c lits-rem: 2064 cl-subs: 3191 v-elim: 0 v-fix: 0 time: 7.35 s 68.20/17.14 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 68.20/17.15 c vivif2 -- cl tried 21862 cl shrink 0 lits rem 0 time: 0.02 68.61/17.24 c asymm cl-useful: 0/827/5340 lits-rem:0 time: 0.36 68.61/17.24 c calculated reachability. Time: 0.00 68.61/17.24 c N dy 542 158531 60 5340 0 21862 37380 344836 18.07 no data -- 72.59/18.27 c N dy 557 169790 60 5340 0 16924 37380 229618 18.02 18.98 -- 76.98/19.35 c N dy 593 182862 60 5340 0 28507 37380 472986 18.00 18.99 -- 81.37/20.43 c N dy 651 194593 60 5340 0 23110 37380 353754 18.03 20.43 -- 88.54/22.21 c N dy 700 213132 60 5340 0 22683 37380 329777 17.99 19.04 -- 94.13/23.68 c N dy 772 226756 60 5340 0 34838 37380 590869 18.04 20.06 -- 98.12/24.69 c S st 834 237797 60 5340 0 26920 37380 415637 18.08 16.12 -- 98.52/24.76 c S st 834 238298 60 5340 0 27381 37380 425696 18.08 no data -- 98.52/24.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 98.52/24.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 98.52/24.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 98.52/24.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 98.52/24.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 98.52/24.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 98.52/24.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 107.69/27.03 c lits-rem: 2022 cl-subs: 2337 v-elim: 0 v-fix: 0 time: 8.93 s 107.69/27.03 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 107.69/27.03 c vivif2 -- cl tried 25044 cl shrink 0 lits rem 0 time: 0.02 109.28/27.42 c asymm cl-useful: 0/3390/5340 lits-rem:0 time: 1.54 109.28/27.42 c calculated reachability. Time: 0.00 109.28/27.42 c N dy 834 238298 60 5340 0 25044 37380 372979 18.08 no data -- 115.27/28.96 c N dy 883 254065 60 5340 0 20554 37380 266901 18.09 19.17 -- 122.85/30.86 c N dy 940 272587 60 5340 0 36892 37380 610889 18.07 19.03 -- 130.47/32.72 c N dy 997 291451 60 5340 0 34232 37380 542290 18.05 19.00 -- 136.81/34.34 c F st 1059 306250 60 5340 0 27017 37380 383440 18.07 17.00 -- 138.41/34.79 c N dy 1065 311446 60 5340 0 31618 37380 482630 18.07 no data -- 147.59/37.08 c N dy 1136 331994 60 5340 0 28588 37380 404994 18.08 19.10 -- 157.94/39.68 c N dy 1236 352702 60 5340 0 24791 37380 315975 18.10 19.08 -- 159.55/40.09 c S st 1245 357448 60 5340 0 29019 37380 405973 18.10 15.49 -- 159.95/40.17 c S st 1245 357954 60 5340 0 29468 37380 415860 18.10 no data -- 159.95/40.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 159.95/40.17 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 159.95/40.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 159.95/40.19 c bin-w-bin subsume rem 0 bins time: 0.00 s 159.95/40.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 159.95/40.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 159.95/40.19 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 168.33/42.27 c lits-rem: 1371 cl-subs: 1829 v-elim: 0 v-fix: 0 time: 8.30 s 168.33/42.27 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 168.33/42.27 c vivif2 -- cl tried 27639 cl shrink 0 lits rem 0 time: 0.02 169.54/42.55 c asymm cl-useful: 0/1950/5340 lits-rem:0 time: 1.08 169.54/42.55 c calculated reachability. Time: 0.00 169.54/42.55 c N dy 1245 357954 60 5340 0 27639 37380 376700 18.10 no data -- 186.68/46.80 c N dy 1326 391204 60 5340 0 33953 37380 493555 18.07 19.15 -- 196.64/49.34 c N dy 1330 413265 60 5340 0 29522 37380 390303 17.99 18.96 -- 206.22/51.72 c N dy 1364 433343 60 5340 0 47319 37380 763117 17.97 19.31 -- 216.20/54.20 c N dy 1450 453428 60 5340 0 40401 37380 617174 17.98 20.88 -- 227.01/56.96 c N dy 1537 473438 60 5340 0 32561 37380 444022 18.00 20.46 -- 238.94/59.99 c N dy 1637 494546 60 5340 0 51261 37380 844054 18.02 19.08 -- 250.90/62.99 c N dy 1724 516845 60 5340 0 44539 37380 685980 18.04 19.08 -- 262.11/65.73 c N dy 1753 536931 60 5340 0 34779 37380 461140 18.00 15.23 -- 262.11/65.73 c S st 1753 536931 60 5340 0 34779 37380 461140 18.00 15.23 -- 262.46/65.82 c S st 1753 537432 60 5340 0 35231 37380 471418 18.00 no data -- 262.46/65.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 262.46/65.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 262.46/65.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 262.46/65.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 262.46/65.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 262.46/65.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 262.46/65.84 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 270.89/67.99 c lits-rem: 1204 cl-subs: 2256 v-elim: 0 v-fix: 0 time: 8.57 s 270.89/67.99 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 271.24/68.00 c vivif2 -- cl tried 32975 cl shrink 0 lits rem 0 time: 0.02 272.44/68.38 c asymm cl-useful: 0/2654/5340 lits-rem:0 time: 1.52 272.44/68.38 c calculated reachability. Time: 0.00 272.44/68.38 c N dy 1753 537432 60 5340 0 32975 37380 428347 18.00 no data -- 283.63/71.14 c N dy 1832 557435 60 5340 0 50700 37380 805383 18.01 20.28 -- 295.18/74.10 c N dy 1918 577762 60 5340 0 40554 37380 583291 18.02 19.06 -- 307.54/77.17 c N dy 1967 597834 60 5340 0 58362 37380 961439 18.02 19.61 -- 318.32/79.88 c N dy 2023 618870 60 5340 0 47873 37380 726246 18.02 19.01 -- 332.67/83.42 c N dy 2116 639541 60 5340 0 36089 37380 462890 18.03 19.03 -- 346.24/86.84 c N dy 2256 659576 60 5340 0 53984 37380 854208 18.07 19.26 -- 361.40/90.63 c N dy 2337 679669 60 5340 0 40646 37380 551409 18.08 19.74 -- 375.78/94.31 c N dy 2453 699797 60 5340 0 58542 37380 937852 18.11 19.11 -- 390.92/98.04 c N dy 2555 720671 60 5340 0 45144 37380 639249 18.13 19.13 -- 405.68/101.77 c N dy 2639 740714 60 5340 0 62934 37380 1017580 18.13 19.14 -- 421.23/105.66 c N dy 2719 766232 60 5340 0 52631 37380 782673 18.13 19.10 -- 435.20/109.10 c N dy 2730 790286 60 5340 0 40025 37380 500955 18.07 19.04 -- 445.17/111.61 c S st 2786 806150 60 5340 0 54026 37380 797607 18.07 no data -- 445.57/111.74 c S st 2786 806653 60 5340 0 54477 37380 807923 18.07 no data -- 445.57/111.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 445.57/111.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 445.57/111.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 445.57/111.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 445.57/111.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 445.57/111.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 445.57/111.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 476.29/119.50 c lits-rem: 2959 cl-subs: 5998 v-elim: 0 v-fix: 0 time: 30.73 s 476.29/119.50 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 476.29/119.51 c vivif2 -- cl tried 48479 cl shrink 0 lits rem 0 time: 0.03 477.48/119.75 c asymm cl-useful: 0/773/5340 lits-rem:0 time: 0.98 477.48/119.75 c calculated reachability. Time: 0.00 477.48/119.75 c N dy 2786 806653 60 5340 0 48479 37380 688499 18.07 no data -- 493.84/123.81 c N dy 2863 826662 60 5340 0 66118 37380 1065928 18.08 19.08 -- 509.00/127.68 c N dy 2998 846666 60 5340 0 49859 37380 717006 18.11 19.07 -- 526.55/132.01 c N dy 3121 866694 60 5340 0 67692 37380 1104629 18.13 19.10 -- 540.91/135.60 c N dy 3218 886782 60 5340 0 50250 37380 709337 18.15 20.20 -- 556.11/139.44 c N dy 3278 906836 60 5340 0 67981 37380 1085168 18.14 20.16 -- 569.27/142.71 c N dy 3341 926867 60 5340 0 49437 37380 677448 18.14 19.92 -- 585.99/146.97 c N dy 3412 948545 60 5340 0 68621 37380 1086056 18.14 19.22 -- 602.35/151.06 c N dy 3490 970081 60 5340 0 50467 37380 686407 18.15 19.12 -- 617.13/154.81 c N dy 3537 990216 60 5340 0 68301 37380 1062240 18.14 19.10 -- 634.26/159.06 c N dy 3621 1011764 60 5340 0 49382 37380 651647 18.14 19.36 -- 649.82/162.98 c N dy 3695 1031784 60 5340 0 67055 37380 1031219 18.14 21.11 -- 679.32/170.35 c N dy 3790 1070176 60 5340 0 61879 37380 893221 18.12 19.19 -- 680.94/170.75 c F st 3796 1071875 60 5340 0 63386 37380 925388 18.12 18.91 -- 698.48/175.19 c N dy 3826 1093287 60 5340 0 42588 37380 489569 18.11 19.09 -- 711.65/178.48 c N dy 3877 1113343 60 5340 0 60290 37380 864195 18.10 19.07 -- 731.99/183.52 c N dy 3948 1134032 60 5340 0 78490 37380 1249907 18.10 19.11 -- 749.94/188.01 c N dy 4099 1154513 60 5340 0 56139 37380 779626 18.13 19.14 -- 771.13/193.35 c N dy 4214 1175055 60 5340 0 74359 37380 1173751 18.14 19.12 -- 794.22/199.13 c N dy 4292 1199664 60 5340 0 54587 37380 723943 18.13 19.12 -- 805.00/201.81 c S st 4339 1209981 60 5340 0 63770 37380 921208 18.13 no data -- 805.81/202.06 c S st 4339 1210487 60 5340 0 64232 37380 931687 18.13 no data -- 805.81/202.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 805.81/202.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 806.24/202.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.16 806.24/202.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 806.24/202.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 806.24/202.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 806.24/202.14 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 880.39/220.76 c lits-rem: 3765 cl-subs: 6351 v-elim: 0 v-fix: 0 time: 74.23 s 880.39/220.76 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 880.39/220.77 c vivif2 -- cl tried 57881 cl shrink 0 lits rem 0 time: 0.04 881.97/221.13 c asymm cl-useful: 0/645/5340 lits-rem:0 time: 1.42 881.97/221.13 c calculated reachability. Time: 0.00 881.97/221.13 c N dy 4339 1210487 60 5340 0 57881 37380 799776 18.13 no data -- 908.69/227.82 c N dy 4440 1234475 60 5340 0 78972 37380 1247111 18.13 19.10 -- 926.24/232.28 c N dy 4529 1254844 60 5340 0 54968 37380 730083 18.14 19.22 -- 943.80/236.64 c N dy 4617 1274851 60 5340 0 72669 37380 1111173 18.14 20.71 -- 962.55/241.34 c N dy 4633 1295756 60 5340 0 47980 37380 565086 18.12 19.11 -- 981.31/246.07 c N dy 4718 1315849 60 5340 0 65739 37380 945600 18.12 20.17 -- 1006.83/252.43 c N dy 4814 1336056 60 5340 0 83600 37380 1329032 18.13 19.11 -- 1035.14/259.51 c N dy 4835 1369509 60 5340 0 68668 37380 973023 18.08 19.09 -- 1061.88/266.21 c N dy 4937 1389532 60 5340 0 86372 37380 1355185 18.09 19.75 -- 1083.01/271.57 c N dy 4956 1418060 60 5340 0 66503 37380 922950 18.06 19.06 -- 1104.95/277.07 c N dy 5072 1438116 60 5340 0 84264 37380 1308035 18.07 20.52 -- 1124.51/281.98 c N dy 5150 1458540 60 5340 0 56584 37380 719844 18.07 19.04 -- 1144.85/287.07 c N dy 5225 1482245 60 5340 0 77500 37380 1159415 18.07 19.13 -- 1171.98/293.82 c N dy 5359 1502346 60 5340 0 48644 37380 542644 18.08 20.53 -- 1187.56/297.74 c N dy 5450 1522356 60 5340 0 66318 37380 923380 18.09 19.63 -- 1211.47/303.79 c N dy 5608 1542433 60 5340 0 84192 37380 1316299 18.11 20.42 -- 1235.82/309.89 c N dy 5724 1562558 60 5340 0 54246 37380 651247 18.12 19.26 -- 1253.80/314.32 c N dy 5813 1582665 60 5340 0 72023 37380 1035326 18.12 19.13 -- 1287.66/322.80 c N dy 5870 1617796 60 5340 0 54311 37380 632086 18.10 19.15 -- 1307.21/327.71 c N dy 6008 1638290 60 5340 0 72443 37380 1028647 18.11 19.14 -- 1338.73/335.66 c N dy 6115 1665703 60 5340 0 96616 37380 1545106 18.11 19.15 -- 1358.69/340.69 c N dy 6242 1685781 60 5340 0 65048 37380 868575 18.13 19.94 -- 1383.01/346.75 c N dy 6352 1705833 60 5340 0 82934 37380 1258658 18.14 19.12 -- 1390.58/348.64 c S st 6377 1710489 60 5340 0 87043 37380 1347831 18.14 no data -- 1391.78/348.97 c S st 6377 1710993 60 5340 0 87505 37380 1358257 18.14 no data -- 1391.78/348.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1391.78/348.98 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1392.18/349.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.21 1392.18/349.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 1392.18/349.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1392.18/349.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1392.18/349.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1590.00/398.69 c lits-rem: 6270 cl-subs: 9255 v-elim: 0 v-fix: 0 time: 197.84 s 1590.00/398.69 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1590.40/398.71 c vivif2 -- cl tried 78250 cl shrink 0 lits rem 0 time: 0.07 1591.99/399.17 c asymm cl-useful: 0/504/5340 lits-rem:0 time: 1.81 1591.99/399.17 c calculated reachability. Time: 0.00 1591.99/399.17 c N dy 6377 1710993 60 5340 0 78250 37380 1150479 18.14 no data -- 1621.51/406.53 c N dy 6411 1731029 60 5340 0 95925 37380 1520672 18.13 20.91 -- 1641.05/411.45 c N dy 6438 1751106 60 5340 0 63536 37380 807682 18.12 20.39 -- 1663.79/417.10 c N dy 6492 1771321 60 5340 0 81295 37380 1183801 18.11 19.09 -- 1696.52/425.33 c N dy 6577 1791540 60 5340 0 99211 37380 1570047 18.12 19.13 -- 1719.63/431.15 c N dy 6607 1812659 60 5340 0 66813 37380 871177 18.10 19.06 -- 1759.53/441.13 c N dy 6670 1842381 60 5340 0 92879 37380 1413279 18.09 19.05 -- 1855.26/465.18 c N dy 6683 1939867 60 5340 0 73423 37380 969829 17.97 19.06 -- 1881.58/471.77 c N dy 6852 1959937 60 5340 0 91236 37380 1363003 17.99 20.13 -- 1913.91/479.80 c N dy 6995 1979948 60 5340 0 55566 37380 615447 18.00 19.04 -- 1933.89/484.81 c N dy 7128 1999954 60 5340 0 73266 37380 1003711 18.02 19.44 -- 1960.58/491.58 c N dy 7269 2020033 60 5340 0 91010 37380 1390644 18.03 20.80 -- 1990.94/499.15 c N dy 7380 2040105 60 5340 0 108748 37380 1776358 18.04 21.83 -- 2014.43/505.04 c N dy 7522 2062495 60 5340 0 74086 37380 1006945 18.05 19.01 -- 2039.56/511.38 c N dy 7660 2082528 60 5340 0 91879 37380 1395633 18.06 20.06 -- 2069.50/518.83 c N dy 7742 2102570 60 5340 0 109455 37380 1768672 18.06 20.79 -- 2091.44/524.37 c N dy 7866 2122592 60 5340 0 71604 37380 938559 18.07 20.40 -- 2117.35/530.90 c N dy 8029 2142604 60 5340 0 89315 37380 1329898 18.09 19.12 -- 2150.06/539.08 c N dy 8170 2162635 60 5340 0 107080 37380 1717123 18.10 20.53 -- 2175.59/545.47 c N dy 8291 2182667 60 5340 0 68228 37380 855762 18.11 19.63 -- 2204.32/552.64 c N dy 8355 2210993 60 5340 0 93032 37380 1378809 18.10 14.88 -- 2204.32/552.64 c S st 8355 2210993 60 5340 0 93032 37380 1378809 18.10 14.88 -- 2205.53/552.94 c S st 8355 2211496 60 5340 0 93492 37380 1389329 18.10 no data -- 2205.53/552.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2205.53/552.94 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2205.53/552.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.18 2205.95/553.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 2205.95/553.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2205.95/553.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2205.95/553.03 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2363.07/592.47 c lits-rem: 5336 cl-subs: 10534 v-elim: 0 v-fix: 0 time: 157.27 s 2363.07/592.47 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2363.07/592.49 c vivif2 -- cl tried 82958 cl shrink 0 lits rem 0 time: 0.06 2364.65/592.85 c asymm cl-useful: 0/471/5340 lits-rem:0 time: 1.43 2364.65/592.85 c calculated reachability. Time: 0.00 2364.65/592.85 c N dy 8355 2211496 60 5340 0 82958 37380 1170779 18.10 no data -- 2400.95/601.93 c N dy 8507 2231553 60 5340 0 100796 37380 1564407 18.12 20.23 -- 2433.26/610.10 c N dy 8598 2251587 60 5340 0 61727 37380 710352 18.12 19.46 -- 2456.79/615.92 c N dy 8690 2271859 60 5340 0 79614 37380 1093284 18.12 19.13 -- 2492.69/624.92 c N dy 8794 2292962 60 5340 0 98205 37380 1495191 18.13 19.10 -- 2538.16/636.34 c N dy 8868 2313059 60 5340 0 57982 37380 615793 18.13 21.05 -- 2567.28/643.64 c N dy 8997 2333436 60 5340 0 76066 37380 1009320 18.14 19.10 -- 2604.78/653.01 c N dy 9141 2353455 60 5340 0 93795 37380 1397656 18.15 19.33 -- 2659.81/666.88 c N dy 9218 2387623 60 5340 0 64756 37380 742017 18.14 19.12 -- 2690.91/674.63 c N dy 9343 2407976 60 5340 0 82796 37380 1137808 18.15 19.19 -- 2718.44/681.60 c N dy 9403 2428003 60 5340 0 100399 37380 1509773 18.14 20.53 -- 2751.55/689.81 c N dy 9468 2448005 60 5340 0 118045 37380 1885238 18.14 19.14 -- 2807.78/703.95 c N dy 9571 2495578 60 5340 0 99672 37380 1454352 18.12 19.20 -- 2847.28/713.87 c N dy 9690 2515648 60 5340 0 117414 37380 1839276 18.13 19.69 -- 2881.63/722.47 c N dy 9815 2538666 60 5340 0 77168 37380 998404 18.14 19.13 -- 2916.30/731.12 c N dy 9892 2565069 60 5340 0 100355 37380 1493945 18.13 19.11 -- 2951.84/740.09 c N dy 10020 2585085 60 5340 0 118029 37380 1878727 18.14 20.37 -- 2978.16/746.66 c N dy 10087 2606790 60 5340 0 75451 37380 947358 18.14 19.11 -- 3006.85/753.81 c N dy 10216 2628240 60 5340 0 94361 37380 1357065 18.15 19.12 -- 3073.47/770.50 c N dy 10309 2684382 60 5340 0 80854 37380 1034345 18.12 19.08 -- 3101.39/777.57 c N dy 10424 2704497 60 5340 0 98607 37380 1419859 18.13 19.09 -- 3113.36/780.54 c S st 10484 2711496 60 5340 0 104813 37380 1557904 18.13 no data -- 3114.55/780.86 c S st 10484 2711998 60 5340 0 105264 37380 1568132 18.13 no data -- 3114.55/780.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3114.55/780.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3114.95/780.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.21 3114.95/780.97 c bin-w-bin subsume rem 0 bins time: 0.00 s 3114.95/780.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3114.95/780.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3114.95/780.97 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3533.38/885.85 c lits-rem: 6883 cl-subs: 12960 v-elim: 0 v-fix: 0 time: 418.22 s 3533.38/885.85 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3533.38/885.87 c vivif2 -- cl tried 92304 cl shrink 0 lits rem 0 time: 0.08 3534.99/886.27 c asymm cl-useful: 0/602/5340 lits-rem:0 time: 1.60 3534.99/886.27 c calculated reachability. Time: 0.00 3534.99/886.27 c N dy 10484 2711998 60 5340 0 92304 37380 1304767 18.13 no data -- 3574.06/896.01 c N dy 10573 2733776 60 5340 0 111322 37380 1711808 18.14 19.12 -- 3613.56/905.91 c N dy 10665 2753955 60 5340 0 66767 37380 756015 18.14 19.22 -- 3641.87/913.03 c N dy 10780 2773997 60 5340 0 84524 37380 1143542 18.15 20.93 -- 3681.36/922.94 c N dy 10909 2794348 60 5340 0 102498 37380 1539172 18.15 19.15 -- 3731.62/935.58 c N dy 11003 2816475 60 5340 0 122105 37380 1961346 18.16 19.18 -- 3763.56/943.54 c N dy 11065 2836533 60 5340 0 75806 37380 928777 18.15 20.82 -- 3801.00/953.00 c N dy 11221 2856604 60 5340 0 93616 37380 1322959 18.17 19.16 -- 3843.68/963.65 c N dy 11341 2876642 60 5340 0 111332 37380 1711651 18.17 19.83 -- 3891.94/975.73 c N dy 11436 2896676 60 5340 0 128964 37380 2091478 18.18 19.35 -- 3924.25/983.87 c N dy 11538 2916740 60 5340 0 81657 37380 1050586 18.18 19.85 -- 3984.06/998.89 c N dy 11637 2952950 60 5340 0 113334 37380 1716481 18.17 19.13 -- 4029.14/1010.14 c N dy 11706 2973243 60 5340 0 131113 37380 2094397 18.17 19.16 -- 4061.05/1018.14 c N dy 11866 2993294 60 5340 0 83045 37380 1075872 18.18 20.07 -- 4096.16/1027.00 c N dy 11982 3014475 60 5340 0 101798 37380 1484771 18.19 19.34 -- 4138.44/1037.51 c N dy 12106 3034494 60 5340 0 119429 37380 1869606 18.19 22.04 -- 4181.50/1048.33 c N dy 12198 3054790 60 5340 0 70380 37380 780769 18.20 19.22 -- 4202.29/1053.52 c N dy 12266 3074865 60 5340 0 88044 37380 1158836 18.20 21.11 -- 4233.36/1061.32 c N dy 12392 3095009 60 5340 0 105756 37380 1545366 18.20 19.29 -- 4278.03/1072.54 c N dy 12482 3121796 60 5340 0 129296 37380 2044022 18.20 19.20 -- 4311.57/1080.94 c N dy 12634 3141827 60 5340 0 79206 37380 968854 18.21 19.54 -- 4339.87/1088.02 c N dy 12735 3161862 60 5340 0 96870 37380 1351274 18.22 19.65 -- 4378.57/1097.78 c N dy 12823 3183457 60 5340 0 115847 37380 1761216 18.22 19.20 -- 4427.24/1109.95 c N dy 12964 3203570 60 5340 0 133626 37380 2152906 18.23 19.19 -- 4445.19/1114.47 c S st 13023 3211998 60 5340 0 72308 37380 806933 18.23 no data -- 4446.39/1114.72 c S st 13023 3212500 60 5340 0 72762 37380 816976 18.23 no data -- 4446.39/1114.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4446.39/1114.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4446.39/1114.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.15 4446.39/1114.79 c bin-w-bin subsume rem 0 bins time: 0.00 s 4446.39/1114.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4446.39/1114.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4446.39/1114.79 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4494.65/1126.88 c lits-rem: 466 cl-subs: 872 v-elim: 0 v-fix: 0 time: 48.24 s 4494.65/1126.88 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4494.65/1126.90 c vivif2 -- cl tried 71890 cl shrink 0 lits rem 0 time: 0.05 4495.87/1127.19 c asymm cl-useful: 0/622/5340 lits-rem:0 time: 1.16 4495.87/1127.19 c calculated reachability. Time: 0.00 4495.87/1127.19 c N dy 13023 3212500 60 5340 0 71890 37380 796603 18.23 no data -- 4518.99/1132.90 c N dy 13109 3232575 60 5340 0 89475 37380 1174247 18.23 20.52 -- 4550.51/1140.85 c N dy 13215 3253955 60 5340 0 108284 37380 1580822 18.24 19.33 -- 4586.01/1149.78 c N dy 13318 3274072 60 5340 0 126002 37380 1961974 18.24 19.27 -- 4623.55/1159.19 c N dy 13417 3294139 60 5340 0 74157 37380 837505 18.24 20.77 -- 4650.63/1165.92 c N dy 13547 3314480 60 5340 0 92103 37380 1230501 18.25 19.35 -- 4681.34/1173.64 c N dy 13624 3335678 60 5340 0 110704 37380 1628171 18.25 19.22 -- 4733.25/1186.66 c N dy 13648 3371324 60 5340 0 71513 37380 768642 18.23 19.20 -- 4754.35/1192.01 c N dy 13691 3391358 60 5340 0 89031 37380 1138067 18.22 19.20 -- 4785.07/1199.60 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: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368719-1305401577/watcher-3368719-1305401577 -o /tmp/evaluation-result-3368719-1305401577/solver-3368719-1305401577 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368719-1305401577.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.56 7.97 8.04 6/352 2943 /proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 416 0 0 0 0 0 0 0 22 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261360050 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 12809 356 306 112 0 7774 0 [pid=2943/tid=2944] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261359641 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261360048 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651760279 52465664 356 33554432000 4194304 4650419 140734335685024 18446744073709551615 47211261359635 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0532011 s] /proc/loadavg: 7.56 7.97 8.04 6/352 2943 /proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=281904 CPUtime=0.18 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 1230 0 0 0 18 0 0 0 18 0 4 0 651760279 288669696 1138 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370547 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 70476 1138 366 112 0 65441 0 [pid=2943/tid=2944] ppid=2941 vsize=281904 CPUtime=0.04 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 194 0 0 0 4 0 0 0 18 0 4 0 651760279 288669696 1138 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=281904 CPUtime=0.04 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 172 0 0 0 4 0 0 0 24 0 4 0 651760279 288669696 1138 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=281904 CPUtime=0.04 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 254 0 0 0 4 0 0 0 18 0 4 0 651760279 288669696 1140 33554432000 4194304 4650419 140734335685024 18446744073709551615 216634180394 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 281904 [startup+0.100192 s] /proc/loadavg: 7.56 7.97 8.04 6/352 2943 /proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=281904 CPUtime=0.37 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 1322 0 0 0 37 0 0 0 18 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 70476 1230 366 112 0 65441 0 [pid=2943/tid=2944] ppid=2941 vsize=281904 CPUtime=0.09 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 201 0 0 0 9 0 0 0 18 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370456 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=281904 CPUtime=0.08 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 176 0 0 0 8 0 0 0 24 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=281904 CPUtime=0.09 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 328 0 0 0 9 0 0 0 18 0 4 0 651760279 288669696 1230 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 281904 [startup+1.11501 s] /proc/loadavg: 7.56 7.97 8.04 6/352 2943 /proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=287372 CPUtime=4.43 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 7276 0 0 0 442 1 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4354992 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 71843 3969 391 112 0 66808 0 [pid=2943/tid=2944] ppid=2941 vsize=287372 CPUtime=1.1 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1765 0 0 0 110 0 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=287372 CPUtime=1.09 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1689 0 0 0 109 0 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=287372 CPUtime=1.1 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1674 0 0 0 110 0 0 0 19 0 4 0 651760279 294268928 3969 33554432000 4194304 4650419 140734335685024 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.43 Current children cumulated vsize (KiB) 287372 [startup+1.215 s] /proc/loadavg: 7.56 7.97 8.04 6/352 2943 /proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=287740 CPUtime=4.83 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 8077 0 0 0 482 1 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 71935 3814 391 112 0 66900 0 [pid=2943/tid=2944] ppid=2941 vsize=287740 CPUtime=1.2 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2040 0 0 0 120 0 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=287740 CPUtime=1.19 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1905 0 0 0 119 0 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=287740 CPUtime=1.2 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 1722 0 0 0 120 0 0 0 19 0 4 0 651760279 294645760 3814 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.83 Current children cumulated vsize (KiB) 287740 [startup+1.50095 s] /proc/loadavg: 7.56 7.97 8.04 6/352 2943 /proc/meminfo: memFree=26250960/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=288208 CPUtime=5.96 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 10053 0 0 0 595 1 0 0 19 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4438643 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 72052 5394 392 112 0 67017 0 [pid=2943/tid=2944] ppid=2941 vsize=288208 CPUtime=1.49 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2202 0 0 0 149 0 0 0 19 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4315636 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=288208 CPUtime=1.48 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2051 0 0 0 148 0 0 0 19 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=288208 CPUtime=1.49 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 2106 0 0 0 149 0 0 0 20 0 4 0 651760279 295124992 5394 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 288208 [startup+3.10067 s] /proc/loadavg: 7.68 7.99 8.05 10/356 2947 /proc/meminfo: memFree=26177996/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=283988 CPUtime=12.34 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 16556 0 0 0 1231 3 0 0 25 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 70997 10141 392 112 0 65962 0 [pid=2943/tid=2944] ppid=2941 vsize=283988 CPUtime=3.09 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 3655 0 0 0 309 0 0 0 24 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=283988 CPUtime=3.05 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 4233 0 0 0 305 0 0 0 25 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=283988 CPUtime=3.08 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 4489 0 0 0 308 0 0 0 25 0 4 0 651760279 290803712 10141 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 283988 [startup+6.31311 s] /proc/loadavg: 7.68 7.99 8.05 10/356 2947 /proc/meminfo: memFree=26155452/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=290928 CPUtime=25.15 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 24046 0 0 0 2511 4 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 72732 12115 392 112 0 67697 0 [pid=2943/tid=2944] ppid=2941 vsize=290928 CPUtime=6.3 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 6082 0 0 0 630 0 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=290928 CPUtime=6.23 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 6072 0 0 0 622 1 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=290928 CPUtime=6.3 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 6538 0 0 0 629 1 0 0 25 0 4 0 651760279 297910272 12115 33554432000 4194304 4650419 140734335685024 18446744073709551615 4332995 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 290928 [startup+12.701 s] /proc/loadavg: 7.72 7.99 8.05 10/356 2947 /proc/meminfo: memFree=26119888/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=308832 CPUtime=50.65 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 35908 0 0 0 5058 7 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 77208 17485 392 112 0 72173 0 [pid=2943/tid=2944] ppid=2941 vsize=308832 CPUtime=12.68 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 8579 0 0 0 1267 1 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=308832 CPUtime=12.56 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 9041 0 0 0 1254 2 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=308832 CPUtime=12.69 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 10079 0 0 0 1268 1 0 0 25 0 4 0 651760279 316243968 17485 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 308832 [startup+25.5007 s] /proc/loadavg: 7.77 7.99 8.04 10/356 2950 /proc/meminfo: memFree=26067084/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=313436 CPUtime=101.7 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 52230 0 0 0 10158 12 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4439106 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 78359 24627 392 112 0 73324 0 [pid=2943/tid=2944] ppid=2941 vsize=313436 CPUtime=25.49 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 11641 0 0 0 2546 3 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=313436 CPUtime=25.21 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 13277 0 0 0 2518 3 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=313436 CPUtime=25.49 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 14698 0 0 0 2546 3 0 0 25 0 4 0 651760279 320958464 24627 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 313436 [startup+51.1002 s] /proc/loadavg: 7.99 8.02 8.05 10/356 2950 /proc/meminfo: memFree=26036436/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=306888 CPUtime=203.83 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 77492 0 0 0 20363 20 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 76722 28765 392 112 0 71687 0 [pid=2943/tid=2944] ppid=2941 vsize=306888 CPUtime=51.09 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 17040 0 0 0 5105 4 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=306888 CPUtime=50.54 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 20346 0 0 0 5049 5 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=306888 CPUtime=51.09 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 22473 0 0 0 5104 5 0 0 25 0 4 0 651760279 314253312 28765 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363666 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 203.83 Current children cumulated vsize (KiB) 306888 [startup+102.3 s] /proc/loadavg: 8.14 8.05 8.06 10/356 2952 /proc/meminfo: memFree=25996844/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=328800 CPUtime=408.07 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 113540 0 0 0 40775 32 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366122 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 82200 32244 392 112 0 77165 0 [pid=2943/tid=2944] ppid=2941 vsize=328800 CPUtime=102.29 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 23597 0 0 0 10222 7 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=328800 CPUtime=101.17 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 29317 0 0 0 10110 7 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=328800 CPUtime=102.29 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 34856 0 0 0 10220 9 0 0 25 0 4 0 651760279 336691200 32244 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.07 Current children cumulated vsize (KiB) 328800 [startup+162.301 s] ################ # More data... # ################ [pid=2943] ppid=2941 vsize=382544 CPUtime=2562.09 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 339763 0 0 0 256080 129 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 95636 66368 392 112 0 90601 0 [pid=2943/tid=2944] ppid=2941 vsize=382544 CPUtime=642.3 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66361 0 0 0 64205 25 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=382544 CPUtime=635.15 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 91416 0 0 0 63480 35 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=382544 CPUtime=642.3 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 97123 0 0 0 64194 36 0 0 25 0 4 0 651760279 391725056 66368 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2562.09 Current children cumulated vsize (KiB) 382544 [startup+702.301 s] /proc/loadavg: 8.07 8.08 8.06 10/356 2969 /proc/meminfo: memFree=25667424/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=382880 CPUtime=2801.41 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 350733 0 0 0 280006 135 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 95720 67363 392 112 0 90685 0 [pid=2943/tid=2944] ppid=2941 vsize=382880 CPUtime=702.3 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66361 0 0 0 70205 25 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=382880 CPUtime=694.48 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 96393 0 0 0 69409 39 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=382880 CPUtime=702.3 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 98073 0 0 0 70194 36 0 0 25 0 4 0 651760279 392069120 67363 33554432000 4194304 4650419 140734335685024 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2801.41 Current children cumulated vsize (KiB) 382880 [startup+762.301 s] /proc/loadavg: 8.02 8.06 8.05 10/356 2970 /proc/meminfo: memFree=25654012/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=395336 CPUtime=3040.75 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 364228 0 0 0 303932 143 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 98834 71098 392 112 0 93799 0 [pid=2943/tid=2944] ppid=2941 vsize=395336 CPUtime=762.31 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66752 0 0 0 76205 26 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=395336 CPUtime=753.82 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 101928 0 0 0 75339 43 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=395336 CPUtime=762.3 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 100381 0 0 0 76193 37 0 0 25 0 4 0 651760279 404824064 71098 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3040.75 Current children cumulated vsize (KiB) 395336 [startup+822.301 s] /proc/loadavg: 8.08 8.08 8.06 10/356 2972 /proc/meminfo: memFree=25649544/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=505520 CPUtime=3280.09 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 380166 0 0 0 327859 150 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 126380 71734 392 112 0 121345 0 [pid=2943/tid=2944] ppid=2941 vsize=505520 CPUtime=822.31 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 66752 0 0 0 82205 26 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=505520 CPUtime=813.15 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 104917 0 0 0 81270 45 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=505520 CPUtime=822.3 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 105418 0 0 0 82191 39 0 0 25 0 4 0 651760279 517652480 71734 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3280.09 Current children cumulated vsize (KiB) 505520 [startup+882.301 s] /proc/loadavg: 8.03 8.06 8.05 10/356 2973 /proc/meminfo: memFree=25620112/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=452128 CPUtime=3519.41 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 401339 0 0 0 351783 158 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 113032 76274 392 112 0 107997 0 [pid=2943/tid=2944] ppid=2941 vsize=452128 CPUtime=882.31 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 68982 0 0 0 88204 27 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=452128 CPUtime=872.47 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 109148 0 0 0 87199 48 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=452128 CPUtime=882.31 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 108384 0 0 0 88190 41 0 0 25 0 4 0 651760279 462979072 76274 33554432000 4194304 4650419 140734335685024 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3519.41 Current children cumulated vsize (KiB) 452128 [startup+942.3 s] /proc/loadavg: 8.09 8.06 8.05 10/356 2975 /proc/meminfo: memFree=25632096/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=505292 CPUtime=3758.75 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 412913 0 0 0 375711 164 0 0 25 0 4 0 651760279 517419008 78355 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 126323 78355 392 112 0 121288 0 [pid=2943/tid=2944] ppid=2941 vsize=505292 CPUtime=942.32 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 69829 0 0 0 94205 27 0 0 25 0 4 0 651760279 517419008 78356 33554432000 4194304 4650419 140734335685024 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=505292 CPUtime=931.78 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 114180 0 0 0 93127 51 0 0 25 0 4 0 651760279 517419008 78356 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=505292 CPUtime=942.32 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 108399 0 0 0 94191 41 0 0 25 0 4 0 651760279 517419008 78356 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3758.75 Current children cumulated vsize (KiB) 505292 [startup+1002.3 s] /proc/loadavg: 8.10 8.07 8.05 9/356 2977 /proc/meminfo: memFree=25583348/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=505336 CPUtime=3998.03 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 420466 0 0 0 399634 169 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 126334 83091 392 112 0 121299 0 [pid=2943/tid=2944] ppid=2941 vsize=505336 CPUtime=1002.31 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 69829 0 0 0 100204 27 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=505336 CPUtime=991.07 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 118165 0 0 0 99053 54 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=505336 CPUtime=1002.31 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 108399 0 0 0 100190 41 0 0 25 0 4 0 651760279 517464064 83091 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3998.03 Current children cumulated vsize (KiB) 505336 [startup+1062.31 s] /proc/loadavg: 8.10 8.07 8.05 10/356 2979 /proc/meminfo: memFree=25579592/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=505932 CPUtime=4237.4 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 433592 0 0 0 423563 177 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 126483 78595 392 112 0 121448 0 [pid=2943/tid=2944] ppid=2941 vsize=505932 CPUtime=1062.32 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 69830 0 0 0 106205 27 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=505932 CPUtime=1050.4 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 123562 0 0 0 104982 58 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=505932 CPUtime=1062.33 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 113767 0 0 0 106189 44 0 0 25 0 4 0 651760279 518074368 78595 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4237.4 Current children cumulated vsize (KiB) 505932 [startup+1122.3 s] /proc/loadavg: 8.16 8.08 8.06 10/356 2981 /proc/meminfo: memFree=25552020/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=506472 CPUtime=4476.7 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 447009 0 0 0 447488 182 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 126618 83967 392 112 0 121583 0 [pid=2943/tid=2944] ppid=2941 vsize=506472 CPUtime=1122.31 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 70047 0 0 0 112204 27 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=506472 CPUtime=1109.75 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 128732 0 0 0 110915 60 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=506472 CPUtime=1122.32 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 117412 0 0 0 112186 46 0 0 25 0 4 0 651760279 518627328 83967 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4476.7 Current children cumulated vsize (KiB) 506472 [startup+1182.3 s] /proc/loadavg: 8.17 8.10 8.06 10/356 2983 /proc/meminfo: memFree=25544924/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=532128 CPUtime=4716.04 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 461473 0 0 0 471413 191 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 133032 84416 392 112 0 127997 0 [pid=2943/tid=2944] ppid=2941 vsize=532128 CPUtime=1182.31 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 70193 0 0 0 118204 27 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=532128 CPUtime=1169.08 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 134242 0 0 0 116845 63 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=532128 CPUtime=1182.32 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 122035 0 0 0 118183 49 0 0 25 0 4 0 651760279 544899072 84416 33554432000 4194304 4650419 140734335685024 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4716.04 Current children cumulated vsize (KiB) 532128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.4 s] /proc/loadavg: 8.12 8.09 8.06 7/355 2985 /proc/meminfo: memFree=25549724/32951124 swapFree=53501236/67111528 [pid=2943] ppid=2941 vsize=506924 CPUtime=4800.23 cores=1,3,5,7 /proc/2943/stat : 2943 (strangenight1-m) R 2941 2943 2586 0 -1 4202496 468753 0 0 0 479829 194 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/2943/statm: 126731 81176 392 112 0 121696 0 [pid=2943/tid=2944] ppid=2941 vsize=506924 CPUtime=1203.43 cores=1,3,5,7 /proc/2943/task/2944/stat : 2944 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 71569 0 0 0 120315 28 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=2943/tid=2945] ppid=2941 vsize=506924 CPUtime=1189.95 cores=1,3,5,7 /proc/2943/task/2945/stat : 2945 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 135143 0 0 0 118932 63 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=2943/tid=2946] ppid=2941 vsize=506924 CPUtime=1203.42 cores=1,3,5,7 /proc/2943/task/2946/stat : 2946 (strangenight1-m) R 2941 2943 2586 0 -1 4202560 124702 0 0 0 120293 49 0 0 25 0 4 0 651760279 519090176 81176 33554432000 4194304 4650419 140734335685024 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.23 Current children cumulated vsize (KiB) 506924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.43 CPU time (s): 4800.31 CPU user time (s): 4798.34 CPU system time (s): 1.9637 CPU usage (%): 398.884 Max. virtual memory (cumulated for all children) (KiB): 532252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.34 system time used= 1.9637 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 468754 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= 410 involuntary context switches= 33496 runsolver used 3.76343 second user time and 9.71452 second system time The end
Begin job on node103 at 2011-05-14 21:32:57 IDJOB=3368719 IDBENCH=82728 IDSOLVER=1846 FILE ID=node103/3368719-1305401577 RUNJOBID= node103-1305401577-2920 PBS_JOBID= 13324472 Free space on /tmp= 72984 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) 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-3368719-1305401577/watcher-3368719-1305401577 -o /tmp/evaluation-result-3368719-1305401577/solver-3368719-1305401577 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368719-1305401577.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d2557a5d8edb4c9702dcfea1e1cd4c5 RANDOM SEED=1332764038 node103.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.858 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.71 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.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.77 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.858 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.75 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.858 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.858 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.858 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 26252116 kB Buffers: 296368 kB Cached: 3865952 kB SwapCached: 340192 kB Active: 1320244 kB Inactive: 5110000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26252116 kB SwapTotal: 67111528 kB SwapFree: 53501236 kB Dirty: 12440 kB Writeback: 0 kB AnonPages: 1938752 kB Mapped: 10584 kB Slab: 151480 kB PageTables: 52712 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78376740 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= 72980 MiB End job on node103 at 2011-05-14 21:53:02