| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.29 | 1201.93 |
| Name | random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf |
| MD5SUM | 9c7b3f326f7257fd8377a35f8807c0d3 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 650 |
| Number of clauses | 2769 |
| Sum of the clauses size | 8307 |
| 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 | 2769 |
| 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-3174162-1304106716.cnf' 0.00/0.00 c -- header says num vars: 650 0.00/0.00 c -- header says num clauses: 2769 0.00/0.00 c -- clauses added: 0 learnts, 2769 normals, 0 xors 0.00/0.00 c -- vars added 650 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 650 2769 0 0 8307 0 no data no data 0.00/0.01 c asymm cl-useful: 0/2769/2769 lits-rem:0 time: 0.00 0.00/0.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.01 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 650 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: 16 v-fix: 0 time: 0.00 s 0.00/0.01 c Finding binary XORs T: 0.00 s found: 0 0.00/0.03 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.00/0.03 c calculated reachability. Time: 0.00 0.00/0.03 c Calc default polars - time: 0.00 s pos: 287 undec: 67 neg: 296 0.00/0.03 c ========================================================================================= 0.00/0.03 c types(t): F = full restart, N = normal restart 0.00/0.03 c types(t): S = simplification begin/end, E = solution found 0.00/0.03 c restart types(rt): st = static, dy = dynamic 0.00/0.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.00/0.03 c B st 0 0 634 2748 0 0 8330 0 no data no data 0.12/0.07 c Decided on static restart strategy 0.41/0.17 c N st 8 4920 634 2748 0 4861 8330 134781 no data no data 1.56/0.45 c N st 10 11304 634 2748 0 4498 8330 87465 no data no data 2.77/0.73 c N st 11 17051 634 2748 0 10165 8330 254974 no data no data 4.76/1.20 c F st 12 25001 634 2748 0 12444 8330 328301 no data no data 4.76/1.20 c N st 12 25001 634 2748 0 12444 8330 328301 no data no data 5.56/1.46 c Decided on static restart strategy 5.56/1.46 c N st 18 30000 634 2748 0 10730 8330 240976 no data no data 5.56/1.46 c S st 18 30000 634 2748 0 10730 8330 240976 no data no data 5.56/1.49 c S st 18 30503 634 2748 0 11233 8330 254180 no data no data 5.56/1.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.96/1.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 5.96/1.50 c blocked clauses removed: 0 vars: 0 tried: 634 T: 0.00 s 5.96/1.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.96/1.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.96/1.50 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 5.96/1.50 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 5.96/1.50 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.96/1.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.96/1.56 c lits-rem: 105 cl-subs: 252 v-elim: 0 v-fix: 0 time: 0.04 s 5.96/1.56 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.01 5.96/1.56 c calculated reachability. Time: 0.00 5.96/1.56 c N st 18 30503 634 2748 0 10981 8330 245377 no data no data 7.55/1.99 c N st 20 37613 634 2748 0 10201 8330 200571 no data no data 9.55/2.43 c N st 21 44013 634 2748 0 16540 8330 388370 no data no data 9.95/2.54 c S st 22 45754 634 2748 0 9438 8330 159755 no data no data 9.95/2.57 c S st 22 46259 634 2748 0 9943 8330 172539 no data no data 9.95/2.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 9.95/2.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 9.95/2.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 9.95/2.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 9.95/2.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.95/2.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 9.95/2.57 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 9.95/2.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 9.95/2.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 9.95/2.59 c lits-rem: 53 cl-subs: 48 v-elim: 0 v-fix: 0 time: 0.01 s 9.95/2.59 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 9.95/2.59 c vivif2 -- cl tried 9895 cl shrink 0 lits rem 0 time: 0.00 10.35/2.60 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.01 10.35/2.60 c calculated reachability. Time: 0.00 10.35/2.60 c N st 22 46259 634 2748 0 9895 8330 170853 no data no data 13.94/3.59 c N st 23 60656 634 2748 0 14290 8330 297112 no data no data 17.16/4.30 c N st 24 69389 634 2748 0 12055 8330 213202 no data no data 17.16/4.30 c S st 24 69389 634 2748 0 12055 8330 213202 no data no data 17.16/4.33 c S st 24 69895 634 2748 0 12561 8330 226031 no data no data 17.16/4.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 17.16/4.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 17.16/4.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 17.16/4.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 17.16/4.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.16/4.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 17.16/4.34 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 17.16/4.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 17.16/4.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.16/4.37 c lits-rem: 27 cl-subs: 100 v-elim: 0 v-fix: 0 time: 0.02 s 17.16/4.37 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 17.16/4.37 c vivif2 -- cl tried 12461 cl shrink 0 lits rem 0 time: 0.00 17.16/4.38 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.01 17.16/4.38 c calculated reachability. Time: 0.00 17.16/4.38 c N st 24 69895 634 2748 0 12461 8330 222716 no data no data 23.14/5.80 c F st 25 87500 634 2748 0 18053 8330 388414 no data no data 23.14/5.80 c N st 25 87500 634 2748 0 18053 8330 388414 no data no data 24.74/6.23 c Decided on static restart strategy 25.54/6.48 c N st 32 95538 634 2748 0 13151 8330 202373 no data no data 28.33/7.17 c N st 34 104843 634 2748 0 22305 8330 469639 no data no data 28.33/7.17 c S st 34 104843 634 2748 0 22305 8330 469639 no data no data 28.73/7.22 c S st 34 105348 634 2748 0 22810 8330 482879 no data no data 28.73/7.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 28.73/7.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 28.73/7.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 28.73/7.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 28.73/7.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 28.73/7.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 28.73/7.23 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 28.73/7.24 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 28.73/7.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.53/7.42 c lits-rem: 240 cl-subs: 596 v-elim: 0 v-fix: 0 time: 0.17 s 29.53/7.42 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 29.53/7.43 c vivif2 -- cl tried 22214 cl shrink 0 lits rem 0 time: 0.01 29.53/7.44 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.01 29.53/7.44 c calculated reachability. Time: 0.00 29.53/7.44 c N st 34 105348 634 2748 0 22214 8330 463335 no data no data 32.72/8.26 c N st 35 114946 634 2748 0 17784 8330 302680 no data no data 37.52/9.49 c N st 36 129343 634 2748 0 17237 8330 275286 no data no data 45.91/11.53 c N st 37 150938 634 2748 0 22760 8330 437456 no data no data 48.70/12.20 c S st 38 158023 634 2748 0 29707 8330 646798 no data no data 48.70/12.28 c S st 38 158526 634 2748 0 30210 8330 660124 no data no data 48.70/12.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 48.70/12.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 49.10/12.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 49.10/12.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 49.10/12.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 49.10/12.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 49.10/12.30 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 49.10/12.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 49.10/12.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 51.10/12.81 c lits-rem: 306 cl-subs: 1373 v-elim: 0 v-fix: 0 time: 0.49 s 51.10/12.81 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 51.10/12.82 c vivif2 -- cl tried 28837 cl shrink 0 lits rem 0 time: 0.01 51.10/12.84 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.02 51.10/12.84 c calculated reachability. Time: 0.00 51.10/12.84 c N st 38 158526 634 2748 0 28837 8330 613364 no data no data 71.47/17.96 c N st 39 207115 634 2748 0 23499 8330 391673 no data no data 85.85/21.56 c N st 40 237792 634 2748 0 33985 8330 684951 no data no data 85.85/21.56 c S st 40 237792 634 2748 0 33985 8330 684951 no data no data 86.25/21.65 c S st 40 238297 634 2748 0 34489 8330 698716 no data no data 86.25/21.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 86.25/21.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 86.25/21.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 86.25/21.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 86.25/21.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 86.25/21.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 86.25/21.66 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 86.25/21.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 86.25/21.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 89.05/22.32 c lits-rem: 232 cl-subs: 1390 v-elim: 0 v-fix: 0 time: 0.63 s 89.05/22.32 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 89.05/22.33 c vivif2 -- cl tried 33099 cl shrink 0 lits rem 0 time: 0.01 89.05/22.35 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.02 89.05/22.35 c calculated reachability. Time: 0.00 89.05/22.35 c N st 40 238297 634 2748 0 33099 8330 654564 no data no data 123.03/30.83 c F st 41 306250 634 2748 0 34905 8330 674764 no data no data 123.03/30.83 c N st 41 306250 634 2748 0 34905 8330 674764 no data no data 125.80/31.51 c Decided on static restart strategy 137.78/34.51 c N st 51 334552 634 2748 0 39248 8330 762696 no data no data 149.77/37.55 c N st 53 357446 634 2748 0 37199 8330 691040 no data no data 149.77/37.55 c S st 53 357446 634 2748 0 37199 8330 691040 no data no data 150.17/37.65 c S st 53 357953 634 2748 0 37706 8330 704591 no data no data 150.17/37.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 150.17/37.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 150.17/37.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 150.17/37.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 150.17/37.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 150.17/37.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 150.17/37.66 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 150.17/37.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 150.17/37.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 152.17/38.11 c lits-rem: 312 cl-subs: 945 v-elim: 0 v-fix: 0 time: 0.42 s 152.17/38.11 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 152.17/38.12 c vivif2 -- cl tried 36761 cl shrink 0 lits rem 0 time: 0.01 152.17/38.14 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.02 152.17/38.15 c calculated reachability. Time: 0.00 152.17/38.15 c N st 53 357953 634 2748 0 36761 8330 672055 no data no data 169.35/42.45 c N st 54 390348 634 2748 0 42980 8330 798450 no data no data 198.51/49.74 c N st 55 438936 634 2748 0 36820 8330 602671 no data no data 244.46/61.27 c N st 56 511818 634 2748 0 50201 8330 972938 no data no data 259.63/65.07 c N st 57 536929 634 2748 0 44622 8330 801738 no data no data 259.63/65.07 c S st 57 536929 634 2748 0 44622 8330 801738 no data no data 260.03/65.19 c S st 57 537433 634 2748 0 45125 8330 815544 no data no data 260.03/65.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 260.43/65.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.02 260.43/65.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 260.43/65.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 260.43/65.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 260.43/65.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 260.43/65.21 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 260.43/65.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 260.43/65.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 262.43/65.71 c lits-rem: 269 cl-subs: 614 v-elim: 0 v-fix: 0 time: 0.46 s 262.43/65.71 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 262.43/65.72 c vivif2 -- cl tried 44511 cl shrink 0 lits rem 0 time: 0.01 262.43/65.75 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.03 262.43/65.76 c calculated reachability. Time: 0.00 262.43/65.76 c N st 57 537433 634 2748 0 44511 8330 792814 no data no data 378.28/94.78 c N st 58 701417 634 2748 0 38604 8330 499255 no data no data 463.77/116.12 c N st 59 806150 634 2748 0 67666 8330 1326316 no data no data 463.77/116.12 c S st 59 806150 634 2748 0 67666 8330 1326316 no data no data 464.57/116.31 c S st 59 806655 634 2748 0 68169 8330 1340150 no data no data 464.57/116.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 464.57/116.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.03 464.57/116.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 464.57/116.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 464.57/116.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 464.57/116.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 464.57/116.34 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 464.57/116.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 464.97/116.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 481.75/120.67 c lits-rem: 536 cl-subs: 3637 v-elim: 0 v-fix: 0 time: 4.26 s 481.75/120.67 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 481.75/120.69 c vivif2 -- cl tried 64532 cl shrink 0 lits rem 0 time: 0.02 482.15/120.75 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.06 482.15/120.75 c calculated reachability. Time: 0.00 482.15/120.75 c N st 59 806655 634 2748 0 64532 8330 1229973 no data no data 724.24/181.39 c F st 60 1071875 634 2748 0 80084 8330 1609019 no data no data 724.24/181.39 c N st 60 1071875 634 2748 0 80084 8330 1609019 no data no data 743.81/186.27 c N dy 112 1091950 634 2748 0 55918 8330 769103 19.12 20.93 765.38/191.63 c N dy 191 1112033 634 2748 0 75754 8330 1309084 18.68 20.39 790.15/197.81 c N dy 287 1132203 634 2748 0 50471 8330 570381 18.83 19.94 816.93/204.58 c N dy 387 1160065 634 2748 0 78015 8330 1329322 18.80 19.97 850.46/212.97 c N dy 469 1182762 634 2748 0 54097 8330 622999 18.77 19.84 874.05/218.84 c N dy 559 1202973 634 2748 0 74122 8330 1170411 18.78 19.79 882.83/221.05 c S st 580 1209982 634 2748 0 81046 8330 1356826 18.74 16.87 883.61/221.28 c S st 580 1210486 634 2748 0 81550 8330 1370823 18.74 no data 883.61/221.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 884.01/221.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 884.01/221.32 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 884.01/221.32 c bin-w-bin subsume rem 0 bins time: 0.00 s 884.01/221.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 884.01/221.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 884.01/221.32 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 884.01/221.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 884.01/221.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 888.80/222.54 c lits-rem: 375 cl-subs: 1613 v-elim: 0 v-fix: 0 time: 1.16 s 888.80/222.54 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 888.80/222.57 c vivif2 -- cl tried 79937 cl shrink 0 lits rem 0 time: 0.02 889.20/222.64 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.07 889.20/222.64 c calculated reachability. Time: 0.00 889.20/222.64 c N dy 580 1210486 634 2748 0 79937 8330 1324859 18.74 no data 914.77/229.08 c N dy 675 1230546 634 2748 0 52376 8330 549539 18.81 19.82 937.94/234.89 c N dy 742 1254769 634 2748 0 76269 8330 1198423 18.69 19.84 967.50/242.28 c N dy 808 1277958 634 2748 0 50739 8330 475960 18.56 19.72 986.28/246.94 c N dy 904 1298051 634 2748 0 70615 8330 1023431 18.60 20.34 1013.84/253.81 c N dy 1002 1318924 634 2748 0 91254 8330 1587812 18.62 19.81 1037.03/259.64 c N dy 1107 1338980 634 2748 0 61708 8330 758444 18.67 22.97 1063.39/266.20 c N dy 1197 1362849 634 2748 0 85267 8330 1401950 18.64 19.63 1092.94/273.64 c N dy 1301 1382950 634 2748 0 54739 8330 534488 18.68 20.00 1113.30/278.78 c N dy 1423 1402963 634 2748 0 74590 8330 1092630 18.75 23.17 1142.09/285.92 c N dy 1491 1424407 634 2748 0 95770 8330 1666420 18.69 19.72 1164.47/291.57 c N dy 1568 1444459 634 2748 0 64183 8330 774317 18.69 20.39 1193.60/298.88 c N dy 1638 1469379 634 2748 0 88776 8330 1444256 18.66 19.69 1222.36/306.01 c N dy 1706 1490979 634 2748 0 57698 8330 563970 18.64 19.78 1243.55/311.34 c N dy 1791 1511079 634 2748 0 77569 8330 1115003 18.65 19.73 1279.88/320.40 c N dy 1871 1537492 634 2748 0 103728 8330 1844251 18.63 19.62 1305.07/326.75 c N dy 1983 1560183 634 2748 0 72756 8330 957173 18.65 19.72 1332.21/333.50 c N dy 2078 1580242 634 2748 0 92604 8330 1506665 18.67 20.60 1363.76/341.41 c N dy 2170 1600674 634 2748 0 58443 8330 539134 18.68 19.67 1386.53/347.13 c N dy 2273 1621509 634 2748 0 79069 8330 1118809 18.71 20.01 1414.52/354.12 c N dy 2362 1641566 634 2748 0 98930 8330 1676752 18.73 19.85 1443.66/361.42 c N dy 2460 1661745 634 2748 0 63481 8330 651344 18.74 19.73 1479.61/370.42 c N dy 2539 1693170 634 2748 0 94438 8330 1492572 18.70 19.74 1509.17/377.83 c S st 2632 1710486 634 2748 0 111594 8330 1973565 18.72 16.94 1510.37/378.16 c S st 2632 1710990 634 2748 0 112098 8330 1987735 18.72 no data 1510.37/378.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1510.77/378.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.06 1510.77/378.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1510.77/378.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 1510.77/378.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1510.77/378.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 1510.77/378.22 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1510.77/378.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 1511.18/378.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1525.14/381.89 c lits-rem: 758 cl-subs: 3431 v-elim: 0 v-fix: 0 time: 3.57 s 1525.14/381.89 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 1525.54/381.92 c vivif2 -- cl tried 108667 cl shrink 0 lits rem 0 time: 0.03 1525.94/382.03 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.11 1525.94/382.03 c calculated reachability. Time: 0.00 1525.94/382.03 c N dy 2632 1710990 634 2748 0 108667 8330 1895707 18.72 no data 1549.91/388.08 c N dy 2697 1732576 634 2748 0 73657 8330 909166 18.71 19.98 1593.45/398.94 c N dy 2788 1764344 634 2748 0 104930 8330 1772492 18.68 19.76 1626.61/407.28 c N dy 2818 1792427 634 2748 0 75299 8330 918564 18.62 19.70 1654.17/414.12 c N dy 2928 1812517 634 2748 0 95178 8330 1468492 18.64 19.69 1686.94/422.33 c N dy 2992 1832544 634 2748 0 114988 8330 2021891 18.63 19.62 1709.70/428.00 c N dy 3112 1852704 634 2748 0 76724 8330 958454 18.66 19.91 1736.86/434.87 c N dy 3236 1872783 634 2748 0 96623 8330 1518587 18.68 19.80 1823.57/456.57 c N dy 3273 1940628 634 2748 0 104221 8330 1692344 18.46 19.56 1857.50/465.03 c N dy 3391 1960719 634 2748 0 63908 8330 555286 18.49 21.34 1878.27/470.25 c N dy 3433 1980761 634 2748 0 83667 8330 1105796 18.47 19.63 1907.43/477.57 c N dy 3516 2000837 634 2748 0 103512 8330 1653590 18.47 21.96 1946.98/487.41 c N dy 3642 2020875 634 2748 0 62110 8330 481741 18.50 23.49 1970.14/493.28 c N dy 3696 2042690 634 2748 0 83647 8330 1060662 18.48 19.58 2002.90/501.42 c N dy 3814 2064048 634 2748 0 104774 8330 1651207 18.49 19.47 2043.65/511.63 c N dy 3925 2085836 634 2748 0 64079 8330 512729 18.51 19.64 2067.61/517.67 c N dy 4035 2107073 634 2748 0 85112 8330 1101051 18.53 19.69 2098.37/525.30 c N dy 4135 2127172 634 2748 0 104981 8330 1649061 18.54 21.93 2137.11/535.04 c N dy 4250 2147255 634 2748 0 124857 8330 2200583 18.55 19.77 2161.50/541.19 c N dy 4352 2167510 634 2748 0 81569 8330 971607 18.57 19.68 2190.63/548.46 c N dy 4463 2187580 634 2748 0 101432 8330 1524106 18.58 20.70 2227.80/557.72 c N dy 4531 2208207 634 2748 0 121825 8330 2085947 18.57 19.60 2234.17/559.32 c S st 4552 2210991 634 2748 0 124589 8330 2163594 18.57 no data 2235.77/559.73 c S st 4552 2211492 634 2748 0 125090 8330 2177528 18.57 no data 2235.77/559.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2236.19/559.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.06 2236.19/559.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2236.19/559.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 2236.19/559.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2236.19/559.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 2236.19/559.80 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2236.19/559.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 2236.59/559.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2248.55/562.99 c lits-rem: 393 cl-subs: 3000 v-elim: 0 v-fix: 0 time: 3.09 s 2248.55/562.99 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 2248.95/563.02 c vivif2 -- cl tried 122090 cl shrink 0 lits rem 0 time: 0.03 2249.36/563.15 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.13 2249.36/563.15 c calculated reachability. Time: 0.00 2249.36/563.15 c N dy 4552 2211492 634 2748 0 122090 8330 2093896 18.57 no data 2278.10/570.39 c N dy 4668 2231621 634 2748 0 77755 8330 857045 18.59 19.57 2306.49/577.47 c N dy 4781 2251674 634 2748 0 97623 8330 1411530 18.60 19.66 2342.81/586.50 c N dy 4907 2271756 634 2748 0 117511 8330 1968118 18.62 20.63 2378.77/595.51 c N dy 5012 2291907 634 2748 0 72138 8330 671286 18.63 19.64 2404.33/601.92 c N dy 5116 2312244 634 2748 0 92284 8330 1237072 18.65 19.63 2435.89/609.88 c N dy 5212 2332250 634 2748 0 112030 8330 1786763 18.66 19.64 2478.25/620.41 c N dy 5326 2352258 634 2748 0 131823 8330 2342540 18.67 21.52 2504.21/626.91 c N dy 5460 2372528 634 2748 0 85633 8330 1033018 18.69 19.79 2535.37/634.70 c N dy 5566 2392754 634 2748 0 105605 8330 1588542 18.70 19.75 2575.69/644.82 c N dy 5669 2412843 634 2748 0 125463 8330 2139581 18.71 20.85 2609.67/653.38 c N dy 5776 2433785 634 2748 0 78922 8330 818319 18.72 19.83 2639.61/660.88 c N dy 5854 2455367 634 2748 0 100258 8330 1405836 18.72 19.79 2680.75/671.15 c N dy 5989 2475388 634 2748 0 120099 8330 1962721 18.74 22.39 2721.10/681.26 c N dy 6100 2495389 634 2748 0 71637 8330 592571 18.75 21.10 2747.06/687.79 c N dy 6223 2515435 634 2748 0 91468 8330 1146885 18.76 20.52 2784.61/697.14 c N dy 6325 2537135 634 2748 0 112910 8330 1738632 18.77 19.93 2826.15/707.56 c N dy 6430 2557156 634 2748 0 132714 8330 2294281 18.78 21.10 2857.31/715.33 c N dy 6530 2577219 634 2748 0 83284 8330 888282 18.79 21.50 2887.27/722.88 c N dy 6648 2597298 634 2748 0 103204 8330 1458296 18.80 20.79 2924.81/732.24 c N dy 6735 2617537 634 2748 0 123213 8330 2017321 18.80 19.87 2967.16/742.84 c N dy 6836 2637570 634 2748 0 72785 8330 578416 18.81 19.90 2993.92/749.51 c N dy 6972 2657607 634 2748 0 92638 8330 1139875 18.83 20.43 3025.88/757.53 c N dy 7040 2677668 634 2748 0 112444 8330 1683925 18.83 22.79 3076.21/770.17 c N dy 7122 2702526 634 2748 0 136958 8330 2361341 18.82 20.05 3094.19/774.60 c S st 7170 2711493 634 2748 0 74658 8330 611647 18.83 no data 3094.59/774.78 c S st 7170 2711993 634 2748 0 75157 8330 625576 18.83 no data 3094.59/774.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3094.99/774.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.03 3094.99/774.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3094.99/774.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 3094.99/774.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3094.99/774.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 3094.99/774.81 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3094.99/774.83 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 3094.99/774.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3095.39/774.98 c lits-rem: 17 cl-subs: 119 v-elim: 0 v-fix: 0 time: 0.13 s 3095.39/774.98 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 3095.39/775.00 c vivif2 -- cl tried 75038 cl shrink 0 lits rem 0 time: 0.01 3095.79/775.06 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.06 3095.79/775.06 c calculated reachability. Time: 0.00 3095.79/775.06 c N dy 7170 2711993 634 2748 0 75038 8330 621918 18.83 no data 3122.95/781.88 c N dy 7282 2732490 634 2748 0 95289 8330 1190638 18.84 20.09 3158.51/790.70 c N dy 7371 2752870 634 2748 0 115469 8330 1756773 18.84 19.87 3202.45/801.74 c N dy 7508 2772916 634 2748 0 135305 8330 2319043 18.86 19.85 3238.79/810.86 c N dy 7573 2793782 634 2748 0 83717 8330 833787 18.86 20.09 3267.55/818.07 c N dy 7667 2813860 634 2748 0 103580 8330 1390349 18.86 20.89 3305.03/827.46 c N dy 7783 2833916 634 2748 0 123434 8330 1949283 18.87 19.88 3350.53/838.96 c N dy 7882 2853951 634 2748 0 143248 8330 2501437 18.87 19.91 3380.17/846.40 c N dy 7991 2874089 634 2748 0 89977 8330 998550 18.88 19.88 3415.73/855.36 c N dy 8074 2894179 634 2748 0 109857 8330 1560695 18.89 19.94 3476.04/870.40 c N dy 8181 2914381 634 2748 0 129832 8330 2124357 18.90 20.02 3543.55/887.34 c N dy 8279 2934401 634 2748 0 75451 8330 566982 18.90 20.03 3574.70/895.14 c N dy 8386 2954654 634 2748 0 95457 8330 1131407 18.91 19.93 3608.25/903.55 c N dy 8458 2975100 634 2748 0 115662 8330 1688367 18.91 19.91 3650.98/914.20 c N dy 8572 2995253 634 2748 0 135618 8330 2251016 18.91 20.07 3694.93/925.28 c N dy 8702 3015296 634 2748 0 80294 8330 682122 18.93 20.61 3723.28/932.31 c N dy 8815 3035322 634 2748 0 100120 8330 1245294 18.94 20.15 3758.84/941.28 c N dy 8917 3055542 634 2748 0 120118 8330 1810475 18.94 19.97 3802.38/952.15 c N dy 8992 3076063 634 2748 0 140368 8330 2366916 18.94 19.97 3842.72/962.24 c N dy 9067 3096538 634 2748 0 84427 8330 772801 18.94 20.02 3870.68/969.25 c N dy 9123 3116668 634 2748 0 104261 8330 1316826 18.94 20.33 3907.44/978.40 c N dy 9221 3136733 634 2748 0 124098 8330 1872321 18.94 20.85 3951.38/989.45 c N dy 9311 3156822 634 2748 0 143995 8330 2433747 18.95 23.02 3990.53/999.24 c N dy 9399 3176906 634 2748 0 86710 8330 815010 18.95 21.66 4021.29/1006.95 c N dy 9530 3196907 634 2748 0 106517 8330 1376512 18.96 22.50 4049.25/1013.97 c S st 9600 3211993 634 2748 0 121446 8330 1792395 18.97 19.82 4050.84/1014.32 c S st 9600 3212494 634 2748 0 121947 8330 1806254 18.97 no data 4050.84/1014.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 4050.84/1014.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.06 4050.84/1014.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4050.84/1014.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 4050.84/1014.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4050.84/1014.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 634 time: 0.00 s 4050.84/1014.39 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4051.24/1014.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 4051.24/1014.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4058.85/1016.32 c lits-rem: 183 cl-subs: 2263 v-elim: 0 v-fix: 0 time: 1.84 s 4058.85/1016.32 c vivif2 -- cl tried 2748 cl shrink 0 lits rem 0 time: 0.00 4058.85/1016.35 c vivif2 -- cl tried 119684 cl shrink 0 lits rem 0 time: 0.03 4059.25/1016.47 c asymm cl-useful: 0/2748/2748 lits-rem:0 time: 0.12 4059.25/1016.48 c calculated reachability. Time: 0.00 4059.25/1016.48 c N dy 9600 3212494 634 2748 0 119684 8330 1741506 18.97 no data 4103.57/1027.57 c N dy 9685 3232694 634 2748 0 139637 8330 2298604 18.97 20.45 4149.11/1038.95 c N dy 9746 3252795 634 2748 0 81423 8330 648983 18.97 21.04 4179.87/1046.67 c N dy 9856 3274180 634 2748 0 102591 8330 1248352 18.97 20.20 4223.41/1057.50 c N dy 9935 3297937 634 2748 0 126056 8330 1904689 18.97 20.19 4268.55/1068.88 c N dy 10040 3318015 634 2748 0 145923 8330 2467914 18.97 20.16 4316.88/1080.98 c N dy 10162 3338177 634 2748 0 86788 8330 777372 18.98 20.20 4360.03/1091.74 c N dy 10279 3358210 634 2748 0 106579 8330 1336517 18.99 21.61 4413.15/1105.01 c N dy 10393 3378573 634 2748 0 126722 8330 1901321 19.00 20.15 4463.10/1117.55 c N dy 10490 3398683 634 2748 0 146595 8330 2465235 19.01 20.02 4509.42/1129.15 c N dy 10624 3418759 634 2748 0 86380 8330 742247 19.02 21.01 4539.78/1136.79 c N dy 10734 3438897 634 2748 0 106329 8330 1309001 19.02 20.07 4578.52/1146.42 c N dy 10839 3458949 634 2748 0 126146 8330 1865972 19.03 22.76 4640.84/1162.00 c N dy 10922 3487505 634 2748 0 154318 8330 2663999 19.02 20.03 4679.58/1171.72 c N dy 11016 3507593 634 2748 0 93133 8330 908621 19.03 20.03 4716.33/1180.95 c N dy 11111 3530558 634 2748 0 115840 8330 1554191 19.03 20.18 4759.47/1191.71 c N dy 11200 3550603 634 2748 0 135664 8330 2108546 19.03 20.30
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-3174162-1304106716/watcher-3174162-1304106716 -o /tmp/evaluation-result-3174162-1304106716/solver-3174162-1304106716 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174162-1304106716.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 8.12 8.12 7.91 1/173 9821 /proc/meminfo: memFree=30989760/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 522271253 52441088 353 33554432000 4194304 4627427 140734733209040 18446744073709551615 47938142341036 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 12803 353 303 106 0 7774 0 [pid=9821/tid=9822] ppid=9819 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 522271253 52441088 353 33554432000 4194304 4627427 140734733209040 18446744073709551615 210647146427 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522271253 52441088 353 33554432000 4194304 4627427 140734733209040 18446744073709551615 47938142341042 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522271253 52441088 353 33554432000 4194304 4627427 140734733209040 18446744073709551615 210642193494 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.038852 s] /proc/loadavg: 8.12 8.12 7.91 1/173 9821 /proc/meminfo: memFree=30989760/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=282340 CPUtime=0.12 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 1517 0 0 0 12 0 0 0 18 0 4 0 522271253 289116160 1408 33554432000 4194304 4627427 140734733209040 18446744073709551615 210647251487 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 70585 1408 384 106 0 65556 0 [pid=9821/tid=9822] ppid=9819 vsize=282340 CPUtime=0.03 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 318 0 0 0 3 0 0 0 18 0 4 0 522271253 289116160 1408 33554432000 4194304 4627427 140734733209040 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=282340 CPUtime=0.02 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 257 0 0 0 2 0 0 0 25 0 4 0 522271253 289116160 1408 33554432000 4194304 4627427 140734733209040 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=282340 CPUtime=0.02 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 161 0 0 0 2 0 0 0 18 0 4 0 522271253 289116160 1408 33554432000 4194304 4627427 140734733209040 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 282340 [startup+0.111979 s] /proc/loadavg: 8.12 8.12 7.91 1/173 9821 /proc/meminfo: memFree=30989760/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=282616 CPUtime=0.41 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 1877 0 0 0 41 0 0 0 18 0 4 0 522271253 289398784 1768 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 70654 1768 384 106 0 65625 0 [pid=9821/tid=9822] ppid=9819 vsize=282616 CPUtime=0.1 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 397 0 0 0 10 0 0 0 18 0 4 0 522271253 289398784 1768 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=282616 CPUtime=0.09 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 341 0 0 0 9 0 0 0 25 0 4 0 522271253 289398784 1768 33554432000 4194304 4627427 140734733209040 18446744073709551615 210647251438 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=282616 CPUtime=0.1 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 264 0 0 0 10 0 0 0 18 0 4 0 522271253 289398784 1768 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 282616 [startup+0.300981 s] /proc/loadavg: 8.12 8.12 7.91 1/173 9821 /proc/meminfo: memFree=30989760/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=284396 CPUtime=1.16 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 2982 0 0 0 116 0 0 0 18 0 4 0 522271253 291221504 2220 33554432000 4194304 4627427 140734733209040 18446744073709551615 4326708 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 71099 2220 385 106 0 66070 0 [pid=9821/tid=9822] ppid=9819 vsize=284396 CPUtime=0.29 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 667 0 0 0 29 0 0 0 18 0 4 0 522271253 291221504 2220 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=284396 CPUtime=0.28 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 609 0 0 0 28 0 0 0 25 0 4 0 522271253 291221504 2220 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=284396 CPUtime=0.29 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 556 0 0 0 29 0 0 0 18 0 4 0 522271253 291221504 2220 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 284396 [startup+0.700914 s] /proc/loadavg: 8.12 8.12 7.91 1/173 9821 /proc/meminfo: memFree=30989760/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=285628 CPUtime=2.77 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 4699 0 0 0 276 1 0 0 18 0 4 0 522271253 292483072 2919 33554432000 4194304 4627427 140734733209040 18446744073709551615 4327616 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 71407 2919 385 106 0 66378 0 [pid=9821/tid=9822] ppid=9819 vsize=285628 CPUtime=0.69 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 1092 0 0 0 69 0 0 0 18 0 4 0 522271253 292483072 2919 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=285628 CPUtime=0.68 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 1041 0 0 0 68 0 0 0 25 0 4 0 522271253 292483072 2919 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=285628 CPUtime=0.69 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 1014 0 0 0 69 0 0 0 18 0 4 0 522271253 292483072 2919 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 285628 [startup+1.50078 s] /proc/loadavg: 7.79 8.05 7.89 5/177 9825 /proc/meminfo: memFree=30978840/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=287524 CPUtime=5.96 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 8124 0 0 0 595 1 0 0 20 0 4 0 522271253 294424576 3435 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 71881 3435 389 106 0 66852 0 [pid=9821/tid=9822] ppid=9819 vsize=287524 CPUtime=1.49 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 1915 0 0 0 149 0 0 0 19 0 4 0 522271253 294424576 3435 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=287524 CPUtime=1.47 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 1904 0 0 0 147 0 0 0 25 0 4 0 522271253 294424576 3435 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=287524 CPUtime=1.48 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 1925 0 0 0 148 0 0 0 19 0 4 0 522271253 294424576 3435 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 287524 [startup+3.10051 s] /proc/loadavg: 7.79 8.05 7.89 11/182 9855 /proc/meminfo: memFree=30964384/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=283640 CPUtime=12.35 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 19345 0 0 0 1231 4 0 0 25 0 4 0 522271253 290447360 11002 33554432000 4194304 4627427 140734733209040 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 70910 11002 390 106 0 65881 0 [pid=9821/tid=9822] ppid=9819 vsize=283640 CPUtime=3.09 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 4147 0 0 0 308 1 0 0 25 0 4 0 522271253 290447360 11002 33554432000 4194304 4627427 140734733209040 18446744073709551615 4330352 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=283640 CPUtime=3.07 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 5284 0 0 0 306 1 0 0 25 0 4 0 522271253 290447360 11002 33554432000 4194304 4627427 140734733209040 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=283640 CPUtime=3.09 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 4639 0 0 0 308 1 0 0 23 0 4 0 522271253 290447360 11002 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 283640 [startup+6.30098 s] /proc/loadavg: 7.79 8.05 7.89 9/182 9855 /proc/meminfo: memFree=30904456/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=288332 CPUtime=25.14 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 28639 0 0 0 2508 6 0 0 25 0 4 0 522271253 295251968 14197 33554432000 4194304 4627427 140734733209040 18446744073709551615 4333184 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 72083 14197 389 106 0 67054 0 [pid=9821/tid=9822] ppid=9819 vsize=288332 CPUtime=6.29 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 7637 0 0 0 627 2 0 0 25 0 4 0 522271253 295251968 14197 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=288332 CPUtime=6.25 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 7303 0 0 0 624 1 0 0 25 0 4 0 522271253 295251968 14197 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=288332 CPUtime=6.28 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 6106 0 0 0 627 1 0 0 25 0 4 0 522271253 295251968 14197 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.14 Current children cumulated vsize (KiB) 288332 [startup+12.7009 s] /proc/loadavg: 8.04 8.10 7.90 9/182 9855 /proc/meminfo: memFree=30828336/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=304208 CPUtime=50.7 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 45662 0 0 0 5060 10 0 0 25 0 4 0 522271253 311508992 23135 33554432000 4194304 4627427 140734733209040 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 76052 23135 389 106 0 71023 0 [pid=9821/tid=9822] ppid=9819 vsize=304208 CPUtime=12.69 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 12095 0 0 0 1266 3 0 0 25 0 4 0 522271253 311508992 23135 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=304208 CPUtime=12.61 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 10221 0 0 0 1260 1 0 0 25 0 4 0 522271253 311508992 23135 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=304208 CPUtime=12.68 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 10323 0 0 0 1266 2 0 0 25 0 4 0 522271253 311508992 23135 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.7 Current children cumulated vsize (KiB) 304208 [startup+25.5008 s] /proc/loadavg: 8.12 8.11 7.91 9/182 9855 /proc/meminfo: memFree=30770544/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=316336 CPUtime=101.84 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 67841 0 0 0 10168 16 0 0 25 0 4 0 522271253 323928064 29542 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309197 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 79084 29542 389 106 0 74055 0 [pid=9821/tid=9822] ppid=9819 vsize=316336 CPUtime=25.49 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 18328 0 0 0 2545 4 0 0 25 0 4 0 522271253 323928064 29542 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=316336 CPUtime=25.34 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 16525 0 0 0 2531 3 0 0 25 0 4 0 522271253 323928064 29542 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=316336 CPUtime=25.49 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 13814 0 0 0 2545 4 0 0 25 0 4 0 522271253 323928064 29542 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 316336 [startup+51.1005 s] /proc/loadavg: 8.08 8.10 7.91 9/182 9856 /proc/meminfo: memFree=30723064/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=362620 CPUtime=204.1 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 102107 0 0 0 20384 26 0 0 25 0 4 0 522271253 371322880 37259 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 90655 37259 389 106 0 85626 0 [pid=9821/tid=9822] ppid=9819 vsize=362620 CPUtime=51.08 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 27105 0 0 0 5102 6 0 0 25 0 4 0 522271253 371322880 37259 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=362620 CPUtime=50.81 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 25888 0 0 0 5075 6 0 0 25 0 4 0 522271253 371322880 37259 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=362620 CPUtime=51.08 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 21981 0 0 0 5103 5 0 0 25 0 4 0 522271253 371322880 37259 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 204.1 Current children cumulated vsize (KiB) 362620 [startup+102.307 s] /proc/loadavg: 8.03 8.08 7.91 9/182 9857 /proc/meminfo: memFree=30626928/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=406476 CPUtime=408.66 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 140381 0 0 0 40825 41 0 0 25 0 4 0 522271253 416231424 50851 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 101619 50851 389 106 0 96590 0 [pid=9821/tid=9822] ppid=9819 vsize=406476 CPUtime=102.29 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 38356 0 0 0 10219 10 0 0 25 0 4 0 522271253 416231424 50851 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=406476 CPUtime=101.76 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 34391 0 0 0 10166 10 0 0 25 0 4 0 522271253 416231424 50851 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=406476 CPUtime=102.29 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 33291 0 0 0 10219 10 0 0 25 0 4 0 522271253 416231424 50851 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.66 Current children cumulated vsize (KiB) 406476 [startup+162.301 s] ################ # More data... # ################ [pid=9821] ppid=9819 vsize=604988 CPUtime=2805.38 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 404742 0 0 0 280356 182 0 0 25 0 4 0 522271253 619507712 100659 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 151247 100659 389 106 0 146218 0 [pid=9821/tid=9822] ppid=9819 vsize=604988 CPUtime=702.29 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 120882 0 0 0 70175 54 0 0 25 0 4 0 522271253 619507712 100659 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=604988 CPUtime=698.47 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 91583 0 0 0 69804 43 0 0 25 0 4 0 522271253 619507712 100659 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=604988 CPUtime=702.28 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 115896 0 0 0 70175 53 0 0 25 0 4 0 522271253 619507712 100659 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2805.38 Current children cumulated vsize (KiB) 604988 [startup+762.307 s] /proc/loadavg: 8.17 8.15 8.01 9/182 9884 /proc/meminfo: memFree=30098636/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=668196 CPUtime=3045.08 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 421189 0 0 0 304316 192 0 0 25 0 4 0 522271253 684232704 103728 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 167049 103728 389 106 0 162020 0 [pid=9821/tid=9822] ppid=9819 vsize=668196 CPUtime=762.3 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 127834 0 0 0 76172 58 0 0 25 0 4 0 522271253 684232704 103728 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=668196 CPUtime=758.15 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 93761 0 0 0 75770 45 0 0 25 0 4 0 522271253 684232704 103728 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=668196 CPUtime=762.3 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 122664 0 0 0 76172 58 0 0 25 0 4 0 522271253 684232704 103728 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3045.08 Current children cumulated vsize (KiB) 668196 [startup+822.301 s] /proc/loadavg: 8.11 8.13 8.01 9/182 9888 /proc/meminfo: memFree=30101748/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=594268 CPUtime=3284.73 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 437361 0 0 0 328273 200 0 0 25 0 4 0 522271253 608530432 97818 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 148567 97818 389 106 0 143538 0 [pid=9821/tid=9822] ppid=9819 vsize=594268 CPUtime=822.3 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 134952 0 0 0 82169 61 0 0 25 0 4 0 522271253 608530432 97818 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=594268 CPUtime=817.82 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 96343 0 0 0 81736 46 0 0 25 0 4 0 522271253 608530432 97818 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=594268 CPUtime=822.29 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 126073 0 0 0 82169 60 0 0 25 0 4 0 522271253 608530432 97818 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3284.73 Current children cumulated vsize (KiB) 594268 [startup+882.301 s] /proc/loadavg: 8.34 8.22 8.05 9/182 9890 /proc/meminfo: memFree=30054036/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=683476 CPUtime=3523.57 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 458093 0 0 0 352148 209 0 0 25 0 4 0 522271253 699879424 111588 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 170869 111588 389 106 0 165840 0 [pid=9821/tid=9822] ppid=9819 vsize=683476 CPUtime=882.3 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 140075 0 0 0 88166 64 0 0 25 0 4 0 522271253 699879424 111588 33554432000 4194304 4627427 140734733209040 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=683476 CPUtime=877.48 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 100283 0 0 0 87700 48 0 0 25 0 4 0 522271253 699879424 111588 33554432000 4194304 4627427 140734733209040 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=683476 CPUtime=881.47 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 134841 0 0 0 88085 62 0 0 25 0 4 0 522271253 699879424 111588 33554432000 4194304 4627427 140734733209040 18446744073709551615 4527237 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3523.57 Current children cumulated vsize (KiB) 683476 [startup+942.301 s] /proc/loadavg: 8.20 8.20 8.06 9/182 9892 /proc/meminfo: memFree=30053640/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=683668 CPUtime=3763.23 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 473864 0 0 0 376105 218 0 0 25 0 4 0 522271253 700076032 112170 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 170917 112170 389 106 0 165888 0 [pid=9821/tid=9822] ppid=9819 vsize=683668 CPUtime=942.3 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 146406 0 0 0 94163 67 0 0 25 0 4 0 522271253 700076032 112170 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=683668 CPUtime=937.16 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 102685 0 0 0 93666 50 0 0 25 0 4 0 522271253 700076032 112170 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=683668 CPUtime=941.45 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 141596 0 0 0 94079 66 0 0 25 0 4 0 522271253 700076032 112170 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3763.23 Current children cumulated vsize (KiB) 683668 [startup+1002.3 s] /proc/loadavg: 8.14 8.19 8.06 9/182 9893 /proc/meminfo: memFree=30050252/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=672648 CPUtime=4002.91 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 495400 0 0 0 400061 230 0 0 25 0 4 0 522271253 688791552 106905 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 168162 106905 389 106 0 163133 0 [pid=9821/tid=9822] ppid=9819 vsize=672648 CPUtime=1002.3 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 154104 0 0 0 100158 72 0 0 25 0 4 0 522271253 688791552 106905 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=672648 CPUtime=996.82 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 107986 0 0 0 99630 52 0 0 25 0 4 0 522271253 688791552 106905 33554432000 4194304 4627427 140734733209040 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=672648 CPUtime=1001.45 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 148514 0 0 0 100076 69 0 0 25 0 4 0 522271253 688791552 106905 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4002.91 Current children cumulated vsize (KiB) 672648 [startup+1062.3 s] /proc/loadavg: 8.09 8.17 8.06 9/182 9895 /proc/meminfo: memFree=30079116/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=736520 CPUtime=4242.58 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 513776 0 0 0 424016 242 0 0 25 0 4 0 522271253 754196480 110618 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 184130 110618 389 106 0 179101 0 [pid=9821/tid=9822] ppid=9819 vsize=736520 CPUtime=1062.3 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 161480 0 0 0 106154 76 0 0 25 0 4 0 522271253 754196480 110618 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=736520 CPUtime=1056.49 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 112480 0 0 0 105594 55 0 0 25 0 4 0 522271253 754196480 110618 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=736520 CPUtime=1061.46 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 150529 0 0 0 106075 71 0 0 25 0 4 0 522271253 754196480 110618 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4242.58 Current children cumulated vsize (KiB) 736520 [startup+1122.3 s] /proc/loadavg: 8.10 8.16 8.06 9/182 9897 /proc/meminfo: memFree=29995384/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=764624 CPUtime=4482.25 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 531785 0 0 0 447974 251 0 0 25 0 4 0 522271253 782974976 113778 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 191156 113778 391 106 0 186127 0 [pid=9821/tid=9822] ppid=9819 vsize=764624 CPUtime=1122.3 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 165936 0 0 0 112153 77 0 0 25 0 4 0 522271253 782974976 113778 33554432000 4194304 4627427 140734733209040 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=764624 CPUtime=1116.16 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 117728 0 0 0 111558 58 0 0 25 0 4 0 522271253 782974976 113778 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=764624 CPUtime=1121.46 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 158044 0 0 0 112072 74 0 0 25 0 4 0 522271253 782974976 113778 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4482.25 Current children cumulated vsize (KiB) 764624 [startup+1182.3 s] /proc/loadavg: 8.18 8.18 8.08 9/182 9898 /proc/meminfo: memFree=30017420/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=674244 CPUtime=4721.93 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 551913 0 0 0 471930 263 0 0 25 0 4 0 522271253 690425856 114064 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 168561 114064 391 106 0 163532 0 [pid=9821/tid=9822] ppid=9819 vsize=674244 CPUtime=1182.31 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 172814 0 0 0 118149 82 0 0 25 0 4 0 522271253 690425856 114064 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=674244 CPUtime=1175.84 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 121433 0 0 0 117524 60 0 0 25 0 4 0 522271253 690425856 114064 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=674244 CPUtime=1181.46 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 162152 0 0 0 118070 76 0 0 25 0 4 0 522271253 690425856 114064 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4721.93 Current children cumulated vsize (KiB) 674244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.19 8.18 8.08 10/182 9899 /proc/meminfo: memFree=29990760/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=727804 CPUtime=4800.24 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 554963 0 0 0 479758 266 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 181951 117114 391 106 0 176922 0 [pid=9821/tid=9822] ppid=9819 vsize=727804 CPUtime=1201.91 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 174511 0 0 0 120108 83 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=727804 CPUtime=1195.33 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 121433 0 0 0 119473 60 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=727804 CPUtime=1201.07 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 162475 0 0 0 120031 76 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.24 Current children cumulated vsize (KiB) 727804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.9 s] /proc/loadavg: 8.19 8.18 8.08 10/182 9899 /proc/meminfo: memFree=29990760/32951132 swapFree=67080208/67111528 [pid=9821] ppid=9819 vsize=727804 CPUtime=4800.24 cores=1,3,5,7 /proc/9821/stat : 9821 (strangenight2-m) R 9819 9821 9622 0 -1 4202496 554963 0 0 0 479758 266 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9821/statm: 181951 117114 391 106 0 176922 0 [pid=9821/tid=9822] ppid=9819 vsize=727804 CPUtime=1201.91 cores=1,3,5,7 /proc/9821/task/9822/stat : 9822 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 174511 0 0 0 120108 83 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9821/tid=9823] ppid=9819 vsize=727804 CPUtime=1195.33 cores=1,3,5,7 /proc/9821/task/9823/stat : 9823 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 121433 0 0 0 119473 60 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9821/tid=9824] ppid=9819 vsize=727804 CPUtime=1201.07 cores=1,3,5,7 /proc/9821/task/9824/stat : 9824 (strangenight2-m) R 9819 9821 9622 0 -1 4202560 162475 0 0 0 120031 76 0 0 25 0 4 0 522271253 745271296 117114 33554432000 4194304 4627427 140734733209040 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.24 Current children cumulated vsize (KiB) 727804 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.93 CPU time (s): 4800.29 CPU user time (s): 4797.61 CPU system time (s): 2.68159 CPU usage (%): 399.381 Max. virtual memory (cumulated for all children) (KiB): 882968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.61 system time used= 2.68159 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 554964 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= 625 involuntary context switches= 34163 runsolver used 1.74273 second user time and 4.72828 second system time The end
Begin job on node129 at 2011-04-29 21:51:56 IDJOB=3174162 IDBENCH=82980 IDSOLVER=1586 FILE ID=node129/3174162-1304106716 RUNJOBID= node129-1304104308-9641 PBS_JOBID= 13170649 Free space on /tmp= 66364 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174162-1304106716/watcher-3174162-1304106716 -o /tmp/evaluation-result-3174162-1304106716/solver-3174162-1304106716 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174162-1304106716.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9c7b3f326f7257fd8377a35f8807c0d3 RANDOM SEED=1664692517 node129.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.831 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.66 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.831 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.83 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.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 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.82 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.831 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.74 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.831 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.83 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.831 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.831 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 30990040 kB Buffers: 361652 kB Cached: 1171444 kB SwapCached: 5192 kB Active: 86740 kB Inactive: 1486676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30990040 kB SwapTotal: 67111528 kB SwapFree: 67080208 kB Dirty: 5448 kB Writeback: 0 kB AnonPages: 37480 kB Mapped: 12832 kB Slab: 323468 kB PageTables: 4316 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 219776 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66360 MiB End job on node129 at 2011-04-29 22:12:00