| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.14 | 1203.85 |
| 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.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3366446-1305404372.cnf' 0.00/0.00 c -- header says num vars: 750 0.00/0.00 c -- header says num clauses: 3195 0.00/0.00 c -- clauses added: 0 learnts, 3195 normals, 0 xors 0.00/0.00 c -- vars added 750 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 750 3195 0 0 9585 0 no data no data 0.00/0.00 c asymm cl-useful: 0/3195/3195 lits-rem:0 time: 0.00 0.00/0.00 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: 750 time: 0.00 s 0.00/0.01 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.00/0.01 c lits-rem: 0 cl-subs: 0 v-elim: 17 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: 328 undec: 87 neg: 335 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 733 3178 0 0 9634 0 no data no data 0.00/0.07 c Decided on static restart strategy 0.41/0.18 c N st 8 4921 733 3178 0 4874 9634 154747 no data no data 1.57/0.47 c N st 10 11304 733 3178 0 4515 9634 98870 no data no data 2.77/0.77 c N st 11 17048 733 3178 0 10189 9634 287564 no data no data 4.80/1.23 c F st 12 25000 733 3178 0 12497 9634 366613 no data no data 4.80/1.23 c N st 12 25000 733 3178 0 12497 9634 366613 no data no data 5.96/1.50 c Decided on static restart strategy 5.96/1.50 c N st 18 30000 733 3178 0 10747 9634 265418 no data no data 5.96/1.50 c S st 18 30000 733 3178 0 10747 9634 265418 no data no data 5.96/1.53 c S st 18 30504 733 3178 0 11251 9634 280539 no data no data 5.96/1.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.96/1.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 5.96/1.54 c blocked clauses removed: 9 vars: 3 tried: 733 T: 0.00 s 5.96/1.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.96/1.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.96/1.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 5.96/1.54 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 5.96/1.54 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.96/1.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 6.35/1.60 c lits-rem: 117 cl-subs: 258 v-elim: 0 v-fix: 0 time: 0.05 s 6.35/1.61 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 6.35/1.61 c calculated reachability. Time: 0.00 6.35/1.61 c N st 18 30504 730 3169 0 10989 9607 270254 no data no data 7.95/2.06 c N st 20 37614 730 3169 0 10233 9607 222534 no data no data 9.94/2.52 c N st 21 44013 730 3169 0 16537 9607 428812 no data no data 10.34/2.64 c S st 22 45757 730 3169 0 9438 9607 173145 no data no data 10.34/2.67 c S st 22 46259 730 3169 0 9938 9607 187209 no data no data 10.34/2.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.34/2.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 10.34/2.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 10.34/2.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.34/2.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.34/2.68 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 10.34/2.68 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 10.34/2.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 10.34/2.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.34/2.70 c lits-rem: 12 cl-subs: 23 v-elim: 0 v-fix: 0 time: 0.01 s 10.74/2.70 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 10.74/2.70 c vivif2 -- cl tried 9915 cl shrink 0 lits rem 0 time: 0.00 10.74/2.70 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 10.74/2.71 c calculated reachability. Time: 0.00 10.74/2.71 c N st 22 46259 730 3169 0 9915 9607 186324 no data no data 14.72/3.73 c N st 23 60657 730 3169 0 14275 9607 313038 no data no data 17.53/4.42 c N st 24 69388 730 3169 0 12060 9607 224779 no data no data 17.53/4.42 c S st 24 69388 730 3169 0 12060 9607 224779 no data no data 17.53/4.46 c S st 24 69892 730 3169 0 12562 9607 239018 no data no data 17.53/4.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 17.53/4.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 17.53/4.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 17.53/4.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 17.53/4.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.53/4.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 17.53/4.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 17.53/4.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 17.53/4.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.53/4.50 c lits-rem: 20 cl-subs: 157 v-elim: 0 v-fix: 0 time: 0.02 s 17.53/4.50 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 17.53/4.50 c vivif2 -- cl tried 12405 cl shrink 0 lits rem 0 time: 0.00 17.97/4.51 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 17.97/4.51 c calculated reachability. Time: 0.00 17.97/4.51 c N st 24 69892 730 3169 0 12405 9607 233879 no data no data 23.90/6.03 c F st 25 87500 730 3169 0 17944 9607 409821 no data no data 23.90/6.03 c N st 25 87500 730 3169 0 17944 9607 409821 no data no data 25.50/6.42 c Decided on static restart strategy 26.31/6.69 c N st 32 95536 730 3169 0 13064 9607 218136 no data no data 29.09/7.38 c N st 34 104840 730 3169 0 22231 9607 518333 no data no data 29.09/7.38 c S st 34 104840 730 3169 0 22231 9607 518333 no data no data 29.49/7.44 c S st 34 105349 730 3169 0 22740 9607 533071 no data no data 29.49/7.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 29.49/7.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 29.49/7.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 29.49/7.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 29.49/7.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.49/7.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 29.49/7.45 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 29.49/7.45 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 29.49/7.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 30.29/7.63 c lits-rem: 82 cl-subs: 473 v-elim: 0 v-fix: 0 time: 0.16 s 30.29/7.63 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 30.29/7.63 c vivif2 -- cl tried 22267 cl shrink 0 lits rem 0 time: 0.01 30.29/7.65 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.01 30.29/7.65 c calculated reachability. Time: 0.00 30.29/7.65 c N st 34 105349 730 3169 0 22267 9607 514257 no data no data 33.47/8.44 c N st 35 114948 730 3169 0 17965 9607 352355 no data no data 39.07/9.81 c N st 36 129345 730 3169 0 17364 9607 307932 no data no data 47.43/11.96 c N st 37 150941 730 3169 0 22869 9607 474761 no data no data 50.63/12.71 c S st 38 158023 730 3169 0 29835 9607 690089 no data no data 50.63/12.79 c S st 38 158528 730 3169 0 30340 9607 704084 no data no data 50.63/12.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 51.03/12.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 51.03/12.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 51.03/12.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 51.03/12.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 51.03/12.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 51.03/12.80 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 51.03/12.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 51.03/12.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 52.23/13.18 c lits-rem: 195 cl-subs: 787 v-elim: 0 v-fix: 0 time: 0.35 s 52.23/13.18 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 52.23/13.19 c vivif2 -- cl tried 29553 cl shrink 0 lits rem 0 time: 0.01 52.63/13.21 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.02 52.63/13.21 c calculated reachability. Time: 0.00 52.63/13.21 c N st 38 158528 730 3169 0 29553 9607 675617 no data no data 74.16/18.63 c N st 39 207116 730 3169 0 24336 9607 457023 no data no data 88.91/22.30 c N st 40 237794 730 3169 0 34808 9607 750071 no data no data 88.91/22.30 c S st 40 237794 730 3169 0 34808 9607 750071 no data no data 88.91/22.39 c S st 40 238300 730 3169 0 35313 9607 765564 no data no data 88.91/22.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 89.31/22.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 89.31/22.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 89.31/22.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 89.31/22.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 89.31/22.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 89.31/22.40 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 89.31/22.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 89.31/22.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 91.71/23.04 c lits-rem: 158 cl-subs: 1056 v-elim: 0 v-fix: 0 time: 0.60 s 91.71/23.04 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 91.71/23.05 c vivif2 -- cl tried 34257 cl shrink 0 lits rem 0 time: 0.01 91.71/23.07 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.02 91.71/23.07 c calculated reachability. Time: 0.00 91.71/23.07 c N st 40 238300 730 3169 0 34257 9607 728934 no data no data 126.41/31.75 c F st 41 306250 730 3169 0 36150 9607 764889 no data no data 126.41/31.75 c N st 41 306250 730 3169 0 36150 9607 764889 no data no data 129.19/32.43 c Decided on static restart strategy 140.37/35.30 c N st 51 334555 730 3169 0 40392 9607 869765 no data no data 152.72/38.35 c N st 53 357450 730 3169 0 38295 9607 763627 no data no data 152.72/38.35 c S st 53 357450 730 3169 0 38295 9607 763627 no data no data 153.12/38.44 c S st 53 357952 730 3169 0 38796 9607 778452 no data no data 153.12/38.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 153.12/38.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 153.12/38.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 153.12/38.46 c bin-w-bin subsume rem 0 bins time: 0.00 s 153.12/38.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 153.12/38.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 153.12/38.46 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 153.12/38.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 153.12/38.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 155.10/38.98 c lits-rem: 145 cl-subs: 1071 v-elim: 0 v-fix: 0 time: 0.49 s 155.10/38.98 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 155.10/38.99 c vivif2 -- cl tried 37725 cl shrink 0 lits rem 0 time: 0.01 155.50/39.02 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.03 155.50/39.02 c calculated reachability. Time: 0.00 155.50/39.02 c N st 53 357952 730 3169 0 37725 9607 740451 no data no data 173.85/43.66 c N st 54 390344 730 3169 0 43927 9607 941074 no data no data 202.22/50.77 c N st 55 438933 730 3169 0 37707 9607 687435 no data no data 248.84/62.41 c N st 56 511815 730 3169 0 51282 9607 1134003 no data no data 263.98/66.24 c N st 57 536928 730 3169 0 45613 9607 876244 no data no data 263.98/66.24 c S st 57 536928 730 3169 0 45613 9607 876244 no data no data 264.38/66.35 c S st 57 537432 730 3169 0 46117 9607 890516 no data no data 264.38/66.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 264.38/66.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.02 264.38/66.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 264.38/66.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 264.38/66.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 264.38/66.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 264.38/66.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 264.38/66.39 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 264.78/66.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 267.18/67.06 c lits-rem: 283 cl-subs: 1056 v-elim: 0 v-fix: 0 time: 0.65 s 267.18/67.06 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 267.18/67.07 c vivif2 -- cl tried 45061 cl shrink 0 lits rem 0 time: 0.01 267.18/67.11 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.03 267.18/67.11 c calculated reachability. Time: 0.00 267.18/67.11 c N st 57 537432 730 3169 0 45061 9607 854673 no data no data 380.04/95.36 c N st 58 701416 730 3169 0 39005 9607 547939 no data no data 458.21/114.92 c N st 59 806149 730 3169 0 68339 9607 1449201 no data no data 458.21/114.92 c S st 59 806149 730 3169 0 68339 9607 1449201 no data no data 459.01/115.11 c S st 59 806658 730 3169 0 68848 9607 1464297 no data no data 459.01/115.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 459.01/115.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 459.01/115.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 459.01/115.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 459.01/115.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 459.01/115.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 459.01/115.15 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 459.01/115.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 459.41/115.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 469.39/117.79 c lits-rem: 337 cl-subs: 2007 v-elim: 0 v-fix: 0 time: 2.58 s 469.39/117.79 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 469.82/117.81 c vivif2 -- cl tried 66841 cl shrink 0 lits rem 0 time: 0.02 469.82/117.87 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.06 469.82/117.88 c calculated reachability. Time: 0.00 469.82/117.88 c N st 59 806658 730 3169 0 66841 9607 1400514 no data no data 699.49/175.49 c F st 60 1071876 730 3169 0 82915 9607 1828363 no data no data 699.49/175.49 c N st 60 1071876 730 3169 0 82915 9607 1828363 no data no data 717.43/179.93 c N dy 106 1091952 730 3169 0 58390 9607 889362 20.53 22.45 739.77/185.54 c N dy 213 1112078 730 3169 0 78377 9607 1493228 20.90 22.18 762.51/191.20 c N dy 279 1132565 730 3169 0 53150 9607 673259 20.76 22.13 781.64/196.02 c N dy 345 1152632 730 3169 0 73070 9607 1268497 20.59 21.74 807.96/202.67 c N dy 416 1173002 730 3169 0 46697 9607 439006 20.50 21.61 825.51/207.01 c N dy 500 1193705 730 3169 0 67245 9607 1053970 20.46 21.55 844.26/211.75 c S st 576 1209987 730 3169 0 83397 9607 1536524 20.51 18.97 845.06/211.98 c S st 576 1210487 730 3169 0 83897 9607 1551411 20.51 no data 845.06/211.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 845.46/212.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 845.46/212.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 845.46/212.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 845.46/212.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 845.46/212.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 845.46/212.02 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 845.46/212.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 845.46/212.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 850.65/213.40 c lits-rem: 463 cl-subs: 1048 v-elim: 0 v-fix: 0 time: 1.30 s 850.65/213.40 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 851.05/213.42 c vivif2 -- cl tried 82849 cl shrink 0 lits rem 0 time: 0.02 851.05/213.50 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.08 851.05/213.50 c calculated reachability. Time: 0.00 851.05/213.50 c N dy 576 1210487 730 3169 0 82849 9607 1515419 20.51 no data 876.96/219.91 c N dy 654 1230739 730 3169 0 55335 9607 655430 20.51 21.74 896.90/224.96 c N dy 747 1250865 730 3169 0 75348 9607 1262457 20.55 21.86 924.02/231.74 c N dy 833 1270953 730 3169 0 95265 9607 1863559 20.57 21.71 943.18/236.58 c N dy 927 1291280 730 3169 0 66830 9607 978630 20.59 21.85 970.68/243.41 c N dy 1007 1314738 730 3169 0 90094 9607 1677375 20.54 21.71 993.81/249.28 c N dy 1106 1334833 730 3169 0 60427 9607 750393 20.59 21.83 1015.35/254.63 c N dy 1186 1354949 730 3169 0 80398 9607 1355459 20.58 21.77 1044.51/262.00 c N dy 1284 1375001 730 3169 0 100300 9607 1967369 20.62 21.75 1062.80/266.54 c N dy 1349 1395102 730 3169 0 69626 9607 1001159 20.60 22.97 1090.33/273.40 c N dy 1426 1417813 730 3169 0 92114 9607 1676645 20.58 21.83 1115.84/279.89 c N dy 1508 1438796 730 3169 0 61361 9607 722709 20.57 21.87 1137.38/285.27 c N dy 1578 1459100 730 3169 0 81469 9607 1324877 20.56 21.94 1166.91/292.65 c N dy 1663 1479124 730 3169 0 101336 9607 1930507 20.57 24.79 1187.24/297.76 c N dy 1701 1499564 730 3169 0 68988 9607 911834 20.51 21.69 1212.36/304.04 c N dy 1772 1520852 730 3169 0 90107 9607 1542759 20.49 21.57 1241.08/311.23 c N dy 1851 1540914 730 3169 0 56481 9607 518321 20.50 24.54 1261.41/316.31 c N dy 1944 1560940 730 3169 0 76323 9607 1109641 20.51 23.93 1287.34/322.88 c N dy 2028 1581032 730 3169 0 96267 9607 1723511 20.52 24.19 1315.25/329.80 c N dy 2116 1601117 730 3169 0 61668 9607 643747 20.52 24.18 1339.18/335.80 c N dy 2161 1625645 730 3169 0 85917 9607 1373992 20.44 21.55 1383.81/347.16 c N dy 2213 1661246 730 3169 0 65676 9607 740384 20.30 21.38 1409.82/353.74 c N dy 2320 1682625 730 3169 0 86875 9607 1379583 20.32 21.61 1441.65/361.78 c N dy 2439 1702637 730 3169 0 106747 9607 1981617 20.35 22.29 1454.82/365.01 c S st 2472 1710487 730 3169 0 58038 9607 490701 20.35 18.65 1455.22/365.14 c S st 2472 1710991 730 3169 0 58542 9607 506925 20.35 no data 1455.22/365.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1455.22/365.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02 1455.22/365.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1455.22/365.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 1455.22/365.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1455.22/365.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 1455.22/365.17 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1455.22/365.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1455.22/365.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1456.06/365.35 c lits-rem: 41 cl-subs: 50 v-elim: 0 v-fix: 0 time: 0.14 s 1456.06/365.35 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 1456.06/365.35 c vivif2 -- cl tried 58492 cl shrink 0 lits rem 0 time: 0.01 1456.40/365.40 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.05 1456.40/365.40 c calculated reachability. Time: 0.00 1456.40/365.40 c N dy 2472 1710991 730 3169 0 58492 9607 505342 20.35 no data 1477.55/370.74 c N dy 2511 1732915 730 3169 0 80153 9607 1151654 20.31 21.40 1508.27/378.43 c N dy 2618 1754409 730 3169 0 101491 9607 1801656 20.33 21.52 1545.35/387.75 c N dy 2719 1774621 730 3169 0 64069 9607 639582 20.35 21.44 1571.27/394.28 c N dy 2843 1794622 730 3169 0 83938 9607 1249676 20.39 22.73 1600.82/401.67 c N dy 2927 1814707 730 3169 0 103838 9607 1844395 20.39 21.48 1631.54/409.39 c N dy 3039 1834712 730 3169 0 65189 9607 652267 20.41 21.53 1657.85/415.93 c N dy 3163 1856847 730 3169 0 87162 9607 1320350 20.43 21.57 1687.73/423.49 c N dy 3226 1877521 730 3169 0 107605 9607 1925388 20.42 21.53 1718.44/431.19 c N dy 3367 1897545 730 3169 0 68000 9607 711689 20.46 23.71 1742.36/437.17 c N dy 3461 1917557 730 3169 0 87838 9607 1306444 20.47 21.66 1774.26/445.12 c N dy 3538 1938037 730 3169 0 108122 9607 1906423 20.46 21.86 1807.01/453.38 c N dy 3609 1960178 730 3169 0 69562 9607 722481 20.46 21.54 1830.89/459.32 c N dy 3684 1980222 730 3169 0 89407 9607 1312163 20.46 24.73 1861.20/466.99 c N dy 3776 2000288 730 3169 0 109306 9607 1912410 20.46 22.87 1894.32/475.22 c N dy 3888 2020347 730 3169 0 67774 9607 649598 20.48 21.74 1918.63/481.37 c N dy 3999 2040902 730 3169 0 88167 9607 1263308 20.50 21.88 1949.74/489.18 c N dy 4091 2060996 730 3169 0 108105 9607 1872972 20.50 22.04 1986.44/498.39 c N dy 4208 2081498 730 3169 0 65966 9607 572757 20.52 21.70 2009.96/504.27 c N dy 4309 2101518 730 3169 0 85810 9607 1163465 20.54 23.22 2040.67/511.93 c N dy 4421 2121605 730 3169 0 105740 9607 1772250 20.55 21.66 2079.35/521.65 c N dy 4541 2141809 730 3169 0 125785 9607 2385943 20.57 21.71 2102.48/527.43 c N dy 4627 2162439 730 3169 0 82805 9607 1060438 20.57 21.67 2131.64/534.79 c N dy 4725 2182456 730 3169 0 102667 9607 1663139 20.58 22.33 2167.88/543.84 c N dy 4809 2202495 730 3169 0 122541 9607 2256477 20.58 21.92 2181.84/547.33 c S st 4810 2210991 730 3169 0 66475 9607 536276 20.57 16.99 2182.65/547.50 c S st 4810 2211494 730 3169 0 66978 9607 552718 20.57 no data 2182.65/547.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 2182.65/547.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 2182.65/547.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2182.65/547.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 2182.65/547.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2182.65/547.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 2182.65/547.54 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2182.65/547.55 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 2182.65/547.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2183.45/547.76 c lits-rem: 12 cl-subs: 85 v-elim: 0 v-fix: 0 time: 0.19 s 2183.45/547.76 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 2183.45/547.77 c vivif2 -- cl tried 66893 cl shrink 0 lits rem 0 time: 0.01 2183.86/547.85 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.08 2183.86/547.85 c calculated reachability. Time: 0.00 2183.86/547.85 c N dy 4810 2211494 730 3169 0 66893 9607 550274 20.57 no data 2218.95/556.71 c N dy 4891 2236493 730 3169 0 91668 9607 1290584 20.57 21.66 2250.09/564.49 c N dy 4969 2256679 730 3169 0 111676 9607 1895978 20.57 21.79 2289.92/574.45 c N dy 5051 2277701 730 3169 0 67069 9607 531330 20.57 21.82 2311.86/579.99 c N dy 5119 2297879 730 3169 0 87039 9607 1134943 20.56 21.67 2342.56/587.60 c N dy 5212 2317920 730 3169 0 106907 9607 1737607 20.57 22.30 2380.06/597.05 c N dy 5287 2338129 730 3169 0 126909 9607 2335902 20.56 21.72 2413.56/605.44 c N dy 5382 2362706 730 3169 0 84851 9607 1034182 20.56 21.67 2443.12/612.86 c N dy 5459 2383187 730 3169 0 105182 9607 1657206 20.56 21.71 2480.56/622.25 c N dy 5549 2403264 730 3169 0 125078 9607 2264031 20.56 21.71 2512.88/630.36 c N dy 5645 2423521 730 3169 0 77777 9607 802371 20.57 21.86 2539.98/637.17 c N dy 5759 2443600 730 3169 0 97689 9607 1414868 20.58 21.96 2573.89/645.64 c N dy 5852 2463692 730 3169 0 117571 9607 2016754 20.59 22.48 2614.56/655.83 c N dy 5926 2483977 730 3169 0 69268 9607 527996 20.59 22.11 2639.29/662.05 c N dy 6009 2505172 730 3169 0 90252 9607 1160674 20.59 21.68 2671.58/670.12 c N dy 6114 2526101 730 3169 0 111020 9607 1799595 20.60 21.69 2709.47/679.61 c N dy 6180 2546144 730 3169 0 130879 9607 2397240 20.59 21.78 2741.77/687.78 c N dy 6299 2566394 730 3169 0 81609 9607 880508 20.60 21.72 2772.48/695.45 c N dy 6392 2589273 730 3169 0 104285 9607 1579697 20.60 21.86 2813.96/705.82 c N dy 6533 2609361 730 3169 0 124207 9607 2193554 20.62 23.20 2856.23/716.45 c N dy 6638 2630133 730 3169 0 74455 9607 634032 20.62 21.71 2881.81/722.89 c N dy 6754 2650205 730 3169 0 94382 9607 1246382 20.63 22.54 2915.66/731.36 c N dy 6831 2670252 730 3169 0 114268 9607 1844077 20.64 22.36 2979.87/747.48 c N dy 6905 2707041 730 3169 0 79302 9607 749492 20.60 21.70 2985.46/748.86 c S st 6933 2711494 730 3169 0 83727 9607 884974 20.60 no data 2986.26/749.06 c S st 6933 2711998 730 3169 0 84231 9607 901037 20.60 no data 2986.26/749.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 2986.26/749.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 2986.26/749.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2986.26/749.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 2986.26/749.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2986.26/749.11 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 2986.26/749.11 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2986.67/749.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 2986.67/749.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2988.25/749.55 c lits-rem: 51 cl-subs: 859 v-elim: 0 v-fix: 0 time: 0.40 s 2988.25/749.55 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 2988.25/749.57 c vivif2 -- cl tried 83372 cl shrink 0 lits rem 0 time: 0.01 2988.64/749.64 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.07 2988.64/749.65 c calculated reachability. Time: 0.00 2988.64/749.65 c N dy 6933 2711998 730 3169 0 83372 9607 875997 20.60 no data 3018.95/757.27 c N dy 7076 2732567 730 3169 0 103810 9607 1509376 20.62 21.90 3056.85/766.79 c N dy 7179 2753219 730 3169 0 124292 9607 2136819 20.63 21.94 3101.90/778.06 c N dy 7291 2773230 730 3169 0 144148 9607 2748493 20.64 23.58 3126.63/784.29 c N dy 7378 2793294 730 3169 0 91600 9607 1101292 20.64 25.57 3156.95/791.88 c N dy 7444 2813352 730 3169 0 111442 9607 1709492 20.64 26.94 3195.23/801.41 c N dy 7528 2833384 730 3169 0 131307 9607 2314542 20.64 22.01 3234.30/811.28 c N dy 7604 2853575 730 3169 0 77976 9607 662118 20.64 21.90 3260.64/817.88 c N dy 7700 2873597 730 3169 0 97826 9607 1259429 20.64 21.82 3293.34/826.02 c N dy 7771 2893932 730 3169 0 117961 9607 1869014 20.64 21.73 3336.01/836.72 c N dy 7900 2913955 730 3169 0 137817 9607 2480291 20.65 24.98 3372.72/845.93 c N dy 7997 2934178 730 3169 0 83525 9607 811741 20.66 21.89 3403.01/853.50 c N dy 8106 2955084 730 3169 0 104277 9607 1451524 20.66 21.99 3439.70/862.76 c N dy 8198 2975929 730 3169 0 124891 9607 2082989 20.66 21.77 3484.37/873.99 c N dy 8313 2996004 730 3169 0 144803 9607 2691962 20.67 23.99 3517.49/882.25 c N dy 8414 3016212 730 3169 0 89495 9607 966543 20.68 22.05 3552.18/890.91 c N dy 8553 3037911 730 3169 0 111045 9607 1634495 20.69 21.81 3603.62/903.84 c N dy 8620 3059834 730 3169 0 132752 9607 2280958 20.69 21.80 3671.45/920.89 c N dy 8731 3080479 730 3169 0 76897 9607 559885 20.70 21.85 3705.31/929.34 c N dy 8847 3100662 730 3169 0 96901 9607 1176762 20.70 22.01 3741.20/938.40 c N dy 8978 3121680 730 3169 0 117770 9607 1825176 20.72 21.81 3782.26/948.65 c N dy 9075 3141765 730 3169 0 137684 9607 2438199 20.72 23.43 3827.34/959.90 c N dy 9165 3161795 730 3169 0 80206 9607 637033 20.72 23.97 3855.27/966.98 c N dy 9281 3182314 730 3169 0 100543 9607 1260573 20.73 21.84 3888.75/975.34 c N dy 9347 3202330 730 3169 0 120350 9607 1860202 20.72 23.58 3907.11/979.99 c S st 9378 3211998 730 3169 0 129920 9607 2148308 20.72 no data 3908.70/980.35 c S st 9378 3212507 730 3169 0 130428 9607 2164216 20.72 no data 3908.70/980.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3909.09/980.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.07 3909.09/980.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3909.09/980.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 3909.09/980.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3909.09/980.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 730 time: 0.00 s 3909.09/980.43 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3909.09/980.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 3909.49/980.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3918.26/982.71 c lits-rem: 200 cl-subs: 2134 v-elim: 0 v-fix: 0 time: 2.18 s 3918.26/982.71 c vivif2 -- cl tried 3169 cl shrink 0 lits rem 0 time: 0.00 3918.26/982.74 c vivif2 -- cl tried 128294 cl shrink 0 lits rem 0 time: 0.03 3918.66/982.89 c asymm cl-useful: 0/3169/3169 lits-rem:0 time: 0.14 3918.66/982.89 c calculated reachability. Time: 0.00 3918.66/982.89 c N dy 9378 3212507 730 3169 0 128294 9607 2095624 20.72 no data 3964.13/994.29 c N dy 9455 3232556 730 3169 0 148150 9607 2695287 20.72 22.22 4000.03/1003.30 c N dy 9559 3252694 730 3169 0 89832 9607 911211 20.73 21.93 4034.72/1011.92 c N dy 9645 3274048 730 3169 0 110989 9607 1553978 20.73 21.98 4073.01/1021.50 c N dy 9711 3294150 730 3169 0 130914 9607 2160742 20.73 21.94 4119.66/1033.27 c N dy 9814 3314160 730 3169 0 150738 9607 2763439 20.74 21.85 4156.36/1042.48 c N dy 9910 3334786 730 3169 0 91914 9607 945315 20.74 21.98 4187.86/1050.30 c N dy 10014 3354963 730 3169 0 111941 9607 1560356 20.75 21.94 4225.35/1059.74 c N dy 10092 3375442 730 3169 0 132223 9607 2186262 20.74 21.90 4270.42/1071.04 c N dy 10168 3395547 730 3169 0 152169 9607 2799768 20.74 22.01 4309.10/1080.78 c N dy 10275 3416078 730 3169 0 92214 9607 935464 20.75 21.94 4342.22/1089.02 c N dy 10359 3436890 730 3169 0 112819 9607 1566135 20.75 21.85 4381.70/1098.94 c N dy 10474 3456891 730 3169 0 132646 9607 2179144 20.76 24.66 4428.35/1110.64 c N dy 10568 3477039 730 3169 0 152615 9607 2793638 20.76 21.95 4465.05/1119.87 c N dy 10627 3497111 730 3169 0 91209 9607 874707 20.76 21.90 4493.75/1127.01 c N dy 10652 3517199 730 3169 0 110976 9607 1454244 20.74 22.17 4546.39/1140.25 c N dy 10728 3540536 730 3169 0 134067 9607 2156259 20.73 21.83 4609.82/1156.16 c N dy 10802 3561325 730 3169 0 154650 9607 2786582 20.73 22.00 4648.49/1165.87 c N dy 10867 3581413 730 3169 0 92378 9607 888499 20.73 25.94 4680.01/1173.71 c N dy 10977 3601454 730 3169 0 112256 9607 1501673 20.74 21.95 4719.49/1183.62 c N dy 11096 3621470 730 3169 0 132143 9607 2116141 20.75 22.81 4766.95/1195.56 c N dy 11200 3642276 730 3169 0 152793 9607 2758840 20.75 21.94
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-3366446-1305404372/watcher-3366446-1305404372 -o /tmp/evaluation-result-3366446-1305404372/solver-3366446-1305404372 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366446-1305404372.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.40 7.96 8.04 2/359 661 /proc/meminfo: memFree=25736692/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=40924 CPUtime=0 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 406 0 0 0 0 0 0 0 22 0 3 0 632852768 41906176 347 33554432000 4194304 4580107 140735167480800 18446744073709551615 264726461425 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/661/statm: 10231 347 299 95 0 5213 0 [pid=661/tid=662] ppid=659 vsize=216924 CPUtime=0 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 150 0 0 0 0 0 0 0 24 0 4 0 632852769 222130176 1242 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=216924 CPUtime=0 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 286 0 0 0 0 0 0 0 24 0 4 0 632852769 222130176 1242 33554432000 4194304 4580107 140735167480800 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=216924 CPUtime=0 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 166 0 0 0 0 0 0 0 25 0 4 0 632852769 222130176 1242 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.111503 s] /proc/loadavg: 7.40 7.96 8.04 2/359 661 /proc/meminfo: memFree=25736692/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=217488 CPUtime=0.41 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 1968 0 0 0 41 0 0 0 24 0 4 0 632852768 222707712 1863 33554432000 4194304 4580107 140735167480800 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 54372 1864 377 95 0 49354 0 [pid=661/tid=662] ppid=659 vsize=217488 CPUtime=0.1 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 375 0 0 0 10 0 0 0 18 0 4 0 632852769 222707712 1864 33554432000 4194304 4580107 140735167480800 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=217488 CPUtime=0.1 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 453 0 0 0 10 0 0 0 24 0 4 0 632852769 222707712 1864 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=217488 CPUtime=0.1 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 265 0 0 0 10 0 0 0 25 0 4 0 632852769 222707712 1864 33554432000 4194304 4580107 140735167480800 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 217488 [startup+0.200486 s] /proc/loadavg: 7.40 7.96 8.04 2/359 661 /proc/meminfo: memFree=25736692/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=218768 CPUtime=0.77 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 2623 0 0 0 77 0 0 0 25 0 4 0 632852768 224018432 1967 33554432000 4194304 4580107 140735167480800 18446744073709551615 4321894 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 54692 1967 377 95 0 49674 0 [pid=661/tid=662] ppid=659 vsize=218768 CPUtime=0.19 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 476 0 0 0 19 0 0 0 18 0 4 0 632852769 224018432 1967 33554432000 4194304 4580107 140735167480800 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=218768 CPUtime=0.19 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 647 0 0 0 19 0 0 0 24 0 4 0 632852769 224018432 1967 33554432000 4194304 4580107 140735167480800 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=218768 CPUtime=0.19 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 443 0 0 0 19 0 0 0 25 0 4 0 632852769 224018432 1967 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 218768 [startup+0.300467 s] /proc/loadavg: 7.40 7.96 8.04 2/359 661 /proc/meminfo: memFree=25736692/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=219144 CPUtime=1.17 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 3084 0 0 0 117 0 0 0 25 0 4 0 632852768 224403456 2237 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 54786 2237 377 95 0 49768 0 [pid=661/tid=662] ppid=659 vsize=219144 CPUtime=0.29 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 648 0 0 0 29 0 0 0 18 0 4 0 632852769 224403456 2237 33554432000 4194304 4580107 140735167480800 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=219144 CPUtime=0.29 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 741 0 0 0 29 0 0 0 24 0 4 0 632852769 224403456 2237 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=219144 CPUtime=0.28 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 545 0 0 0 28 0 0 0 25 0 4 0 632852769 224403456 2237 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 219144 [startup+0.700391 s] /proc/loadavg: 7.40 7.96 8.04 2/359 661 /proc/meminfo: memFree=25736692/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=220200 CPUtime=2.77 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 4926 0 0 0 276 1 0 0 25 0 4 0 632852768 225484800 2973 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 55050 2973 377 95 0 50032 0 [pid=661/tid=662] ppid=659 vsize=220200 CPUtime=0.68 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 1130 0 0 0 68 0 0 0 18 0 4 0 632852769 225484800 2973 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=220200 CPUtime=0.69 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 1231 0 0 0 69 0 0 0 25 0 4 0 632852769 225484800 2973 33554432000 4194304 4580107 140735167480800 18446744073709551615 4319898 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=220200 CPUtime=0.68 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 981 0 0 0 68 0 0 0 25 0 4 0 632852769 225484800 2973 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 220200 [startup+1.50024 s] /proc/loadavg: 7.53 7.98 8.04 9/371 673 /proc/meminfo: memFree=25707448/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=221996 CPUtime=5.96 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 8625 0 0 0 594 2 0 0 25 0 4 0 632852768 227323904 3506 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294396 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 55499 3506 378 95 0 50481 0 [pid=661/tid=662] ppid=659 vsize=221996 CPUtime=1.48 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 2036 0 0 0 148 0 0 0 19 0 4 0 632852769 227323904 3506 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=221996 CPUtime=1.49 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 2143 0 0 0 149 0 0 0 25 0 4 0 632852769 227323904 3506 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=221996 CPUtime=1.47 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 1925 0 0 0 147 0 0 0 25 0 4 0 632852769 227323904 3506 33554432000 4194304 4580107 140735167480800 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 221996 [startup+3.10094 s] /proc/loadavg: 7.53 7.98 8.04 9/371 673 /proc/meminfo: memFree=25681336/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=233380 CPUtime=12.34 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 20861 0 0 0 1230 4 0 0 25 0 4 0 632852768 238981120 11242 33554432000 4194304 4580107 140735167480800 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 58345 11242 379 95 0 53327 0 [pid=661/tid=662] ppid=659 vsize=233380 CPUtime=3.09 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 4330 0 0 0 308 1 0 0 25 0 4 0 632852769 238981120 11242 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=233380 CPUtime=3.08 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 5998 0 0 0 308 0 0 0 25 0 4 0 632852769 238981120 11242 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=233380 CPUtime=3.06 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 5150 0 0 0 305 1 0 0 25 0 4 0 632852769 238981120 11242 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 233380 [startup+6.30034 s] /proc/loadavg: 7.57 7.98 8.04 9/371 673 /proc/meminfo: memFree=25626280/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=242424 CPUtime=25.1 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 32070 0 0 0 2504 6 0 0 25 0 4 0 632852768 248242176 13859 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 60606 13859 379 95 0 55588 0 [pid=661/tid=662] ppid=659 vsize=242424 CPUtime=6.28 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 8499 0 0 0 627 1 0 0 25 0 4 0 632852769 248242176 13859 33554432000 4194304 4580107 140735167480800 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=242424 CPUtime=6.29 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 8194 0 0 0 628 1 0 0 25 0 4 0 632852769 248242176 13859 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=242424 CPUtime=6.21 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 7558 0 0 0 620 1 0 0 25 0 4 0 632852769 248242176 13859 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 242424 [startup+12.7011 s] /proc/loadavg: 7.60 7.98 8.04 10/371 673 /proc/meminfo: memFree=25566296/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=265460 CPUtime=50.63 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 53218 0 0 0 5053 10 0 0 25 0 4 0 632852768 271831040 22944 33554432000 4194304 4580107 140735167480800 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 66365 22944 379 95 0 61347 0 [pid=661/tid=662] ppid=659 vsize=265460 CPUtime=12.68 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 13917 0 0 0 1266 2 0 0 25 0 4 0 632852769 271831040 22944 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=265460 CPUtime=12.69 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 13543 0 0 0 1267 2 0 0 25 0 4 0 632852769 271831040 22944 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=265460 CPUtime=12.54 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 12946 0 0 0 1252 2 0 0 25 0 4 0 632852769 271831040 22944 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 50.63 Current children cumulated vsize (KiB) 265460 [startup+25.5007 s] /proc/loadavg: 7.69 7.98 8.04 9/371 673 /proc/meminfo: memFree=25506396/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=291368 CPUtime=101.67 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 83281 0 0 0 10151 16 0 0 25 0 4 0 632852768 298360832 33988 33554432000 4194304 4580107 140735167480800 18446744073709551615 4295739 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 72842 33988 379 95 0 67824 0 [pid=661/tid=662] ppid=659 vsize=291368 CPUtime=25.48 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 22399 0 0 0 2545 3 0 0 25 0 4 0 632852769 298360832 33988 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=291368 CPUtime=25.49 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 21859 0 0 0 2545 4 0 0 25 0 4 0 632852769 298360832 33988 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=291368 CPUtime=25.19 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 18624 0 0 0 2515 4 0 0 25 0 4 0 632852769 298360832 33988 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 101.67 Current children cumulated vsize (KiB) 291368 [startup+51.1009 s] /proc/loadavg: 7.79 7.98 8.04 9/371 674 /proc/meminfo: memFree=25472308/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=292944 CPUtime=203.77 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 122754 0 0 0 20351 26 0 0 25 0 4 0 632852768 299974656 37852 33554432000 4194304 4580107 140735167480800 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 73236 37852 379 95 0 68218 0 [pid=661/tid=662] ppid=659 vsize=292944 CPUtime=51.08 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 31496 0 0 0 5102 6 0 0 25 0 4 0 632852769 299974656 37852 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=292944 CPUtime=51.09 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 32589 0 0 0 5102 7 0 0 25 0 4 0 632852769 299974656 37852 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=292944 CPUtime=50.49 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 29295 0 0 0 5043 6 0 0 25 0 4 0 632852769 299974656 37852 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 203.77 Current children cumulated vsize (KiB) 292944 [startup+102.301 s] /proc/loadavg: 8.03 8.01 8.04 9/371 675 /proc/meminfo: memFree=25396508/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=323044 CPUtime=407.97 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 184912 0 0 0 40755 42 0 0 25 0 4 0 632852768 330797056 52176 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 80761 52176 379 95 0 75743 0 [pid=661/tid=662] ppid=659 vsize=323044 CPUtime=102.3 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 46614 0 0 0 10219 11 0 0 25 0 4 0 632852769 330797056 52182 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=323044 CPUtime=102.3 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 48517 0 0 0 10220 10 0 0 25 0 4 0 632852769 330797056 52182 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=323044 CPUtime=101.09 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 47642 0 0 0 10098 11 0 0 25 0 4 0 632852769 330797056 52182 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 407.97 Current children cumulated vsize (KiB) 323044 [startup+162.301 s] ################ # More data... # ################ [pid=661] ppid=659 vsize=513564 CPUtime=2800.01 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 494816 0 0 0 279829 172 0 0 25 0 4 0 632852768 525889536 94096 33554432000 4194304 4580107 140735167480800 18446744073709551615 4302558 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 128391 94096 379 95 0 123373 0 [pid=661/tid=662] ppid=659 vsize=513564 CPUtime=702.3 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 144067 0 0 0 70178 52 0 0 25 0 4 0 632852769 525889536 94096 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=513564 CPUtime=702.31 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 158885 0 0 0 70172 59 0 0 25 0 4 0 632852769 525889536 94096 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=513564 CPUtime=693.36 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 115603 0 0 0 69298 38 0 0 25 0 4 0 632852769 525889536 94096 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2800.01 Current children cumulated vsize (KiB) 513564 [startup+762.301 s] /proc/loadavg: 8.13 8.13 8.09 9/371 696 /proc/meminfo: memFree=25063460/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=501388 CPUtime=3039.3 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 518057 0 0 0 303747 183 0 0 25 0 4 0 632852768 513421312 95536 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 125347 95536 379 95 0 120329 0 [pid=661/tid=662] ppid=659 vsize=501388 CPUtime=762.32 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 152042 0 0 0 76176 56 0 0 25 0 4 0 632852769 513421312 95538 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=501388 CPUtime=762.33 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 168356 0 0 0 76170 63 0 0 25 0 4 0 632852769 513421312 95538 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=501388 CPUtime=752.66 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 120470 0 0 0 75225 41 0 0 25 0 4 0 632852769 513421312 95538 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3039.3 Current children cumulated vsize (KiB) 501388 [startup+822.3 s] /proc/loadavg: 8.18 8.13 8.09 9/371 698 /proc/meminfo: memFree=25057196/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=538908 CPUtime=3278.58 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 542082 0 0 0 327665 193 0 0 25 0 4 0 632852768 551841792 97730 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 134727 97730 379 95 0 129709 0 [pid=661/tid=662] ppid=659 vsize=538908 CPUtime=822.31 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 159828 0 0 0 82171 60 0 0 25 0 4 0 632852769 551841792 97730 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=538908 CPUtime=822.31 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 176629 0 0 0 82164 67 0 0 25 0 4 0 632852769 551841792 97730 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=538908 CPUtime=811.94 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 125012 0 0 0 81152 42 0 0 25 0 4 0 632852769 551841792 97730 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3278.58 Current children cumulated vsize (KiB) 538908 [startup+882.314 s] /proc/loadavg: 8.19 8.14 8.10 9/371 699 /proc/meminfo: memFree=24982992/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=635512 CPUtime=3517.92 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 567079 0 0 0 351588 204 0 0 25 0 4 0 632852768 650764288 109633 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 158878 109633 379 95 0 153860 0 [pid=661/tid=662] ppid=659 vsize=635512 CPUtime=882.33 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 167463 0 0 0 88170 63 0 0 25 0 4 0 632852769 650764288 109633 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=635512 CPUtime=882.33 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 184518 0 0 0 88162 71 0 0 25 0 4 0 632852769 650764288 109633 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=635512 CPUtime=871.25 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 130960 0 0 0 87080 45 0 0 25 0 4 0 632852769 650764288 109633 33554432000 4194304 4580107 140735167480800 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3517.92 Current children cumulated vsize (KiB) 635512 [startup+942.301 s] /proc/loadavg: 8.18 8.14 8.10 9/371 701 /proc/meminfo: memFree=24960880/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=716868 CPUtime=3757.14 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 584370 0 0 0 375503 211 0 0 25 0 4 0 632852768 734072832 115354 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 179217 115354 379 95 0 174199 0 [pid=661/tid=662] ppid=659 vsize=716868 CPUtime=942.31 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 172496 0 0 0 94167 64 0 0 25 0 4 0 632852769 734072832 115354 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=716868 CPUtime=942.31 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 192416 0 0 0 94157 74 0 0 25 0 4 0 632852769 734072832 115354 33554432000 4194304 4580107 140735167480800 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=716868 CPUtime=930.52 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 133248 0 0 0 93006 46 0 0 25 0 4 0 632852769 734072832 115354 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3757.14 Current children cumulated vsize (KiB) 716868 [startup+1002.3 s] /proc/loadavg: 8.22 8.16 8.10 9/371 702 /proc/meminfo: memFree=24956020/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=677152 CPUtime=3996.42 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 601792 0 0 0 399423 219 0 0 25 0 4 0 632852768 693403648 116056 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 169288 116056 379 95 0 164270 0 [pid=661/tid=662] ppid=659 vsize=677152 CPUtime=1002.32 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 179247 0 0 0 100165 67 0 0 25 0 4 0 632852769 693403648 116056 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=677152 CPUtime=1002.32 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 199332 0 0 0 100154 78 0 0 25 0 4 0 632852769 693403648 116056 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=677152 CPUtime=989.81 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 135506 0 0 0 98934 47 0 0 25 0 4 0 632852769 693403648 116056 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3996.42 Current children cumulated vsize (KiB) 677152 [startup+1062.3 s] /proc/loadavg: 8.13 8.14 8.09 9/371 704 /proc/meminfo: memFree=24919276/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=741516 CPUtime=4235.72 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 623692 0 0 0 423343 229 0 0 25 0 4 0 632852768 759312384 123866 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 185379 123866 379 95 0 180361 0 [pid=661/tid=662] ppid=659 vsize=741516 CPUtime=1062.32 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 185493 0 0 0 106162 70 0 0 25 0 4 0 632852769 759312384 123866 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=741516 CPUtime=1062.32 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 205941 0 0 0 106152 80 0 0 25 0 4 0 632852769 759312384 123866 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=741516 CPUtime=1049.11 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 141839 0 0 0 104861 50 0 0 25 0 4 0 632852769 759312384 123866 33554432000 4194304 4580107 140735167480800 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4235.72 Current children cumulated vsize (KiB) 741516 [startup+1122.3 s] /proc/loadavg: 8.10 8.13 8.09 9/371 706 /proc/meminfo: memFree=24886248/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=740804 CPUtime=4475.01 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 643862 0 0 0 447261 240 0 0 25 0 4 0 632852768 758583296 128087 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 185201 128087 379 95 0 180183 0 [pid=661/tid=662] ppid=659 vsize=740804 CPUtime=1122.32 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 193023 0 0 0 112157 75 0 0 25 0 4 0 632852769 758583296 128087 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=740804 CPUtime=1122.32 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 212033 0 0 0 112149 83 0 0 25 0 4 0 632852769 758583296 128087 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=740804 CPUtime=1108.39 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 144087 0 0 0 110788 51 0 0 25 0 4 0 632852769 758583296 128087 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4475.01 Current children cumulated vsize (KiB) 740804 [startup+1182.3 s] /proc/loadavg: 8.03 8.10 8.08 9/371 707 /proc/meminfo: memFree=24892528/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=748692 CPUtime=4714.3 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 658991 0 0 0 471181 249 0 0 25 0 4 0 632852768 766660608 128279 33554432000 4194304 4580107 140735167480800 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 187173 128279 379 95 0 182155 0 [pid=661/tid=662] ppid=659 vsize=748692 CPUtime=1182.32 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 197481 0 0 0 118155 77 0 0 25 0 4 0 632852769 766660608 128279 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=748692 CPUtime=1182.32 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 218413 0 0 0 118145 87 0 0 25 0 4 0 632852769 766660608 128279 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=748692 CPUtime=1167.69 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 147900 0 0 0 116716 53 0 0 25 0 4 0 632852769 766660608 128279 33554432000 4194304 4580107 140735167480800 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4714.3 Current children cumulated vsize (KiB) 748692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.8 s] /proc/loadavg: 8.10 8.11 8.09 5/366 709 /proc/meminfo: memFree=25210860/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=735220 CPUtime=4800.04 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 665396 0 0 0 479752 252 0 0 25 0 4 0 632852768 752865280 129847 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 183805 129847 379 95 0 178787 0 [pid=661/tid=662] ppid=659 vsize=735220 CPUtime=1203.83 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 198895 0 0 0 120305 78 0 0 25 0 4 0 632852769 752865280 129849 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=735220 CPUtime=1203.84 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 220450 0 0 0 120296 88 0 0 25 0 4 0 632852769 752865280 129849 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=735220 CPUtime=1188.93 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 150333 0 0 0 118839 54 0 0 25 0 4 0 632852769 752865280 129849 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.04 Current children cumulated vsize (KiB) 735220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.8 s] /proc/loadavg: 8.10 8.11 8.09 5/366 709 /proc/meminfo: memFree=25210860/32951124 swapFree=63083164/67111528 [pid=661] ppid=659 vsize=735220 CPUtime=4800.04 cores=0,2,4,6 /proc/661/stat : 661 (strangenight2-m) R 659 661 32471 0 -1 4202496 665396 0 0 0 479752 252 0 0 25 0 4 0 632852768 752865280 129847 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/661/statm: 183805 129847 379 95 0 178787 0 [pid=661/tid=662] ppid=659 vsize=735220 CPUtime=1203.83 cores=0,2,4,6 /proc/661/task/662/stat : 662 (strangenight2-m) R 659 661 32471 0 -1 4202560 198895 0 0 0 120305 78 0 0 25 0 4 0 632852769 752865280 129849 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=661/tid=663] ppid=659 vsize=735220 CPUtime=1203.84 cores=0,2,4,6 /proc/661/task/663/stat : 663 (strangenight2-m) R 659 661 32471 0 -1 4202560 220450 0 0 0 120296 88 0 0 25 0 4 0 632852769 752865280 129849 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=661/tid=664] ppid=659 vsize=735220 CPUtime=1188.93 cores=0,2,4,6 /proc/661/task/664/stat : 664 (strangenight2-m) R 659 661 32471 0 -1 4202560 150333 0 0 0 118839 54 0 0 25 0 4 0 632852769 752865280 129849 33554432000 4194304 4580107 140735167480800 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.04 Current children cumulated vsize (KiB) 735220 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.85 CPU time (s): 4800.14 CPU user time (s): 4797.58 CPU system time (s): 2.55261 CPU usage (%): 398.733 Max. virtual memory (cumulated for all children) (KiB): 842768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.58 system time used= 2.55261 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 665398 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= 401 involuntary context switches= 24036 runsolver used 4.10738 second user time and 10.1705 second system time The end
Begin job on node141 at 2011-05-14 22:19:32 IDJOB=3366446 IDBENCH=82855 IDSOLVER=1844 FILE ID=node141/3366446-1305404372 RUNJOBID= node141-1305404371-646 PBS_JOBID= 13324452 Free space on /tmp= 73300 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) 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-3366446-1305404372/watcher-3366446-1305404372 -o /tmp/evaluation-result-3366446-1305404372/solver-3366446-1305404372 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366446-1305404372.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 99cb8b7378c2be1a0d9a52d8a949ecd4 RANDOM SEED=1990748992 node141.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.806 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.806 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 : 5362.96 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.806 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.806 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.806 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.84 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.806 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.806 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.75 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.806 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: 25736848 kB Buffers: 226640 kB Cached: 4779612 kB SwapCached: 15708 kB Active: 1974448 kB Inactive: 5000424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25736848 kB SwapTotal: 67111528 kB SwapFree: 63083164 kB Dirty: 11148 kB Writeback: 0 kB AnonPages: 1959568 kB Mapped: 12436 kB Slab: 136176 kB PageTables: 38012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 86227840 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= 73292 MiB End job on node141 at 2011-05-14 22:39:37