| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.31 | 1201.64 |
| Name | random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf |
| MD5SUM | 99cb8b7378c2be1a0d9a52d8a949ecd4 |
| 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.140977 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 750 |
| Number of clauses | 3195 |
| Sum of the clauses size | 9585 |
| 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 | 3195 |
| 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.02 c Outputting solution to console 0.00/0.02 c Using 4 threads 0.00/0.02 c This is CryptoMiniSat 3.0.0 0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.02 c Reading file 'HOME/instance-3174037-1304078129.cnf' 0.00/0.02 c -- header says num vars: 750 0.00/0.02 c -- header says num clauses: 3195 0.00/0.03 c -- clauses added: 0 learnts, 3195 normals, 0 xors 0.00/0.03 c -- vars added 750 0.00/0.03 c Parsing time: 0.00 s 0.00/0.03 c N st 0 0 750 3195 0 0 9585 0 no data no data 0.00/0.03 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.00 0.00/0.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 750 time: 0.00 s 0.00/0.03 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.13 c lits-rem: 0 cl-subs: 0 v-elim: 17 v-fix: 0 time: 0.00 s 0.00/0.13 c Finding binary XORs T: 0.00 s found: 0 0.00/0.13 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.13 c calculated reachability. Time: 0.00 0.00/0.13 c Calc default polars - time: 0.00 s pos: 328 undec: 87 neg: 335 0.00/0.13 c ========================================================================================= 0.00/0.13 c types(t): F = full restart, N = normal restart 0.00/0.13 c types(t): S = simplification begin/end, E = solution found 0.00/0.13 c restart types(rt): st = static, dy = dynamic 0.00/0.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.13 c B st 0 0 733 3178 0 0 9634 0 no data no data 0.00/0.13 c Decided on static restart strategy 0.00/0.87 c N st 8 4921 733 3178 0 4874 9634 154747 no data no data 0.00/0.87 c N st 10 11304 733 3178 0 4515 9634 98870 no data no data 0.00/0.87 c N st 11 17048 733 3178 0 10189 9634 287564 no data no data 4.60/1.27 c F st 12 25000 733 3178 0 12497 9634 366613 no data no data 4.60/1.27 c N st 12 25000 733 3178 0 12497 9634 366613 no data no data 5.88/1.54 c Decided on static restart strategy 5.88/1.54 c N st 18 30000 733 3178 0 10747 9634 265418 no data no data 5.88/1.54 c S st 18 30000 733 3178 0 10747 9634 265418 no data no data 5.88/1.57 c S st 18 30504 733 3178 0 11251 9634 280539 no data no data 5.88/1.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.88/1.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 5.88/1.58 c blocked clauses removed: 9 vars: 3 tried: 733 T: 0.00 s 5.88/1.58 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.88/1.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.88/1.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 5.88/1.58 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 5.88/1.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.88/1.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 6.28/1.64 c lits-rem: 117 cl-subs: 258 v-elim: 0 v-fix: 0 time: 0.05 s 6.28/1.65 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 6.28/1.65 c calculated reachability. Time: 0.00 6.28/1.65 c N st 18 30504 730 3169 0 10989 9607 270254 no data no data 8.28/2.11 c N st 20 37614 730 3169 0 10233 9607 222534 no data no data 9.87/2.58 c N st 21 44013 730 3169 0 16537 9607 428812 no data no data 10.67/2.70 c S st 22 45757 730 3169 0 9438 9607 173145 no data no data 10.67/2.73 c S st 22 46259 730 3169 0 9938 9607 187209 no data no data 10.67/2.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.67/2.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 10.67/2.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 10.67/2.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.67/2.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.67/2.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 10.67/2.74 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 10.67/2.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 10.67/2.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.67/2.76 c lits-rem: 12 cl-subs: 23 v-elim: 0 v-fix: 0 time: 0.01 s 10.67/2.76 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 10.67/2.76 c vivif2 -- cl tried 9915 cl shrink 0 lits rem 0 time: 0.00 10.67/2.76 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 10.67/2.76 c calculated reachability. Time: 0.00 10.67/2.76 c N st 22 46259 730 3169 0 9915 9607 186324 no data no data 15.06/3.80 c N st 23 60657 730 3169 0 14275 9607 313038 no data no data 17.86/4.51 c N st 24 69388 730 3169 0 12060 9607 224779 no data no data 17.86/4.51 c S st 24 69388 730 3169 0 12060 9607 224779 no data no data 17.86/4.54 c S st 24 69892 730 3169 0 12562 9607 239018 no data no data 17.86/4.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 17.86/4.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 17.86/4.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 17.86/4.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 17.86/4.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.86/4.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 17.86/4.55 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 17.86/4.55 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 17.86/4.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.86/4.59 c lits-rem: 20 cl-subs: 157 v-elim: 0 v-fix: 0 time: 0.03 s 17.86/4.59 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 17.86/4.59 c vivif2 -- cl tried 12405 cl shrink 0 lits rem 0 time: 0.00 18.27/4.60 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 18.27/4.60 c calculated reachability. Time: 0.00 18.27/4.60 c N st 24 69892 730 3169 0 12405 9607 233879 no data no data 24.27/6.13 c F st 25 87500 730 3169 0 17944 9607 409821 no data no data 24.27/6.13 c N st 25 87500 730 3169 0 17944 9607 409821 no data no data 25.85/6.53 c Decided on static restart strategy 27.05/6.81 c N st 32 95536 730 3169 0 13064 9607 218136 no data no data 29.85/7.51 c N st 34 104840 730 3169 0 22231 9607 518333 no data no data 29.85/7.51 c S st 34 104840 730 3169 0 22231 9607 518333 no data no data 29.85/7.56 c S st 34 105349 730 3169 0 22740 9607 533071 no data no data 29.85/7.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 29.85/7.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 29.85/7.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 29.85/7.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.85/7.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.85/7.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 29.85/7.57 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 29.85/7.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 29.85/7.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.65/7.76 c lits-rem: 82 cl-subs: 473 v-elim: 0 v-fix: 0 time: 0.16 s 30.65/7.76 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 30.65/7.76 c vivif2 -- cl tried 22267 cl shrink 0 lits rem 0 time: 0.01 30.65/7.78 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 30.65/7.78 c calculated reachability. Time: 0.00 30.65/7.78 c N st 34 105349 730 3169 0 22267 9607 514257 no data no data 33.84/8.58 c N st 35 114948 730 3169 0 17965 9607 352355 no data no data 39.44/9.96 c N st 36 129345 730 3169 0 17364 9607 307932 no data no data 48.23/12.15 c N st 37 150941 730 3169 0 22869 9607 474761 no data no data 51.43/12.91 c S st 38 158023 730 3169 0 29835 9607 690089 no data no data 51.43/12.98 c S st 38 158528 730 3169 0 30340 9607 704084 no data no data 51.43/12.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 51.43/12.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 51.43/13.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 51.43/13.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 51.43/13.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 51.43/13.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 51.43/13.00 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 51.83/13.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 51.83/13.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.02/13.38 c lits-rem: 195 cl-subs: 787 v-elim: 0 v-fix: 0 time: 0.35 s 53.02/13.38 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 53.02/13.39 c vivif2 -- cl tried 29553 cl shrink 0 lits rem 0 time: 0.01 53.42/13.41 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.02 53.42/13.41 c calculated reachability. Time: 0.00 53.42/13.41 c N st 38 158528 730 3169 0 29553 9607 675617 no data no data 75.00/18.89 c N st 39 207116 730 3169 0 24336 9607 457023 no data no data 90.19/22.61 c N st 40 237794 730 3169 0 34808 9607 750071 no data no data 90.19/22.61 c S st 40 237794 730 3169 0 34808 9607 750071 no data no data 90.19/22.69 c S st 40 238300 730 3169 0 35313 9607 765564 no data no data 90.19/22.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 90.60/22.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 90.60/22.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 90.60/22.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 90.60/22.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 90.60/22.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 90.60/22.71 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 90.60/22.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 90.60/22.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 92.98/23.35 c lits-rem: 158 cl-subs: 1056 v-elim: 0 v-fix: 0 time: 0.60 s 92.98/23.35 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 92.98/23.36 c vivif2 -- cl tried 34257 cl shrink 0 lits rem 0 time: 0.01 92.98/23.38 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.02 92.98/23.38 c calculated reachability. Time: 0.00 92.98/23.38 c N st 40 238300 730 3169 0 34257 9607 728934 no data no data 128.14/32.19 c F st 41 306250 730 3169 0 36150 9607 764889 no data no data 128.14/32.19 c N st 41 306250 730 3169 0 36150 9607 764889 no data no data 130.93/32.87 c Decided on static restart strategy 142.52/35.77 c N st 51 334555 730 3169 0 40392 9607 869765 no data no data 154.90/38.85 c N st 53 357450 730 3169 0 38295 9607 763627 no data no data 154.90/38.85 c S st 53 357450 730 3169 0 38295 9607 763627 no data no data 155.30/38.95 c S st 53 357952 730 3169 0 38796 9607 778452 no data no data 155.30/38.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 155.30/38.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 155.30/38.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 155.30/38.97 c bin-w-bin subsume rem 0 bins time: 0.00 s 155.30/38.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 155.30/38.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 155.30/38.97 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 155.30/38.98 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 155.70/39.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 157.70/39.51 c lits-rem: 145 cl-subs: 1071 v-elim: 0 v-fix: 0 time: 0.50 s 157.70/39.51 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 157.70/39.52 c vivif2 -- cl tried 37725 cl shrink 0 lits rem 0 time: 0.01 157.70/39.55 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.03 157.70/39.55 c calculated reachability. Time: 0.00 157.70/39.55 c N st 53 357952 730 3169 0 37725 9607 740451 no data no data 176.48/44.25 c N st 54 390344 730 3169 0 43927 9607 941074 no data no data 205.25/51.42 c N st 55 438933 730 3169 0 37707 9607 687435 no data no data 252.39/63.22 c N st 56 511815 730 3169 0 51282 9607 1134003 no data no data 267.57/67.08 c N st 57 536928 730 3169 0 45613 9607 876244 no data no data 267.57/67.08 c S st 57 536928 730 3169 0 45613 9607 876244 no data no data 268.37/67.20 c S st 57 537432 730 3169 0 46117 9607 890516 no data no data 268.37/67.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 268.37/67.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.02 268.37/67.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 268.37/67.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 268.37/67.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 268.37/67.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 268.37/67.22 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 268.37/67.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 268.37/67.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 271.16/67.92 c lits-rem: 283 cl-subs: 1056 v-elim: 0 v-fix: 0 time: 0.66 s 271.16/67.92 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 271.16/67.94 c vivif2 -- cl tried 45061 cl shrink 0 lits rem 0 time: 0.01 271.16/67.97 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.04 271.16/67.97 c calculated reachability. Time: 0.00 271.16/67.97 c N st 57 537432 730 3169 0 45061 9607 854673 no data no data 385.83/96.68 c N st 58 701416 730 3169 0 39005 9607 547939 no data no data 464.55/116.37 c N st 59 806149 730 3169 0 68339 9607 1449201 no data no data 464.55/116.37 c S st 59 806149 730 3169 0 68339 9607 1449201 no data no data 465.35/116.57 c S st 59 806658 730 3169 0 68848 9607 1464297 no data no data 465.35/116.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 465.75/116.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 465.75/116.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 465.75/116.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 465.75/116.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 465.75/116.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 465.75/116.61 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 465.75/116.63 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 465.75/116.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 476.53/119.32 c lits-rem: 337 cl-subs: 2007 v-elim: 0 v-fix: 0 time: 2.63 s 476.53/119.32 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 476.53/119.34 c vivif2 -- cl tried 66841 cl shrink 0 lits rem 0 time: 0.02 476.94/119.41 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.06 476.94/119.41 c calculated reachability. Time: 0.00 476.94/119.41 c N st 59 806658 730 3169 0 66841 9607 1400514 no data no data 709.88/177.77 c F st 60 1071876 730 3169 0 82915 9607 1828363 no data no data 709.88/177.77 c N st 60 1071876 730 3169 0 82915 9607 1828363 no data no data 728.23/182.30 c N dy 106 1091952 730 3169 0 58390 9607 889362 20.53 22.45 750.61/187.98 c N dy 213 1112078 730 3169 0 78377 9607 1493228 20.90 22.18 773.38/193.67 c N dy 279 1132565 730 3169 0 53150 9607 673259 20.76 22.13 792.97/198.59 c N dy 345 1152632 730 3169 0 73070 9607 1268497 20.59 21.74 820.15/205.31 c N dy 416 1173002 730 3169 0 46697 9607 439006 20.50 21.61 837.72/209.73 c N dy 500 1193705 730 3169 0 67245 9607 1053970 20.46 21.55 857.69/214.76 c S st 576 1209987 730 3169 0 83397 9607 1536524 20.51 18.97 858.49/214.99 c S st 576 1210487 730 3169 0 83897 9607 1551411 20.51 no data 858.89/215.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 858.89/215.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 858.89/215.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 858.89/215.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 858.89/215.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 858.89/215.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 858.89/215.04 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 858.89/215.07 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 859.30/215.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 864.47/216.44 c lits-rem: 463 cl-subs: 1048 v-elim: 0 v-fix: 0 time: 1.32 s 864.47/216.44 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 864.47/216.47 c vivif2 -- cl tried 82849 cl shrink 0 lits rem 0 time: 0.02 864.87/216.55 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.08 864.87/216.55 c calculated reachability. Time: 0.00 864.87/216.55 c N dy 576 1210487 730 3169 0 82849 9607 1515419 20.51 no data 889.64/222.77 c N dy 654 1230739 730 3169 0 55335 9607 655430 20.51 21.74 910.02/227.89 c N dy 747 1250865 730 3169 0 75348 9607 1262457 20.55 21.86 937.58/234.73 c N dy 833 1270953 730 3169 0 95265 9607 1863559 20.57 21.71 957.16/239.65 c N dy 927 1291280 730 3169 0 66830 9607 978630 20.59 21.85 985.13/246.64 c N dy 1007 1314738 730 3169 0 90094 9607 1677375 20.54 21.71 1008.30/252.47 c N dy 1106 1334833 730 3169 0 60427 9607 750393 20.59 21.83 1030.27/257.95 c N dy 1186 1354949 730 3169 0 80398 9607 1355459 20.58 21.77 1059.84/265.35 c N dy 1284 1375001 730 3169 0 100300 9607 1967369 20.62 21.75 1078.22/269.96 c N dy 1349 1395102 730 3169 0 69626 9607 1001159 20.60 22.97 1106.18/276.97 c N dy 1426 1417813 730 3169 0 92114 9607 1676645 20.58 21.83 1132.18/283.48 c N dy 1508 1438796 730 3169 0 61361 9607 722709 20.57 21.87 1154.15/288.93 c N dy 1578 1459100 730 3169 0 81469 9607 1324877 20.56 21.94 1183.69/296.36 c N dy 1663 1479124 730 3169 0 101336 9607 1930507 20.57 24.79 1204.47/301.57 c N dy 1701 1499564 730 3169 0 68988 9607 911834 20.51 21.69 1230.44/308.00 c N dy 1772 1520852 730 3169 0 90107 9607 1542759 20.49 21.57 1259.22/315.26 c N dy 1851 1540914 730 3169 0 56481 9607 518321 20.50 24.54 1279.58/320.36 c N dy 1944 1560940 730 3169 0 76323 9607 1109641 20.51 23.93 1306.35/327.06 c N dy 2028 1581032 730 3169 0 96267 9607 1723511 20.52 24.19 1334.31/334.04 c N dy 2116 1601117 730 3169 0 61668 9607 643747 20.52 24.18 1358.25/340.09 c N dy 2161 1625645 730 3169 0 85917 9607 1373992 20.44 21.55 1403.81/351.43 c N dy 2213 1661246 730 3169 0 65676 9607 740384 20.30 21.38 1430.58/358.11 c N dy 2320 1682625 730 3169 0 86875 9607 1379583 20.32 21.61 1462.92/366.29 c N dy 2439 1702637 730 3169 0 106747 9607 1981617 20.35 22.29 1476.10/369.51 c S st 2472 1710487 730 3169 0 58038 9607 490701 20.35 18.65 1476.50/369.65 c S st 2472 1710991 730 3169 0 58542 9607 506925 20.35 no data 1476.50/369.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1476.50/369.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02 1476.50/369.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1476.50/369.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 1476.50/369.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1476.50/369.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 1476.50/369.67 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1476.50/369.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1476.90/369.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1477.30/369.85 c lits-rem: 41 cl-subs: 50 v-elim: 0 v-fix: 0 time: 0.15 s 1477.30/369.85 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 1477.30/369.86 c vivif2 -- cl tried 58492 cl shrink 0 lits rem 0 time: 0.01 1477.70/369.90 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.04 1477.70/369.90 c calculated reachability. Time: 0.00 1477.70/369.90 c N dy 2472 1710991 730 3169 0 58492 9607 505342 20.35 no data 1499.27/375.31 c N dy 2511 1732915 730 3169 0 80153 9607 1151654 20.31 21.40 1532.05/383.54 c N dy 2618 1754409 730 3169 0 101491 9607 1801656 20.33 21.52 1571.20/393.34 c N dy 2719 1774621 730 3169 0 64069 9607 639582 20.35 21.44 1594.34/399.15 c N dy 2843 1794622 730 3169 0 83938 9607 1249676 20.39 22.73 1624.33/406.69 c N dy 2927 1814707 730 3169 0 103838 9607 1844395 20.39 21.48 1655.87/414.51 c N dy 3039 1834712 730 3169 0 65189 9607 652267 20.41 21.53 1681.84/421.02 c N dy 3163 1856847 730 3169 0 87162 9607 1320350 20.43 21.57 1712.23/428.69 c N dy 3226 1877521 730 3169 0 107605 9607 1925388 20.42 21.53 1743.36/436.49 c N dy 3367 1897545 730 3169 0 68000 9607 711689 20.46 23.71 1767.33/442.46 c N dy 3461 1917557 730 3169 0 87838 9607 1306444 20.47 21.66 1799.70/450.58 c N dy 3538 1938037 730 3169 0 108122 9607 1906423 20.46 21.86 1833.24/458.93 c N dy 3609 1960178 730 3169 0 69562 9607 722481 20.46 21.54 1856.83/464.90 c N dy 3684 1980222 730 3169 0 89407 9607 1312163 20.46 24.73 1888.38/472.72 c N dy 3776 2000288 730 3169 0 109306 9607 1912410 20.46 22.87 1921.54/481.06 c N dy 3888 2020347 730 3169 0 67774 9607 649598 20.48 21.74 1946.30/487.26 c N dy 3999 2040902 730 3169 0 88167 9607 1263308 20.50 21.88 1977.87/495.18 c N dy 4091 2060996 730 3169 0 108105 9607 1872972 20.50 22.04 2015.03/504.48 c N dy 4208 2081498 730 3169 0 65966 9607 572757 20.52 21.70 2038.99/510.42 c N dy 4309 2101518 730 3169 0 85810 9607 1163465 20.54 23.22 2070.94/518.40 c N dy 4421 2121605 730 3169 0 105740 9607 1772250 20.55 21.66 2109.29/528.06 c N dy 4541 2141809 730 3169 0 125785 9607 2385943 20.57 21.71 2132.85/533.95 c N dy 4627 2162439 730 3169 0 82805 9607 1060438 20.57 21.67 2162.82/541.42 c N dy 4725 2182456 730 3169 0 102667 9607 1663139 20.58 22.33 2200.77/550.92 c N dy 4809 2202495 730 3169 0 122541 9607 2256477 20.58 21.92 2218.75/555.46 c S st 4810 2210991 730 3169 0 66475 9607 536276 20.57 16.99 2219.55/555.67 c S st 4810 2211494 730 3169 0 66978 9607 552718 20.57 no data 2219.55/555.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2219.95/555.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.04 2219.95/555.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2219.95/555.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 2219.95/555.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2219.95/555.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 2219.95/555.71 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2219.95/555.73 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 2219.95/555.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2220.75/555.96 c lits-rem: 12 cl-subs: 85 v-elim: 0 v-fix: 0 time: 0.21 s 2220.75/555.96 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 2220.75/555.97 c vivif2 -- cl tried 66893 cl shrink 0 lits rem 0 time: 0.01 2221.15/556.05 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.08 2221.15/556.05 c calculated reachability. Time: 0.00 2221.15/556.05 c N dy 4810 2211494 730 3169 0 66893 9607 550274 20.57 no data 2251.50/563.65 c N dy 4891 2236493 730 3169 0 91668 9607 1290584 20.57 21.66 2283.09/571.53 c N dy 4969 2256679 730 3169 0 111676 9607 1895978 20.57 21.79 2323.41/581.64 c N dy 5051 2277701 730 3169 0 67069 9607 531330 20.57 21.82 2345.78/587.26 c N dy 5119 2297879 730 3169 0 87039 9607 1134943 20.56 21.67 2376.54/594.99 c N dy 5212 2317920 730 3169 0 106907 9607 1737607 20.57 22.30 2415.33/604.64 c N dy 5287 2338129 730 3169 0 126909 9607 2335902 20.56 21.72 2449.26/613.14 c N dy 5382 2362706 730 3169 0 84851 9607 1034182 20.56 21.67 2479.23/620.63 c N dy 5459 2383187 730 3169 0 105182 9607 1657206 20.56 21.71 2517.17/630.14 c N dy 5549 2403264 730 3169 0 125078 9607 2264031 20.56 21.71 2549.94/638.33 c N dy 5645 2423521 730 3169 0 77777 9607 802371 20.57 21.86 2577.10/645.17 c N dy 5759 2443600 730 3169 0 97689 9607 1414868 20.58 21.96 2611.86/653.85 c N dy 5852 2463692 730 3169 0 117571 9607 2016754 20.59 22.48 2653.01/664.18 c N dy 5926 2483977 730 3169 0 69268 9607 527996 20.59 22.11 2678.17/670.43 c N dy 6009 2505172 730 3169 0 90252 9607 1160674 20.59 21.68 2710.93/678.67 c N dy 6114 2526101 730 3169 0 111020 9607 1799595 20.60 21.69 2749.69/688.37 c N dy 6180 2546144 730 3169 0 130879 9607 2397240 20.59 21.78 2782.45/696.55 c N dy 6299 2566394 730 3169 0 81609 9607 880508 20.60 21.72 2816.80/705.19 c N dy 6392 2589273 730 3169 0 104285 9607 1579697 20.60 21.86 2855.95/714.92 c N dy 6533 2609361 730 3169 0 124207 9607 2193554 20.62 23.20 2898.72/725.64 c N dy 6638 2630133 730 3169 0 74455 9607 634032 20.62 21.71 2926.66/732.61 c N dy 6754 2650205 730 3169 0 94382 9607 1246382 20.63 22.54 2959.02/740.74 c N dy 6831 2670252 730 3169 0 114268 9607 1844077 20.64 22.36 3024.15/757.06 c N dy 6905 2707041 730 3169 0 79302 9607 749492 20.60 21.70 3029.74/758.46 c S st 6933 2711494 730 3169 0 83727 9607 884974 20.60 no data 3030.56/758.66 c S st 6933 2711998 730 3169 0 84231 9607 901037 20.60 no data 3030.56/758.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3030.94/758.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 3030.94/758.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3030.94/758.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 3030.94/758.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3030.94/758.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 3030.94/758.71 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3030.94/758.73 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 3030.94/758.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3032.53/759.17 c lits-rem: 51 cl-subs: 859 v-elim: 0 v-fix: 0 time: 0.41 s 3032.53/759.17 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 3032.53/759.19 c vivif2 -- cl tried 83372 cl shrink 0 lits rem 0 time: 0.01 3032.93/759.26 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.08 3032.93/759.27 c calculated reachability. Time: 0.00 3032.93/759.27 c N dy 6933 2711998 730 3169 0 83372 9607 875997 20.60 no data 3064.10/767.08 c N dy 7076 2732567 730 3169 0 103810 9607 1509376 20.62 21.90 3102.86/776.77 c N dy 7179 2753219 730 3169 0 124292 9607 2136819 20.63 21.94 3147.99/788.06 c N dy 7291 2773230 730 3169 0 144148 9607 2748493 20.64 23.58 3173.56/794.40 c N dy 7378 2793294 730 3169 0 91600 9607 1101292 20.64 25.57 3204.34/802.11 c N dy 7444 2813352 730 3169 0 111442 9607 1709492 20.64 26.94 3242.68/811.76 c N dy 7528 2833384 730 3169 0 131307 9607 2314542 20.64 22.01 3282.63/821.78 c N dy 7604 2853575 730 3169 0 77976 9607 662118 20.64 21.90 3309.40/828.46 c N dy 7700 2873597 730 3169 0 97826 9607 1259429 20.64 21.82 3342.17/836.69 c N dy 7771 2893932 730 3169 0 117961 9607 1869014 20.64 21.73 3385.70/847.51 c N dy 7900 2913955 730 3169 0 137817 9607 2480291 20.65 24.98 3423.24/856.93 c N dy 7997 2934178 730 3169 0 83525 9607 811741 20.66 21.89 3453.60/864.53 c N dy 8106 2955084 730 3169 0 104277 9607 1451524 20.66 21.99 3490.76/873.85 c N dy 8198 2975929 730 3169 0 124891 9607 2082989 20.66 21.77 3536.30/885.25 c N dy 8313 2996004 730 3169 0 144803 9607 2691962 20.67 23.99 3569.85/893.66 c N dy 8414 3016212 730 3169 0 89495 9607 966543 20.68 22.05 3615.39/905.05 c N dy 8553 3037911 730 3169 0 111045 9607 1634495 20.69 21.81 3673.31/919.56 c N dy 8620 3059834 730 3169 0 132752 9607 2280958 20.69 21.80 3733.65/934.64 c N dy 8731 3080479 730 3169 0 76897 9607 559885 20.70 21.85 3760.39/941.35 c N dy 8847 3100662 730 3169 0 96901 9607 1176762 20.70 22.01 3797.15/950.50 c N dy 8978 3121680 730 3169 0 117770 9607 1825176 20.72 21.81 3838.72/960.92 c N dy 9075 3141765 730 3169 0 137684 9607 2438199 20.72 23.43 3884.24/972.36 c N dy 9165 3161795 730 3169 0 80206 9607 637033 20.72 23.97 3912.99/979.50 c N dy 9281 3182314 730 3169 0 100543 9607 1260573 20.73 21.84 3946.95/988.03 c N dy 9347 3202330 730 3169 0 120350 9607 1860202 20.72 23.58 3965.72/992.77 c S st 9378 3211998 730 3169 0 129920 9607 2148308 20.72 no data 3967.32/993.13 c S st 9378 3212507 730 3169 0 130428 9607 2164216 20.72 no data 3967.32/993.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3967.72/993.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.07 3967.72/993.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3967.72/993.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 3967.72/993.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3967.72/993.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 3967.72/993.21 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3967.72/993.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s 3968.12/993.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3976.90/995.53 c lits-rem: 200 cl-subs: 2134 v-elim: 0 v-fix: 0 time: 2.20 s 3976.90/995.53 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 3976.90/995.56 c vivif2 -- cl tried 128294 cl shrink 0 lits rem 0 time: 0.03 3977.71/995.71 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.14 3977.71/995.71 c calculated reachability. Time: 0.00 3977.71/995.71 c N dy 9378 3212507 730 3169 0 128294 9607 2095624 20.72 no data 4025.65/1007.71 c N dy 9455 3232556 730 3169 0 148150 9607 2695287 20.72 22.22 4062.00/1016.89 c N dy 9559 3252694 730 3169 0 89832 9607 911211 20.73 21.93 4095.55/1025.26 c N dy 9645 3274048 730 3169 0 110989 9607 1553978 20.73 21.98 4134.30/1034.97 c N dy 9711 3294150 730 3169 0 130914 9607 2160742 20.73 21.94 4182.24/1046.94 c N dy 9814 3314160 730 3169 0 150738 9607 2763439 20.74 21.85 4219.80/1056.33 c N dy 9910 3334786 730 3169 0 91914 9607 945315 20.74 21.98 4251.36/1064.25 c N dy 10014 3354963 730 3169 0 111941 9607 1560356 20.75 21.94 4289.70/1073.83 c N dy 10092 3375442 730 3169 0 132223 9607 2186262 20.74 21.90 4335.66/1085.30 c N dy 10168 3395547 730 3169 0 152169 9607 2799768 20.74 22.01 4374.81/1095.17 c N dy 10275 3416078 730 3169 0 92214 9607 935464 20.75 21.94 4408.35/1103.51 c N dy 10359 3436890 730 3169 0 112819 9607 1566135 20.75 21.85 4447.90/1113.45 c N dy 10474 3456891 730 3169 0 132646 9607 2179144 20.76 24.66 4495.83/1125.42 c N dy 10568 3477039 730 3169 0 152615 9607 2793638 20.76 21.95 4534.17/1135.04 c N dy 10627 3497111 730 3169 0 91209 9607 874707 20.76 21.90 4571.33/1144.37 c N dy 10652 3517199 730 3169 0 110976 9607 1454244 20.74 22.17 4630.84/1159.26 c N dy 10728 3540536 730 3169 0 134067 9607 2156259 20.73 21.83 4681.19/1171.80 c N dy 10802 3561325 730 3169 0 154650 9607 2786582 20.73 22.00 4719.93/1181.59 c N dy 10867 3581413 730 3169 0 92378 9607 888499 20.73 25.94 4751.50/1189.46 c N dy 10977 3601454 730 3169 0 112256 9607 1501673 20.74 21.95 4791.85/1199.52 c N dy 11096 3621470 730 3169 0 132143 9607 2116141 20.75 22.81
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174037-1304078129/watcher-3174037-1304078129 -o /tmp/evaluation-result-3174037-1304078129/solver-3174037-1304078129 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174037-1304078129.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: 4.60 6.91 7.29 3/172 32292 /proc/meminfo: memFree=31101976/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=11800 CPUtime=0 cores=0,2,4,6 /proc/32292/stat : 32292 (runsolver) S 32290 32292 31842 0 -1 4202560 42 0 0 0 0 0 0 0 21 0 1 0 519413626 12083200 51 33554432000 4194304 5434984 140737262988272 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0 /proc/32292/statm: 2950 51 31 303 0 2644 0 [startup+0.00749404 s] /proc/loadavg: 4.60 6.91 7.29 3/172 32292 /proc/meminfo: memFree=31101976/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=11800 CPUtime=0 cores=0,2,4,6 /proc/32292/stat : 32292 (runsolver) S 32290 32292 31842 0 -1 4202560 42 0 0 0 0 0 0 0 21 0 1 0 519413626 12083200 51 33554432000 4194304 5434984 140737262988272 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0 /proc/32292/statm: 2950 51 31 303 0 2644 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11800 [startup+0.15363 s] /proc/loadavg: 4.60 6.91 7.29 3/172 32292 /proc/meminfo: memFree=31101976/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=285820 CPUtime=3.39 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 5942 0 0 0 339 0 0 0 19 0 4 0 519413626 292679680 2869 33554432000 4194304 4627427 140736261804384 18446744073709551615 4321656 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 71455 2869 385 106 0 66426 0 Current children cumulated CPU time (s) 3.39 Current children cumulated vsize (KiB) 285820 [startup+0.979252 s] /proc/loadavg: 4.60 6.91 7.29 3/172 32292 /proc/meminfo: memFree=31101976/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=286020 CPUtime=3.79 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 6408 0 0 0 379 0 0 0 19 0 4 0 519413626 292884480 2976 33554432000 4194304 4627427 140736261804384 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 71505 2976 385 106 0 66476 0 Current children cumulated CPU time (s) 3.79 Current children cumulated vsize (KiB) 286020 [startup+1.07923 s] /proc/loadavg: 4.60 6.91 7.29 3/172 32292 /proc/meminfo: memFree=31101976/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=286152 CPUtime=4.2 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 6721 0 0 0 419 1 0 0 19 0 4 0 519413626 293019648 3289 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 71538 3289 385 106 0 66509 0 Current children cumulated CPU time (s) 4.2 Current children cumulated vsize (KiB) 286152 [startup+1.50016 s] /proc/loadavg: 4.60 6.91 7.29 3/172 32292 /proc/meminfo: memFree=31101976/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=286648 CPUtime=5.88 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 8656 0 0 0 587 1 0 0 20 0 4 0 519413626 293527552 3490 33554432000 4194304 4627427 140736261804384 18446744073709551615 4333895 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 71662 3490 386 106 0 66633 0 Current children cumulated CPU time (s) 5.88 Current children cumulated vsize (KiB) 286648 [startup+3.10087 s] /proc/loadavg: 4.87 6.92 7.29 9/184 32304 /proc/meminfo: memFree=31022328/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=290888 CPUtime=12.27 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 21099 0 0 0 1224 3 0 0 25 0 4 0 519413626 297869312 11421 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 72722 11421 389 106 0 67693 0 [pid=32292/tid=32299] ppid=32290 vsize=290888 CPUtime=3.06 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 4561 0 0 0 305 1 0 0 25 0 4 0 519413628 297869312 11421 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=290888 CPUtime=3.06 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 5829 0 0 0 306 0 0 0 25 0 4 0 519413628 297869312 11421 33554432000 4194304 4627427 140736261804384 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=290888 CPUtime=3.06 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 5139 0 0 0 306 0 0 0 25 0 4 0 519413629 297869312 11421 33554432000 4194304 4627427 140736261804384 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.27 Current children cumulated vsize (KiB) 290888 [startup+6.30028 s] /proc/loadavg: 4.87 6.92 7.29 9/184 32304 /proc/meminfo: memFree=30993908/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=292176 CPUtime=25.05 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 32314 0 0 0 2500 5 0 0 25 0 4 0 519413626 299188224 13963 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 73044 13963 389 106 0 68015 0 [pid=32292/tid=32299] ppid=32290 vsize=292176 CPUtime=6.26 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 8634 0 0 0 624 2 0 0 25 0 4 0 519413628 299188224 13963 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=292176 CPUtime=6.26 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 7977 0 0 0 626 0 0 0 25 0 4 0 519413628 299188224 13963 33554432000 4194304 4627427 140736261804384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=292176 CPUtime=6.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 7617 0 0 0 625 1 0 0 25 0 4 0 519413629 299188224 13963 33554432000 4194304 4627427 140736261804384 18446744073709551615 4327381 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.05 Current children cumulated vsize (KiB) 292176 [startup+12.7011 s] /proc/loadavg: 5.35 6.96 7.30 9/184 32304 /proc/meminfo: memFree=30943248/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=295024 CPUtime=50.65 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 53470 0 0 0 5055 10 0 0 25 0 4 0 519413626 302104576 21998 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 73756 21998 389 106 0 68727 0 [pid=32292/tid=32299] ppid=32290 vsize=295024 CPUtime=12.66 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 13944 0 0 0 1264 2 0 0 25 0 4 0 519413628 302104576 21998 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=295024 CPUtime=12.67 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 13194 0 0 0 1265 2 0 0 25 0 4 0 519413628 302104576 21998 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=295024 CPUtime=12.67 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 13047 0 0 0 1265 2 0 0 25 0 4 0 519413629 302104576 21998 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 295024 [startup+25.5008 s] /proc/loadavg: 5.76 6.99 7.31 9/184 32304 /proc/meminfo: memFree=30880108/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=299488 CPUtime=101.76 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 86149 0 0 0 10160 16 0 0 25 0 4 0 519413626 306675712 34300 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309304 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 74872 34300 389 106 0 69843 0 [pid=32292/tid=32299] ppid=32290 vsize=299488 CPUtime=25.46 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 23238 0 0 0 2542 4 0 0 25 0 4 0 519413628 306675712 34300 33554432000 4194304 4627427 140736261804384 18446744073709551615 4321328 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=299488 CPUtime=25.46 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 21344 0 0 0 2543 3 0 0 25 0 4 0 519413628 306675712 34300 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=299488 CPUtime=25.46 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 18957 0 0 0 2543 3 0 0 25 0 4 0 519413629 306675712 34300 33554432000 4194304 4627427 140736261804384 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.76 Current children cumulated vsize (KiB) 299488 [startup+51.1011 s] /proc/loadavg: 6.68 7.11 7.34 9/184 32305 /proc/meminfo: memFree=30830596/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=310744 CPUtime=204.05 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 127046 0 0 0 20378 27 0 0 25 0 4 0 519413626 318201856 38501 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 77686 38501 389 106 0 72657 0 [pid=32292/tid=32299] ppid=32290 vsize=310744 CPUtime=51.06 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 31140 0 0 0 5099 7 0 0 25 0 4 0 519413628 318201856 38501 33554432000 4194304 4627427 140736261804384 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=310744 CPUtime=51.06 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 32764 0 0 0 5100 6 0 0 25 0 4 0 519413628 318201856 38501 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=310744 CPUtime=51.06 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 29518 0 0 0 5100 6 0 0 25 0 4 0 519413629 318201856 38501 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.05 Current children cumulated vsize (KiB) 310744 [startup+102.301 s] /proc/loadavg: 7.43 7.24 7.37 9/184 32307 /proc/meminfo: memFree=30773368/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=312728 CPUtime=408.61 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 195956 0 0 0 40817 44 0 0 25 0 4 0 519413626 320233472 49868 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 78182 49868 389 106 0 73153 0 [pid=32292/tid=32299] ppid=32290 vsize=312728 CPUtime=102.26 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 49808 0 0 0 10215 11 0 0 25 0 4 0 519413628 320233472 49868 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=312728 CPUtime=102.27 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 48725 0 0 0 10217 10 0 0 25 0 4 0 519413628 320233472 49868 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=312728 CPUtime=102.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 47475 0 0 0 10215 11 0 0 25 0 4 0 519413629 320233472 49868 33554432000 4194304 4627427 140736261804384 18446744073709551615 4324107 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.61 Current children cumulated vsize (KiB) 312728 [startup+162.301 s] /proc/loadavg: 7.98 7.43 7.42 9/184 32308 /proc/meminfo: memFree=30714772/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=369584 CPUtime=648.35 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 261003 0 0 0 64771 64 0 0 25 0 4 0 519413626 378454016 57709 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 92396 57709 389 106 0 87367 0 [pid=32292/tid=32299] ppid=32290 vsize=369584 CPUtime=162.27 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 64624 0 0 0 16211 16 0 0 25 0 4 0 519413628 378454016 57709 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=369584 CPUtime=162.27 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 65568 0 0 0 16212 15 0 0 25 0 4 0 519413628 378454016 57709 33554432000 4194304 4627427 140736261804384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=369584 CPUtime=162.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 62099 0 0 0 16210 16 0 0 25 0 4 0 519413629 378454016 57709 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 648.35 Current children cumulated vsize (KiB) 369584 [startup+222.301 s] /proc/loadavg: 8.14 7.56 7.47 9/184 32310 /proc/meminfo: memFree=30617868/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=435492 CPUtime=888.04 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 310338 0 0 0 88722 82 0 0 25 0 4 0 519413626 445943808 71415 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 108873 71415 389 106 0 103844 0 [pid=32292/tid=32299] ppid=32290 vsize=435492 CPUtime=222.27 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 75567 0 0 0 22207 20 0 0 25 0 4 0 519413628 445943808 71415 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=435492 CPUtime=222.27 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 78474 0 0 0 22207 20 0 0 25 0 4 0 519413628 445943808 71415 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=435492 CPUtime=222.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 75985 0 0 0 22205 21 0 0 25 0 4 0 519413629 445943808 71415 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 888.04 Current children cumulated vsize (KiB) 435492 [startup+282.307 s] /proc/loadavg: 8.21 7.69 7.51 9/184 32311 /proc/meminfo: memFree=30558028/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=457784 CPUtime=1127.78 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 344667 0 0 0 112681 97 0 0 25 0 4 0 519413626 468770816 78616 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 114446 78616 389 106 0 109417 0 [pid=32292/tid=32299] ppid=32290 vsize=457784 CPUtime=282.27 cores=0,2,4,6 ################ # More data... # ################ [pid=32292] ppid=32290 vsize=578904 CPUtime=2805.62 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 555948 0 0 0 280380 182 0 0 25 0 4 0 519413626 592797696 98950 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 144726 98950 389 106 0 139697 0 [pid=32292/tid=32299] ppid=32290 vsize=578904 CPUtime=702.27 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 147936 0 0 0 70178 49 0 0 25 0 4 0 519413628 592797696 98950 33554432000 4194304 4627427 140736261804384 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=578904 CPUtime=702.28 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 151765 0 0 0 70181 47 0 0 25 0 4 0 519413628 592797696 98950 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=578904 CPUtime=702.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 123535 0 0 0 70184 42 0 0 25 0 4 0 519413629 592797696 98950 33554432000 4194304 4627427 140736261804384 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2805.62 Current children cumulated vsize (KiB) 578904 [startup+762.301 s] /proc/loadavg: 8.12 8.06 7.76 9/184 32336 /proc/meminfo: memFree=30430336/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=566164 CPUtime=3045.32 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 578922 0 0 0 304339 193 0 0 25 0 4 0 519413626 579751936 95361 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 141541 95361 389 106 0 136512 0 [pid=32292/tid=32299] ppid=32290 vsize=566164 CPUtime=762.27 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 155592 0 0 0 76174 53 0 0 25 0 4 0 519413628 579751936 95361 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=566164 CPUtime=762.29 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 159509 0 0 0 76178 51 0 0 25 0 4 0 519413628 579751936 95361 33554432000 4194304 4627427 140736261804384 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=566164 CPUtime=762.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 128034 0 0 0 76182 44 0 0 25 0 4 0 519413629 579751936 95361 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3045.32 Current children cumulated vsize (KiB) 566164 [startup+822.301 s] /proc/loadavg: 8.11 8.08 7.78 9/184 32338 /proc/meminfo: memFree=30415784/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=579416 CPUtime=3285.04 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 598550 0 0 0 328301 203 0 0 25 0 4 0 519413626 593321984 93602 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 144854 93602 389 106 0 139825 0 [pid=32292/tid=32299] ppid=32290 vsize=579416 CPUtime=822.28 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 163360 0 0 0 82171 57 0 0 25 0 4 0 519413628 593321984 93602 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=579416 CPUtime=822.29 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 164758 0 0 0 82176 53 0 0 25 0 4 0 519413628 593321984 93602 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=579416 CPUtime=822.27 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 132662 0 0 0 82180 47 0 0 25 0 4 0 519413629 593321984 93602 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3285.04 Current children cumulated vsize (KiB) 579416 [startup+882.301 s] /proc/loadavg: 8.04 8.06 7.79 9/184 32339 /proc/meminfo: memFree=30360528/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=641440 CPUtime=3524.71 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 619225 0 0 0 352258 213 0 0 25 0 4 0 519413626 656834560 101725 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 160360 101725 389 106 0 155331 0 [pid=32292/tid=32299] ppid=32290 vsize=641440 CPUtime=882.27 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 171098 0 0 0 88167 60 0 0 25 0 4 0 519413628 656834560 101725 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=641440 CPUtime=882.29 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 172357 0 0 0 88171 58 0 0 25 0 4 0 519413628 656834560 101725 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=641440 CPUtime=882.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 134853 0 0 0 88178 48 0 0 25 0 4 0 519413629 656834560 101725 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3524.71 Current children cumulated vsize (KiB) 641440 [startup+942.306 s] /proc/loadavg: 8.05 8.06 7.81 9/184 32341 /proc/meminfo: memFree=30312852/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=699560 CPUtime=3764.41 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 643905 0 0 0 376218 223 0 0 25 0 4 0 519413626 716349440 115811 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 174890 115811 389 106 0 169861 0 [pid=32292/tid=32299] ppid=32290 vsize=699560 CPUtime=942.28 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 179785 0 0 0 94166 62 0 0 25 0 4 0 519413628 716349440 115811 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=699560 CPUtime=942.3 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 177831 0 0 0 94171 59 0 0 25 0 4 0 519413628 716349440 115811 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=699560 CPUtime=942.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 140124 0 0 0 94174 52 0 0 25 0 4 0 519413629 716349440 115811 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3764.41 Current children cumulated vsize (KiB) 699560 [startup+1002.3 s] /proc/loadavg: 8.05 8.06 7.82 9/184 32343 /proc/meminfo: memFree=30235668/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=726252 CPUtime=4004.08 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 662513 0 0 0 400174 234 0 0 25 0 4 0 519413626 743682048 128565 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 181563 128565 389 106 0 176534 0 [pid=32292/tid=32299] ppid=32290 vsize=726252 CPUtime=1002.27 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 185346 0 0 0 100161 66 0 0 25 0 4 0 519413628 743682048 128565 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=726252 CPUtime=1002.29 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 181360 0 0 0 100169 60 0 0 25 0 4 0 519413628 743682048 128565 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=726252 CPUtime=1002.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 144871 0 0 0 100171 55 0 0 25 0 4 0 519413629 743682048 128565 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4004.08 Current children cumulated vsize (KiB) 726252 [startup+1062.3 s] /proc/loadavg: 8.12 8.07 7.84 9/184 32344 /proc/meminfo: memFree=30264252/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=765892 CPUtime=4243.76 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 676778 0 0 0 424135 241 0 0 25 0 4 0 519413626 784273408 126426 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 191473 126426 389 106 0 186444 0 [pid=32292/tid=32299] ppid=32290 vsize=765892 CPUtime=1062.28 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 189252 0 0 0 106160 68 0 0 25 0 4 0 519413628 784273408 126426 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=765892 CPUtime=1062.29 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 183261 0 0 0 106168 61 0 0 25 0 4 0 519413628 784273408 126426 33554432000 4194304 4627427 140736261804384 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=765892 CPUtime=1062.26 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 147635 0 0 0 106170 56 0 0 25 0 4 0 519413629 784273408 126426 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4243.76 Current children cumulated vsize (KiB) 765892 [startup+1122.3 s] /proc/loadavg: 8.12 8.07 7.85 9/184 32346 /proc/meminfo: memFree=30273484/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=708292 CPUtime=4483.45 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 694903 0 0 0 448095 250 0 0 25 0 4 0 519413626 725291008 121455 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 177073 121455 389 106 0 172044 0 [pid=32292/tid=32299] ppid=32290 vsize=708292 CPUtime=1122.28 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 196577 0 0 0 112157 71 0 0 25 0 4 0 519413628 725291008 121455 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=708292 CPUtime=1122.3 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 190643 0 0 0 112166 64 0 0 25 0 4 0 519413628 725291008 121455 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=708292 CPUtime=1122.27 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 149295 0 0 0 112169 58 0 0 25 0 4 0 519413629 725291008 121455 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4483.45 Current children cumulated vsize (KiB) 708292 [startup+1182.3 s] /proc/loadavg: 8.10 8.07 7.86 9/184 32347 /proc/meminfo: memFree=30247636/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=751408 CPUtime=4723.12 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 715279 0 0 0 472052 260 0 0 25 0 4 0 519413626 769441792 127756 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 187852 127756 389 106 0 182823 0 [pid=32292/tid=32299] ppid=32290 vsize=751408 CPUtime=1182.27 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 201284 0 0 0 118154 73 0 0 25 0 4 0 519413628 769441792 127756 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=751408 CPUtime=1182.3 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 196013 0 0 0 118163 67 0 0 25 0 4 0 519413628 769441792 127756 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=751408 CPUtime=1182.27 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 154228 0 0 0 118167 60 0 0 25 0 4 0 519413629 769441792 127756 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4723.12 Current children cumulated vsize (KiB) 751408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.6 s] /proc/loadavg: 8.08 8.07 7.86 9/184 32348 /proc/meminfo: memFree=30254056/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=683228 CPUtime=4800.26 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 721209 0 0 0 479761 265 0 0 25 0 4 0 519413626 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 170807 125119 389 106 0 165778 0 [pid=32292/tid=32299] ppid=32290 vsize=683228 CPUtime=1201.58 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 204302 0 0 0 120082 76 0 0 25 0 4 0 519413628 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4311235 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=683228 CPUtime=1201.6 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 196081 0 0 0 120093 67 0 0 25 0 4 0 519413628 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=683228 CPUtime=1201.58 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 155651 0 0 0 120097 61 0 0 25 0 4 0 519413629 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.26 Current children cumulated vsize (KiB) 683228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.6 s] /proc/loadavg: 8.08 8.07 7.86 9/184 32348 /proc/meminfo: memFree=30254056/32951124 swapFree=67110188/67111528 [pid=32292] ppid=32290 vsize=683228 CPUtime=4800.26 cores=0,2,4,6 /proc/32292/stat : 32292 (strangenight2-m) R 32290 32292 31842 0 -1 4202496 721209 0 0 0 479761 265 0 0 25 0 4 0 519413626 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/32292/statm: 170807 125119 389 106 0 165778 0 [pid=32292/tid=32299] ppid=32290 vsize=683228 CPUtime=1201.58 cores=0,2,4,6 /proc/32292/task/32299/stat : 32299 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 204302 0 0 0 120082 76 0 0 25 0 4 0 519413628 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4311235 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=32292/tid=32301] ppid=32290 vsize=683228 CPUtime=1201.6 cores=0,2,4,6 /proc/32292/task/32301/stat : 32301 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 196081 0 0 0 120093 67 0 0 25 0 4 0 519413628 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=32292/tid=32304] ppid=32290 vsize=683228 CPUtime=1201.58 cores=0,2,4,6 /proc/32292/task/32304/stat : 32304 (strangenight2-m) R 32290 32292 31842 0 -1 4202560 155651 0 0 0 120097 61 0 0 25 0 4 0 519413629 699625472 125119 33554432000 4194304 4627427 140736261804384 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.26 Current children cumulated vsize (KiB) 683228 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.64 CPU time (s): 4800.31 CPU user time (s): 4797.63 CPU system time (s): 2.67459 CPU usage (%): 399.481 Max. virtual memory (cumulated for all children) (KiB): 889456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.63 system time used= 2.67459 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 721209 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= 762 involuntary context switches= 22561 runsolver used 1.85272 second user time and 4.20136 second system time The end
Begin job on node109 at 2011-04-29 13:55:29 IDJOB=3174037 IDBENCH=82855 IDSOLVER=1586 FILE ID=node109/3174037-1304078129 RUNJOBID= node109-1304078129-32277 PBS_JOBID= 13170496 Free space on /tmp= 72384 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174037-1304078129/watcher-3174037-1304078129 -o /tmp/evaluation-result-3174037-1304078129/solver-3174037-1304078129 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174037-1304078129.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99cb8b7378c2be1a0d9a52d8a949ecd4 RANDOM SEED=1513986907 node109.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.809 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.61 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.809 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.809 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.809 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.809 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31102264 kB Buffers: 704316 kB Cached: 691804 kB SwapCached: 8 kB Active: 109904 kB Inactive: 1349212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31102264 kB SwapTotal: 67111528 kB SwapFree: 67110188 kB Dirty: 11324 kB Writeback: 0 kB AnonPages: 62264 kB Mapped: 14396 kB Slab: 324888 kB PageTables: 4340 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 189504 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= 72372 MiB End job on node109 at 2011-04-29 14:15:32