| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.23 | 1203.64 |
| Name | random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf |
| MD5SUM | 6180decb1c46447c67f7e6e340e02857 |
| 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 | 700 |
| Number of clauses | 2982 |
| Sum of the clauses size | 8946 |
| 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 | 2982 |
| 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-3366414-1305403826.cnf' 0.00/0.00 c -- header says num vars: 700 0.00/0.00 c -- header says num clauses: 2982 0.00/0.00 c -- clauses added: 0 learnts, 2982 normals, 0 xors 0.00/0.00 c -- vars added 700 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 700 2982 0 0 8946 0 no data no data 0.00/0.01 c asymm cl-useful: 0/2982/2982 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: 700 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: 15 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: 295 undec: 89 neg: 316 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 685 2968 0 0 8991 0 no data no data 0.23/0.07 c Decided on static restart strategy 0.37/0.18 c N st 8 4916 685 2968 0 4858 8991 141776 no data no data 1.57/0.47 c N st 10 11300 685 2968 0 4515 8991 93789 no data no data 2.77/0.77 c N st 11 17043 685 2968 0 10155 8991 260911 no data no data 4.76/1.23 c F st 12 25001 685 2968 0 12455 8991 322935 no data no data 4.76/1.23 c N st 12 25001 685 2968 0 12455 8991 322935 no data no data 5.56/1.49 c Decided on static restart strategy 5.56/1.49 c N st 18 30001 685 2968 0 10741 8991 256233 no data no data 5.56/1.49 c S st 18 30001 685 2968 0 10741 8991 256233 no data no data 5.96/1.52 c S st 18 30502 685 2968 0 11242 8991 270549 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.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 5.96/1.53 c blocked clauses removed: 0 vars: 0 tried: 685 T: 0.00 s 5.96/1.53 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.96/1.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.96/1.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 5.96/1.53 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 5.96/1.53 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 5.96/1.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 6.36/1.60 c lits-rem: 60 cl-subs: 391 v-elim: 0 v-fix: 0 time: 0.05 s 6.36/1.61 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.01 6.36/1.61 c calculated reachability. Time: 0.00 6.36/1.61 c N st 18 30502 685 2968 0 10851 8991 257085 no data no data 7.95/2.03 c N st 20 37613 685 2968 0 10092 8991 209964 no data no data 9.55/2.45 c N st 21 44012 685 2968 0 16409 8991 410994 no data no data 9.95/2.57 c S st 22 45753 685 2968 0 9314 8991 162626 no data no data 10.34/2.60 c S st 22 46256 685 2968 0 9817 8991 176641 no data no data 10.34/2.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 10.34/2.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 10.34/2.60 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 10.34/2.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 10.34/2.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.34/2.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 10.34/2.60 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 10.34/2.60 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 10.34/2.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 10.34/2.62 c lits-rem: 25 cl-subs: 18 v-elim: 0 v-fix: 0 time: 0.01 s 10.34/2.62 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 10.34/2.62 c vivif2 -- cl tried 9799 cl shrink 0 lits rem 0 time: 0.00 10.34/2.63 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.01 10.34/2.63 c calculated reachability. Time: 0.00 10.34/2.63 c N st 22 46256 685 2968 0 9799 8991 175986 no data no data 14.33/3.61 c N st 23 60653 685 2968 0 14182 8991 297402 no data no data 16.72/4.30 c N st 24 69384 685 2968 0 11919 8991 210301 no data no data 16.72/4.30 c S st 24 69384 685 2968 0 11919 8991 210301 no data no data 17.16/4.34 c S st 24 69886 685 2968 0 12421 8991 224122 no data no data 17.16/4.34 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.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 17.16/4.35 c bin-w-bin subsume rem 0 bins 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.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 17.16/4.35 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 17.16/4.35 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 17.16/4.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 17.16/4.38 c lits-rem: 25 cl-subs: 139 v-elim: 0 v-fix: 0 time: 0.02 s 17.16/4.38 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 17.16/4.38 c vivif2 -- cl tried 12282 cl shrink 0 lits rem 0 time: 0.00 17.16/4.39 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.01 17.16/4.39 c calculated reachability. Time: 0.00 17.16/4.39 c N st 24 69886 685 2968 0 12282 8991 220076 no data no data 22.71/5.74 c F st 25 87500 685 2968 0 17787 8991 379694 no data no data 22.71/5.74 c N st 25 87500 685 2968 0 17787 8991 379694 no data no data 24.31/6.14 c Decided on static restart strategy 25.51/6.41 c N st 32 95539 685 2968 0 25755 8991 622245 no data no data 28.29/7.14 c N st 34 104834 685 2968 0 22086 8991 486640 no data no data 28.29/7.14 c S st 34 104834 685 2968 0 22086 8991 486640 no data no data 28.29/7.19 c S st 34 105335 685 2968 0 22587 8991 499101 no data no data 28.29/7.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 28.29/7.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 28.29/7.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 28.29/7.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 28.29/7.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 28.29/7.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 28.29/7.20 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 28.69/7.20 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 28.69/7.22 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.09/7.38 c lits-rem: 43 cl-subs: 627 v-elim: 0 v-fix: 0 time: 0.17 s 29.09/7.38 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 29.09/7.39 c vivif2 -- cl tried 21960 cl shrink 0 lits rem 0 time: 0.01 29.48/7.41 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.01 29.48/7.41 c calculated reachability. Time: 0.00 29.48/7.41 c N st 34 105335 685 2968 0 21960 8991 474843 no data no data 32.68/8.26 c N st 35 114934 685 2968 0 17666 8991 318468 no data no data 38.26/9.68 c N st 36 129331 685 2968 0 17023 8991 281405 no data no data 46.24/11.65 c N st 37 150927 685 2968 0 22567 8991 445504 no data no data 49.02/12.33 c S st 38 158003 685 2968 0 29560 8991 662072 no data no data 49.42/12.40 c S st 38 158509 685 2968 0 30066 8991 677258 no data no data 49.42/12.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 49.42/12.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 49.42/12.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 49.42/12.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 49.42/12.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 49.42/12.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 49.42/12.41 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 49.42/12.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 49.42/12.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 50.62/12.77 c lits-rem: 313 cl-subs: 787 v-elim: 0 v-fix: 0 time: 0.33 s 50.62/12.77 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 50.62/12.78 c vivif2 -- cl tried 29279 cl shrink 0 lits rem 0 time: 0.01 51.02/12.80 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.02 51.02/12.80 c calculated reachability. Time: 0.00 51.02/12.80 c N st 38 158509 685 2968 0 29279 8991 648983 no data no data 72.56/18.22 c N st 39 207097 685 2968 0 23877 8991 435366 no data no data 88.11/22.10 c N st 40 237766 685 2968 0 34356 8991 738769 no data no data 88.11/22.10 c S st 40 237766 685 2968 0 34356 8991 738769 no data no data 88.11/22.19 c S st 40 238268 685 2968 0 34858 8991 752558 no data no data 88.11/22.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 88.51/22.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 88.51/22.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 88.51/22.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 88.51/22.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 88.51/22.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 88.51/22.20 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 88.51/22.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 88.51/22.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 90.91/22.85 c lits-rem: 311 cl-subs: 1108 v-elim: 0 v-fix: 0 time: 0.62 s 90.91/22.85 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 90.91/22.86 c vivif2 -- cl tried 33750 cl shrink 0 lits rem 0 time: 0.01 90.91/22.89 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.02 90.91/22.89 c calculated reachability. Time: 0.00 90.91/22.89 c N st 40 238268 685 2968 0 33750 8991 713193 no data no data 124.41/31.21 c F st 41 306250 685 2968 0 35640 8991 705250 no data no data 124.41/31.21 c N st 41 306250 685 2968 0 35640 8991 705250 no data no data 127.24/31.95 c Decided on static restart strategy 139.17/34.98 c N st 51 334554 685 2968 0 39939 8991 838062 no data no data 150.73/37.85 c N st 53 357402 685 2968 0 37835 8991 729495 no data no data 150.73/37.85 c S st 53 357402 685 2968 0 37835 8991 729495 no data no data 151.13/37.94 c S st 53 357907 685 2968 0 38340 8991 743302 no data no data 151.13/37.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 151.13/37.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 151.13/37.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 151.13/37.96 c bin-w-bin subsume rem 0 bins time: 0.00 s 151.13/37.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 151.13/37.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 151.13/37.96 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 151.13/37.97 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 151.13/37.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 153.15/38.42 c lits-rem: 272 cl-subs: 1067 v-elim: 0 v-fix: 0 time: 0.43 s 153.15/38.42 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 153.15/38.43 c vivif2 -- cl tried 37273 cl shrink 0 lits rem 0 time: 0.01 153.15/38.46 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.03 153.15/38.46 c calculated reachability. Time: 0.00 153.15/38.46 c N st 53 357907 685 2968 0 37273 8991 706151 no data no data 171.86/43.12 c N st 54 390300 685 2968 0 43703 8991 879923 no data no data 202.16/50.78 c N st 55 438888 685 2968 0 37319 8991 653202 no data no data 245.69/61.68 c N st 56 511772 685 2968 0 50935 8991 1021984 no data no data 260.80/65.41 c N st 57 536861 685 2968 0 45117 8991 822472 no data no data 260.80/65.41 c S st 57 536861 685 2968 0 45117 8991 822472 no data no data 261.20/65.53 c S st 57 537365 685 2968 0 45621 8991 837348 no data no data 261.20/65.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 261.20/65.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.02 261.20/65.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 261.20/65.55 c bin-w-bin subsume rem 0 bins time: 0.00 s 261.20/65.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 261.20/65.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 261.20/65.55 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 261.20/65.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 261.20/65.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 263.99/66.26 c lits-rem: 331 cl-subs: 1226 v-elim: 0 v-fix: 0 time: 0.67 s 263.99/66.26 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 263.99/66.27 c vivif2 -- cl tried 44395 cl shrink 0 lits rem 0 time: 0.01 264.38/66.31 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.03 264.38/66.31 c calculated reachability. Time: 0.00 264.38/66.31 c N st 57 537365 685 2968 0 44395 8991 797177 no data no data 385.66/96.73 c N st 58 701351 685 2968 0 38302 8991 494494 no data no data 469.77/117.84 c N st 59 806048 685 2968 0 67417 8991 1326323 no data no data 469.77/117.84 c S st 59 806048 685 2968 0 67417 8991 1326323 no data no data 470.57/118.03 c S st 59 806553 685 2968 0 67921 8991 1341946 no data no data 470.57/118.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 470.57/118.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.03 470.57/118.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 470.57/118.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 470.57/118.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 470.57/118.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 470.57/118.07 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 470.57/118.09 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 470.97/118.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 482.94/121.18 c lits-rem: 418 cl-subs: 3319 v-elim: 0 v-fix: 0 time: 3.05 s 482.94/121.18 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 483.34/121.20 c vivif2 -- cl tried 64602 cl shrink 0 lits rem 0 time: 0.02 483.34/121.26 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.06 483.34/121.26 c calculated reachability. Time: 0.00 483.34/121.26 c N st 59 806553 685 2968 0 64602 8991 1250987 no data no data 704.69/176.70 c F st 60 1071876 685 2968 0 81162 8991 1780442 no data no data 704.69/176.70 c N st 60 1071876 685 2968 0 81162 8991 1780442 no data no data 723.88/181.54 c N dy 127 1091893 685 2968 0 56558 8991 802935 19.87 21.43 744.97/186.82 c N dy 204 1111965 685 2968 0 76450 8991 1377479 19.82 20.88 769.69/193.00 c N dy 289 1132018 685 2968 0 50825 8991 589256 19.82 20.89 788.04/197.66 c N dy 356 1152042 685 2968 0 70692 8991 1166830 19.74 20.90 815.58/204.51 c N dy 451 1172845 685 2968 0 91332 8991 1763623 19.75 20.85 834.30/209.24 c N dy 534 1192909 685 2968 0 64652 8991 941727 19.75 20.91 857.03/214.95 c S st 615 1209829 685 2968 0 81426 8991 1428006 19.78 18.66 858.22/215.25 c S st 615 1210330 685 2968 0 81927 8991 1442557 19.78 no data 858.22/215.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 858.62/215.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.05 858.62/215.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 858.62/215.31 c bin-w-bin subsume rem 0 bins time: 0.00 s 858.62/215.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 858.62/215.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 858.62/215.31 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 858.62/215.33 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 858.62/215.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 864.61/216.81 c lits-rem: 389 cl-subs: 1122 v-elim: 0 v-fix: 0 time: 1.43 s 864.61/216.81 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 864.61/216.84 c vivif2 -- cl tried 80805 cl shrink 0 lits rem 0 time: 0.02 865.01/216.93 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.09 865.01/216.93 c calculated reachability. Time: 0.00 865.01/216.93 c N dy 615 1210330 685 2968 0 80805 8991 1405782 19.78 no data 892.12/223.73 c N dy 731 1230567 685 2968 0 53317 8991 591426 19.86 21.00 910.87/228.44 c N dy 784 1250591 685 2968 0 73142 8991 1166397 19.79 20.98 938.42/235.36 c N dy 882 1271083 685 2968 0 93487 8991 1763571 19.82 20.95 959.92/240.74 c N dy 997 1291689 685 2968 0 65363 8991 904920 19.87 21.07 984.65/246.96 c N dy 1083 1311908 685 2968 0 85417 8991 1486863 19.88 21.11 1011.38/253.66 c N dy 1159 1332313 685 2968 0 56023 8991 587542 19.85 20.91 1032.51/258.94 c N dy 1250 1353153 685 2968 0 76687 8991 1190966 19.84 21.01 1060.83/266.06 c N dy 1334 1373272 685 2968 0 96626 8991 1767683 19.83 20.89 1082.76/271.55 c N dy 1444 1393501 685 2968 0 66150 8991 876257 19.87 20.93 1108.28/277.97 c N dy 1530 1413510 685 2968 0 85990 8991 1448178 19.89 20.96 1137.79/285.37 c N dy 1601 1433552 685 2968 0 54292 8991 497405 19.88 21.05 1157.77/290.38 c N dy 1674 1453799 685 2968 0 74379 8991 1077431 19.88 21.08 1186.46/297.55 c N dy 1769 1475041 685 2968 0 95452 8991 1689175 19.89 21.01 1211.98/303.96 c N dy 1860 1495055 685 2968 0 62727 8991 718629 19.90 22.19 1235.52/309.86 c N dy 1937 1516522 685 2968 0 83999 8991 1339705 19.90 21.26 1266.62/317.63 c N dy 2035 1536532 685 2968 0 103846 8991 1922361 19.92 21.02 1288.16/323.08 c N dy 2106 1556962 685 2968 0 70548 8991 910372 19.90 20.99 1312.87/329.26 c N dy 2137 1577413 685 2968 0 90691 8991 1477601 19.84 21.11 1344.78/337.26 c N dy 2235 1597550 685 2968 0 56197 8991 477248 19.85 21.21 1365.12/342.36 c N dy 2332 1617691 685 2968 0 76150 8991 1064098 19.86 20.91 1392.64/349.22 c N dy 2415 1637737 685 2968 0 96035 8991 1650175 19.86 22.21 1423.75/357.09 c N dy 2481 1658663 685 2968 0 61288 8991 599425 19.85 21.09 1446.48/362.78 c N dy 2565 1678665 685 2968 0 81102 8991 1174787 19.86 23.67 1475.99/370.11 c N dy 2651 1698766 685 2968 0 100975 8991 1747487 19.86 22.60 1495.97/375.13 c S st 2684 1710331 685 2968 0 112437 8991 2083139 19.85 no data 1497.53/375.52 c S st 2684 1710835 685 2968 0 56492 8991 435981 19.85 no data 1497.53/375.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1497.53/375.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.02 1497.53/375.54 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1497.53/375.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 1497.53/375.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1497.53/375.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 1497.53/375.54 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1497.53/375.55 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1497.53/375.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1497.93/375.66 c lits-rem: 4 cl-subs: 5 v-elim: 0 v-fix: 0 time: 0.09 s 1497.93/375.66 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 1497.93/375.66 c vivif2 -- cl tried 56487 cl shrink 0 lits rem 0 time: 0.01 1498.33/375.71 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.04 1498.33/375.71 c calculated reachability. Time: 0.00 1498.33/375.71 c N dy 2684 1710835 685 2968 0 56487 8991 435887 19.85 no data 1518.26/380.75 c N dy 2793 1730839 685 2968 0 76325 8991 1021321 19.87 25.05 1546.58/387.80 c N dy 2878 1750968 685 2968 0 96277 8991 1600307 19.87 20.92 1582.08/396.78 c N dy 2941 1773345 685 2968 0 60915 8991 530660 19.85 20.95 1604.41/402.33 c N dy 3033 1793572 685 2968 0 80968 8991 1114082 19.86 21.00 1633.11/409.58 c N dy 3053 1813948 685 2968 0 101084 8991 1685389 19.82 21.14 1667.41/418.18 c N dy 3154 1834566 685 2968 0 63081 8991 573961 19.83 20.90 1689.75/423.72 c N dy 3231 1854605 685 2968 0 82940 8991 1154616 19.83 24.27 1721.27/431.64 c N dy 3307 1876177 685 2968 0 104330 8991 1778350 19.83 20.88 1753.18/439.62 c N dy 3370 1896685 685 2968 0 65246 8991 612556 19.82 20.89 1777.10/445.64 c N dy 3433 1917112 685 2968 0 85479 8991 1194000 19.81 21.04 1807.04/453.13 c N dy 3486 1937153 685 2968 0 105321 8991 1757516 19.79 20.97 1841.71/461.86 c N dy 3587 1958062 685 2968 0 65629 8991 599644 19.80 20.87 1867.23/468.26 c N dy 3715 1979123 685 2968 0 86508 8991 1209574 19.82 20.90 1897.15/475.76 c N dy 3766 1999202 685 2968 0 106403 8991 1792700 19.80 20.95 1935.43/485.33 c N dy 3862 2021466 685 2968 0 67053 8991 610562 19.80 21.04 1964.15/492.51 c N dy 3929 2047019 685 2968 0 92310 8991 1343471 19.78 20.95 1998.44/501.17 c N dy 4037 2067711 685 2968 0 112815 8991 1945436 19.79 20.84 2032.33/509.61 c N dy 4111 2088084 685 2968 0 70606 8991 699093 19.79 20.84 2057.51/515.92 c N dy 4199 2108150 685 2968 0 90482 8991 1283649 19.80 20.89 2089.77/524.02 c N dy 4260 2128635 685 2968 0 110760 8991 1864327 19.78 20.95 2126.87/533.35 c N dy 4350 2148804 685 2968 0 67360 8991 581297 19.79 20.97 2150.78/539.37 c N dy 4407 2169733 685 2968 0 87998 8991 1177147 19.78 20.88 2181.89/547.10 c N dy 4486 2189849 685 2968 0 107927 8991 1763193 19.78 20.86 2223.80/557.65 c N dy 4587 2210835 685 2968 0 64361 8991 471494 19.78 18.05 2223.80/557.65 c S st 4587 2210835 685 2968 0 64361 8991 471494 19.78 18.05 2224.57/557.80 c S st 4587 2211336 685 2968 0 64861 8991 486765 19.78 no data 2224.57/557.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 2224.57/557.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02 2224.57/557.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2224.57/557.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 2224.57/557.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2224.57/557.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 2224.57/557.83 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 2224.57/557.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 2224.57/557.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2224.96/557.95 c lits-rem: 1 cl-subs: 8 v-elim: 0 v-fix: 0 time: 0.09 s 2224.96/557.95 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 2224.96/557.96 c vivif2 -- cl tried 64853 cl shrink 0 lits rem 0 time: 0.01 2225.36/558.01 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.05 2225.36/558.01 c calculated reachability. Time: 0.00 2225.36/558.01 c N dy 4587 2211336 685 2968 0 64853 8991 486515 19.78 no data 2250.13/564.30 c N dy 4663 2233682 685 2968 0 86943 8991 1122852 19.78 20.83 2282.40/572.32 c N dy 4759 2253836 685 2968 0 106909 8991 1700731 19.79 20.94 2328.66/583.94 c N dy 4838 2277738 685 2968 0 130549 8991 2384383 19.78 21.02 2351.44/589.67 c N dy 4884 2298022 685 2968 0 85315 8991 1069928 19.77 20.96 2380.11/596.86 c N dy 4933 2318082 685 2968 0 105136 8991 1641549 19.76 21.93 2463.47/617.73 c N dy 5017 2371489 685 2968 0 91596 8991 1227677 19.69 20.79 2496.97/626.18 c N dy 5134 2391532 685 2968 0 111453 8991 1809909 19.71 21.49 2539.25/636.76 c N dy 5251 2411579 685 2968 0 131333 8991 2393437 19.72 20.99 2567.55/643.83 c N dy 5284 2434997 685 2968 0 87173 8991 1064112 19.70 20.77 2599.46/651.83 c N dy 5403 2455274 685 2968 0 107258 8991 1654215 19.72 21.33 2637.74/661.49 c N dy 5492 2475332 685 2968 0 127100 8991 2229492 19.72 22.67 2670.46/669.60 c N dy 5574 2495510 685 2968 0 78835 8991 795553 19.73 20.94 2698.35/676.66 c N dy 5671 2515574 685 2968 0 98724 8991 1372350 19.73 24.43 2736.25/686.16 c N dy 5776 2536592 685 2968 0 119554 8991 1984364 19.74 20.81 2780.52/697.30 c N dy 5879 2556753 685 2968 0 70233 8991 526286 19.74 20.89 2805.64/703.51 c N dy 5969 2577310 685 2968 0 90568 8991 1115043 19.75 21.14 2840.34/712.22 c N dy 6036 2597981 685 2968 0 111032 8991 1708096 19.74 20.80 2881.02/722.48 c N dy 6114 2618459 685 2968 0 131307 8991 2299665 19.75 20.83 2916.52/731.33 c N dy 6195 2638589 685 2968 0 80923 8991 804342 19.75 20.94 2945.63/738.68 c N dy 6297 2659467 685 2968 0 101630 8991 1416770 19.75 21.12 2983.52/748.14 c N dy 6405 2679533 685 2968 0 121514 8991 2006625 19.76 24.27 3027.39/759.19 c N dy 6520 2699575 685 2968 0 141387 8991 2589562 19.78 20.83 3042.15/762.88 c S st 6567 2711336 685 2968 0 81759 8991 824553 19.77 20.22 3042.95/763.09 c S st 6567 2711837 685 2968 0 82260 8991 839204 19.77 no data 3043.35/763.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 3043.35/763.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.04 3043.35/763.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3043.35/763.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 3043.35/763.14 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3043.35/763.14 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 3043.35/763.14 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3043.35/763.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 3043.35/763.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3044.59/763.45 c lits-rem: 31 cl-subs: 327 v-elim: 0 v-fix: 0 time: 0.27 s 3044.59/763.45 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 3044.59/763.46 c vivif2 -- cl tried 81933 cl shrink 0 lits rem 0 time: 0.01 3044.93/763.53 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.07 3044.93/763.54 c calculated reachability. Time: 0.00 3044.93/763.54 c N dy 6567 2711837 685 2968 0 81933 8991 828745 19.77 no data 3076.44/771.49 c N dy 6637 2734138 685 2968 0 103973 8991 1474156 19.77 20.81 3114.78/781.05 c N dy 6714 2754181 685 2968 0 123796 8991 2040690 19.76 22.43 3161.79/792.82 c N dy 6818 2775497 685 2968 0 72639 8991 524771 19.77 21.00 3187.72/799.31 c N dy 6952 2795541 685 2968 0 92518 8991 1116137 19.79 22.84 3219.66/807.33 c N dy 7024 2815633 685 2968 0 112374 8991 1699931 19.79 20.97 3261.09/817.72 c N dy 7115 2835945 685 2968 0 132488 8991 2283106 19.79 20.89 3302.18/828.01 c N dy 7147 2857657 685 2968 0 80650 8991 732280 19.78 20.83 3328.50/834.63 c N dy 7223 2878026 685 2968 0 100782 8991 1321017 19.78 20.83 3364.00/843.61 c N dy 7321 2898128 685 2968 0 120688 8991 1905646 19.78 21.46 3409.86/855.09 c N dy 7436 2918465 685 2968 0 140832 8991 2493803 19.79 21.38 3444.94/863.82 c N dy 7534 2938544 685 2968 0 86503 8991 880337 19.80 20.89 3474.51/871.25 c N dy 7608 2958617 685 2968 0 106341 8991 1455672 19.79 21.06 3513.99/881.17 c N dy 7678 2980414 685 2968 0 127908 8991 2086919 19.79 20.84 3568.98/894.92 c N dy 7766 3000634 685 2968 0 147917 8991 2674758 19.80 20.87 3608.06/904.75 c N dy 7881 3020697 685 2968 0 92599 8991 1040456 19.80 23.75 3650.34/915.37 c N dy 7990 3040855 685 2968 0 112566 8991 1626674 19.81 20.86 3696.60/926.99 c N dy 8077 3060895 685 2968 0 132382 8991 2205139 19.81 23.34 3745.26/939.15 c N dy 8175 3080936 685 2968 0 152222 8991 2784113 19.82 23.20 3776.79/947.05 c N dy 8284 3103208 685 2968 0 98070 8991 1174866 19.82 20.87 3811.06/955.65 c N dy 8368 3123252 685 2968 0 117939 8991 1762835 19.82 23.05 3854.53/966.57 c N dy 8438 3143508 685 2968 0 137945 8991 2332201 19.82 20.98 3901.59/978.31 c N dy 8541 3163686 685 2968 0 80722 8991 648666 19.83 20.88 3930.35/985.56 c N dy 8641 3184182 685 2968 0 101026 8991 1245878 19.83 20.89 3966.99/994.74 c N dy 8745 3204242 685 2968 0 120864 8991 1825525 19.84 22.94 3982.55/998.60 c S st 8771 3211838 685 2968 0 128375 8991 2045540 19.84 19.26 3983.74/999.00 c S st 8771 3212343 685 2968 0 128880 8991 2059536 19.84 no data 3984.14/999.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 3984.14/999.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.07 3984.14/999.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3984.14/999.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 3984.14/999.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3984.14/999.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 685 time: 0.00 s 3984.14/999.07 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 3984.54/999.10 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 3984.54/999.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3992.52/1001.18 c lits-rem: 184 cl-subs: 2071 v-elim: 0 v-fix: 0 time: 2.01 s 3992.52/1001.18 c vivif2 -- cl tried 2968 cl shrink 0 lits rem 0 time: 0.00 3992.92/1001.21 c vivif2 -- cl tried 126809 cl shrink 0 lits rem 0 time: 0.03 3993.32/1001.35 c asymm cl-useful: 0/2968/2968 lits-rem:0 time: 0.13 3993.32/1001.35 c calculated reachability. Time: 0.00 3993.32/1001.35 c N dy 8771 3212343 685 2968 0 126809 8991 1995267 19.84 no data 4040.02/1013.09 c N dy 8867 3232582 685 2968 0 146844 8991 2582744 19.84 20.89 4079.51/1023.00 c N dy 8960 3252633 685 2968 0 88529 8991 853634 19.84 20.92 4119.74/1033.03 c N dy 9044 3278561 685 2968 0 114128 8991 1605435 19.84 21.02 4162.42/1043.72 c N dy 9140 3299888 685 2968 0 135226 8991 2224707 19.84 20.92 4217.06/1057.42 c N dy 9251 3322006 685 2968 0 157133 8991 2868730 19.85 21.12 4246.20/1064.76 c N dy 9340 3342407 685 2968 0 98182 8991 1109145 19.85 20.97 4284.87/1074.46 c N dy 9425 3365001 685 2968 0 120506 8991 1759875 19.85 21.07 4328.33/1085.34 c N dy 9530 3385109 685 2968 0 140448 8991 2355944 19.85 21.08 4378.97/1098.05 c N dy 9617 3405203 685 2968 0 160363 8991 2939549 19.85 23.10 4408.09/1105.32 c N dy 9745 3425281 685 2968 0 100106 8991 1153350 19.86 22.31 4443.20/1114.13 c N dy 9839 3445288 685 2968 0 119903 8991 1732885 19.87 21.08 4491.45/1126.25 c N dy 9920 3465298 685 2968 0 139687 8991 2314670 19.87 21.49 4568.02/1145.46 c N dy 9960 3489806 685 2968 0 82731 8991 611969 19.86 20.94 4601.13/1153.77 c N dy 10015 3510610 685 2968 0 103276 8991 1206629 19.85 20.98 4639.81/1163.42 c N dy 10155 3530659 685 2968 0 123147 8991 1797914 19.86 24.05 4684.48/1174.63 c N dy 10241 3550667 685 2968 0 142963 8991 2377804 19.87 22.51 4736.32/1187.62 c N dy 10328 3570754 685 2968 0 162826 8991 2954764 19.87 23.49 4768.68/1195.74 c N dy 10433 3591133 685 2968 0 100906 8991 1127724 19.87 21.13
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-3366414-1305403826/watcher-3366414-1305403826 -o /tmp/evaluation-result-3366414-1305403826/solver-3366414-1305403826 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366414-1305403826.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: 6.33 7.70 7.94 4/349 21333 /proc/meminfo: memFree=24138436/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=208240 CPUtime=0.01 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 859 0 0 0 1 0 0 0 20 0 4 0 651979268 213237760 784 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293700 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 52060 784 351 95 0 47042 0 [pid=21333/tid=21336] ppid=21329 vsize=273776 CPUtime=0 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 208 0 0 0 0 0 0 0 20 0 4 0 651979268 280346624 1104 33554432000 4194304 4580107 140736449344784 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=273776 CPUtime=0 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 250 0 0 0 0 0 0 0 20 0 4 0 651979268 280346624 1107 33554432000 4194304 4580107 140736449344784 18446744073709551615 254500716439 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=273776 CPUtime=0 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 651979268 280346624 1107 33554432000 4194304 4580107 140736449344784 18446744073709551615 4218478 0 0 4096 2 0 0 0 -1 7 0 0 0 [startup+0.065195 s] /proc/loadavg: 6.33 7.70 7.94 4/349 21333 /proc/meminfo: memFree=24138436/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=282680 CPUtime=0.23 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 1738 0 0 0 23 0 0 0 20 0 4 0 651979268 289464320 1626 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 70670 1628 376 95 0 65652 0 [pid=21333/tid=21336] ppid=21329 vsize=282680 CPUtime=0.05 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 328 0 0 0 5 0 0 0 20 0 4 0 651979268 289464320 1628 33554432000 4194304 4580107 140736449344784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=282680 CPUtime=0.05 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 416 0 0 0 5 0 0 0 20 0 4 0 651979268 289464320 1628 33554432000 4194304 4580107 140736449344784 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=282680 CPUtime=0.05 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 197 0 0 0 5 0 0 0 21 0 4 0 651979268 289464320 1628 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 282680 [startup+0.101187 s] /proc/loadavg: 6.33 7.70 7.94 4/349 21333 /proc/meminfo: memFree=24138436/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=282812 CPUtime=0.37 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 1936 0 0 0 37 0 0 0 20 0 4 0 651979268 289599488 1824 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 70703 1824 377 95 0 65685 0 [pid=21333/tid=21336] ppid=21329 vsize=282812 CPUtime=0.09 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 381 0 0 0 9 0 0 0 20 0 4 0 651979268 289599488 1824 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=282812 CPUtime=0.09 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 466 0 0 0 9 0 0 0 20 0 4 0 651979268 289599488 1824 33554432000 4194304 4580107 140736449344784 18446744073709551615 4318305 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=282812 CPUtime=0.08 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 255 0 0 0 8 0 0 0 21 0 4 0 651979268 289599488 1824 33554432000 4194304 4580107 140736449344784 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 282812 [startup+0.300149 s] /proc/loadavg: 6.33 7.70 7.94 4/349 21333 /proc/meminfo: memFree=24138436/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=284640 CPUtime=1.16 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 3111 0 0 0 116 0 0 0 20 0 4 0 651979268 291471360 2299 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293884 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 71160 2299 377 95 0 66142 0 [pid=21333/tid=21336] ppid=21329 vsize=284640 CPUtime=0.29 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 683 0 0 0 29 0 0 0 20 0 4 0 651979268 291471360 2299 33554432000 4194304 4580107 140736449344784 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=284640 CPUtime=0.29 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 767 0 0 0 29 0 0 0 20 0 4 0 651979268 291471360 2299 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=284640 CPUtime=0.28 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 560 0 0 0 28 0 0 0 21 0 4 0 651979268 291471360 2299 33554432000 4194304 4580107 140736449344784 18446744073709551615 4319953 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 284640 [startup+0.701069 s] /proc/loadavg: 6.33 7.70 7.94 4/349 21333 /proc/meminfo: memFree=24138436/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=285956 CPUtime=2.77 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 4876 0 0 0 277 0 0 0 21 0 4 0 651979268 292818944 2992 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 71489 2992 377 95 0 66471 0 [pid=21333/tid=21336] ppid=21329 vsize=285956 CPUtime=0.69 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 1120 0 0 0 69 0 0 0 20 0 4 0 651979268 292818944 2992 33554432000 4194304 4580107 140736449344784 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=285956 CPUtime=0.69 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 1205 0 0 0 69 0 0 0 20 0 4 0 651979268 292818944 2992 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=285956 CPUtime=0.68 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 1018 0 0 0 68 0 0 0 22 0 4 0 651979268 292818944 2992 33554432000 4194304 4580107 140736449344784 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 285956 [startup+1.50091 s] /proc/loadavg: 6.54 7.72 7.95 11/357 21341 /proc/meminfo: memFree=24109372/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=287812 CPUtime=5.96 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 8369 0 0 0 595 1 0 0 23 0 4 0 651979268 294719488 3535 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 71953 3535 378 95 0 66935 0 [pid=21333/tid=21336] ppid=21329 vsize=287812 CPUtime=1.49 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 1963 0 0 0 149 0 0 0 23 0 4 0 651979268 294719488 3535 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=287812 CPUtime=1.49 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 2083 0 0 0 149 0 0 0 23 0 4 0 651979268 294719488 3535 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=287812 CPUtime=1.46 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 1906 0 0 0 146 0 0 0 25 0 4 0 651979268 294719488 3535 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 287812 [startup+3.10059 s] /proc/loadavg: 6.54 7.72 7.95 10/357 21341 /proc/meminfo: memFree=24082332/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=298560 CPUtime=12.35 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 19917 0 0 0 1232 3 0 0 25 0 4 0 651979268 305725440 10849 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 74640 10849 379 95 0 69622 0 [pid=21333/tid=21336] ppid=21329 vsize=298560 CPUtime=3.08 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 4392 0 0 0 308 0 0 0 25 0 4 0 651979268 305725440 10849 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=298560 CPUtime=3.08 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 5549 0 0 0 308 0 0 0 25 0 4 0 651979268 305725440 10849 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=298560 CPUtime=3.05 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 4495 0 0 0 305 0 0 0 25 0 4 0 651979268 305725440 10849 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 298560 [startup+6.30096 s] /proc/loadavg: 6.66 7.72 7.95 10/357 21341 /proc/meminfo: memFree=24023304/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=325760 CPUtime=25.11 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 29929 0 0 0 2506 5 0 0 25 0 4 0 651979268 333578240 15077 33554432000 4194304 4580107 140736449344784 18446744073709551615 4295888 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 81440 15077 379 95 0 76422 0 [pid=21333/tid=21336] ppid=21329 vsize=325760 CPUtime=6.29 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 7838 0 0 0 628 1 0 0 25 0 4 0 651979268 333578240 15077 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=325760 CPUtime=6.29 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 7605 0 0 0 628 1 0 0 25 0 4 0 651979268 333578240 15077 33554432000 4194304 4580107 140736449344784 18446744073709551615 4320667 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=325760 CPUtime=6.22 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 6553 0 0 0 621 1 0 0 25 0 4 0 651979268 333578240 15077 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.11 Current children cumulated vsize (KiB) 325760 [startup+12.7007 s] /proc/loadavg: 6.77 7.73 7.95 10/357 21341 /proc/meminfo: memFree=23955680/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=322648 CPUtime=50.62 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 49548 0 0 0 5054 8 0 0 25 0 4 0 651979268 330391552 28546 33554432000 4194304 4580107 140736449344784 18446744073709551615 4451559 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 80662 28546 379 95 0 75644 0 [pid=21333/tid=21336] ppid=21329 vsize=322648 CPUtime=12.69 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 12098 0 0 0 1267 2 0 0 25 0 4 0 651979268 330391552 28546 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=322648 CPUtime=12.69 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 12613 0 0 0 1267 2 0 0 25 0 4 0 651979268 330391552 28546 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=322648 CPUtime=12.53 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 10617 0 0 0 1252 1 0 0 25 0 4 0 651979268 330391552 28546 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.62 Current children cumulated vsize (KiB) 322648 [startup+25.5011 s] /proc/loadavg: 6.96 7.74 7.95 10/357 21342 /proc/meminfo: memFree=23902856/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=324076 CPUtime=101.67 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 72078 0 0 0 10153 14 0 0 25 0 4 0 651979268 331853824 34554 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 81019 34554 379 95 0 76001 0 [pid=21333/tid=21336] ppid=21329 vsize=324076 CPUtime=25.48 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 17959 0 0 0 2545 3 0 0 25 0 4 0 651979268 331853824 34554 33554432000 4194304 4580107 140736449344784 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=324076 CPUtime=25.48 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 18939 0 0 0 2545 3 0 0 25 0 4 0 651979268 331853824 34554 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=324076 CPUtime=25.18 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 14841 0 0 0 2516 2 0 0 25 0 4 0 651979268 331853824 34554 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.67 Current children cumulated vsize (KiB) 324076 [startup+51.1011 s] /proc/loadavg: 7.37 7.76 7.95 10/357 21342 /proc/meminfo: memFree=23827932/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=487916 CPUtime=203.77 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 102028 0 0 0 20354 23 0 0 25 0 4 0 651979268 499625984 48439 33554432000 4194304 4580107 140736449344784 18446744073709551615 4322409 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 121979 48439 379 95 0 116961 0 [pid=21333/tid=21336] ppid=21329 vsize=487916 CPUtime=51.08 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 26721 0 0 0 5102 6 0 0 25 0 4 0 651979268 499625984 48439 33554432000 4194304 4580107 140736449344784 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=487916 CPUtime=51.08 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 24607 0 0 0 5103 5 0 0 25 0 4 0 651979268 499625984 48439 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=487916 CPUtime=50.48 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 21810 0 0 0 5044 4 0 0 25 0 4 0 651979268 499625984 48439 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.77 Current children cumulated vsize (KiB) 487916 [startup+102.314 s] /proc/loadavg: 7.84 7.83 7.96 10/357 21344 /proc/meminfo: memFree=23789956/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=445268 CPUtime=408 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 151215 0 0 0 40759 41 0 0 25 0 4 0 651979268 455954432 51660 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 111317 51660 379 95 0 106299 0 [pid=21333/tid=21336] ppid=21329 vsize=445268 CPUtime=102.3 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 39362 0 0 0 10218 12 0 0 25 0 4 0 651979268 455954432 51660 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=445268 CPUtime=102.29 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 36766 0 0 0 10218 11 0 0 25 0 4 0 651979268 455954432 51660 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=445268 CPUtime=101.09 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 32770 0 0 0 10101 8 0 0 25 0 4 0 651979268 455954432 51660 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 408 Current children cumulated vsize (KiB) 445268 [startup+162.301 s] ################ # More data... # ################ [pid=21333] ppid=21329 vsize=590172 CPUtime=2561.6 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 404650 0 0 0 256000 160 0 0 25 0 4 0 651979268 604336128 97806 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 147543 97806 379 95 0 142525 0 [pid=21333/tid=21336] ppid=21329 vsize=590172 CPUtime=642.32 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 128403 0 0 0 64176 56 0 0 25 0 4 0 651979268 604336128 97807 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=590172 CPUtime=642.21 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 76224 0 0 0 64194 27 0 0 25 0 4 0 651979268 604336128 97807 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=590172 CPUtime=634.73 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 96700 0 0 0 63435 38 0 0 25 0 4 0 651979268 604336128 97807 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2561.6 Current children cumulated vsize (KiB) 590172 [startup+702.301 s] /proc/loadavg: 8.22 8.10 8.02 10/357 21361 /proc/meminfo: memFree=23460440/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=602952 CPUtime=2800.86 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 418748 0 0 0 279918 168 0 0 25 0 4 0 651979268 617422848 99228 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 150738 99228 379 95 0 145720 0 [pid=21333/tid=21336] ppid=21329 vsize=602952 CPUtime=702.3 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 136070 0 0 0 70170 60 0 0 25 0 4 0 651979268 617422848 99228 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=602952 CPUtime=702.19 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 76963 0 0 0 70191 28 0 0 25 0 4 0 651979268 617422848 99228 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=602952 CPUtime=694.01 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 99380 0 0 0 69362 39 0 0 25 0 4 0 651979268 617422848 99228 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2800.86 Current children cumulated vsize (KiB) 602952 [startup+762.314 s] /proc/loadavg: 8.21 8.11 8.03 10/357 21362 /proc/meminfo: memFree=23429032/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=591032 CPUtime=3040.2 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 433031 0 0 0 303843 177 0 0 25 0 4 0 651979268 605216768 97034 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 147758 97034 379 95 0 142740 0 [pid=21333/tid=21336] ppid=21329 vsize=591032 CPUtime=762.32 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 143739 0 0 0 76167 65 0 0 25 0 4 0 651979268 605216768 97034 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=591032 CPUtime=762.2 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 77301 0 0 0 76192 28 0 0 25 0 4 0 651979268 605216768 97034 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=591032 CPUtime=753.32 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 100970 0 0 0 75291 41 0 0 25 0 4 0 651979268 605216768 97034 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3040.2 Current children cumulated vsize (KiB) 591032 [startup+822.301 s] /proc/loadavg: 8.14 8.10 8.03 10/357 21364 /proc/meminfo: memFree=23436448/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=591136 CPUtime=3279.45 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 444474 0 0 0 327761 184 0 0 25 0 4 0 651979268 605323264 100374 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 147784 100374 379 95 0 142766 0 [pid=21333/tid=21336] ppid=21329 vsize=591136 CPUtime=822.32 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 151180 0 0 0 82163 69 0 0 25 0 4 0 651979268 605323264 100374 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=591136 CPUtime=822.17 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 77656 0 0 0 82189 28 0 0 25 0 4 0 651979268 605323264 100374 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=591136 CPUtime=812.61 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 101637 0 0 0 81219 42 0 0 25 0 4 0 651979268 605323264 100374 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3279.45 Current children cumulated vsize (KiB) 591136 [startup+882.301 s] /proc/loadavg: 8.22 8.13 8.04 10/357 21365 /proc/meminfo: memFree=23408148/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=591260 CPUtime=3518.72 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 460649 0 0 0 351679 193 0 0 25 0 4 0 651979268 605450240 97935 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 147815 97935 379 95 0 142797 0 [pid=21333/tid=21336] ppid=21329 vsize=591260 CPUtime=882.32 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 158675 0 0 0 88158 74 0 0 25 0 4 0 651979268 605450240 97935 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=591260 CPUtime=882.16 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 79002 0 0 0 88188 28 0 0 25 0 4 0 651979268 605450240 97935 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=591260 CPUtime=871.89 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 105675 0 0 0 87145 44 0 0 25 0 4 0 651979268 605450240 97935 33554432000 4194304 4580107 140736449344784 18446744073709551615 4269723 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3518.72 Current children cumulated vsize (KiB) 591260 [startup+942.301 s] /proc/loadavg: 8.18 8.13 8.04 10/357 21368 /proc/meminfo: memFree=23356292/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=675420 CPUtime=3758.03 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 478890 0 0 0 375600 203 0 0 25 0 4 0 651979268 691630080 105167 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 168855 105167 379 95 0 163837 0 [pid=21333/tid=21336] ppid=21329 vsize=675420 CPUtime=942.32 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 169012 0 0 0 94155 77 0 0 25 0 4 0 651979268 691630080 105167 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=675420 CPUtime=942.16 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 79209 0 0 0 94187 29 0 0 25 0 4 0 651979268 691630080 105167 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=675420 CPUtime=931.19 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 110020 0 0 0 93072 47 0 0 25 0 4 0 651979268 691630080 105167 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3758.03 Current children cumulated vsize (KiB) 675420 [startup+1002.3 s] /proc/loadavg: 8.12 8.12 8.04 10/357 21370 /proc/meminfo: memFree=23338888/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=630288 CPUtime=3997.3 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 501685 0 0 0 399515 215 0 0 25 0 4 0 651979268 645414912 111298 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 157572 111298 379 95 0 152554 0 [pid=21333/tid=21336] ppid=21329 vsize=630288 CPUtime=1002.32 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 175840 0 0 0 100151 81 0 0 25 0 4 0 651979268 645414912 111298 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=630288 CPUtime=1002.14 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 83084 0 0 0 100183 31 0 0 25 0 4 0 651979268 645414912 111298 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=630288 CPUtime=990.47 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 117024 0 0 0 98997 50 0 0 25 0 4 0 651979268 645414912 111298 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3997.3 Current children cumulated vsize (KiB) 630288 [startup+1062.3 s] /proc/loadavg: 8.10 8.11 8.04 10/357 21371 /proc/meminfo: memFree=23319892/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=683544 CPUtime=4236.61 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 521835 0 0 0 423435 226 0 0 25 0 4 0 651979268 699949056 115782 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 170886 115782 379 95 0 165868 0 [pid=21333/tid=21336] ppid=21329 vsize=683544 CPUtime=1062.33 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 181854 0 0 0 106148 85 0 0 25 0 4 0 651979268 699949056 115782 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=683544 CPUtime=1062.14 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 84775 0 0 0 106182 32 0 0 25 0 4 0 651979268 699949056 115782 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=683544 CPUtime=1049.78 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 123938 0 0 0 104924 54 0 0 25 0 4 0 651979268 699949056 115782 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4236.61 Current children cumulated vsize (KiB) 683544 [startup+1122.3 s] /proc/loadavg: 8.03 8.09 8.04 10/357 21373 /proc/meminfo: memFree=23299512/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=632228 CPUtime=4475.9 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 540262 0 0 0 447354 236 0 0 25 0 4 0 651979268 647401472 117085 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 158057 117085 379 95 0 153039 0 [pid=21333/tid=21336] ppid=21329 vsize=632228 CPUtime=1122.33 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 189242 0 0 0 112144 89 0 0 25 0 4 0 651979268 647401472 117085 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=632228 CPUtime=1122.13 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 87893 0 0 0 112181 32 0 0 25 0 4 0 651979268 647401472 117085 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=632228 CPUtime=1109.07 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 129669 0 0 0 110850 57 0 0 25 0 4 0 651979268 647401472 117085 33554432000 4194304 4580107 140736449344784 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4475.9 Current children cumulated vsize (KiB) 632228 [startup+1182.3 s] /proc/loadavg: 8.10 8.10 8.04 10/357 21374 /proc/meminfo: memFree=23273444/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=699320 CPUtime=4715.19 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 556880 0 0 0 471277 242 0 0 25 0 4 0 651979268 716103680 123653 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 174830 123653 379 95 0 169812 0 [pid=21333/tid=21336] ppid=21329 vsize=699320 CPUtime=1182.33 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 196377 0 0 0 118143 90 0 0 25 0 4 0 651979268 716103680 123653 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=699320 CPUtime=1182.11 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 89867 0 0 0 118178 33 0 0 25 0 4 0 651979268 716103680 123653 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=699320 CPUtime=1168.37 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 133697 0 0 0 116778 59 0 0 25 0 4 0 651979268 716103680 123653 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4715.19 Current children cumulated vsize (KiB) 699320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.15 8.11 8.04 10/357 21375 /proc/meminfo: memFree=23236600/32950928 swapFree=45937192/67111528 [pid=21333] ppid=21329 vsize=872400 CPUtime=4800.17 cores=1,3,5,7 /proc/21333/stat : 21333 (strangenight2-m) R 21329 21333 20738 0 -1 4202496 562736 0 0 0 479771 246 0 0 25 0 4 0 651979268 893337600 129104 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/21333/statm: 218100 129104 379 95 0 213082 0 [pid=21333/tid=21336] ppid=21329 vsize=872400 CPUtime=1203.64 cores=1,3,5,7 /proc/21333/task/21336/stat : 21336 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 197867 0 0 0 120273 91 0 0 25 0 4 0 651979268 893337600 129105 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=21333/tid=21337] ppid=21329 vsize=872400 CPUtime=1203.43 cores=1,3,5,7 /proc/21333/task/21337/stat : 21337 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 90993 0 0 0 120309 34 0 0 25 0 4 0 651979268 893337600 129105 33554432000 4194304 4580107 140736449344784 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=21333/tid=21338] ppid=21329 vsize=872400 CPUtime=1189.41 cores=1,3,5,7 /proc/21333/task/21338/stat : 21338 (strangenight2-m) R 21329 21333 20738 0 -1 4202560 134671 0 0 0 118881 60 0 0 25 0 4 0 651979268 893337600 129105 33554432000 4194304 4580107 140736449344784 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.17 Current children cumulated vsize (KiB) 872400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.64 CPU time (s): 4800.23 CPU user time (s): 4797.74 CPU system time (s): 2.48562 CPU usage (%): 398.809 Max. virtual memory (cumulated for all children) (KiB): 872400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.74 system time used= 2.48562 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 562737 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= 405 involuntary context switches= 57288 runsolver used 3.88541 second user time and 10.3654 second system time The end
Begin job on node149 at 2011-05-14 22:10:26 IDJOB=3366414 IDBENCH=82823 IDSOLVER=1844 FILE ID=node149/3366414-1305403826 RUNJOBID= node149-1305403826-21314 PBS_JOBID= 13324466 Free space on /tmp= 73572 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366414-1305403826/watcher-3366414-1305403826 -o /tmp/evaluation-result-3366414-1305403826/solver-3366414-1305403826 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366414-1305403826.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6180decb1c46447c67f7e6e340e02857 RANDOM SEED=248756137 node149.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 : 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.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.83 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.73 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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: 32950928 kB MemFree: 24138996 kB Buffers: 308072 kB Cached: 3872664 kB SwapCached: 19984 kB Active: 6311660 kB Inactive: 2205792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 24138996 kB SwapTotal: 67111528 kB SwapFree: 45937192 kB Dirty: 11228 kB Writeback: 12 kB AnonPages: 4329560 kB Mapped: 13740 kB Slab: 157884 kB PageTables: 72008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 80190404 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= 73560 MiB End job on node149 at 2011-05-14 22:30:31