| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.32 | 1203.25 |
| Name | crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf |
| MD5SUM | ebbfc0ffb6aa4fcba0d5ce3964018543 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 161 |
| Number of clauses | 332 |
| Sum of the clauses size | 996 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 332 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3366981-1305412682.cnf' 0.00/0.01 c -- header says num vars: 161 0.00/0.01 c -- header says num clauses: 332 0.00/0.01 c -- clauses added: 0 learnts, 332 normals, 0 xors 0.00/0.01 c -- vars added 161 0.00/0.01 c Parsing time: 0.00 s 0.00/0.01 c N st 0 0 161 332 0 0 996 0 no data no data 0.00/0.01 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.00 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 0.00/0.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.01 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.01 c calculated reachability. Time: 0.00 0.00/0.01 c Calc default polars - time: 0.00 s pos: 6 undec: 151 neg: 4 0.00/0.01 c ========================================================================================= 0.00/0.01 c types(t): F = full restart, N = normal restart 0.00/0.01 c types(t): S = simplification begin/end, E = solution found 0.00/0.01 c restart types(rt): st = static, dy = dynamic 0.00/0.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.01 c B st 0 0 161 332 0 0 996 0 no data no data 0.04/0.04 c Decided on static restart strategy 0.37/0.10 c N st 8 4918 161 332 0 4429 996 106987 no data no data 0.76/0.26 c N st 10 11302 161 332 0 4022 996 74133 no data no data 1.56/0.44 c N st 11 17045 161 332 0 8809 996 209089 no data no data 2.76/0.74 c F st 12 25000 161 332 0 10854 996 264573 no data no data 2.76/0.74 c N st 12 25000 161 332 0 10854 996 264573 no data no data 3.17/0.86 c Decided on static restart strategy 3.17/0.86 c N st 18 30000 161 332 0 9437 996 190833 no data no data 3.17/0.86 c S st 18 30000 161 332 0 9437 996 190833 no data no data 3.17/0.89 c S st 18 30507 161 332 0 9924 996 201679 no data no data 3.17/0.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3.17/0.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 3.17/0.89 c blocked clauses removed: 0 vars: 0 tried: 161 T: 0.00 s 3.17/0.89 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.17/0.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.17/0.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 3.17/0.89 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.17/0.89 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 3.17/0.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.57/1.01 c lits-rem: 1528 cl-subs: 923 v-elim: 0 v-fix: 0 time: 0.11 s 3.57/1.01 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.00 3.57/1.01 c calculated reachability. Time: 0.00 3.57/1.01 c N st 18 30507 161 332 0 9001 996 173404 no data no data 4.75/1.24 c N st 20 37617 161 332 0 8521 996 154348 no data no data 5.56/1.49 c N st 21 44019 161 332 0 14061 996 306738 no data no data 5.95/1.57 c S st 22 45762 161 332 0 15599 996 350339 no data no data 6.35/1.60 c S st 22 46266 161 332 0 8210 996 132541 no data no data 6.35/1.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 6.35/1.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 6.35/1.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 6.35/1.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 6.35/1.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 6.35/1.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 6.35/1.60 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 6.35/1.60 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 6.35/1.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 6.35/1.62 c lits-rem: 165 cl-subs: 68 v-elim: 0 v-fix: 0 time: 0.01 s 6.35/1.62 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 6.35/1.62 c vivif2 -- cl tried 8142 cl shrink 0 lits rem 0 time: 0.00 6.35/1.63 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.00 6.35/1.63 c calculated reachability. Time: 0.00 6.35/1.63 c N st 22 46266 161 332 0 8142 996 130450 no data no data 8.37/2.18 c N st 23 60663 161 332 0 11817 996 219185 no data no data 9.94/2.56 c N st 24 69400 161 332 0 9901 996 153595 no data no data 9.94/2.56 c S st 24 69400 161 332 0 9901 996 153595 no data no data 9.94/2.58 c S st 24 69902 161 332 0 10389 996 163423 no data no data 9.94/2.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 9.94/2.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 9.94/2.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 9.94/2.58 c bin-w-bin subsume rem 0 bins time: 0.00 s 9.94/2.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.94/2.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 9.94/2.58 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 9.94/2.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 9.94/2.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.34/2.61 c lits-rem: 304 cl-subs: 164 v-elim: 0 v-fix: 0 time: 0.03 s 10.34/2.61 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 10.34/2.62 c vivif2 -- cl tried 10225 cl shrink 0 lits rem 0 time: 0.00 10.34/2.62 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.00 10.34/2.62 c calculated reachability. Time: 0.00 10.34/2.62 c N st 24 69902 161 332 0 10225 996 158620 no data no data 13.52/3.43 c F st 25 87501 161 332 0 14949 996 292165 no data no data 13.52/3.43 c N st 25 87501 161 332 0 14949 996 292165 no data no data 14.32/3.62 c Decided on static restart strategy 14.73/3.74 c N st 32 95538 161 332 0 22135 996 459662 no data no data 15.93/4.07 c N st 34 104854 161 332 0 19073 996 353446 no data no data 15.93/4.07 c S st 34 104854 161 332 0 19073 996 353446 no data no data 16.33/4.12 c S st 34 105359 161 332 0 19563 996 364702 no data no data 16.33/4.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 16.33/4.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 16.33/4.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 16.33/4.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 16.33/4.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 16.33/4.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 16.33/4.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.33/4.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 16.33/4.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.15/4.38 c lits-rem: 2055 cl-subs: 1084 v-elim: 0 v-fix: 0 time: 0.25 s 17.15/4.38 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 17.15/4.38 c vivif2 -- cl tried 18479 cl shrink 0 lits rem 0 time: 0.00 17.15/4.39 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.00 17.15/4.39 c calculated reachability. Time: 0.00 17.15/4.39 c N st 34 105359 161 332 0 18479 996 328889 no data no data 19.11/4.81 c N st 35 114959 161 332 0 14570 996 236289 no data no data 22.70/5.71 c N st 36 129356 161 332 0 14234 996 216404 no data no data 27.09/6.84 c N st 37 150952 161 332 0 19110 996 326671 no data no data 28.69/7.20 c S st 38 158038 161 332 0 25353 996 486241 no data no data 28.69/7.25 c S st 38 158539 161 332 0 25843 996 497810 no data no data 28.69/7.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 28.69/7.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 28.69/7.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 28.69/7.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 28.69/7.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 28.69/7.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 28.69/7.26 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 28.69/7.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 28.69/7.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.72/7.76 c lits-rem: 3241 cl-subs: 1225 v-elim: 0 v-fix: 0 time: 0.49 s 30.72/7.76 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 30.72/7.77 c vivif2 -- cl tried 24618 cl shrink 0 lits rem 0 time: 0.00 30.72/7.77 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.00 30.72/7.77 c calculated reachability. Time: 0.00 30.72/7.77 c N st 38 158539 161 332 0 24618 996 456972 no data no data 41.86/10.56 c N st 39 207127 161 332 0 19854 996 327175 no data no data 49.44/12.43 c N st 40 237811 161 332 0 29408 996 615473 no data no data 49.44/12.43 c S st 40 237811 161 332 0 29408 996 615473 no data no data 49.44/12.49 c S st 40 238312 161 332 0 29892 996 627174 no data no data 49.83/12.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 49.83/12.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 49.83/12.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 49.83/12.51 c bin-w-bin subsume rem 0 bins time: 0.00 s 49.83/12.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 49.83/12.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 49.83/12.51 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 49.83/12.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 49.83/12.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 55.42/13.94 c lits-rem: 5239 cl-subs: 1310 v-elim: 0 v-fix: 0 time: 1.41 s 55.42/13.94 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 55.42/13.95 c vivif2 -- cl tried 28582 cl shrink 0 lits rem 0 time: 0.01 55.42/13.96 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.01 55.42/13.96 c calculated reachability. Time: 0.00 55.42/13.96 c N st 40 238312 161 332 0 28582 996 575268 no data no data 73.78/18.60 c F st 41 306250 161 332 0 30044 996 582988 no data no data 73.78/18.60 c N st 41 306250 161 332 0 30044 996 582988 no data no data 74.97/18.86 c Decided on static restart strategy 80.95/20.31 c N st 51 334562 161 332 0 34730 996 603875 no data no data 85.74/21.54 c N st 53 357470 161 332 0 32890 996 555594 no data no data 85.74/21.54 c S st 53 357470 161 332 0 32890 996 555594 no data no data 86.14/21.60 c S st 53 357971 161 332 0 33380 996 566927 no data no data 86.14/21.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 86.14/21.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 86.14/21.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 86.14/21.61 c bin-w-bin subsume rem 0 bins time: 0.00 s 86.14/21.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 86.14/21.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 86.14/21.61 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 86.14/21.61 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 86.14/21.62 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 88.14/22.10 c lits-rem: 2489 cl-subs: 1034 v-elim: 0 v-fix: 0 time: 0.47 s 88.14/22.10 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 88.14/22.10 c vivif2 -- cl tried 32346 cl shrink 0 lits rem 0 time: 0.01 88.14/22.11 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.01 88.14/22.11 c calculated reachability. Time: 0.00 88.14/22.11 c N st 53 357971 161 332 0 32346 996 533674 no data no data 96.56/24.29 c N st 54 390364 161 332 0 38007 996 697845 no data no data 110.07/27.62 c N st 55 438953 161 332 0 31774 996 522303 no data no data 132.02/33.15 c N st 56 511836 161 332 0 43131 996 865223 no data no data 139.61/35.02 c N st 57 536957 161 332 0 37674 996 679729 no data no data 139.61/35.02 c S st 57 536957 161 332 0 37674 996 679729 no data no data 139.61/35.09 c S st 57 537459 161 332 0 38164 996 691159 no data no data 139.61/35.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 139.61/35.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 139.61/35.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 139.61/35.10 c bin-w-bin subsume rem 0 bins time: 0.00 s 139.61/35.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 139.61/35.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 139.61/35.10 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 140.03/35.11 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 140.03/35.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 147.59/37.07 c lits-rem: 5632 cl-subs: 4345 v-elim: 0 v-fix: 0 time: 1.94 s 147.59/37.07 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 147.59/37.07 c vivif2 -- cl tried 33819 cl shrink 0 lits rem 0 time: 0.01 147.59/37.08 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.01 147.59/37.08 c calculated reachability. Time: 0.00 147.59/37.08 c N st 57 537459 161 332 0 33819 996 544976 no data no data 203.05/50.96 c N st 58 701443 161 332 0 61674 996 1341171 no data no data 239.75/60.17 c N st 59 806189 161 332 0 54942 996 1050725 no data no data 239.75/60.17 c S st 59 806189 161 332 0 54942 996 1050725 no data no data 240.15/60.28 c S st 59 806689 161 332 0 55426 996 1061795 no data no data 240.15/60.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 240.55/60.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02 240.55/60.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 240.55/60.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 240.55/60.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 240.55/60.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 240.55/60.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 240.55/60.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 240.55/60.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 262.92/65.98 c lits-rem: 11301 cl-subs: 4558 v-elim: 0 v-fix: 0 time: 5.64 s 262.92/65.98 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 262.92/65.99 c vivif2 -- cl tried 50868 cl shrink 0 lits rem 0 time: 0.01 262.92/66.00 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.01 262.92/66.01 c calculated reachability. Time: 0.00 262.92/66.01 c N st 59 806689 161 332 0 50868 996 903384 no data no data 347.07/87.04 c F st 60 1071875 161 332 0 60147 996 1073306 no data no data 347.07/87.04 c N st 60 1071875 161 332 0 60147 996 1073306 no data no data 348.67/87.46 c Decided on static restart strategy 356.65/89.43 c N st 70 1100183 161 332 0 48953 996 803955 no data no data 371.42/93.10 c N st 72 1136176 161 332 0 41318 996 576740 no data no data 381.83/95.78 c N st 73 1168569 161 332 0 69532 996 1385999 no data no data 397.35/99.63 c N st 74 1210034 161 332 0 64770 996 1161961 no data no data 397.35/99.63 c S st 74 1210034 161 332 0 64770 996 1161961 no data no data 397.75/99.79 c S st 74 1210537 161 332 0 65260 996 1173846 no data no data 397.75/99.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 398.15/99.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 398.15/99.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 398.15/99.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 398.15/99.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 398.15/99.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 398.15/99.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 398.15/99.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 398.15/99.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 444.42/111.45 c lits-rem: 11080 cl-subs: 5708 v-elim: 0 v-fix: 0 time: 11.57 s 444.42/111.45 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 444.42/111.47 c vivif2 -- cl tried 59552 cl shrink 0 lits rem 0 time: 0.02 444.82/111.52 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.04 444.82/111.52 c calculated reachability. Time: 0.00 444.82/111.52 c N st 74 1210537 161 332 0 59552 996 993929 no data no data 474.74/119.00 c N st 75 1283419 161 332 0 79812 996 1572854 no data no data 522.61/131.08 c N st 76 1392743 161 332 0 48848 996 668361 no data no data 593.63/148.82 c N st 77 1556727 161 332 0 50690 996 709982 no data no data 657.90/164.98 c N st 78 1710537 161 332 0 85445 996 1531887 no data no data 657.90/164.98 c S st 78 1710537 161 332 0 85445 996 1531887 no data no data 658.67/165.15 c S st 78 1711041 161 332 0 85936 996 1544239 no data no data 658.67/165.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 658.67/165.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.03 658.67/165.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 658.67/165.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 658.67/165.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 658.67/165.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 658.67/165.18 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 659.07/165.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 659.07/165.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 727.29/182.36 c lits-rem: 19747 cl-subs: 11736 v-elim: 0 v-fix: 0 time: 17.12 s 727.29/182.36 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 727.29/182.38 c vivif2 -- cl tried 74200 cl shrink 0 lits rem 0 time: 0.02 727.69/182.43 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.04 727.69/182.43 c calculated reachability. Time: 0.00 727.69/182.43 c N st 78 1711041 161 332 0 74200 996 1216562 no data no data 927.96/232.67 c N st 79 2080006 161 332 0 88320 996 1547605 no data no data 999.80/250.61 c N st 80 2211041 161 332 0 89992 996 1542805 no data no data 999.80/250.61 c S st 80 2211041 161 332 0 89992 996 1542805 no data no data 1000.22/250.80 c S st 80 2211543 161 332 0 90485 996 1554451 no data no data 1000.22/250.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1000.63/250.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03 1000.63/250.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1000.63/250.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 1000.63/250.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1000.63/250.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 1000.63/250.84 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1000.63/250.86 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1000.63/250.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1065.22/267.04 c lits-rem: 10887 cl-subs: 11385 v-elim: 0 v-fix: 0 time: 16.14 s 1065.22/267.04 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 1065.22/267.06 c vivif2 -- cl tried 79100 cl shrink 0 lits rem 0 time: 0.02 1065.62/267.11 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.05 1065.62/267.11 c calculated reachability. Time: 0.00 1065.62/267.11 c N st 80 2211543 161 332 0 79100 996 1226690 no data no data 1320.18/330.94 c N st 81 2711544 161 332 0 98170 996 1748164 no data no data 1320.18/330.94 c S st 81 2711544 161 332 0 98170 996 1748164 no data no data 1321.01/331.13 c S st 81 2712051 161 332 0 98667 996 1760260 no data no data 1321.01/331.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1321.01/331.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.04 1321.01/331.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1321.01/331.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 1321.01/331.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1321.01/331.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 1321.01/331.17 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1321.01/331.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1321.37/331.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1397.57/350.31 c lits-rem: 15071 cl-subs: 11218 v-elim: 0 v-fix: 0 time: 19.07 s 1397.57/350.31 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 1397.57/350.33 c vivif2 -- cl tried 87449 cl shrink 0 lits rem 0 time: 0.02 1397.57/350.39 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.05 1397.57/350.39 c calculated reachability. Time: 0.00 1397.57/350.39 c N st 81 2712051 161 332 0 87449 996 1436392 no data no data 1688.04/423.14 c N st 82 3212054 161 332 0 67233 996 905486 no data no data 1688.04/423.14 c S st 82 3212054 161 332 0 67233 996 905486 no data no data 1688.43/423.28 c S st 82 3212554 161 332 0 67710 996 917716 no data no data 1688.43/423.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1688.83/423.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 1688.83/423.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1688.83/423.32 c bin-w-bin subsume rem 0 bins time: 0.00 s 1688.83/423.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1688.83/423.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 1688.83/423.32 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1688.83/423.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 1688.83/423.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1696.00/425.12 c lits-rem: 2500 cl-subs: 3240 v-elim: 0 v-fix: 0 time: 1.76 s 1696.00/425.12 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 1696.00/425.14 c vivif2 -- cl tried 64470 cl shrink 0 lits rem 0 time: 0.01 1696.00/425.17 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.03 1696.00/425.17 c calculated reachability. Time: 0.00 1696.00/425.17 c N st 82 3212554 161 332 0 64470 996 837354 no data no data 2005.25/502.68 c N st 83 3712555 161 332 0 76818 996 1070595 no data no data 2005.25/502.68 c S st 83 3712555 161 332 0 76818 996 1070595 no data no data 2006.02/502.80 c S st 83 3713058 161 332 0 77316 996 1083068 no data no data 2006.02/502.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 2006.02/502.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.02 2006.02/502.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2006.02/502.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 2006.02/502.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2006.02/502.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 2006.02/502.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2006.02/502.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 2006.02/502.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2012.01/504.35 c lits-rem: 1999 cl-subs: 1824 v-elim: 0 v-fix: 0 time: 1.48 s 2012.01/504.35 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 2012.01/504.37 c vivif2 -- cl tried 75492 cl shrink 0 lits rem 0 time: 0.01 2012.01/504.39 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.03 2012.41/504.40 c calculated reachability. Time: 0.00 2012.41/504.40 c N st 83 3713058 161 332 0 75492 996 1031450 no data no data 2035.55/510.20 c F st 84 3751567 161 332 0 108175 996 1802371 no data no data 2035.55/510.20 c N st 84 3751567 161 332 0 108175 996 1802371 no data no data 2037.94/510.87 c Decided on static restart strategy 2050.71/514.08 c N st 94 3779876 161 332 0 133838 996 2440609 no data no data 2069.06/518.68 c N st 96 3815869 161 332 0 92788 996 1472637 no data no data 2091.01/524.10 c N st 97 3848261 161 332 0 119277 996 2220351 no data no data 2122.54/532.08 c N st 98 3896849 161 332 0 90675 996 1417050 no data no data 2165.23/542.74 c N st 99 3969731 161 332 0 79481 996 1028803 no data no data 2239.84/561.47 c N st 100 4079055 161 332 0 96875 996 1517399 no data no data 2327.22/583.37 c N st 101 4213059 161 332 0 135016 996 2576377 no data no data 2327.22/583.37 c S st 101 4213059 161 332 0 135016 996 2576377 no data no data 2328.43/583.64 c S st 101 4213563 161 332 0 135514 996 2590302 no data no data 2328.43/583.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2328.82/583.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.06 2328.82/583.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2328.82/583.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 2328.82/583.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2328.82/583.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 2328.82/583.71 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2328.82/583.75 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 2329.22/583.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2522.29/632.22 c lits-rem: 22029 cl-subs: 8897 v-elim: 0 v-fix: 0 time: 48.40 s 2522.29/632.22 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 2522.29/632.26 c vivif2 -- cl tried 126617 cl shrink 0 lits rem 0 time: 0.03 2522.69/632.34 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.08 2522.69/632.34 c calculated reachability. Time: 0.00 2522.69/632.34 c N st 101 4213563 161 332 0 126617 996 2287824 no data no data 2699.40/676.62 c N st 102 4459539 161 332 0 100062 996 1561043 no data no data 2893.69/725.33 c N st 103 4713563 161 332 0 159488 996 3104254 no data no data 2893.69/725.33 c S st 103 4713563 161 332 0 159488 996 3104254 no data no data 2895.29/725.71 c S st 103 4714072 161 332 0 159989 996 3117387 no data no data 2895.29/725.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2895.69/725.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.10 2895.69/725.82 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2895.69/725.82 c bin-w-bin subsume rem 0 bins time: 0.00 s 2895.69/725.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2895.69/725.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 2895.69/725.82 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2895.69/725.86 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 2896.11/725.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3303.78/828.19 c lits-rem: 14463 cl-subs: 21330 v-elim: 0 v-fix: 0 time: 102.22 s 3303.78/828.19 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 3304.20/828.23 c vivif2 -- cl tried 138659 cl shrink 0 lits rem 0 time: 0.04 3304.61/828.32 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.09 3304.61/828.33 c calculated reachability. Time: 0.00 3304.61/828.33 c N st 103 4714072 161 332 0 138659 996 2476465 no data no data 3687.15/924.28 c N st 104 5214073 161 332 0 145597 996 2649011 no data no data 3687.15/924.28 c S st 104 5214073 161 332 0 145597 996 2649011 no data no data 3688.75/924.64 c S st 104 5214575 161 332 0 146090 996 2662125 no data no data 3688.75/924.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3689.15/924.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.07 3689.15/924.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3689.15/924.72 c bin-w-bin subsume rem 0 bins time: 0.00 s 3689.15/924.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3689.15/924.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 3689.15/924.72 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3689.15/924.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 3689.55/924.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3996.32/1001.72 c lits-rem: 27980 cl-subs: 23731 v-elim: 0 v-fix: 0 time: 76.88 s 3996.32/1001.72 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 3996.32/1001.75 c vivif2 -- cl tried 122359 cl shrink 0 lits rem 0 time: 0.03 3996.72/1001.83 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.08 3996.72/1001.83 c calculated reachability. Time: 0.00 3996.72/1001.83 c N st 104 5214575 161 332 0 122359 996 1984460 no data no data 4343.83/1088.84 c N st 105 5714575 161 332 0 114765 996 1752679 no data no data 4343.83/1088.84 c S st 105 5714575 161 332 0 114765 996 1752679 no data no data 4344.66/1089.07 c S st 105 5715080 161 332 0 115263 996 1766491 no data no data 4344.66/1089.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 4345.02/1089.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.04 4345.02/1089.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4345.02/1089.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 4345.02/1089.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4345.02/1089.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 4345.02/1089.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4345.02/1089.15 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 4345.02/1089.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4421.23/1108.25 c lits-rem: 14052 cl-subs: 13899 v-elim: 0 v-fix: 0 time: 19.06 s 4421.23/1108.25 c vivif2 -- cl tried 332 cl shrink 0 lits rem 0 time: 0.00 4421.23/1108.27 c vivif2 -- cl tried 101364 cl shrink 0 lits rem 0 time: 0.02 4421.62/1108.31 c asymm cl-useful: 0/332/332 lits-rem:0 time: 0.04 4421.62/1108.32 c calculated reachability. Time: 0.00 4421.62/1108.32 c N st 105 5715080 161 332 0 101364 996 1410191 no data no data 4792.63/1201.31 c N st 106 6215080 161 332 0 165805 996 3162147 no data no data 4792.63/1201.31 c S st 106 6215080 161 332 0 165805 996 3162147 no data no data 4795.03/1201.90 c S st 106 6215588 161 332 0 166302 996 3175514 no data no data 4795.03/1201.92 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4795.43/1202.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.9M T: 0.12 4795.43/1202.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4795.43/1202.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 4795.43/1202.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4795.43/1202.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 161 time: 0.00 s 4795.43/1202.04 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4795.43/1202.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 4795.83/1202.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s
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-3366981-1305412682/watcher-3366981-1305412682 -o /tmp/evaluation-result-3366981-1305412682/solver-3366981-1305412682 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366981-1305412682.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.74 4.42 5.81 3/312 8634 /proc/meminfo: memFree=11153484/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 652870521 52396032 347 33554432000 4194304 4580107 140734249757808 18446744073709551615 47434582919090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 12792 347 299 95 0 7774 0 [pid=8634/tid=8635] ppid=8632 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652870521 52396032 347 33554432000 4194304 4580107 140734249757808 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652870521 52396032 347 33554432000 4194304 4580107 140734249757808 18446744073709551615 47434582919090 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=51168 CPUtime=0 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652870521 52396032 347 33554432000 4194304 4580107 140734249757808 18446744073709551615 47434582919090 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.0181229 s] /proc/loadavg: 3.74 4.42 5.81 3/312 8634 /proc/meminfo: memFree=11153484/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=281688 CPUtime=0.04 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 723 0 0 0 4 0 0 0 24 0 4 0 652870521 288448512 648 33554432000 4194304 4580107 140734249757808 18446744073709551615 4316473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 70422 648 376 95 0 65404 0 [pid=8634/tid=8635] ppid=8632 vsize=281688 CPUtime=0 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 75 0 0 0 0 0 0 0 25 0 4 0 652870521 288448512 648 33554432000 4194304 4580107 140734249757808 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=281688 CPUtime=0 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 85 0 0 0 0 0 0 0 25 0 4 0 652870521 288448512 648 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=281688 CPUtime=0.01 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 78 0 0 0 1 0 0 0 25 0 4 0 652870521 288448512 649 33554432000 4194304 4580107 140734249757808 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 281688 [startup+0.101108 s] /proc/loadavg: 3.74 4.42 5.81 3/312 8634 /proc/meminfo: memFree=11153484/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=282408 CPUtime=0.37 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 1483 0 0 0 37 0 0 0 24 0 4 0 652870521 289185792 1184 33554432000 4194304 4580107 140734249757808 18446744073709551615 4322453 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 70602 1185 377 95 0 65584 0 [pid=8634/tid=8635] ppid=8632 vsize=282408 CPUtime=0.08 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 282 0 0 0 8 0 0 0 25 0 4 0 652870521 289185792 1185 33554432000 4194304 4580107 140734249757808 18446744073709551615 4316574 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=282408 CPUtime=0.09 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 254 0 0 0 9 0 0 0 25 0 4 0 652870521 289185792 1185 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=282408 CPUtime=0.09 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 297 0 0 0 9 0 0 0 25 0 4 0 652870521 289185792 1185 33554432000 4194304 4580107 140734249757808 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 282408 [startup+0.301069 s] /proc/loadavg: 3.74 4.42 5.81 3/312 8634 /proc/meminfo: memFree=11153484/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=283836 CPUtime=1.16 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 2972 0 0 0 116 0 0 0 25 0 4 0 652870521 290648064 1604 33554432000 4194304 4580107 140734249757808 18446744073709551615 4322880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 70959 1604 377 95 0 65941 0 [pid=8634/tid=8635] ppid=8632 vsize=283836 CPUtime=0.28 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 639 0 0 0 28 0 0 0 25 0 4 0 652870521 290648064 1604 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=283836 CPUtime=0.29 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 654 0 0 0 29 0 0 0 25 0 4 0 652870521 290648064 1604 33554432000 4194304 4580107 140734249757808 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=283836 CPUtime=0.29 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 648 0 0 0 29 0 0 0 25 0 4 0 652870521 290648064 1604 33554432000 4194304 4580107 140734249757808 18446744073709551615 4320741 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 283836 [startup+0.700994 s] /proc/loadavg: 3.74 4.42 5.81 3/312 8634 /proc/meminfo: memFree=11153484/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=284428 CPUtime=2.76 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 4972 0 0 0 276 0 0 0 25 0 4 0 652870521 291254272 2535 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 71107 2535 378 95 0 66089 0 [pid=8634/tid=8635] ppid=8632 vsize=284428 CPUtime=0.68 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 1122 0 0 0 68 0 0 0 25 0 4 0 652870521 291254272 2535 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=284428 CPUtime=0.69 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 1180 0 0 0 69 0 0 0 25 0 4 0 652870521 291254272 2535 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=284428 CPUtime=0.69 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 1168 0 0 0 69 0 0 0 25 0 4 0 652870521 291254272 2535 33554432000 4194304 4580107 140734249757808 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 284428 [startup+1.50084 s] /proc/loadavg: 3.74 4.42 5.81 9/324 8646 /proc/meminfo: memFree=11121472/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=290712 CPUtime=5.95 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 13279 0 0 0 593 2 0 0 25 0 4 0 652870521 297689088 7564 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 72678 7564 379 95 0 67660 0 [pid=8634/tid=8635] ppid=8632 vsize=290712 CPUtime=1.46 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 3161 0 0 0 146 0 0 0 25 0 4 0 652870521 297689088 7564 33554432000 4194304 4580107 140734249757808 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=290712 CPUtime=1.48 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 4245 0 0 0 148 0 0 0 25 0 4 0 652870521 297689088 7564 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=290712 CPUtime=1.49 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 2278 0 0 0 149 0 0 0 25 0 4 0 652870521 297689088 7564 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 290712 [startup+3.10054 s] /proc/loadavg: 4.08 4.48 5.83 9/324 8646 /proc/meminfo: memFree=11083908/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=292852 CPUtime=12.34 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 22732 0 0 0 1230 4 0 0 25 0 4 0 652870521 299880448 12048 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 73213 12048 379 95 0 68195 0 [pid=8634/tid=8635] ppid=8632 vsize=292852 CPUtime=3.05 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 6458 0 0 0 304 1 0 0 25 0 4 0 652870521 299880448 12048 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=292852 CPUtime=3.08 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 5674 0 0 0 308 0 0 0 25 0 4 0 652870521 299880448 12048 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=292852 CPUtime=3.09 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 5192 0 0 0 308 1 0 0 25 0 4 0 652870521 299880448 12048 33554432000 4194304 4580107 140734249757808 18446744073709551615 4301873 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 292852 [startup+6.30093 s] /proc/loadavg: 4.08 4.48 5.83 9/324 8646 /proc/meminfo: memFree=11022984/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=298744 CPUtime=25.1 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 37611 0 0 0 2503 7 0 0 25 0 4 0 652870521 305913856 17575 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 74686 17575 379 95 0 69668 0 [pid=8634/tid=8635] ppid=8632 vsize=298744 CPUtime=6.22 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 10134 0 0 0 620 2 0 0 25 0 4 0 652870521 305913856 17575 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=298744 CPUtime=6.28 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 9343 0 0 0 627 1 0 0 25 0 4 0 652870521 305913856 17575 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=298744 CPUtime=6.28 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 9204 0 0 0 627 1 0 0 25 0 4 0 652870521 305913856 17575 33554432000 4194304 4580107 140734249757808 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 298744 [startup+12.7007 s] /proc/loadavg: 4.68 4.60 5.85 9/324 8646 /proc/meminfo: memFree=10969452/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=313432 CPUtime=50.63 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 61666 0 0 0 5052 11 0 0 25 0 4 0 652870521 320954368 25664 33554432000 4194304 4580107 140734249757808 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 78358 25665 379 95 0 73340 0 [pid=8634/tid=8635] ppid=8632 vsize=313432 CPUtime=12.55 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 16833 0 0 0 1252 3 0 0 25 0 4 0 652870521 320954368 25665 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=313432 CPUtime=12.68 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 15051 0 0 0 1266 2 0 0 25 0 4 0 652870521 320954368 25665 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=313432 CPUtime=12.69 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 13622 0 0 0 1267 2 0 0 25 0 4 0 652870521 320954368 25665 33554432000 4194304 4580107 140734249757808 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 313432 [startup+25.5003 s] /proc/loadavg: 5.26 4.73 5.88 9/324 8646 /proc/meminfo: memFree=10887352/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=297652 CPUtime=101.7 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 90416 0 0 0 10154 16 0 0 25 0 4 0 652870521 304795648 29492 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 74413 29492 379 95 0 69395 0 [pid=8634/tid=8635] ppid=8632 vsize=297652 CPUtime=25.22 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 21858 0 0 0 2518 4 0 0 25 0 4 0 652870521 304795648 29492 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=297652 CPUtime=25.48 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 22927 0 0 0 2544 4 0 0 25 0 4 0 652870521 304795648 29492 33554432000 4194304 4580107 140734249757808 18446744073709551615 4415763 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=297652 CPUtime=25.48 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 22109 0 0 0 2545 3 0 0 25 0 4 0 652870521 304795648 29492 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.7 Current children cumulated vsize (KiB) 297652 [startup+51.1004 s] /proc/loadavg: 6.20 4.99 5.93 9/324 8647 /proc/meminfo: memFree=10815652/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=316056 CPUtime=203.85 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 139072 0 0 0 20357 28 0 0 25 0 4 0 652870521 323641344 39252 33554432000 4194304 4580107 140734249757808 18446744073709551615 4340685 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 79014 39252 379 95 0 73996 0 [pid=8634/tid=8635] ppid=8632 vsize=316056 CPUtime=50.57 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 32924 0 0 0 5051 6 0 0 25 0 4 0 652870521 323641344 39252 33554432000 4194304 4580107 140734249757808 18446744073709551615 4305239 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=316056 CPUtime=51.08 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 32528 0 0 0 5102 6 0 0 25 0 4 0 652870521 323641344 39252 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=316056 CPUtime=51.09 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 36865 0 0 0 5102 7 0 0 25 0 4 0 652870521 323641344 39252 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 203.85 Current children cumulated vsize (KiB) 316056 [startup+102.314 s] /proc/loadavg: 7.37 5.52 6.06 9/324 8648 /proc/meminfo: memFree=10635928/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=374480 CPUtime=408.17 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 225150 0 0 0 40770 47 0 0 25 0 4 0 652870521 383467520 59732 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 93620 59732 379 95 0 88602 0 [pid=8634/tid=8635] ppid=8632 vsize=374480 CPUtime=101.26 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 54054 0 0 0 10115 11 0 0 25 0 4 0 652870521 383467520 59732 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=374480 CPUtime=102.29 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 54738 0 0 0 10217 12 0 0 25 0 4 0 652870521 383467520 59732 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=374480 CPUtime=102.31 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 61747 0 0 0 10219 12 0 0 25 0 4 0 652870521 383467520 59732 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 408.17 Current children cumulated vsize (KiB) 374480 [startup+162.3 s] ################ # More data... # ################ [pid=8634] ppid=8632 vsize=726160 CPUtime=2562.61 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 623179 0 0 0 256079 182 0 0 25 0 4 0 652870521 743587840 127794 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 181540 127794 379 95 0 176522 0 [pid=8634/tid=8635] ppid=8632 vsize=726160 CPUtime=635.76 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 174631 0 0 0 63523 53 0 0 25 0 4 0 652870521 743587840 127794 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=726160 CPUtime=642.28 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 171684 0 0 0 64175 53 0 0 25 0 4 0 652870521 743587840 127794 33554432000 4194304 4580107 140734249757808 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=726160 CPUtime=642.32 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 172648 0 0 0 64185 47 0 0 25 0 4 0 652870521 743587840 127794 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2562.61 Current children cumulated vsize (KiB) 726160 [startup+702.301 s] /proc/loadavg: 8.13 7.76 7.02 9/324 8664 /proc/meminfo: memFree=10036668/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=669532 CPUtime=2801.93 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 641088 0 0 0 280002 191 0 0 25 0 4 0 652870521 685600768 134210 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 167383 134210 379 95 0 162365 0 [pid=8634/tid=8635] ppid=8632 vsize=669532 CPUtime=695.11 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 182751 0 0 0 69454 57 0 0 25 0 4 0 652870521 685600768 134210 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=669532 CPUtime=702.28 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 178045 0 0 0 70171 57 0 0 25 0 4 0 652870521 685600768 134210 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=669532 CPUtime=702.31 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 172648 0 0 0 70184 47 0 0 25 0 4 0 652870521 685600768 134210 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2801.93 Current children cumulated vsize (KiB) 669532 [startup+762.313 s] /proc/loadavg: 8.16 7.83 7.09 9/324 8666 /proc/meminfo: memFree=9925292/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=777448 CPUtime=3041.34 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 668022 0 0 0 303931 203 0 0 25 0 4 0 652870521 796106752 149843 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 194362 149843 379 95 0 189344 0 [pid=8634/tid=8635] ppid=8632 vsize=777448 CPUtime=754.49 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 193676 0 0 0 75387 62 0 0 25 0 4 0 652870521 796106752 149843 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=777448 CPUtime=762.29 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 181925 0 0 0 76171 58 0 0 25 0 4 0 652870521 796106752 149843 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406486 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=777448 CPUtime=762.32 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 179099 0 0 0 76182 50 0 0 25 0 4 0 652870521 796106752 149843 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3041.34 Current children cumulated vsize (KiB) 777448 [startup+822.301 s] /proc/loadavg: 8.17 7.89 7.15 9/324 8668 /proc/meminfo: memFree=9951168/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=843104 CPUtime=3280.63 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 684414 0 0 0 327849 214 0 0 25 0 4 0 652870521 863338496 150603 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406385 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 210776 150603 379 95 0 205758 0 [pid=8634/tid=8635] ppid=8632 vsize=843104 CPUtime=813.83 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 202088 0 0 0 81316 67 0 0 25 0 4 0 652870521 863338496 150603 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=843104 CPUtime=822.28 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 182561 0 0 0 82168 60 0 0 25 0 4 0 652870521 863338496 150603 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=843104 CPUtime=822.31 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 186443 0 0 0 82176 55 0 0 25 0 4 0 652870521 863338496 150603 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3280.63 Current children cumulated vsize (KiB) 843104 [startup+882.3 s] /proc/loadavg: 8.26 7.97 7.22 9/324 8669 /proc/meminfo: memFree=9896812/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=787664 CPUtime=3519.99 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 708655 0 0 0 351774 225 0 0 25 0 4 0 652870521 806567936 155082 33554432000 4194304 4580107 140734249757808 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 196916 155082 379 95 0 191898 0 [pid=8634/tid=8635] ppid=8632 vsize=787664 CPUtime=873.2 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 214339 0 0 0 87248 72 0 0 25 0 4 0 652870521 806567936 155082 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=787664 CPUtime=882.28 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 191304 0 0 0 88163 65 0 0 25 0 4 0 652870521 806567936 155082 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=787664 CPUtime=882.32 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 189166 0 0 0 88176 56 0 0 25 0 4 0 652870521 806567936 155082 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3519.99 Current children cumulated vsize (KiB) 787664 [startup+942.301 s] /proc/loadavg: 8.10 7.97 7.27 9/324 8671 /proc/meminfo: memFree=9821888/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=848064 CPUtime=3759.37 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 730748 0 0 0 375701 236 0 0 25 0 4 0 652870521 868417536 161120 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406375 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 212016 161120 379 95 0 206998 0 [pid=8634/tid=8635] ppid=8632 vsize=848064 CPUtime=932.58 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 225024 0 0 0 93182 76 0 0 25 0 4 0 652870521 868417536 161120 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=848064 CPUtime=942.28 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 194940 0 0 0 94161 67 0 0 25 0 4 0 652870521 868417536 161120 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=848064 CPUtime=942.32 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 196924 0 0 0 94172 60 0 0 25 0 4 0 652870521 868417536 161120 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3759.37 Current children cumulated vsize (KiB) 848064 [startup+1002.3 s] /proc/loadavg: 8.03 7.97 7.31 9/324 8672 /proc/meminfo: memFree=9880028/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=787996 CPUtime=3998.71 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 749173 0 0 0 399627 244 0 0 25 0 4 0 652870521 806907904 152774 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 196999 152774 379 95 0 191981 0 [pid=8634/tid=8635] ppid=8632 vsize=787996 CPUtime=991.93 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 236254 0 0 0 99111 82 0 0 25 0 4 0 652870521 806907904 152774 33554432000 4194304 4580107 140734249757808 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=787996 CPUtime=1002.27 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 200163 0 0 0 100158 69 0 0 25 0 4 0 652870521 806907904 152774 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=787996 CPUtime=1002.33 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 198896 0 0 0 100172 61 0 0 25 0 4 0 652870521 806907904 152774 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3998.71 Current children cumulated vsize (KiB) 787996 [startup+1062.3 s] /proc/loadavg: 8.06 7.99 7.36 9/324 8674 /proc/meminfo: memFree=9812652/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=787996 CPUtime=4238.09 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 770542 0 0 0 423555 254 0 0 25 0 4 0 652870521 806907904 164607 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 196999 164607 379 95 0 191981 0 [pid=8634/tid=8635] ppid=8632 vsize=787996 CPUtime=1051.32 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 242832 0 0 0 105048 84 0 0 25 0 4 0 652870521 806907904 164607 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=787996 CPUtime=1062.27 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 207928 0 0 0 106153 74 0 0 25 0 4 0 652870521 806907904 164607 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=787996 CPUtime=1062.33 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 205437 0 0 0 106169 64 0 0 25 0 4 0 652870521 806907904 164607 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4238.09 Current children cumulated vsize (KiB) 787996 [startup+1122.3 s] /proc/loadavg: 8.06 8.00 7.40 9/324 8676 /proc/meminfo: memFree=9773828/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=940560 CPUtime=4477.48 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 803587 0 0 0 447482 266 0 0 25 0 4 0 652870521 963133440 176575 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 235140 176576 379 95 0 230122 0 [pid=8634/tid=8635] ppid=8632 vsize=940560 CPUtime=1110.7 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 254567 0 0 0 110982 88 0 0 25 0 4 0 652870521 963133440 176576 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=940560 CPUtime=1122.27 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 216708 0 0 0 112150 77 0 0 25 0 4 0 652870521 963133440 176576 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=940560 CPUtime=1122.32 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 212945 0 0 0 112166 66 0 0 25 0 4 0 652870521 963133440 176576 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4477.48 Current children cumulated vsize (KiB) 940560 [startup+1182.3 s] /proc/loadavg: 8.06 8.01 7.44 9/324 8677 /proc/meminfo: memFree=9699880/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=899780 CPUtime=4716.85 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 824849 0 0 0 471409 276 0 0 25 0 4 0 652870521 921374720 167773 33554432000 4194304 4580107 140734249757808 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 224945 167773 379 95 0 219927 0 [pid=8634/tid=8635] ppid=8632 vsize=899780 CPUtime=1170.09 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 265510 0 0 0 116916 93 0 0 25 0 4 0 652870521 921374720 167773 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=899780 CPUtime=1182.28 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 218029 0 0 0 118150 78 0 0 25 0 4 0 652870521 921374720 167773 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=899780 CPUtime=1182.33 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 218294 0 0 0 118164 69 0 0 25 0 4 0 652870521 921374720 167773 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4716.85 Current children cumulated vsize (KiB) 899780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.2 s] /proc/loadavg: 8.18 8.04 7.46 9/324 8678 /proc/meminfo: memFree=9710036/32951124 swapFree=67093864/67111528 [pid=8634] ppid=8632 vsize=956724 CPUtime=4800.24 cores=0,2,4,6 /proc/8634/stat : 8634 (strangenight2-m) R 8632 8634 7962 0 -1 4202496 829544 0 0 0 479746 278 0 0 25 0 4 0 652870521 979685376 172222 33554432000 4194304 4580107 140734249757808 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/8634/statm: 239181 172222 379 95 0 234163 0 [pid=8634/tid=8635] ppid=8632 vsize=956724 CPUtime=1190.76 cores=0,2,4,6 /proc/8634/task/8635/stat : 8635 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 265510 0 0 0 118983 93 0 0 25 0 4 0 652870521 979685376 172223 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=8634/tid=8636] ppid=8632 vsize=956724 CPUtime=1203.19 cores=0,2,4,6 /proc/8634/task/8636/stat : 8636 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 218029 0 0 0 120241 78 0 0 25 0 4 0 652870521 979685376 172223 33554432000 4194304 4580107 140734249757808 18446744073709551615 4406412 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=8634/tid=8637] ppid=8632 vsize=956724 CPUtime=1203.24 cores=0,2,4,6 /proc/8634/task/8637/stat : 8637 (strangenight2-m) R 8632 8634 7962 0 -1 4202560 220807 0 0 0 120254 70 0 0 25 0 4 0 652870521 979685376 172223 33554432000 4194304 4580107 140734249757808 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.24 Current children cumulated vsize (KiB) 956724 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.25 CPU time (s): 4800.32 CPU user time (s): 4797.5 CPU system time (s): 2.82057 CPU usage (%): 398.945 Max. virtual memory (cumulated for all children) (KiB): 1000644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.5 system time used= 2.82057 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 829546 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= 164 involuntary context switches= 25955 runsolver used 3.47647 second user time and 9.03263 second system time The end
Begin job on node102 at 2011-05-15 00:38:02 IDJOB=3366981 IDBENCH=83144 IDSOLVER=1844 FILE ID=node102/3366981-1305412682 RUNJOBID= node102-1305412682-8619 PBS_JOBID= 13324503 Free space on /tmp= 73536 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/crafted/spence/sgen/sgen3-n160-s73223945-unsat.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366981-1305412682/watcher-3366981-1305412682 -o /tmp/evaluation-result-3366981-1305412682/solver-3366981-1305412682 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366981-1305412682.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ebbfc0ffb6aa4fcba0d5ce3964018543 RANDOM SEED=911935637 node102.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.828 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.65 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.82 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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: 11153880 kB Buffers: 259428 kB Cached: 2804632 kB SwapCached: 1128 kB Active: 19519316 kB Inactive: 1984512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 11153880 kB SwapTotal: 67111528 kB SwapFree: 67093864 kB Dirty: 10888 kB Writeback: 0 kB AnonPages: 18437928 kB Mapped: 25920 kB Slab: 176824 kB PageTables: 52640 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 59040560 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= 73524 MiB End job on node102 at 2011-05-15 00:58:07